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 2018Committee Member in Programme Committee within the PEPM 2018-track
VMCAI 2018Author of Automatic Verification of RMA Programs via Abstraction Extrapolation within the VMCAI 2018-track
POPL 2018Author of A Practical Construction for Decomposing Numerical Abstract Domains within the Research Papers-track
Author of A Practical Construction for Decomposing Numerical Abstract Domains within the Artifact Evaluation-track
Show activities from other conferences

POPL 2018-profile
View general profile