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
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
Tue 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:45 - 12:25 | |||
10:45 5mDay 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 |
13:50 - 15:20 | |||
13:50 30mTalk | Invited Talk - Frozen Realms: Confining effects for safer JavaScript plugins JSTools Mark Miller Google Inc. | ||
14:20 30m | JavaScript Verification JSTools Philippa Gardner Imperial College London | ||
14:50 30m | What Went Wrong? Automatic Triage of Precision Loss During Static Analysis of JavaScript JSTools Alexander Jordan Oracle Labs, Australia |
16:00 - 17:30 | |||
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 Max Schaefer Semmle | ||
17:20 10mDay closing | Closing Remarks JSTools Julian Dolby IBM Thomas J. Watson Research Center |
Unscheduled Events
Not scheduled Talk | Cancelled: Monitoring JavaScript Programs with Jalangi JSTools Koushik Sen University of California, Berkeley |