Write a Blog >>
Aleksandar Nanevski

Registered user since Sat 12 Sep 2015

Name:Aleksandar Nanevski
Country:Spain
Affiliation:IMDEA Software Institute
Research interests:Dependent types in programming and verification, Hoare logic, Separation logic

Contributions

ECOOP 2017 Concurrent Data Structures Linked in Time
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile