Registered user since Thu 10 Jul 2014

Name: Martin Vechev

Affiliation: ETH Zurich

Personal website: http://www.srl.inf.ethz.ch/vechev.php

POPL 2017 Activities

• Author of Machine Learning and Programming Languages: latest directions and research opportunities within the PLMW-track in PLMW
• Author of Fast Polyhedra Abstract Domain within the POPL-track in POPL 2017
• Author of Serializability for Eventual Consistency: Criterion, Analysis and Applications within the POPL-track in POPL 2017
• ERC member in External Review Committee for POPL 2017
• Committee Member in Speaker for PLMW
• Show activities from other conferences