From: Qiang Zhang
To: acl2-mtg@lists.cc.utexas.edu

Greeting all,

Today after the roundtable, I will talk about my work: a general 
pc-reachability analyzer on machine-level program for an arbitrary 
computing model. It is a tool, independent of the particular language, to 
find out all possibly reachable instructions for a piece of machine-level 
code, and it provides some interface functions to get back the interested 
information needed in the process.

best regards,
Qiang