ECOOP 2015

35 papers

1. A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization · Avraham Shinnar, Jérôme Siméon, Martin Hirzel
2. A Theory of Tagged Objects · Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin
3. Access-rights Analysis in the Presence of Subjects · Paolina Centonze, Marco Pistoia, Omer Tripp
4. Adaptive Context-sensitive Analysis for JavaScript · Shiyi Wei, Barbara G. Ryder
5. Asynchronous Liquid Separation Types · Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis
6. Brand Objects for Nominal Typing · Timothy Jones, Michael Homer, James Noble
7. Concrete Types for TypeScript · Gregor Richards, Francesco Zappa Nardelli, Jan Vitek
8. Cooking the Books: Formalizing JMM Implementation Recipes · Gustavo Petri, Jan Vitek, Suresh Jagannathan
9. Defining Correctness Conditions for Concurrent Objects in Multicore Architectures · Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith
10. Framework for Static Analysis of PHP Applications · David Hauzar, Jan Kofron
11. Front Matter, Table of Contents, Preface, Artifacts, Conference Organization ·
12. Global Sequence Protocol: A Robust Abstraction for Replicated Shared State · Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich
13. Hybrid DOM-Sensitive Change Impact Analysis for JavaScript · Saba Alimadadi, Ali Mesbah, Karthik Pattabiraman
14. Intensional Effect Polymorphism · Yuheng Long, Yu David Liu, Hridesh Rajan
15. Lightweight Support for Magic Wands in an Automatic Verifier · Malte Schwerhoff, Alexander J. Summers
16. Loop Tiling in the Presence of Exceptions · Abhilash Bhandari, V. Krishna Nandivada
17. Modular Termination Verification · Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper
18. Modular Verification of Finite Blocking in Non-terminating Programs · Pontus Boström, Peter Müller
19. Object-Oriented Programming without Inheritance (Invited Talk) · Bjarne Stroustrup
20. Optimization Coaching for JavaScript · Vincent St-Amour, Shu-yu Guo
21. PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification · Lu Fang, Liang Dou, Guoqing Xu
22. Programming in the Large for the Internet of Things (Invited Talk) · Jong-Deok Choi
23. Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity · Changhee Park, Sukyoung Ryu
24. Simple and Effective Type Check Removal through Lazy Basic Block Versioning · Maxime Chevalier-Boisvert, Marc Feeley
25. Software Verification "Across the Stack" (Invited Talk) · Alexander J. Summers
26. Streams a la carte: Extensible Pipelines with Object Algebras · Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis
27. The Eureka Programming Model for Speculative Task Parallelism · Shams Imam, Vivek Sarkar
28. The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript · Michael Pradel, Koushik Sen
29. The Love/Hate Relationship with the C Preprocessor: An Interview Study · Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi
30. Towards Practical Gradual Typing · Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt + 1 more
31. Transparent Object Proxies in JavaScript · Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
32. TreatJS: Higher-Order Contracts for JavaScripts · Matthias Keil, Peter Thiemann
33. Trust, but Verify: Two-Phase Typing for Dynamic Languages · Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala
34. Type Inference for Place-Oblivious Objects · Riyaz Haque, Jens Palsberg
35. Variability Abstractions: Trading Precision for Speed in Family-Based Analyses · Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski