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 ...