![]() | 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 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:45 - 10:50 Day opening | Opening Remarks JSTools Julian DolbyIBM Thomas J. Watson Research Center | ||
10:50 - 11:30 | So You Want to Build Memory Tooling For JavaScript? JSTools | ||
11:30 - 12:10 | Sound Type Inference for JavaScript JSTools Jean-Baptiste JeanninCarnegie Mellon University |
13:50 - 14:20 Talk | Invited Talk - Frozen Realms: Confining effects for safer JavaScript plugins JSTools Mark MillerGoogle Inc. | ||
14:20 - 14:50 | JavaScript Verification JSTools Philippa GardnerImperial College London | ||
14:50 - 15:20 | What Went Wrong? Automatic Triage of Precision Loss During Static Analysis of JavaScript JSTools Alexander JordanOracle Labs, Australia |
16:00 - 16:40 | Verification of Communication in Web Applications JSTools Nathalie OostvogelsVrije Universiteit Brussel | ||
16:40 - 17:20 | Fishing for JavaScript Bugs at the Shallow End JSTools Max SchaeferSemmle | ||
17:20 - 17:30 Day closing | Closing Remarks JSTools Julian DolbyIBM Thomas J. Watson Research Center |
Not scheduled yet
Not scheduled yet Talk | Cancelled: Monitoring JavaScript Programs with Jalangi JSTools Koushik SenUniversity of California, Berkeley |