Benjamin Bichsel Benjamin Bichsel


Email: benjamin.bichsel@inf.ethz.ch

Office: CNB H100.5

About me

I am Benjamin Bichsel, a PhD student at the Department of Computer Science, ETH Zürich. I am part of the Secure, Reliable, and Intelligent Systems Lab, supervised by Martin Vechev, since September 2017.

Education:

  • ETH Zurich, September 2012 – September 2017: B.Sc. and M.Sc. in Computer Science

Publications

2018

Incremental Inference for Probabilistic Programs
Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin Vechev, Vikash K. Mansinghka
PLDI 2018
PDF
Fine-grained Semantics for Probabilistic Programs
Benjamin Bichsel, Timon Gehr, Martin Vechev
ESOP 2018
PDF

2016

Statistical Deobfuscation of Android Applications
Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin Vechev
ACM CCS 2016
PDF