ask others

29. ECOOP 2015: Prague, Czech Republic

> Home > Conferences and Workshops > ECOOP

- view
  - electronic edition @ dagstuhl.de
- export record
  dblp key:
  - conf/ecoop/2015
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/2015
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/X15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/X15
Front Matter, Table of Contents, Preface, Artifacts, Conference Organization. i-xviii
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/Stroustrup15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/Stroustrup15
Bjarne Stroustrup:
Object-Oriented Programming without Inheritance (Invited Talk). 1-1
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/Choi15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/Choi15
Jong-Deok Choi:
Programming in the Large for the Internet of Things (Invited Talk). 2-2
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/Summers15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/Summers15
Alexander J. Summers:
Software Verification "Across the Stack" (Invited Talk). 3-3
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/TakikawaFDFFTF15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/TakikawaFDFFTF15
Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen:
Towards Practical Gradual Typing. 4-27
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/KeilT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/KeilT15
Matthias Keil, Peter Thiemann:
TreatJS: Higher-Order Contracts for JavaScripts. 28-51
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/VekrisCJ15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/VekrisCJ15
Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala:
Trust, but Verify: Two-Phase Typing for Dynamic Languages. 52-75
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/RichardsNV15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/RichardsNV15
Gregor Richards, Francesco Zappa Nardelli, Jan Vitek:
Concrete Types for TypeScript. 76-100
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/Chevalier-Boisvert15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/Chevalier-Boisvert15
Maxime Chevalier-Boisvert, Marc Feeley:
Simple and Effective Type Check Removal through Lazy Basic Block Versioning. 101-123
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/BhandariN15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/BhandariN15
Abhilash Bhandari, V. Krishna Nandivada:
Loop Tiling in the Presence of Exceptions. 124-148
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/KeilGSGT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/KeilGSGT15
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
Transparent Object Proxies in JavaScript. 149-173
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/LeeASP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/LeeASP15
Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin:
A Theory of Tagged Objects. 174-197
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/JonesHN15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/JonesHN15
Timothy Jones, Michael Homer, James Noble:
Brand Objects for Nominal Typing. 198-221
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/CentonzePT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/CentonzePT15
Paolina Centonze, Marco Pistoia, Omer Tripp:
Access-rights Analysis in the Presence of Subjects. 222-246
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/DimovskiBW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/DimovskiBW15
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski:
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. 247-270
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/St-AmourG15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/St-AmourG15
Vincent St-Amour, Shu-yu Guo:
Optimization Coaching for JavaScript. 271-295
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/FangDX15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/FangDX15
Lu Fang, Liang Dou, Guoqing (Harry) Xu:
PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification. 296-320
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/Alimadadi0P15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/Alimadadi0P15
Saba Alimadadi, Ali Mesbah, Karthik Pattabiraman:
Hybrid DOM-Sensitive Change Impact Analysis for JavaScript. 321-345
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/LongLR15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/LongLR15
Yuheng Long, Yu David Liu, Hridesh Rajan:
Intensional Effect Polymorphism. 346-370
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/HaqueP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/HaqueP15
Riyaz Haque, Jens Palsberg:
Type Inference for Place-Oblivious Objects. 371-395
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/KloosMV15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/KloosMV15
Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis:
Asynchronous Liquid Separation Types. 396-420
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/ImamS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/ImamS15
Shams Imam, Vivek Sarkar:
The Eureka Programming Model for Speculative Task Parallelism. 421-444
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/PetriVJ15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/PetriVJ15
Gustavo Petri, Jan Vitek, Suresh Jagannathan:
Cooking the Books: Formalizing JMM Implementation Recipes. 445-469
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/DongolDGS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/DongolDGS15
Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith:
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. 470-494
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/MedeirosKRNG15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/MedeirosKRNG15
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/PradelS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/PradelS15
Michael Pradel, Koushik Sen:
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript. 519-541
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/ShinnarSH15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/ShinnarSH15
Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. 542-567
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/BurckhardtLPF15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/BurckhardtLPF15
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich:
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. 568-590
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/BiboudisPFS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/BiboudisPFS15
Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis:
Streams a la carte: Extensible Pipelines with Object Algebras. 591-613
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/SchwerhoffS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/SchwerhoffS15
Malte Schwerhoff, Alexander J. Summers:
Lightweight Support for Magic Wands in an Automatic Verifier. 614-638
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/BostromM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/BostromM15
Pontus Boström, Peter Müller:
Modular Verification of Finite Blocking in Non-terminating Programs. 639-663
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/JacobsBK15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/JacobsBK15
Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper:
Modular Termination Verification. 664-688
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/HauzarK15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/HauzarK15
David Hauzar, Jan Kofron:
Framework for Static Analysis of PHP Applications. 689-711
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/WeiR15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/WeiR15
Shiyi Wei, Barbara G. Ryder:
Adaptive Context-sensitive Analysis for JavaScript. 712-734
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/ParkR15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/ParkR15
Changhee Park, Sukyoung Ryu:
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity. 735-756

maintained by

, founded at