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

PLDI 2020Committee Member in External Program Committee within the PLDI Research Papers-track
Author in Steering Committee
ECOOP 2019Committee Member in External Review Committee within the Research Papers-track
PLDI 2019Author of Unsupervised Learning of API Aliasing Specifications within the PLDI Research Papers-track
2017 Program Chair in Steering Committee
Author of Scalable Taint Specification Inference with Big Code within the PLDI Research Papers-track
POPL 2019Author of An Abstract Domain for Certifying Neural Networks within the Research Papers-track
MAPL 2018Committee Member in Program Committee within the MAPL 2018-track
SPLASH 2018Committee Member in External Reviewers within the OOPSLA-track
Author of Robust Relational Layout Synthesis from Examples for Android within the Posters-track
Author of Robust Relational Layout Synthesis from Examples for Android within the OOPSLA-track
PEPM 2018Committee Member in Programme Committee within the PEPM 2018-track
PPoPP 2018Committee Member in Extended Review Committee
VMCAI 2018Author of Automatic Verification of RMA Programs via Abstraction Extrapolation within the VMCAI 2018-track
ESEC/FSE 2018Committee Member in Program Committee within the New Ideas and Emerging Results-track
PLDI 2018Author of Inferring Crypto API Rules from Code Changes within the PLDI Research Papers-track
Author of Static Serializability Analysis for Causal Consistency within the PLDI Research Papers-track
Steering Committee Member in Steering Committee
Author of Incremental Inference for Probabilistic Programs within the PLDI Research Papers-track
Author of Bayonet: Probabilistic Inference for Networks within the PLDI Research Papers-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
PLMWAuthor of Machine Learning and Programming Languages: latest directions and research opportunities within the PLMW-track
Committee Member in Speaker within the PLMW-track
SOAP 2016Author of Invited Talk: Probabilistic Learning from Big Code within the SOAP-track
POPL 2017Author of Fast Polyhedra Abstract Domain within the POPL-track
Author of Serializability for Eventual Consistency: Criterion, Analysis and Applications within the POPL-track
ERC member in External Review Committee within the POPL-track
PLDI 2017Session Chair of Welcome (part of PLDI Invited Speakers)
Program Chair in Organizing Committee
Program Chair in Program Committee
PEPM 2016Invited speaker of Invited Talk: Learning from Big Code: Probabilistic Models, Program Analysis and Synthesis within the Invited Talks-track
PLDI 2016Author of SDNRacer: Concurrency Analysis for Software-Defined Networks within the Research Papers-track
Session Chair of Synthesis II (part of Research Papers)
Committee Member in Program Committee
MobileDeLi 2015Author of Scalable Race Detection for Android Applications within the MobileDeLi-track
SPLASH 2016Author of Probabilistic Model for Code with Decision Trees within the OOPSLA-track
Author of Modeling and Analysis of Remote Memory Access Programming within the OOPSLA-track
ERC member in External Program Committee within the OOPSLA-track
POPL 2016ERC member in External Reviewing Committee within the Research Papers-track
Author of Learning Programs from Noisy Data within the Research Papers-track
ERC member in External Reviewing Committee
PLOOC 2015Author of Bug Localization with Statistical Models within the PLOOC 2015-track
Programme Committee in Program Committee within the PLOOC 2015-track
JSTools 2015Author of EventRacer: Scalable Analysis for Event-Driven Systems within the JSTools-track
ML4PL 2015Committee Member in Program committee within the ML4PL-track
Author of Machine Learning for Programming within the ML4PL-track
ISMM 2015Committee Member in Steering Committee
Committee Member in External Review Committee within the Research Papers-track
SPLASH 2015Author of Stateless Model Checking of Event-Driven Applications within the OOPSLA-track
Author of Scalable Race Detection for Android Applications within the OOPSLA-track
Author of Scalable Concurrency Analysis for Android Applications within the OOPSLA Artifacts-track
PLDI 2015Author of Machine Learning for Code Analytics within the Tutorials-track
Author of Making Numerical Program Analysis Fast within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
Onward! 2014Author of Phrase-Based Statistical Translation of Programming Languages within the Onward! Papers-track
SPLASH 2013Committee Member in External Review Committee within the OOPSLA-track
Author of Effective Race Detection for Event-Driven Programs within the OOPSLA Artifacts-track
Author of Refactoring with Synthesis within the OOPSLA-track
Author of Effective Race Detection for Event-Driven Programs within the OOPSLA-track
RACES 2012Committee Member in Program Committee within the RACES 2012-track
SPLASH 2012Committee Member in Program Committee within the OOPSLA Research Papers-track
Committee Member in Program Committee