29. ECOOP 2015: Prague, Czech Republic
- John Tang Boyland:
29th European Conference on Object-Oriented Programming, ECOOP 2015, July 5-10, 2015, Prague, Czech Republic. LIPIcs 37, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-86-6 - Front Matter, Table of Contents, Preface, Artifacts, Conference Organization. i-xviii
- Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen:
Towards Practical Gradual Typing. 4-27 - Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala:
Trust, but Verify: Two-Phase Typing for Dynamic Languages. 52-75 - Maxime Chevalier-Boisvert, Marc Feeley:
Simple and Effective Type Check Removal through Lazy Basic Block Versioning. 101-123 - Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
Transparent Object Proxies in JavaScript. 149-173 - Paolina Centonze, Marco Pistoia, Omer Tripp:
Access-rights Analysis in the Presence of Subjects. 222-246 - Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski:
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. 247-270 - Lu Fang, Liang Dou, Guoqing (Harry) Xu:
PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification. 296-320 - Saba Alimadadi, Ali Mesbah, Karthik Pattabiraman:
Hybrid DOM-Sensitive Change Impact Analysis for JavaScript. 321-345 - Gustavo Petri, Jan Vitek, Suresh Jagannathan:
Cooking the Books: Formalizing JMM Implementation Recipes. 445-469 - Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith:
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. 470-494 - Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi:
The Love/Hate Relationship with the C Preprocessor: An Interview Study. 495-518 - Michael Pradel, Koushik Sen:
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript. 519-541 - Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. 542-567 - Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich:
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. 568-590 - Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis:
Streams a la carte: Extensible Pipelines with Object Algebras. 591-613 - Malte Schwerhoff, Alexander J. Summers:
Lightweight Support for Magic Wands in an Automatic Verifier. 614-638 - Pontus Boström, Peter Müller:
Modular Verification of Finite Blocking in Non-terminating Programs. 639-663 - Changhee Park, Sukyoung Ryu:
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity. 735-756