@Proceedings{boyland:LIPIcs.ECOOP.2015,
title = {{LIPIcs, Volume 37, ECOOP'15, Complete Volume}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015},
URN = {urn:nbn:de:0030-drops-52737},
doi = {10.4230/LIPIcs.ECOOP.2015},
annote = {Keywords: Object-oriented Programming}
}
@InProceedings{boyland:LIPIcs.ECOOP.2015.i,
author = {Boyland, John Tang},
title = {{Front Matter, Table of Contents, Preface, Artifacts, Conference Organization}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {i--xviii},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.i},
URN = {urn:nbn:de:0030-drops-52463},
doi = {10.4230/LIPIcs.ECOOP.2015.i},
annote = {Keywords: Front Matter, Table of Contents, Preface, Artifacts, Conference Organization}
}
@InProceedings{stroustrup:LIPIcs.ECOOP.2015.1,
author = {Stroustrup, Bjarne},
title = {{Object-Oriented Programming without Inheritance}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {1--1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.1},
URN = {urn:nbn:de:0030-drops-52129},
doi = {10.4230/LIPIcs.ECOOP.2015.1},
annote = {Keywords: object orientation, generic programming, polymorphism, concepts, encapsulation}
}
@InProceedings{choi:LIPIcs.ECOOP.2015.2,
author = {Choi, Jong-Deok},
title = {{Programming in the Large for the Internet of Things}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {2--2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.2},
URN = {urn:nbn:de:0030-drops-52132},
doi = {10.4230/LIPIcs.ECOOP.2015.2},
annote = {Keywords: software development methodologies, software architecture, programming model, software engineering, IoT}
}
@InProceedings{summers:LIPIcs.ECOOP.2015.3,
author = {Summers, Alexander J.},
title = {{Software Verification "Across the Stack"}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {3--3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.3},
URN = {urn:nbn:de:0030-drops-52141},
doi = {10.4230/LIPIcs.ECOOP.2015.3},
annote = {Keywords: software verification, program logic, automatic verifier, program correctness, SMT solvers}
}
@InProceedings{takikawa_et_al:LIPIcs.ECOOP.2015.4,
author = {Takikawa, Asumu and Feltey, Daniel and Dean, Earl and Flatt, Matthew and Findler, Robert Bruce and Tobin-Hochstadt, Sam and Felleisen, Matthias},
title = {{Towards Practical Gradual Typing}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {4--27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.4},
URN = {urn:nbn:de:0030-drops-52156},
doi = {10.4230/LIPIcs.ECOOP.2015.4},
annote = {Keywords: Gradual typing, object-oriented programming, performance evaluation}
}
@InProceedings{keil_et_al:LIPIcs.ECOOP.2015.28,
author = {Keil, Matthias and Thiemann, Peter},
title = {{TreatJS: Higher-Order Contracts for JavaScripts}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {28--51},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.28},
URN = {urn:nbn:de:0030-drops-52164},
doi = {10.4230/LIPIcs.ECOOP.2015.28},
annote = {Keywords: Higher-Order Contracts, JavaScript, Proxies}
}
@InProceedings{vekris_et_al:LIPIcs.ECOOP.2015.52,
author = {Vekris, Panagiotis and Cosman, Benjamin and Jhala, Ranjit},
title = {{Trust, but Verify: Two-Phase Typing for Dynamic Languages}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {52--75},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.52},
URN = {urn:nbn:de:0030-drops-52173},
doi = {10.4230/LIPIcs.ECOOP.2015.52},
annote = {Keywords: Dynamic Languages, Type Systems, Refinement Types, Intersection Types, Overloading}
}
@InProceedings{richards_et_al:LIPIcs.ECOOP.2015.76,
author = {Richards, Gregor and Zappa Nardelli, Francesco and Vitek, Jan},
title = {{Concrete Types for TypeScript}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {76--100},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.76},
URN = {urn:nbn:de:0030-drops-52185},
doi = {10.4230/LIPIcs.ECOOP.2015.76},
annote = {Keywords: Gradual typing, dynamic languages}
}
@InProceedings{chevalierboisvert_et_al:LIPIcs.ECOOP.2015.101,
author = {Chevalier-Boisvert, Maxime and Feeley, Marc},
title = {{Simple and Effective Type Check Removal through Lazy Basic Block Versioning}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {101--123},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.101},
URN = {urn:nbn:de:0030-drops-52196},
doi = {10.4230/LIPIcs.ECOOP.2015.101},
annote = {Keywords: Just-In-Time Compilation, Dynamic Optimization, Type Checking, Code Generation, JavaScript}
}
@InProceedings{bhandari_et_al:LIPIcs.ECOOP.2015.124,
author = {Bhandari, Abhilash and Nandivada, V. Krishna},
title = {{Loop Tiling in the Presence of Exceptions}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {124--148},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.124},
URN = {urn:nbn:de:0030-drops-52202},
doi = {10.4230/LIPIcs.ECOOP.2015.124},
annote = {Keywords: Compiler optimizations, semantics preservation, exceptions, loop-tiling}
}
@InProceedings{keil_et_al:LIPIcs.ECOOP.2015.149,
author = {Keil, Matthias and Guria, Sankha Narayan and Schlegel, Andreas and Geffken, Manuel and Thiemann, Peter},
title = {{Transparent Object Proxies in JavaScript}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {149--173},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.149},
URN = {urn:nbn:de:0030-drops-52299},
doi = {10.4230/LIPIcs.ECOOP.2015.149},
annote = {Keywords: JavaScript, Proxies, Equality, Contracts}
}
@InProceedings{lee_et_al:LIPIcs.ECOOP.2015.174,
author = {Lee, Joseph and Aldrich, Jonathan and Shaw, Troy and Potanin, Alex},
title = {{A Theory of Tagged Objects}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {174--197},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.174},
URN = {urn:nbn:de:0030-drops-52305},
doi = {10.4230/LIPIcs.ECOOP.2015.174},
annote = {Keywords: objects, classes, tags, nominal and structural types}
}
@InProceedings{jones_et_al:LIPIcs.ECOOP.2015.198,
author = {Jones, Timothy and Homer, Michael and Noble, James},
title = {{Brand Objects for Nominal Typing}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {198--221},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.198},
URN = {urn:nbn:de:0030-drops-52314},
doi = {10.4230/LIPIcs.ECOOP.2015.198},
annote = {Keywords: brands, types, structural, nominal, Grace}
}
@InProceedings{centonze_et_al:LIPIcs.ECOOP.2015.222,
author = {Centonze, Paolina and Pistoia, Marco and Tripp, Omer},
title = {{Access-rights Analysis in the Presence of Subjects}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {222--246},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.222},
URN = {urn:nbn:de:0030-drops-52249},
doi = {10.4230/LIPIcs.ECOOP.2015.222},
annote = {Keywords: Static Analysis, Security, Access Control}
}
@InProceedings{dimovski_et_al:LIPIcs.ECOOP.2015.247,
author = {Dimovski, Aleksandar S. and Brabrand, Claus and Wasowski, Andrzej},
title = {{Variability Abstractions: Trading Precision for Speed in Family-Based Analyses}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {247--270},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.247},
URN = {urn:nbn:de:0030-drops-52253},
doi = {10.4230/LIPIcs.ECOOP.2015.247},
annote = {Keywords: Software Product Lines, Family-Based Program Analysis, Abstract Interpretation}
}
@InProceedings{stamour_et_al:LIPIcs.ECOOP.2015.271,
author = {St-Amour, Vincent and Guo, Shu-yu},
title = {{Optimization Coaching for JavaScript}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {271--295},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.271},
URN = {urn:nbn:de:0030-drops-52260},
doi = {10.4230/LIPIcs.ECOOP.2015.271},
annote = {Keywords: Optimization Coaching, JavaScript, Performance Tools}
}
@InProceedings{fang_et_al:LIPIcs.ECOOP.2015.296,
author = {Fang, Lu and Dou, Liang and Xu, Guoqing},
title = {{PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {296--320},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.296},
URN = {urn:nbn:de:0030-drops-52278},
doi = {10.4230/LIPIcs.ECOOP.2015.296},
annote = {Keywords: Performance bugs, memory problems, managed languages, garbage collection\}}
}
@InProceedings{alimadadi_et_al:LIPIcs.ECOOP.2015.321,
author = {Alimadadi, Saba and Mesbah, Ali and Pattabiraman, Karthik},
title = {{Hybrid DOM-Sensitive Change Impact Analysis for JavaScript}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {321--345},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.321},
URN = {urn:nbn:de:0030-drops-52280},
doi = {10.4230/LIPIcs.ECOOP.2015.321},
annote = {Keywords: Change impact analysis, JavaScript, hybrid analysis}
}
@InProceedings{long_et_al:LIPIcs.ECOOP.2015.346,
author = {Long, Yuheng and Liu, Yu David and Rajan, Hridesh},
title = {{Intensional Effect Polymorphism}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {346--370},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.346},
URN = {urn:nbn:de:0030-drops-52213},
doi = {10.4230/LIPIcs.ECOOP.2015.346},
annote = {Keywords: intensional effect polymorphism, type system, hybrid typing}
}
@InProceedings{haque_et_al:LIPIcs.ECOOP.2015.371,
author = {Haque, Riyaz and Palsberg, Jens},
title = {{Type Inference for Place-Oblivious Objects}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {371--395},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.371},
URN = {urn:nbn:de:0030-drops-52223},
doi = {10.4230/LIPIcs.ECOOP.2015.371},
annote = {Keywords: parallelism, locality, types}
}
@InProceedings{kloos_et_al:LIPIcs.ECOOP.2015.396,
author = {Kloos, Johannes and Majumdar, Rupak and Vafeiadis, Viktor},
title = {{Asynchronous Liquid Separation Types}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {396--420},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.396},
URN = {urn:nbn:de:0030-drops-52233},
doi = {10.4230/LIPIcs.ECOOP.2015.396},
annote = {Keywords: Liquid Types, Asynchronous Parallelism, Separation Logic, Type Systems}
}
@InProceedings{imam_et_al:LIPIcs.ECOOP.2015.421,
author = {Imam, Shams and Sarkar, Vivek},
title = {{The Eureka Programming Model for Speculative Task Parallelism}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {421--444},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.421},
URN = {urn:nbn:de:0030-drops-52327},
doi = {10.4230/LIPIcs.ECOOP.2015.421},
annote = {Keywords: Async-Finish Model, Delimited Continuations, Eureka Model, Parallel Programming, Speculative Parallelism, Task Cancellation, Task Termination}
}
@InProceedings{petri_et_al:LIPIcs.ECOOP.2015.445,
author = {Petri, Gustavo and Vitek, Jan and Jagannathan, Suresh},
title = {{Cooking the Books: Formalizing JMM Implementation Recipes}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {445--469},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.445},
URN = {urn:nbn:de:0030-drops-52334},
doi = {10.4230/LIPIcs.ECOOP.2015.445},
annote = {Keywords: Concurrency, Java, Memory Model, Relaxed-Memory}
}
@InProceedings{dongol_et_al:LIPIcs.ECOOP.2015.470,
author = {Dongol, Brijesh and Derrick, John and Groves, Lindsay and Smith, Graeme},
title = {{Defining Correctness Conditions for Concurrent Objects in Multicore Architectures}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {470--494},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.470},
URN = {urn:nbn:de:0030-drops-52348},
doi = {10.4230/LIPIcs.ECOOP.2015.470},
annote = {Keywords: Concurrent objects, correctness, relaxed memory, verification}
}
@InProceedings{medeiros_et_al:LIPIcs.ECOOP.2015.495,
author = {Medeiros, Fl\'{a}vio and K\"{a}stner, Christian and Ribeiro, M\'{a}rcio and Nadi, Sarah and Gheyi, Rohit},
title = {{The Love/Hate Relationship with the C Preprocessor: An Interview Study}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {495--518},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.495},
URN = {urn:nbn:de:0030-drops-52350},
doi = {10.4230/LIPIcs.ECOOP.2015.495},
annote = {Keywords: C Preprocessor, CPP, Interviews, Surveys, and Grounded Theory}
}
@InProceedings{pradel_et_al:LIPIcs.ECOOP.2015.519,
author = {Pradel, Michael and Sen, Koushik},
title = {{The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {519--541},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.519},
URN = {urn:nbn:de:0030-drops-52367},
doi = {10.4230/LIPIcs.ECOOP.2015.519},
annote = {Keywords: Types, Type coercions, JavaScript, Dynamically typed languages}
}
@InProceedings{shinnar_et_al:LIPIcs.ECOOP.2015.542,
author = {Shinnar, Avraham and Sim\'{e}on, J\'{e}r\^{o}me and Hirzel, Martin},
title = {{A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {542--567},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.542},
URN = {urn:nbn:de:0030-drops-52374},
doi = {10.4230/LIPIcs.ECOOP.2015.542},
annote = {Keywords: Rules, Pattern Matching, Aggregation, Nested Queries, Mechanization}
}
@InProceedings{burckhardt_et_al:LIPIcs.ECOOP.2015.568,
author = {Burckhardt, Sebastian and Leijen, Daan and Protzenko, Jonathan and F\"{a}hndrich, Manuel},
title = {{Global Sequence Protocol: A Robust Abstraction for Replicated Shared State}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {568--590},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.568},
URN = {urn:nbn:de:0030-drops-52385},
doi = {10.4230/LIPIcs.ECOOP.2015.568},
annote = {Keywords: distributed computing, eventual consistency, GSP protocol}
}
@InProceedings{biboudis_et_al:LIPIcs.ECOOP.2015.591,
author = {Biboudis, Aggelos and Palladinos, Nick and Fourtounis, George and Smaragdakis, Yannis},
title = {{Streams a la carte: Extensible Pipelines with Object Algebras}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {591--613},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.591},
URN = {urn:nbn:de:0030-drops-52392},
doi = {10.4230/LIPIcs.ECOOP.2015.591},
annote = {Keywords: object algebras, streams, extensibility, domain-specific languages, expression problem, library design}
}
@InProceedings{schwerhoff_et_al:LIPIcs.ECOOP.2015.614,
author = {Schwerhoff, Malte and Summers, Alexander J.},
title = {{Lightweight Support for Magic Wands in an Automatic Verifier}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {614--638},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.614},
URN = {urn:nbn:de:0030-drops-52408},
doi = {10.4230/LIPIcs.ECOOP.2015.614},
annote = {Keywords: Magic Wand, Software Verification, Automatic Verifiers, Separation Logic, Implicit Dynamic Frames}
}
@InProceedings{bostrom_et_al:LIPIcs.ECOOP.2015.639,
author = {Bostr\"{o}m, Pontus and M\"{u}ller, Peter},
title = {{Modular Verification of Finite Blocking in Non-terminating Programs}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {639--663},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.639},
URN = {urn:nbn:de:0030-drops-52416},
doi = {10.4230/LIPIcs.ECOOP.2015.639},
annote = {Keywords: Program verification, concurrency, liveness, progress, obligations}
}
@InProceedings{jacobs_et_al:LIPIcs.ECOOP.2015.664,
author = {Jacobs, Bart and Bosnacki, Dragan and Kuiper, Ruurd},
title = {{Modular Termination Verification}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {664--688},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.664},
URN = {urn:nbn:de:0030-drops-52422},
doi = {10.4230/LIPIcs.ECOOP.2015.664},
annote = {Keywords: Termination, program verification, modular verification, separation logic, well-founded relations}
}
@InProceedings{hauzar_et_al:LIPIcs.ECOOP.2015.689,
author = {Hauzar, David and Kofron, Jan},
title = {{Framework for Static Analysis of PHP Applications}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {689--711},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.689},
URN = {urn:nbn:de:0030-drops-52435},
doi = {10.4230/LIPIcs.ECOOP.2015.689},
annote = {Keywords: Static analysis, abstract interpretation, dynamic languages, PHP, security}
}
@InProceedings{wei_et_al:LIPIcs.ECOOP.2015.712,
author = {Wei, Shiyi and Ryder, Barbara G.},
title = {{Adaptive Context-sensitive Analysis for JavaScript}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {712--734},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.712},
URN = {urn:nbn:de:0030-drops-52446},
doi = {10.4230/LIPIcs.ECOOP.2015.712},
annote = {Keywords: Context Sensitivity, JavaScript, Static Program Analysis}
}
@InProceedings{park_et_al:LIPIcs.ECOOP.2015.735,
author = {Park, Changhee and Ryu, Sukyoung},
title = {{Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {735--756},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {Boyland, John Tang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.735},
URN = {urn:nbn:de:0030-drops-52458},
doi = {10.4230/LIPIcs.ECOOP.2015.735},
annote = {Keywords: JavaScript, static analysis, loops}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing