Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Wed 25 Oct 2017 13:30 - 13:52 at Regency C - Tools Chair(s): Joshua Sunshine

We propose an interactive approach to resolving static analysis alarms. Our approach synergistically combines a sound but imprecise analysis with precise but unsound heuristics, through user interaction. In each iteration, it solves an optimization problem to find a set of questions for the user such that the expected payoff is maximized. We have implemented our approach in a tool, URSA, that enables interactive alarm resolution for any analysis specified in the declarative language Datalog. We demonstrate the effectiveness of URSA on a state-of-the-art static datarace analysis using a suite of 8 Java programs comprising 41-194 KLOC each. URSA is able to eliminate 73.7% of the false alarms per benchmark with an average payoff of 12X per question. Moreover, URSA prioritizes user effort effectively by posing questions that yield higher payoffs earlier.

Conference Day
Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
ToolsOOPSLA at Regency C
Chair(s): Joshua SunshineCarnegie Mellon University
13:30
22m
Talk
Effective Interactive Resolution of Static Analysis Alarms
OOPSLA
Xin ZhangMassachusetts Institute of Technology, USA, Radu GrigoreUniversity of Kent, Xujie SiUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania
DOI
13:52
22m
Talk
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
OOPSLA
Eric SeidelUniversity of California at San Diego, USA, Huma SibghatUniversity of California at San Diego, USA, Kamalika ChaudhuriUniversity of California at San Diego, USA, Westley WeimerUniversity of Virginia, USA, Ranjit JhalaUniversity of California at San Diego, USA
DOI
14:15
22m
Talk
Abridging Source Code
OOPSLA
Binhang YuanRice University, USA, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University
DOI
14:37
22m
Talk
Evaluating and Improving Semistructured Merge
OOPSLA
Guilherme CavalcantiFederal University of Pernambuco, Brazil, Paulo BorbaFederal University of Pernambuco, Brazil, Paola AcciolyFederal University of Pernambuco, Brazil
DOI