LCTES 2016
co-located with PLDI 2016
VenueThe Fess Parker, Santa Barbara, CA
Room nameSan Miguel East
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 14 Jun

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Session IISOAP at San Miguel East
Chair(s): Charles Zhang HKUST
10:30
20m
Talk
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
20m
Talk
Iceberg: A Tool for Static Analysis of Java Critical Sections
SOAP
Michael D. Shah Tufts University, Sam Guyer Tufts University
11:10
20m
Talk
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
30m
Talk
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
50m
Talk
Invited Talk: Machine-code analysis and transformation at GrammaTech
SOAP
Matt Noonan GrammaTech, Inc
14:20
20m
Talk
On The Unsoundness of Static Analysis for Android GUIs
SOAP
Yan Wang , Hailong Zhang Ohio State University, USA, Atanas Rountev Ohio State University
14:40
20m
Talk
Verifying Precise Floating-Point Optimizations in LLVM
SOAP
andres Notzli Stanford University, Fraser Brown Stanford University
15:30 - 17:00
Session IVSOAP at San Miguel East
15:30
45m
Talk
Invited Talk: Toward Gamification of Proofs about Programs
SOAP
Sorin Lerner University of California, San Diego
16:15
45m
Talk
Invited Talk: Falcon: Towards an industrial strength heap analyzer
SOAP
Xiao Xiao SourceBrella Inc.

Tue 14 Jun

Displayed time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
San Miguel East