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
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00
Session IISOAP at San Miguel East
Chair(s): Charles ZhangHKUST
10:30
20m
Talk
Towards Cross-Platform Cross-Language Analysis with Soot
SOAP
Steven ArztTU Darmstadt, Germany, Tobias KussmaulTU Darmstadt, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
10:50
20m
Talk
Iceberg: A Tool for Static Analysis of Java Critical Sections
SOAP
Michael D. ShahTufts University, Sam GuyerTufts University
11:10
20m
Talk
Toward an Automated Benchmark Management System
SOAP
Lisa Nguyen Quang DoFraunhofer IEM, Michael EichbergTU Darmstadt, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
11:30
30m
Talk
Invited Talk: Probabilistic Learning from Big Code
SOAP
Martin VechevETH Zurich
13:30 - 15:00
Session IIISOAP at San Miguel East
Chair(s): Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
13:30
50m
Talk
Invited Talk: Machine-code analysis and transformation at GrammaTech
SOAP
Matt NoonanGrammaTech, Inc
14:20
20m
Talk
On The Unsoundness of Static Analysis for Android GUIs
SOAP
Yan Wang, Hailong ZhangOhio State University, USA, Atanas RountevOhio State University
14:40
20m
Talk
Verifying Precise Floating-Point Optimizations in LLVM
SOAP
andres NotzliStanford University, Fraser BrownStanford 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 LernerUniversity of California, San Diego
16:15
45m
Talk
Invited Talk: Falcon: Towards an industrial strength heap analyzer
SOAP
Xiao XiaoSourceBrella Inc.

Tue 14 Jun
Times are displayed in time zone: Tijuana, Baja California change

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