GPCE 2018
Mon 5 - Tue 6 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Mon 5 Nov 2018 16:30 - 17:00 at Studio 2 - III Chair(s): Sarah Nadi

The predominant approach to implementing a dynamic analysis for a JavaScript program is to instrument the program under analysis. Examples of analyses implemented this way range from checkers of user-defined program invariants to concolic testers. For a full-stack JavaScript program, these analyses need to reason about the state of the distributed processes the program is comprised of. Lifting a dynamic analysis from a single process to multiple distributed processes can be challenging. In this paper, we propose an approach to orchestrating the corresponding analysis processes that relieves the analysis developer from implementing distributed communication concerns. We implemented our approach on top of the existing JavaScript instrumentation platform Aran and use this prototype to lift three representative Aran-based analyses. The evaluation shows that our approach greatly simplifies the lifting process at the cost of an additional analysis overhead. We deem this overhead acceptable for analyses intended for use at development time.

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 17:00
IIIGPCE 2018 at Studio 2
Chair(s): Sarah Nadi University of Alberta
15:30
30m
Talk
Meta-programming for cross-domain tensor optimizations
GPCE 2018
Adilla Susungi MINES ParisTech, France, Norman A. Rink TU Dresden, Germany, Albert Cohen Google, Jeronimo Castrillon TU Dresden, Germany, Claude Tadonki MINES ParisTech, France
16:00
30m
Talk
Model-based Security Analysis of Feature-oriented Software Product Lines
GPCE 2018
Sven Peldszus University of Koblenz-Landau, Daniel Strüber University of Koblenz-Landau, Germany, Jan Jürjens University of Koblenz-Landau
DOI Pre-print
16:30
30m
Talk
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
GPCE 2018
Laurent Christophe VUB, Coen De Roover Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel