Samuel Steffen -

Registered user since Wed 1 May 2019

Name:Samuel Steffen

Affiliation:ETH Zurich, Switzerland

Personal website: https://www.sri.inf.ethz.ch/people/samuel

Contributions

2021

PLDI

Author of Unqomp: Synthesizing Uncomputation in Quantum Circuits within the PLDI-track

2020

PLDI

Author of λPSI: Exact Inference for Higher-Order Probabilistic Programs within the PLDI Research Papers-track

2019

PLDI

Author of Unsupervised Learning of API Aliasing Specifications within the PLDI Research Papers-track