PLDI 2016 (series) / SOAP 2016 (series) /
SOAP 2016 Program
This is the SOAP 2016 program - see the full program for PLDI 2016 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 14 JunDisplayed time zone: Tijuana, Baja California change
Tue 14 Jun
Displayed time zone: Tijuana, Baja California change
09:00 - 10:00 | |||
09:00 10mDay opening | Opening Remarks SOAP | ||
09:10 50mTalk | Invited Talk: Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution SOAP | ||
10:30 - 12:00 | |||
10:30 20mTalk | Towards Cross-Platform Cross-Language Analysis with Soot SOAP Steven Arzt TU Darmstadt, Germany, Tobias Kussmaul TU Darmstadt, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
10:50 20mTalk | Iceberg: A Tool for Static Analysis of Java Critical Sections SOAP | ||
11:10 20mTalk | Toward an Automated Benchmark Management System SOAP Lisa Nguyen Quang Do Fraunhofer IEM, Michael Eichberg TU Darmstadt, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
11:30 30mTalk | Invited Talk: Probabilistic Learning from Big Code SOAP Martin Vechev ETH Zurich | ||
13:30 - 15:00 | Session IIISOAP at San Miguel East Chair(s): Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
13:30 50mTalk | Invited Talk: Machine-code analysis and transformation at GrammaTech SOAP Matt Noonan GrammaTech, Inc | ||
14:20 20mTalk | On The Unsoundness of Static Analysis for Android GUIs SOAP | ||
14:40 20mTalk | Verifying Precise Floating-Point Optimizations in LLVM SOAP | ||
15:30 - 17:00 | |||
15:30 45mTalk | Invited Talk: Toward Gamification of Proofs about Programs SOAP Sorin Lerner University of California, San Diego | ||
16:15 45mTalk | Invited Talk: Falcon: Towards an industrial strength heap analyzer SOAP Xiao Xiao SourceBrella Inc. | ||