@Proceedings{millstein:LIPIcs.ECOOP.2018,
title = {{LIPIcs, Volume 109, ECOOP'18, Complete Volume}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018},
URN = {urn:nbn:de:0030-drops-93014},
doi = {10.4230/LIPIcs.ECOOP.2018},
annote = {Keywords: Software and its engineering}
}
@InProceedings{millstein:LIPIcs.ECOOP.2018.0,
author = {Millstein, Todd},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {0:i--0:xx},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.0},
URN = {urn:nbn:de:0030-drops-92054},
doi = {10.4230/LIPIcs.ECOOP.2018.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{mogk_et_al:LIPIcs.ECOOP.2018.1,
author = {Mogk, Ragnar and Baumg\"{a}rtner, Lars and Salvaneschi, Guido and Freisleben, Bernd and Mezini, Mira},
title = {{Fault-tolerant Distributed Reactive Programming}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {1:1--1:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.1},
URN = {urn:nbn:de:0030-drops-92064},
doi = {10.4230/LIPIcs.ECOOP.2018.1},
annote = {Keywords: reactive programming, distributed systems, CRDTs, snapshots, restoration, error handling, fault tolerance}
}
@InProceedings{inoue_et_al:LIPIcs.ECOOP.2018.2,
author = {Inoue, Hiroaki and Aotani, Tomoyuki and Igarashi, Atsushi},
title = {{ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {2:1--2:33},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.2},
URN = {urn:nbn:de:0030-drops-92074},
doi = {10.4230/LIPIcs.ECOOP.2018.2},
annote = {Keywords: workflow, asynchronous exception, checkpoint, monad, embedded domain specific language}
}
@InProceedings{prokopec_et_al:LIPIcs.ECOOP.2018.3,
author = {Prokopec, Aleksandar and Liu, Fengyun},
title = {{Theory and Practice of Coroutines with Snapshots}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {3:1--3:32},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.3},
URN = {urn:nbn:de:0030-drops-92087},
doi = {10.4230/LIPIcs.ECOOP.2018.3},
annote = {Keywords: coroutines, continuations, coroutine snapshots, asynchronous programming, inversion of control, event-driven programming}
}
@InProceedings{ntzik_et_al:LIPIcs.ECOOP.2018.4,
author = {Ntzik, Gian and da Rocha Pinto, Pedro and Sutherland, Julian and Gardner, Philippa},
title = {{A Concurrent Specification of POSIX File Systems}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {4:1--4:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.4},
URN = {urn:nbn:de:0030-drops-92092},
doi = {10.4230/LIPIcs.ECOOP.2018.4},
annote = {Keywords: POSIX, concurrency, file systems, refinement, separation logic, atomicity}
}
@InProceedings{lam_et_al:LIPIcs.ECOOP.2018.5,
author = {Lam, Wing and Srisakaokul, Siwakorn and Bassett, Blake and Mahdian, Peyman and Xie, Tao and Lakshman, Pratap and de Halleux, Jonathan},
title = {{A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {5:1--5:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.5},
URN = {urn:nbn:de:0030-drops-92105},
doi = {10.4230/LIPIcs.ECOOP.2018.5},
annote = {Keywords: Parameterized unit testing, automated test generation, unit testing}
}
@InProceedings{chen_et_al:LIPIcs.ECOOP.2018.6,
author = {Chen, Junjie and Hu, Wenxiang and Zhang, Lingming and Hao, Dan and Khurshid, Sarfraz and Zhang, Lu},
title = {{Learning to Accelerate Symbolic Execution via Code Transformation}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {6:1--6:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.6},
URN = {urn:nbn:de:0030-drops-92115},
doi = {10.4230/LIPIcs.ECOOP.2018.6},
annote = {Keywords: Symbolic Execution, Code Transformation, Machine Learning}
}
@InProceedings{mezzetti_et_al:LIPIcs.ECOOP.2018.7,
author = {Mezzetti, Gianluca and M{\o}ller, Anders and Torp, Martin Toldam},
title = {{Type Regression Testing to Detect Breaking Changes in Node.js Libraries}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {7:1--7:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.7},
URN = {urn:nbn:de:0030-drops-92128},
doi = {10.4230/LIPIcs.ECOOP.2018.7},
annote = {Keywords: JavaScript, semantic versioning, dynamic analysis}
}
@InProceedings{li_et_al:LIPIcs.ECOOP.2018.8,
author = {Li, Sihan and Hariri, Farah and Agha, Gul},
title = {{Targeted Test Generation for Actor Systems}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {8:1--8:31},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.8},
URN = {urn:nbn:de:0030-drops-92135},
doi = {10.4230/LIPIcs.ECOOP.2018.8},
annote = {Keywords: actors, symbolic execution, test generation, static analysis}
}
@InProceedings{bi_et_al:LIPIcs.ECOOP.2018.9,
author = {Bi, Xuan and Oliveira, Bruno C. d. S.},
title = {{Typed First-Class Traits}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {9:1--9:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.9},
URN = {urn:nbn:de:0030-drops-92145},
doi = {10.4230/LIPIcs.ECOOP.2018.9},
annote = {Keywords: traits, extensible designs}
}
@InProceedings{kruger_et_al:LIPIcs.ECOOP.2018.10,
author = {Kr\"{u}ger, Stefan and Sp\"{a}th, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira},
title = {{CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {10:1--10:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.10},
URN = {urn:nbn:de:0030-drops-92151},
doi = {10.4230/LIPIcs.ECOOP.2018.10},
annote = {Keywords: cryptography, domain-specific language, static analysis}
}
@InProceedings{kaki_et_al:LIPIcs.ECOOP.2018.11,
author = {Kaki, Gowtham and Ramalingam, G.},
title = {{Safe Transferable Regions}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {11:1--11:31},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.11},
URN = {urn:nbn:de:0030-drops-92160},
doi = {10.4230/LIPIcs.ECOOP.2018.11},
annote = {Keywords: Memory Safety, Formal Methods, Type System, Type Inference, Regions, Featherweight Java}
}
@InProceedings{chung_et_al:LIPIcs.ECOOP.2018.12,
author = {Chung, Benjamin and Li, Paley and Zappa Nardelli, Francesco and Vitek, Jan},
title = {{KafKa: Gradual Typing for Objects}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {12:1--12:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.12},
URN = {urn:nbn:de:0030-drops-92170},
doi = {10.4230/LIPIcs.ECOOP.2018.12},
annote = {Keywords: Gradual typing, object-orientation, language design, type systems}
}
@InProceedings{campos_et_al:LIPIcs.ECOOP.2018.13,
author = {Campos, Joana and Vasconcelos, Vasco T.},
title = {{Dependent Types for Class-based Mutable Objects}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {13:1--13:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.13},
URN = {urn:nbn:de:0030-drops-92182},
doi = {10.4230/LIPIcs.ECOOP.2018.13},
annote = {Keywords: dependent types, index refinements, mutable objects, type systems}
}
@InProceedings{oostvogels_et_al:LIPIcs.ECOOP.2018.14,
author = {Oostvogels, Nathalie and De Koster, Joeri and De Meuter, Wolfgang},
title = {{Static Typing of Complex Presence Constraints in Interfaces}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {14:1--14:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.14},
URN = {urn:nbn:de:0030-drops-92196},
doi = {10.4230/LIPIcs.ECOOP.2018.14},
annote = {Keywords: type checking, interfaces, dependency logic}
}
@InProceedings{deliguoro_et_al:LIPIcs.ECOOP.2018.15,
author = {de'Liguoro, Ugo and Padovani, Luca},
title = {{Mailbox Types for Unordered Interactions}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {15:1--15:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.15},
URN = {urn:nbn:de:0030-drops-92209},
doi = {10.4230/LIPIcs.ECOOP.2018.15},
annote = {Keywords: actors, concurrent objects, first-class mailboxes, unordered communication protocols, behavioral types, protocol conformance, deadlock freedom, junk freedom}
}
@InProceedings{qunaibit_et_al:LIPIcs.ECOOP.2018.16,
author = {Qunaibit, Mohaned and Brunthaler, Stefan and Na, Yeoul and Volckaert, Stijn and Franz, Michael},
title = {{Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {16:1--16:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.16},
URN = {urn:nbn:de:0030-drops-92217},
doi = {10.4230/LIPIcs.ECOOP.2018.16},
annote = {Keywords: Type Specialization, Guards Optimization, Automatic Heterogeneous Computing, Automatic Parallelism}
}
@InProceedings{bell_et_al:LIPIcs.ECOOP.2018.17,
author = {Bell, Jonathan and Pina, Lu{\'\i}s},
title = {{CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {17:1--17:31},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.17},
URN = {urn:nbn:de:0030-drops-92223},
doi = {10.4230/LIPIcs.ECOOP.2018.17},
annote = {Keywords: Checkpoint rollback, runtime systems, dynamic analysis}
}
@InProceedings{gasconsamson_et_al:LIPIcs.ECOOP.2018.18,
author = {Gascon-Samson, Julien and Jung, Kumseok and Goyal, Shivanshu and Rezaiean-Asel, Armin and Pattabiraman, Karthik},
title = {{ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {18:1--18:33},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.18},
URN = {urn:nbn:de:0030-drops-92236},
doi = {10.4230/LIPIcs.ECOOP.2018.18},
annote = {Keywords: JavaScript, Code Migration, Closures, IoT, Node.js}
}
@InProceedings{gu_et_al:LIPIcs.ECOOP.2018.19,
author = {Gu, Tianxiao and Ma, Xiaoxing and Xu, Chang and Jiang, Yanyan and Cao, Chun and Lu, Jian},
title = {{Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {19:1--19:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.19},
URN = {urn:nbn:de:0030-drops-92243},
doi = {10.4230/LIPIcs.ECOOP.2018.19},
annote = {Keywords: Dynamic Software Update, Program Synthesis, Execution Synthesis}
}
@InProceedings{wang_et_al:LIPIcs.ECOOP.2018.20,
author = {Wang, Yanlin and Zhang, Haoyuan and Oliveira, Bruno C. d. S. and Servetto, Marco},
title = {{FHJ: A Formal Model for Hierarchical Dispatching and Overriding}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {20:1--20:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.20},
URN = {urn:nbn:de:0030-drops-92259},
doi = {10.4230/LIPIcs.ECOOP.2018.20},
annote = {Keywords: multiple inheritance, hierarchical dispatching, OOP, language design}
}
@InProceedings{ancona_et_al:LIPIcs.ECOOP.2018.21,
author = {Ancona, Davide and Dagnino, Francesco and Zucca, Elena},
title = {{Modeling Infinite Behaviour by Corules}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {21:1--21:31},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.21},
URN = {urn:nbn:de:0030-drops-92267},
doi = {10.4230/LIPIcs.ECOOP.2018.21},
annote = {Keywords: Operational semantics, coinduction, trace semantics}
}
@InProceedings{bi_et_al:LIPIcs.ECOOP.2018.22,
author = {Bi, Xuan and Oliveira, Bruno C. d. S. and Schrijvers, Tom},
title = {{The Essence of Nested Composition}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {22:1--22:33},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.22},
URN = {urn:nbn:de:0030-drops-92275},
doi = {10.4230/LIPIcs.ECOOP.2018.22},
annote = {Keywords: nested composition, family polymorphism, intersection types, coherence}
}
@InProceedings{smaragdakis_et_al:LIPIcs.ECOOP.2018.23,
author = {Smaragdakis, Yannis and Kastrinis, George},
title = {{Defensive Points-To Analysis: Effective Soundness via Laziness}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {23:1--23:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.23},
URN = {urn:nbn:de:0030-drops-92287},
doi = {10.4230/LIPIcs.ECOOP.2018.23},
annote = {Keywords: static analysis, soundness, defensive analysis}
}
@InProceedings{toman_et_al:LIPIcs.ECOOP.2018.24,
author = {Toman, John and Grossman, Dan},
title = {{Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {24:1--24:32},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.24},
URN = {urn:nbn:de:0030-drops-92290},
doi = {10.4230/LIPIcs.ECOOP.2018.24},
annote = {Keywords: Static Analysis, Dynamic Configuration Updates}
}
@InProceedings{milanova:LIPIcs.ECOOP.2018.25,
author = {Milanova, Ana},
title = {{Definite Reference Mutability}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {25:1--25:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.25},
URN = {urn:nbn:de:0030-drops-92303},
doi = {10.4230/LIPIcs.ECOOP.2018.25},
annote = {Keywords: reference immutability, type inference, CFL-reachability, precision}
}
@InProceedings{grech_et_al:LIPIcs.ECOOP.2018.26,
author = {Grech, Neville and Kastrinis, George and Smaragdakis, Yannis},
title = {{Efficient Reflection String Analysis via Graph Coloring}},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
pages = {26:1--26:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-079-8},
ISSN = {1868-8969},
year = {2018},
volume = {109},
editor = {Millstein, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.26},
URN = {urn:nbn:de:0030-drops-92319},
doi = {10.4230/LIPIcs.ECOOP.2018.26},
annote = {Keywords: reflection, static analysis, graph coloring}
}
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