Thu 29 Oct 2015 15:30 - 15:54 at Grand Station 1 - 8. Static Analysis Chair(s): Werner Dietl

Many JavaScript programs are written in an event-driven style. In particular, in server-side Node.js applications, operations involving sockets, streams, and files are typically performed in an asynchronous manner, where the execution of listeners is triggered by events. Several types of programming errors are specific to such event-based programs (e.g., unhandled events, and listeners that are registered too late). We present the event-based call graph, a program representation that can be used to detect bugs related to event handling. We have designed and implemented three analyses for constructing event-based call graphs. Our results show that these analyses are capable of detecting problems reported on StackOverflow. Moreover, we show that the number of false positives reported by the analysis on a suite of small Node.js applications is manageable.

Thu 29 Oct

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

15:30 - 17:30
8. Static AnalysisOOPSLA at Grand Station 1
Chair(s): Werner Dietl University of Waterloo
15:30
24m
Talk
Static Analysis of Event-Driven Node.js JavaScript Applications
OOPSLA
Magnus Madsen University of Waterloo, Frank Tip Samsung Research America, Ondřej Lhoták University of Waterloo
DOI Media Attached
15:54
24m
Talk
EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties
OOPSLA
Yu Feng University of Texas at Austin, USA, Xinyu Wang UT Austin, Isil Dillig University of Texas at Austin, USA, Calvin Lin University of Texas at Austin, USA
Pre-print Media Attached
16:18
24m
Talk
Giga-Scale Exhaustive Points-To Analysis for Java in Under a MinuteOOPSLA Artifact
OOPSLA
Jens Dietrich Massey University, New Zealand, Nicholas Hollingum University of Sydney, Australia, Bernhard Scholz Oracle Labs, Australia
DOI Media Attached
16:42
24m
Talk
Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis
OOPSLA
David Darais University of Maryland, College Park, Matthew Might University of Utah, USA, David Van Horn University of Maryland at College Park, USA
DOI Media Attached
17:06
24m
Talk
Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation
OOPSLA
Hakjoo Oh Korea University, South Korea, Hongseok Yang University of Oxford, UK, Kwangkeun Yi Seoul National University, South Korea
DOI Media Attached