conf.researchr.org / 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
2023
2021
PLDI
- 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
2020
PLDI
- 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
2019
PLDI
2018
SPLASH
PLDI
- 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
Principles and Practice of Parallel Programming
POPL
2017
PLDI
POPL
2016
SPLASH
PLDI
POPL
2015
SPLASH
ML4PL
PLDI
PLOOC
2014
2013
SPLASH
- 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