Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Wed 29 May 2019 17:20 - 17:40 at Laurier - Analysis and Verification Chair(s): Domenico Bianculli

In previous work, we introduced zero-overhead profiling (ZOP), a technique that leverages the electromagnetic emissions generated by the computer hardware to profile a program without instrumenting it. Although effective, ZOP has several shortcomings: it requires test inputs that achieve extensive code coverage for its training phase; it predicts path profiles instead of complete execution traces; and its predictions can suffer unrecoverable accuracy losses. In this paper, we present zero-overhead path prediction (ZOP-2), an approach that extends ZOP and addresses its limitations. First, ZOP-2 achieves high coverage during training through progressive symbolic execution (PSE)—symbolic execution of increasingly small program fragments. Second, ZOP-2 predicts complete execution traces, rather than path profiles. Finally, ZOP-2 mitigates the problem of path mispredictions by using a stateless approach that can recover from prediction errors. We evaluated our approach on a set of benchmarks with promising results; for the cases considered, (1) ZOP-2 achieved over 90% path prediction accuracy, and (2) PSE covered feasible paths missed by traditional symbolic execution, thus boosting ZOP-2’s accuracy.

Wed 29 May

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 18:00
Analysis and VerificationDemonstrations / Technical Track / Journal-First Papers / Papers at Laurier
Chair(s): Domenico Bianculli University of Luxembourg
16:00
20m
Talk
Easy Modelling and Verification of Unpredictable and Preemptive Interrupt-driven SystemsArtifacts Evaluated ReusableTechnical Track
Technical Track
Minxue Pan Nanjing University, Shouyu Chen Nanjing University, Yu Pei The Hong Kong Polytechnic University, Tian Zhang Nanjing University, Xuandong Li Nanjing University
16:20
20m
Talk
Towards Understanding and Reasoning about Android InteroperationsTechnical Track
Technical Track
Sora Bae Oracle Labs, Australia, Sungho Lee KAIST, South Korea, Sukyoung Ryu KAIST, South Korea
16:40
20m
Talk
ALPACA: A Large Portfolio-based Alternating Conditional AnalysisDemos
Demonstrations
Mitchell Gerrard University of Virginia, Matthew B Dwyer University of Virginia
17:00
20m
Talk
Mockingbird: A Framework for Enabling Targeted Dynamic Analysis of Java ProgramsDemos
Demonstrations
Derrick Lockwood Iowa State University, Benjamin Holland , Suresh Kothari Iowa State University, USA
17:20
20m
Talk
Zero-Overhead Path Prediction with Progressive Symbolic ExecutionArtifacts AvailableTechnical Track
Technical Track
Richard Rutledge Georgia Institute of Technology, Sunjae Park Georgia Institute of Technology, Haider Khan Georgia Institute of Technology, Alessandro Orso Georgia Tech, Milos Prvulovic Georgia Institute of Technology, Alenka Zajic Georgia Institute of Technology
17:40
10m
Talk
Platform-Independent Dynamic Taint Analysis for JavaScriptJournal-First
Journal-First Papers
Rezwana Karim Samsung Research America, Frank Tip Northeastern University, Alena Sochurkova Avast, Koushik Sen University of California, Berkeley
17:50
10m
Talk
Discussion Period
Papers