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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 17:00: IIIGPCE 2018 at Studio 2
Chair(s): Sarah NadiUniversity of Alberta
15:30 - 16:00
Meta-programming for cross-domain tensor optimizations
GPCE 2018
Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Albert CohenGoogle, Jeronimo CastrillonTU Dresden, Germany, Claude TadonkiMINES ParisTech, France
16:00 - 16:30
Model-based Security Analysis of Feature-oriented Software Product Lines
GPCE 2018
Sven PeldszusUniversity of Koblenz-Landau, Daniel StrüberUniversity of Koblenz-Landau, Germany, Jan JürjensUniversity of Koblenz-Landau
DOI Pre-print
16:30 - 17:00
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
GPCE 2018
Laurent ChristopheVUB, Coen De RooverVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel