Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy

Welcome to the 5th Annual Workshop on Tools for JavaScript Analysis!

JavaScript has become ubiquitous: not only is it the lingua franca of the Web platform, but it is also increasingly being used for developing server-side applications and for writing platform-independent mobile applications. Consequently, it is now the focus of many strands of research work in static and dynamic program analysis, automated testing, security analysis and refactoring, to name just a few. At the same time, there is a strong interest from industry in providing better development tools for JavaScript programmers, such as debuggers and smart IDEs.

All these projects need to overcome similar challenges: How to delineate the program in a dynamic setting like a web page, how to deal with the extensive native APIs and framework libraries most JavaScript code relies on, how to handle non-determinism of concurrency and asynchronous events, and what to do about the languageā€™s extraordinarily dynamic features like eval or reflection over object structure.

JSTools will bring together participants from academia and industry working on analysis of JavaScript and its dialects to share ideas and problems, with a focus on presentations of shareable infrastructure created by the participants. We also aim to involve developers working on JavaScript dialects such as TypeScript to share their perspective.

Accepted Papers

Title
Fishing for JavaScript Bugs at the Shallow End
JSTools
JavaScript Verification
JSTools
Sound Type Inference for JavaScript
JSTools
So You Want to Build Memory Tooling For JavaScript?
JSTools
Verification of Communication in Web Applications
JSTools
What Went Wrong? Automatic Triage of Precision Loss During Static Analysis of JavaScript
JSTools

Call for Papers

In addition to a set of invited speakers, JSTools welcomes submissions of work on this field. You may submit a paper, an abstract for a talk, or a talk abstract together with a supporting position paper. As the title of the workshop suggests, we also welcome presentations and demonstrations of state of the art tools for JavaScript. To submit, please e-mail submissions to the organizers. The workshop does not have formal proceedings, but if desired, slides from talks and/or a paper will be put online on the workshop web site. The organizing committee will referee submissions for relevance. We are looking for ongoing work more than finished research projects. Additional expert opinions may be requested from the expected participants.

Submission deadline: May 10, 2016

Template for submissions (recommended but not mandatory): http://www.acm.org/publications/proceedings-template

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 19 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:25
Session 1JSTools at Alfieri
10:45
5m
Day opening
Opening Remarks
JSTools
Julian Dolby IBM Thomas J. Watson Research Center
10:50
40m
So You Want to Build Memory Tooling For JavaScript?
JSTools
11:30
40m
Sound Type Inference for JavaScript
JSTools
Jean-Baptiste Jeannin Carnegie Mellon University
16:00 - 17:30
Session 3JSTools at Alfieri
16:00
40m
Verification of Communication in Web Applications
JSTools
Nathalie Oostvogels Vrije Universiteit Brussel
16:40
40m
Fishing for JavaScript Bugs at the Shallow End
JSTools
17:20
10m
Day closing
Closing Remarks
JSTools
Julian Dolby IBM Thomas J. Watson Research Center

Not scheduled yet

Not scheduled yet
Talk
Cancelled: Monitoring JavaScript Programs with Jalangi
JSTools
Koushik Sen University of California, Berkeley