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

Personal website:

Research interests: Programming Languages


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

ETAPS 2019-profile
View general profile