Martin Vechev -

Registered user since Thu 10 Jul 2014

Name:Martin Vechev

Country:Switzerland

Affiliation:ETH Zurich

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

Contributions

POPL 2022	Author of PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations within the POPL-track
PLDI 2021	Author of Unqomp: Synthesizing Uncomputation in Quantum Circuits within the PLDI-track Author of Fast and Precise Certification of Transformers within the PLDI-track Author of Robustness Certification with Generative Models within the PLDI-track Author of Learning to Find Naming Issues with Big Code and Small Supervision within the PLDI-track
PLDI 2020	Author of λPSI: Exact Inference for Higher-Order Probabilistic Programs within the PLDI Research Papers-track Committee Member in External Program Committee within the PLDI Research Papers-track Author of Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics within the PLDI Research Papers-track Committee Member in Steering Committee Author of Learning Fast and Precise Numerical Analysis within the PLDI Research Papers-track
POPL 2020	Author of Can Programming Languages Research impact Deep Learning 2.0? within the Research Papers-track
ECOOP 2019	Committee Member in External Review Committee within the Research Papers-track
PLDI 2019	Author 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 2019	Author of An Abstract Domain for Certifying Neural Networks within the Research Papers-track
ESEC/FSE 2018	Committee Member in Program Committee within the New Ideas and Emerging Results-track
SPLASH 2018	Committee 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
MAPL 2018	Committee Member in Program Committee within the MAPL 2018-track
PLDI 2018	Author 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
PPoPP 2018	Committee Member in Extended Review Committee
POPL 2018	Author 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
PEPM 2018	Committee Member in Programme Committee within the PEPM 2018-track
VMCAI 2018	Author of Automatic Verification of RMA Programs via Abstraction Extrapolation within the VMCAI 2018-track
PLDI 2017	Session Chair of Welcome (part of PLDI Invited Speakers) Program Chair in Organizing Committee Program Chair in Program Committee
POPL 2017	Author 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
PLMW	Author of Machine Learning and Programming Languages: latest directions and research opportunities within the PLMW-track Committee Member in Speaker within the PLMW-track
SPLASH 2016	Author 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
SOAP 2016	Author of Invited Talk: Probabilistic Learning from Big Code within the SOAP-track
PLDI 2016	Author 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
POPL 2016	ERC 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
PEPM 2016	Invited Speaker of Invited Talk: Learning from Big Code: Probabilistic Models, Program Analysis and Synthesis within the Invited Talks-track
SPLASH 2015	Author 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
MobileDeLi 2015	Author of Scalable Race Detection for Android Applications within the MobileDeLi-track
JSTools 2015	Author of EventRacer: Scalable Analysis for Event-Driven Systems within the JSTools-track
ML4PL 2015	Committee Member in Program committee within the ML4PL-track Author of Machine Learning for Programming within the ML4PL-track
PLDI 2015	Author 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
PLOOC 2015	Author of Bug Localization with Statistical Models within the PLOOC 2015-track Programme Committee in Program Committee within the PLOOC 2015-track
ISMM 2015	Committee Member in Steering Committee Committee Member in External Review Committee within the Research Papers-track
Onward! 2014	Author of Phrase-Based Statistical Translation of Programming Languages within the Onward! Papers-track
SPLASH 2013	Committee 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
SPLASH 2012	Committee Member in Program Committee within the OOPSLA Research Papers-track Committee Member in Program Committee
RACES 2012	Committee Member in Program Committee within the RACES 2012-track
SPLASH 2011	Author of Testing Atomicity of Composed Concurrent Operations within the OOPSLA-track Author of Sprint: Speculative Prefetching of Remote Data within the OOPSLA-track Author of Asynchronous Assertions within the OOPSLA-track