LIPIcs, Volume 194
ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)
Editors: Anders Møller and Manu Sridharan
Published in: DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, and Behnaz Hassanshahi. Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact). In Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022). Dagstuhl Artifacts Series (DARTS), Volume 8, Issue 2, pp. 7:1-7:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Article{chakraborty_et_al:DARTS.8.2.7, author = {Chakraborty, Madhurima and Olivares, Renzo and Sridharan, Manu and Hassanshahi, Behnaz}, title = {{Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact)}}, pages = {7:1--7:5}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2022}, volume = {8}, number = {2}, editor = {Chakraborty, Madhurima and Olivares, Renzo and Sridharan, Manu and Hassanshahi, Behnaz}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.8.2.7}, URN = {urn:nbn:de:0030-drops-162052}, doi = {10.4230/DARTS.8.2.7}, annote = {Keywords: JavaScript, call graph construction, static program analysis} }
Published in: DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael D. Ernst. Accumulation Analysis (Artifact). In Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022). Dagstuhl Artifacts Series (DARTS), Volume 8, Issue 2, pp. 22:1-22:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Article{kellogg_et_al:DARTS.8.2.22, author = {Kellogg, Martin and Shadab, Narges and Sridharan, Manu and Ernst, Michael D.}, title = {{Accumulation Analysis (Artifact)}}, pages = {22:1--22:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2022}, volume = {8}, number = {2}, editor = {Kellogg, Martin and Shadab, Narges and Sridharan, Manu and Ernst, Michael D.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.8.2.22}, URN = {urn:nbn:de:0030-drops-162209}, doi = {10.4230/DARTS.8.2.22}, annote = {Keywords: Typestate, finite-state property} }
Published in: LIPIcs, Volume 222, 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, and Behnaz Hassanshahi. Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs. In 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 222, pp. 3:1-3:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{chakraborty_et_al:LIPIcs.ECOOP.2022.3, author = {Chakraborty, Madhurima and Olivares, Renzo and Sridharan, Manu and Hassanshahi, Behnaz}, title = {{Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs}}, booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)}, pages = {3:1--3:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-225-9}, ISSN = {1868-8969}, year = {2022}, volume = {222}, editor = {Ali, Karim and Vitek, Jan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.3}, URN = {urn:nbn:de:0030-drops-162314}, doi = {10.4230/LIPIcs.ECOOP.2022.3}, annote = {Keywords: JavaScript, call graph construction, static program analysis} }
Published in: LIPIcs, Volume 222, 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael D. Ernst. Accumulation Analysis. In 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 222, pp. 10:1-10:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{kellogg_et_al:LIPIcs.ECOOP.2022.10, author = {Kellogg, Martin and Shadab, Narges and Sridharan, Manu and Ernst, Michael D.}, title = {{Accumulation Analysis}}, booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)}, pages = {10:1--10:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-225-9}, ISSN = {1868-8969}, year = {2022}, volume = {222}, editor = {Ali, Karim and Vitek, Jan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.10}, URN = {urn:nbn:de:0030-drops-162381}, doi = {10.4230/LIPIcs.ECOOP.2022.10}, annote = {Keywords: Typestate, finite-state property} }
Published in: LIPIcs, Volume 194, 35th European Conference on Object-Oriented Programming (ECOOP 2021)
35th European Conference on Object-Oriented Programming (ECOOP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 194, pp. 1-628, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@Proceedings{mller_et_al:LIPIcs.ECOOP.2021, title = {{LIPIcs, Volume 194, ECOOP 2021, Complete Volume}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {1--628}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021}, URN = {urn:nbn:de:0030-drops-140422}, doi = {10.4230/LIPIcs.ECOOP.2021}, annote = {Keywords: LIPIcs, Volume 194, ECOOP 2021, Complete Volume} }
Published in: LIPIcs, Volume 194, 35th European Conference on Object-Oriented Programming (ECOOP 2021)
35th European Conference on Object-Oriented Programming (ECOOP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 194, pp. 0:i-0:xxiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{mller_et_al:LIPIcs.ECOOP.2021.0, author = {M{\o}ller, Anders and Sridharan, Manu}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {0:i--0:xxiv}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.0}, URN = {urn:nbn:de:0030-drops-140438}, doi = {10.4230/LIPIcs.ECOOP.2021.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: LIPIcs, Volume 194, 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Hendrik van Antwerpen and Eelco Visser. Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers. In 35th European Conference on Object-Oriented Programming (ECOOP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 194, pp. 1:1-1:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{vanantwerpen_et_al:LIPIcs.ECOOP.2021.1, author = {van Antwerpen, Hendrik and Visser, Eelco}, title = {{Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {1:1--1:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.1}, URN = {urn:nbn:de:0030-drops-140441}, doi = {10.4230/LIPIcs.ECOOP.2021.1}, annote = {Keywords: type checking, name resolution, parallel algorithms} }
Published in: LIPIcs, Volume 194, 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Philipp Dominik Schubert, Ben Hermann, and Eric Bodden. Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. In 35th European Conference on Object-Oriented Programming (ECOOP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 194, pp. 2:1-2:31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{schubert_et_al:LIPIcs.ECOOP.2021.2, author = {Schubert, Philipp Dominik and Hermann, Ben and Bodden, Eric}, title = {{Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {2:1--2:31}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.2}, URN = {urn:nbn:de:0030-drops-140453}, doi = {10.4230/LIPIcs.ECOOP.2021.2}, annote = {Keywords: Inter-procedural static analysis, compositional analysis, LLVM, C/C++} }
Published in: LIPIcs, Volume 194, 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, and Joshua Sunshine. Gradual Program Analysis for Null Pointers. In 35th European Conference on Object-Oriented Programming (ECOOP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 194, pp. 3:1-3:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{estep_et_al:LIPIcs.ECOOP.2021.3, author = {Estep, Sam and Wise, Jenna and Aldrich, Jonathan and Tanter, \'{E}ric and Bader, Johannes and Sunshine, Joshua}, title = {{Gradual Program Analysis for Null Pointers}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {3:1--3:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.3}, URN = {urn:nbn:de:0030-drops-140469}, doi = {10.4230/LIPIcs.ECOOP.2021.3}, annote = {Keywords: gradual typing, gradual verification, dataflow analysis} }
Published in: LIPIcs, Volume 194, 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Jan Bessai, George T. Heineman, and Boris Düdder. Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems. In 35th European Conference on Object-Oriented Programming (ECOOP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 194, pp. 4:1-4:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{bessai_et_al:LIPIcs.ECOOP.2021.4, author = {Bessai, Jan and Heineman, George T. and D\"{u}dder, Boris}, title = {{Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {4:1--4:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.4}, URN = {urn:nbn:de:0030-drops-140476}, doi = {10.4230/LIPIcs.ECOOP.2021.4}, annote = {Keywords: Expression problem, software evolution, type safety, producer method, binary method} }
Published in: LIPIcs, Volume 194, 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Maxime Buyse, Rémi Delmas, and Youssef Hamadi. ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety. In 35th European Conference on Object-Oriented Programming (ECOOP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 194, pp. 5:1-5:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{buyse_et_al:LIPIcs.ECOOP.2021.5, author = {Buyse, Maxime and Delmas, R\'{e}mi and Hamadi, Youssef}, title = {{ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {5:1--5:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.5}, URN = {urn:nbn:de:0030-drops-140487}, doi = {10.4230/LIPIcs.ECOOP.2021.5}, annote = {Keywords: Domain-Specific Language, Deep Embedding, Scala 3, Architecture Modelling, Safety Assessment, Static Analysis, Monte-Carlo Methods} }
Published in: LIPIcs, Volume 194, 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Petr Maj, Konrad Siek, Alexander Kovalenko, and Jan Vitek. CodeDJ: Reproducible Queries over Large-Scale Software Repositories. In 35th European Conference on Object-Oriented Programming (ECOOP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 194, pp. 6:1-6:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{maj_et_al:LIPIcs.ECOOP.2021.6, author = {Maj, Petr and Siek, Konrad and Kovalenko, Alexander and Vitek, Jan}, title = {{CodeDJ: Reproducible Queries over Large-Scale Software Repositories}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {6:1--6:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.6}, URN = {urn:nbn:de:0030-drops-140498}, doi = {10.4230/LIPIcs.ECOOP.2021.6}, annote = {Keywords: Software, Mining Code Repositories, Source Code Analysis} }
Published in: LIPIcs, Volume 194, 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Ellen Arteca, Frank Tip, and Max Schäfer. Enabling Additional Parallelism in Asynchronous JavaScript Applications. In 35th European Conference on Object-Oriented Programming (ECOOP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 194, pp. 7:1-7:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{arteca_et_al:LIPIcs.ECOOP.2021.7, author = {Arteca, Ellen and Tip, Frank and Sch\"{a}fer, Max}, title = {{Enabling Additional Parallelism in Asynchronous JavaScript Applications}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {7:1--7:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.7}, URN = {urn:nbn:de:0030-drops-140501}, doi = {10.4230/LIPIcs.ECOOP.2021.7}, annote = {Keywords: asynchronous programming, refactoring, side-effect analysis, performance optimization, static analysis, JavaScript} }
Published in: LIPIcs, Volume 194, 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Yu Hao, Sufian Latif, Hailong Zhang, Raef Bassily, and Atanas Rountev. Differential Privacy for Coverage Analysis of Software Traces. In 35th European Conference on Object-Oriented Programming (ECOOP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 194, pp. 8:1-8:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{hao_et_al:LIPIcs.ECOOP.2021.8, author = {Hao, Yu and Latif, Sufian and Zhang, Hailong and Bassily, Raef and Rountev, Atanas}, title = {{Differential Privacy for Coverage Analysis of Software Traces}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {8:1--8:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.8}, URN = {urn:nbn:de:0030-drops-140513}, doi = {10.4230/LIPIcs.ECOOP.2021.8}, annote = {Keywords: Trace Profiling, Differential Privacy, Program Analysis} }
Feedback for Dagstuhl Publishing