Martin Vechev

Registered user since Thu 10 Jul 2014

Name:Martin Vechev
Country:Switzerland
Affiliation:ETH Zurich

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