• Sign in
  • Sign up
conf.researchr.org / Benjamin Bichsel
  • PLDI 2018 profile
  • PLDI 2019 profile
  • PLDI 2020 profile

Registered user since Sat 17 Nov 2018

Name: Benjamin Bichsel

Affiliation: ETH Zurich, Switzerland

Contributions

PLDI 2020 Author of Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics within the PLDI Research Papers-track
PLDI 2019 Author of Scalable Taint Specification Inference with Big Code within the PLDI Research Papers-track
PLDI 2018 Author of Incremental Inference for Probabilistic Programs within the PLDI Research Papers-track

Share
xMon 18 Jan 02:42
using conf.researchr.org (v1.40.0)
Support page
Sign Up