PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / Markus Völter
Registered user since Fri 14 Aug 2015
Name: Markus Völter
Affiliation: itemis/independent
Personal website: http://voelter.de/
Contributions
| IC 2017 | IncAL: A DSL for Incremental Program Analysis with Lattices | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile