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

Awards

  • Willi Studer Prize 2018: best Master’s degree in computer science
  • Award from Schweizer Jugend forscht for the work "In dubio pro Google – Onlineübersetzung von einfachen lateinischen Sätzen mit Hilfe des Internets", label "very good" (www.sjf.ch)

Publications

2019

Scalable Taint Specification Inference with Big Code
Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin Vechev
PLDI 2019

2018

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization
Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin Vechev
ACM CCS 2018
Incremental Inference for Probabilistic Programs
Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin Vechev, Vikash K. Mansinghka
PLDI 2018
Fine-grained Semantics for Probabilistic Programs
Benjamin Bichsel, Timon Gehr, Martin Vechev
ESOP 2018

2016

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