Dennis Dams
publications
Orion: a static analyzer
dennis research bell-labs com (insert one '@' and two '.')
tel: +1 908 582 8859
fax: +1 908 582 8859
postal address: Dennis R. Dams, room 2B431,
Bell Labs
,
Alcatel-Lucent
, 600 Mountain Ave, Murray Hill NJ 07974, USA
Bell Labs internal links
spammers please use spam@uce.gov ...
Last modified: Wed Oct 25 14:34:00 EDT 2006