Skip to main content
Conferences
Students
Sign in
usenix_logo_notag_white
Sign In
Conferences
Overview
Workshop Organizers
Technical Sessions
Hotel & Travel Information
Sponsors
For Participants
Call for Papers
Past Workshops
Johannes Kinder, École Polytechnique Fédérale de Lausanne (EPFL)
Linked Presentation:
Automated Debugging for Arbitrarily Long Executions