@Proceedings{krishnamurthi_et_al:LIPIcs.ECOOP.2016,
title = {{LIPIcs, Volume 56, ECOOP'16, Complete Volume}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016},
URN = {urn:nbn:de:0030-drops-61391},
doi = {10.4230/LIPIcs.ECOOP.2016},
annote = {Keywords: Programming Techniques, Software Engineering}
}
@InProceedings{krishnamurthi_et_al:LIPIcs.ECOOP.2016.0,
author = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
title = {{Front Matter, Table of Contents, Preface, List of Authors}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {0:i--0:xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.0},
URN = {urn:nbn:de:0030-drops-60949},
doi = {10.4230/LIPIcs.ECOOP.2016.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, List of Authors}
}
@InProceedings{andreasen_et_al:LIPIcs.ECOOP.2016.1,
author = {Andreasen, Esben and Gordon, Colin S. and Chandra, Satish and Sridharan, Manu and Tip, Frank and Sen, Koushik},
title = {{Trace Typing: An Approach for Evaluating Retrofitted Type Systems}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {1:1--1:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.1},
URN = {urn:nbn:de:0030-drops-60952},
doi = {10.4230/LIPIcs.ECOOP.2016.1},
annote = {Keywords: Retrofitted type systems, Type system design, trace typing}
}
@InProceedings{avgustinov_et_al:LIPIcs.ECOOP.2016.2,
author = {Avgustinov, Pavel and de Moor, Oege and Jones, Michael Peyton and Sch\"{a}fer, Max},
title = {{QL: Object-oriented Queries on Relational Data}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {2:1--2:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.2},
URN = {urn:nbn:de:0030-drops-60968},
doi = {10.4230/LIPIcs.ECOOP.2016.2},
annote = {Keywords: Object orientation, Datalog, query languages, prescriptive typing}
}
@InProceedings{barrett_et_al:LIPIcs.ECOOP.2016.3,
author = {Barrett, Edd and Bolz, Carl Friedrich and Diekmann, Lukas and Tratt, Laurence},
title = {{Fine-grained Language Composition: A Case Study}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {3:1--3:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.3},
URN = {urn:nbn:de:0030-drops-60975},
doi = {10.4230/LIPIcs.ECOOP.2016.3},
annote = {Keywords: JIT, tracing, language composition}
}
@InProceedings{bolz_et_al:LIPIcs.ECOOP.2016.4,
author = {Bolz, Carl Friedrich and Kurilova, Darya and Tratt, Laurence},
title = {{Making an Embedded DBMS JIT-friendly}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {4:1--4:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.4},
URN = {urn:nbn:de:0030-drops-60986},
doi = {10.4230/LIPIcs.ECOOP.2016.4},
annote = {Keywords: DBMSs, JIT, performance, tracing}
}
@InProceedings{castegren_et_al:LIPIcs.ECOOP.2016.5,
author = {Castegren, Elias and Wrigstad, Tobias},
title = {{Reference Capabilities for Concurrency Control}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {5:1--5:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.5},
URN = {urn:nbn:de:0030-drops-60998},
doi = {10.4230/LIPIcs.ECOOP.2016.5},
annote = {Keywords: Type systems, Capabilities, Traits, Concurrency, Object-Oriented}
}
@InProceedings{chen_et_al:LIPIcs.ECOOP.2016.6,
author = {Chen, Sheng and Erwig, Martin and Walkingshaw, Eric},
title = {{A Calculus for Variational Programming}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {6:1--6:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.6},
URN = {urn:nbn:de:0030-drops-61005},
doi = {10.4230/LIPIcs.ECOOP.2016.6},
annote = {Keywords: Variational programming, variational types, variability-aware analyses}
}
@InProceedings{chevalierboisvert_et_al:LIPIcs.ECOOP.2016.7,
author = {Chevalier-Boisvert, Maxime and Feeley, Marc},
title = {{Interprocedural Type Specialization of JavaScript Programs Without Type Analysis}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {7:1--7:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.7},
URN = {urn:nbn:de:0030-drops-61019},
doi = {10.4230/LIPIcs.ECOOP.2016.7},
annote = {Keywords: Just-In-Time Compilation, Dynamic Language, Optimization, Object Oriented, JavaScript}
}
@InProceedings{eyolfson_et_al:LIPIcs.ECOOP.2016.8,
author = {Eyolfson, Jon and Lam, Patrick},
title = {{C++ const and Immutability: An Empirical Study of Writes-Through-const}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {8:1--8:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.8},
URN = {urn:nbn:de:0030-drops-61024},
doi = {10.4230/LIPIcs.ECOOP.2016.8},
annote = {Keywords: empirical study, dynamic analysis, immutability}
}
@InProceedings{fennell_et_al:LIPIcs.ECOOP.2016.9,
author = {Fennell, Luminous and Thiemann, Peter},
title = {{LJGS: Gradual Security Types for Object-Oriented Languages}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {9:1--9:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.9},
URN = {urn:nbn:de:0030-drops-61031},
doi = {10.4230/LIPIcs.ECOOP.2016.9},
annote = {Keywords: gradual typing, security typing, Java, hybrid information flow control}
}
@InProceedings{gil_et_al:LIPIcs.ECOOP.2016.10,
author = {Gil, Yossi and Levy, Tomer},
title = {{Formal Language Recognition with the Java Type Checker}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {10:1--10:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.10},
URN = {urn:nbn:de:0030-drops-61042},
doi = {10.4230/LIPIcs.ECOOP.2016.10},
annote = {Keywords: Parser Generators, Generic Programming, Fluent API}
}
@InProceedings{harkes_et_al:LIPIcs.ECOOP.2016.11,
author = {Harkes, Daco C. and Groenewegen, Danny M. and Visser, Eelco},
title = {{IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {11:1--11:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.11},
URN = {urn:nbn:de:0030-drops-61059},
doi = {10.4230/LIPIcs.ECOOP.2016.11},
annote = {Keywords: Incremental Computing, Data Modeling, Domain Specific Language}
}
@InProceedings{jezek_et_al:LIPIcs.ECOOP.2016.12,
author = {Jezek, Kamil and Dietrich, Jens},
title = {{Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {12:1--12:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.12},
URN = {urn:nbn:de:0030-drops-61068},
doi = {10.4230/LIPIcs.ECOOP.2016.12},
annote = {Keywords: Java, compilation, linking, binary compatibility, invokedynamic}
}
@InProceedings{jones_et_al:LIPIcs.ECOOP.2016.13,
author = {Jones, Timothy and Homer, Michael and Noble, James and Bruce, Kim},
title = {{Object Inheritance Without Classes}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {13:1--13:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.13},
URN = {urn:nbn:de:0030-drops-61077},
doi = {10.4230/LIPIcs.ECOOP.2016.13},
annote = {Keywords: Inheritance, Objects, Classes, Operational semantics}
}
@InProceedings{jarvi_et_al:LIPIcs.ECOOP.2016.14,
author = {J\"{a}rvi, Jaakko and Parent, Sean},
title = {{One Way to Select Many}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {14:1--14:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.14},
URN = {urn:nbn:de:0030-drops-61080},
doi = {10.4230/LIPIcs.ECOOP.2016.14},
annote = {Keywords: User interfaces, Multi-selection, JavaScript}
}
@InProceedings{li_et_al:LIPIcs.ECOOP.2016.15,
author = {Li, Yue and Tan, Tian and Zhang, Yifei and Xue, Jingling},
title = {{Program Tailoring: Slicing by Sequential Criteria}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {15:1--15:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.15},
URN = {urn:nbn:de:0030-drops-61092},
doi = {10.4230/LIPIcs.ECOOP.2016.15},
annote = {Keywords: Program Slicing, Program Analysis, API Protocol Analysis}
}
@InProceedings{militao_et_al:LIPIcs.ECOOP.2016.16,
author = {Milit\~{a}o, Filipe and Aldrich, Jonathan and Caires, Lu{\'\i}s},
title = {{Composing Interfering Abstract Protocols}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {16:1--16:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.16},
URN = {urn:nbn:de:0030-drops-61108},
doi = {10.4230/LIPIcs.ECOOP.2016.16},
annote = {Keywords: shared memory interference, protocol composition, aliasing, linearity}
}
@InProceedings{miller_et_al:LIPIcs.ECOOP.2016.17,
author = {Miller, Mark S. and Tulloh, Bill},
title = {{The Elements of Decision Alignment}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {17:1--17:5},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.17},
URN = {urn:nbn:de:0030-drops-61111},
doi = {10.4230/LIPIcs.ECOOP.2016.17},
annote = {Keywords: economics, law, contracts, principal-agent problem, incentive alignment, least authority, verification}
}
@InProceedings{ohori_et_al:LIPIcs.ECOOP.2016.18,
author = {Ohori, Atsushi and Ueno, Katsuhiro and Sasaki, Tomohiro and Kikuchi, Daisuke},
title = {{A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {18:1--18:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.18},
URN = {urn:nbn:de:0030-drops-61128},
doi = {10.4230/LIPIcs.ECOOP.2016.18},
annote = {Keywords: JSON, Type System, Polymorphic Record Calculus}
}
@InProceedings{palmer_et_al:LIPIcs.ECOOP.2016.19,
author = {Palmer, Zachary and Smith, Scott F.},
title = {{Higher-Order Demand-Driven Program Analysis}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {19:1--19:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.19},
URN = {urn:nbn:de:0030-drops-61132},
doi = {10.4230/LIPIcs.ECOOP.2016.19},
annote = {Keywords: functional programming, program analysis, polynomial-time, demand-driven, flow-sensitive, context-sensitive}
}
@InProceedings{bachpoulsen_et_al:LIPIcs.ECOOP.2016.20,
author = {Bach Poulsen, Casper and N\'{e}ron, Pierre and Tolmach, Andrew and Visser, Eelco},
title = {{Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {20:1--20:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.20},
URN = {urn:nbn:de:0030-drops-61140},
doi = {10.4230/LIPIcs.ECOOP.2016.20},
annote = {Keywords: Dynamic semantics, scope graphs, memory layout, type soundness, operational semantics}
}
@InProceedings{scalas_et_al:LIPIcs.ECOOP.2016.21,
author = {Scalas, Alceste and Yoshida, Nobuko},
title = {{Lightweight Session Programming in Scala}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {21:1--21:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.21},
URN = {urn:nbn:de:0030-drops-61156},
doi = {10.4230/LIPIcs.ECOOP.2016.21},
annote = {Keywords: session types, Scala, concurrency}
}
@InProceedings{spath_et_al:LIPIcs.ECOOP.2016.22,
author = {Sp\"{a}th, Johannes and Nguyen Quang Do, Lisa and Ali, Karim and Bodden, Eric},
title = {{Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {22:1--22:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.22},
URN = {urn:nbn:de:0030-drops-61164},
doi = {10.4230/LIPIcs.ECOOP.2016.22},
annote = {Keywords: Demand-Driven; Static Analysis; IFDS; Aliasing; Points-to Analysis}
}
@InProceedings{swalens_et_al:LIPIcs.ECOOP.2016.23,
author = {Swalens, Janwillem and De Koster, Joeri and De Meuter, Wolfgang},
title = {{Transactional Tasks: Parallelism in Software Transactions}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {23:1--23:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.23},
URN = {urn:nbn:de:0030-drops-61173},
doi = {10.4230/LIPIcs.ECOOP.2016.23},
annote = {Keywords: Concurrency, Parallelism, Futures, Threads, Fork/Join, Software Transactional Memory}
}
@InProceedings{toman_et_al:LIPIcs.ECOOP.2016.24,
author = {Toman, John and Grossman, Dan},
title = {{Staccato: A Bug Finder for Dynamic Configuration Updates}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {24:1--24:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.24},
URN = {urn:nbn:de:0030-drops-61185},
doi = {10.4230/LIPIcs.ECOOP.2016.24},
annote = {Keywords: Dynamic Configuration Updates, Dynamic Analysis, Software configuration}
}
@InProceedings{wang_et_al:LIPIcs.ECOOP.2016.25,
author = {Wang, Chenglong and Jiang, Jiajun and Li, Jun and Xiong, Yingfei and Luo, Xiangyu and Zhang, Lu and Hu, Zhenjiang},
title = {{Transforming Programs between APIs with Many-to-Many Mappings}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {25:1--25:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.25},
URN = {urn:nbn:de:0030-drops-61195},
doi = {10.4230/LIPIcs.ECOOP.2016.25},
annote = {Keywords: Program transformation, API migration}
}
@InProceedings{zhao_et_al:LIPIcs.ECOOP.2016.26,
author = {Zhao, Yue and Chen, Guoyang and Liao, Chunhua and Shen, Xipeng},
title = {{Towards Ontology-Based Program Analysis}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {26:1--26:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.26},
URN = {urn:nbn:de:0030-drops-61201},
doi = {10.4230/LIPIcs.ECOOP.2016.26},
annote = {Keywords: ontology, compiler, program analysis}
}
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