Technical Research: Dynamic Analysis
Friday May 20, 11:00 am - 12:30 pm
Session Chair: Ivan Beschastnikh
Room: Ballroom A
11:00 - 11:20 AM ― Behavioral Log Analysis with Statistical Guarantees
- Nimrod Busany, Tel Aviv University, Israel
- Shahar Maoz, Tel Aviv University, Israel
11:20 - 11:40 AM ― Efficient Large-scale Trace Checking Using MapReduce
- Marcello Maria Bersani, Politecnico di Milano, Italy
- Domenico Bianculli, University of Luxembourg, Luxembourg
- Carlo Ghezzi, Politecnico di Milano, Italy
- Srdan Krstic, Politecnico di Milano, Italy
- Pierluigi San Pietro, Politecnico di Milano, Italy
11:40 - 12:00 PM ― Feedback-Directed Instrumentation for Deployed JavaScript Applications
- Magnus Madsen, University of Waterloo, Canada
- Frank Tip, Samsung Research America, United States
- Esben Andreasen, Aarhus University, Denmark
- Koushik Sen, UC Berkeley, United States
- Anders Møller, Aarhus University, Denmark
12:00 - 12:20 PM ― DoubleTake: Fast and Precise Error Detection via Evidence-Based Dynamic Analysis
- Tongping Liu, University of Texas at San Antonio, United States
- Charlie Curtsinger, Grinnell College, United States
- Emery D. Berger, University of Massachusetts Amherst, United States