Registered user since Thu 13 Nov 2014

Name: David Darais

Country: United States

Affiliation: University of Maryland, USA

Personal website: http://david.darais.com

Research interests: Program Analysis, Mechanized Proofs

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Activities

• Doctoral Symposium Chair in Organizing Committee for ECOOP 2017
• Co-chair in Program Committee for ECOOP 2017 ECOOP Doctoral Symposium
• Video Chair in Organizing Committee for PLDI 2017
• Show activities from other conferences