Skip to main content
USENIX
Conferences
Students
Sign in
Overview
Workshop Organizers
Technical Sessions
Hotel & Travel Information
Sponsors
For Participants
Call for Papers
Past Workshops
sponsors
Bronze Sponsor
Bronze Sponsor
Bronze Sponsor
twitter
Tweets by @usenix
usenix conference policies
Event Code of Conduct
Conference Network Policy
Statement on Environmental Responsibility Policy
You are here
Home
»
Jonas Wagner, École Polytechnique Fédérale de Lausanne (EPFL)
Tweet
connect with us
http://www.twitter.com/usenix
https://www.facebook.com/usenixassociation
https://plus.google.com/108588319090208187909/posts
http://www.linkedin.com/groups?home=&gid=49559
http://www.youtube.com/user/USENIXAssociation
Jonas Wagner
Linked Presentation:
-OVERIFY: Optimizing Programs for Fast Verification
connect with us