PLDI 2020
Mon 15 - Sat 20 June 2020
PLDI 2020 (series) / Martin Vechev
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 2020Author of λESI: 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
Show activities from other conferences

Using general profile