POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Martin Vechev
Martin Vechev

Registered user since Thu 10 Jul 2014

Name:Martin Vechev
Affiliation:ETH Zürich
Personal website:http://www.srl.inf.ethz.ch/vechev.php

Contributions

PEPM 2018 Committee Member in Programme Committee within the PEPM 2018-track
VMCAI 2018 Automatic Verification of RMA Programs via Abstraction Extrapolation
POPL 2018 A Practical Construction for Decomposing Numerical Abstract Domains
A Practical Construction for Decomposing Numerical Abstract Domains
Show activities from other conferences

POPL 2018-profile
View general profile