Model Checking the World Wide Web
Abstract elided by the publisher.
Related papers
- Ur/Web: A Simple Model for Programming the Web POPL 2015
- Sound and precise analysis of web applications for injection vulnerabilities PLDI 2007
- A world of active objects for work and play: the first ten years of lively Onward! 2016
- Practical initialization race detection for JavaScript web applications OOPSLA 2017
- Stateless model checking of event-driven applications OOPSLA 2015
- JavaScript: the first 20 years HOPL 2020
- Lightweight Object-Oriented Shared Variables for Distributed Applications on the Internet OOPSLA 1998
- CT-wasm: type-driven secure cryptography for the web ecosystem POPL 2019