ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Leonidas Lampropoulos

Registered user since Thu 16 Mar 2017

Name:Leonidas Lampropoulos
Country:Greece
Affiliation:University of Pennsylvania
Research interests:Programming Languages

Contributions

POST 2019 Achieving Safety Incrementally with Checked C
Show activities from other conferences

ETAPS 2019-profile
View general profile