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
MAPL 2018	Committee Member in Program Committee within the MAPL 2018-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
PEPM 2018	Committee Member in Programme Committee within the PEPM 2018-track
PPoPP 2018	Committee Member in Extended Review Committee
VMCAI 2018	Author of Automatic Verification of RMA Programs via Abstraction Extrapolation within the VMCAI 2018-track
ESEC/FSE 2018	Committee Member in Program Committee within the New Ideas and Emerging Results-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
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
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
SOAP 2016	Author of Invited Talk: Probabilistic Learning from Big Code within the SOAP-track
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
PLDI 2017	Session Chair of Welcome (part of PLDI Invited Speakers) Program Chair in Organizing Committee Program Chair in Program Committee
PEPM 2016	Invited Speaker of Invited Talk: Learning from Big Code: Probabilistic Models, Program Analysis and Synthesis within the Invited Talks-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
MobileDeLi 2015	Author of Scalable Race Detection for Android Applications within the MobileDeLi-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
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
PLOOC 2015	Author of Bug Localization with Statistical Models within the PLOOC 2015-track Programme Committee in Program Committee within the PLOOC 2015-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
ISMM 2015	Committee Member in Steering Committee Committee Member in External Review Committee within the Research Papers-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
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
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
RACES 2012	Committee Member in Program Committee within the RACES 2012-track
SPLASH 2012	Committee Member in Program Committee within the OOPSLA Research Papers-track Committee Member in Program Committee
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