@Proceedings{ali_et_al:LIPIcs.ECOOP.2022,
title = {{LIPIcs, Volume 222, ECOOP 2022, Complete Volume}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {1--940},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022},
URN = {urn:nbn:de:0030-drops-162276},
doi = {10.4230/LIPIcs.ECOOP.2022},
annote = {Keywords: LIPIcs, Volume 222, ECOOP 2022, Complete Volume}
}
@InProceedings{ali_et_al:LIPIcs.ECOOP.2022.0,
author = {Ali, Karim and Vitek, Jan},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {0:i--0:xx},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.0},
URN = {urn:nbn:de:0030-drops-162286},
doi = {10.4230/LIPIcs.ECOOP.2022.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{becker_et_al:LIPIcs.ECOOP.2022.1,
author = {Becker, Heiko and Rabe, Robert and Darulova, Eva and Myreen, Magnus O. and Tatlock, Zachary and Kumar, Ramana and Tan, Yong Kiam and Fox, Anthony},
title = {{Verified Compilation and Optimization of Floating-Point Programs in CakeML}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {1:1--1: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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.1},
URN = {urn:nbn:de:0030-drops-162290},
doi = {10.4230/LIPIcs.ECOOP.2022.1},
annote = {Keywords: compiler verification, compiler optimization, floating-point arithmetic}
}
@InProceedings{zhao_et_al:LIPIcs.ECOOP.2022.2,
author = {Zhao, Jinxu and Oliveira, Bruno C. d. S.},
title = {{Elementary Type Inference}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {2:1--2: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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.2},
URN = {urn:nbn:de:0030-drops-162303},
doi = {10.4230/LIPIcs.ECOOP.2022.2},
annote = {Keywords: Type Inference}
}
@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.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}
}
@InProceedings{lagaillardie_et_al:LIPIcs.ECOOP.2022.4,
author = {Lagaillardie, Nicolas and Neykova, Rumyana and Yoshida, Nobuko},
title = {{Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {4:1--4:29},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.4},
URN = {urn:nbn:de:0030-drops-162324},
doi = {10.4230/LIPIcs.ECOOP.2022.4},
annote = {Keywords: Rust language, affine multiparty session types, failures, cancellation}
}
@InProceedings{marshall_et_al:LIPIcs.ECOOP.2022.5,
author = {Marshall, Daniel and Orchard, Dominic},
title = {{How to Take the Inverse of a Type}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {5:1--5:27},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.5},
URN = {urn:nbn:de:0030-drops-162339},
doi = {10.4230/LIPIcs.ECOOP.2022.5},
annote = {Keywords: linear types, regular types, algebra of programming, derivatives}
}
@InProceedings{liu_et_al:LIPIcs.ECOOP.2022.6,
author = {Liu, Shuyang and Bender, John and Palsberg, Jens},
title = {{Compiling Volatile Correctly in Java}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {6:1--6:26},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.6},
URN = {urn:nbn:de:0030-drops-162346},
doi = {10.4230/LIPIcs.ECOOP.2022.6},
annote = {Keywords: formal semantics, concurrency, compilation}
}
@InProceedings{pacak_et_al:LIPIcs.ECOOP.2022.7,
author = {Pacak, Andr\'{e} and Erdweg, Sebastian},
title = {{Functional Programming with Datalog}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {7:1--7: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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.7},
URN = {urn:nbn:de:0030-drops-162354},
doi = {10.4230/LIPIcs.ECOOP.2022.7},
annote = {Keywords: Datalog, functional programming, demand transformation}
}
@InProceedings{gheri_et_al:LIPIcs.ECOOP.2022.8,
author = {Gheri, Lorenzo and Lanese, Ivan and Sayers, Neil and Tuosto, Emilio and Yoshida, Nobuko},
title = {{Design-By-Contract for Flexible Multiparty Session Protocols}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {8:1--8: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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.8},
URN = {urn:nbn:de:0030-drops-162367},
doi = {10.4230/LIPIcs.ECOOP.2022.8},
annote = {Keywords: Choreography automata, design by contract, deadlock freedom, Communicating Finite State Machines, TypeScript programming}
}
@InProceedings{schemmel_et_al:LIPIcs.ECOOP.2022.9,
author = {Schemmel, Daniel and B\"{u}ning, Julian and Busse, Frank and Nowack, Martin and Cadar, Cristian},
title = {{A Deterministic Memory Allocator for Dynamic Symbolic Execution}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {9:1--9:26},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.9},
URN = {urn:nbn:de:0030-drops-162372},
doi = {10.4230/LIPIcs.ECOOP.2022.9},
annote = {Keywords: memory allocation, dynamic symbolic execution}
}
@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.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}
}
@InProceedings{marques_et_al:LIPIcs.ECOOP.2022.11,
author = {Marques, Filipe and Fragoso Santos, Jos\'{e} and Santos, Nuno and Ad\~{a}o, Pedro},
title = {{Concolic Execution for WebAssembly}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {11:1--11:29},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.11},
URN = {urn:nbn:de:0030-drops-162394},
doi = {10.4230/LIPIcs.ECOOP.2022.11},
annote = {Keywords: Concolic Testing, WebAssembly, Test-Generation, Testing C Programs}
}
@InProceedings{rusu_et_al:LIPIcs.ECOOP.2022.12,
author = {Rusu, Vlad and Nowak, David},
title = {{Defining Corecursive Functions in Coq Using Approximations}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {12:1--12:24},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.12},
URN = {urn:nbn:de:0030-drops-162407},
doi = {10.4230/LIPIcs.ECOOP.2022.12},
annote = {Keywords: corecursive function, productiveness, approximation, Coq proof assistant}
}
@InProceedings{grannan_et_al:LIPIcs.ECOOP.2022.13,
author = {Grannan, Zachary and Vazou, Niki and Darulova, Eva and Summers, Alexander J.},
title = {{REST: Integrating Term Rewriting with Program Verification}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {13:1--13:29},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.13},
URN = {urn:nbn:de:0030-drops-162416},
doi = {10.4230/LIPIcs.ECOOP.2022.13},
annote = {Keywords: term rewriting, program verification, theorem proving}
}
@InProceedings{mukherjee_et_al:LIPIcs.ECOOP.2022.14,
author = {Mukherjee, Rajdeep and Tripp, Omer and Liblit, Ben and Wilson, Michael},
title = {{Static Analysis for AWS Best Practices in Python Code}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {14:1--14: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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.14},
URN = {urn:nbn:de:0030-drops-162429},
doi = {10.4230/LIPIcs.ECOOP.2022.14},
annote = {Keywords: Python, Type inference, AWS, Cloud, Boto3, Best practices, Static analysis}
}
@InProceedings{xhebraj_et_al:LIPIcs.ECOOP.2022.15,
author = {Xhebraj, Anxhelo and Bra\v{c}evac, Oliver and Wei, Guannan and Rompf, Tiark},
title = {{What If We Don't Pop the Stack? The Return of 2nd-Class Values}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {15:1--15:29},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.15},
URN = {urn:nbn:de:0030-drops-162430},
doi = {10.4230/LIPIcs.ECOOP.2022.15},
annote = {Keywords: Call stack, closures, stack allocation, memory management, 2nd-class values, capabilities, effects}
}
@InProceedings{hempel_et_al:LIPIcs.ECOOP.2022.16,
author = {Hempel, Brian and Chugh, Ravi},
title = {{Maniposynth: Bimodal Tangible Functional Programming}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {16:1--16:29},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.16},
URN = {urn:nbn:de:0030-drops-162445},
doi = {10.4230/LIPIcs.ECOOP.2022.16},
annote = {Keywords: direct manipulation, tangible programming, programming user interfaces}
}
@InProceedings{sarkar_et_al:LIPIcs.ECOOP.2022.17,
author = {Sarkar, Abhiroop and Svensson, Bo Joel and Sheeran, Mary},
title = {{Synchron - An API and Runtime for Embedded Systems}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {17:1--17:29},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.17},
URN = {urn:nbn:de:0030-drops-162452},
doi = {10.4230/LIPIcs.ECOOP.2022.17},
annote = {Keywords: real-time, concurrency, functional programming, runtime, virtual machine}
}
@InProceedings{fan_et_al:LIPIcs.ECOOP.2022.18,
author = {Fan, Andong and Huang, Xuejing and Xu, Han and Sun, Yaozhu and Oliveira, Bruno C. d. S.},
title = {{Direct Foundations for Compositional Programming}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {18:1--18: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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.18},
URN = {urn:nbn:de:0030-drops-162463},
doi = {10.4230/LIPIcs.ECOOP.2022.18},
annote = {Keywords: Intersection types, disjoint polymorphism, operational semantics}
}
@InProceedings{holik_et_al:LIPIcs.ECOOP.2022.19,
author = {Hol{\'\i}k, Luk\'{a}\v{s} and Peringer, Petr and Rogalewicz, Adam and \v{S}okov\'{a}, Veronika and Vojnar, Tom\'{a}\v{s} and Zuleger, Florian},
title = {{Low-Level Bi-Abduction}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {19:1--19: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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.19},
URN = {urn:nbn:de:0030-drops-162477},
doi = {10.4230/LIPIcs.ECOOP.2022.19},
annote = {Keywords: programs with dynamic linked data structures, programs with pointers, low-level pointer operations, static analysis, shape analysis, separation logic, bi-abduction}
}
@InProceedings{audrito_et_al:LIPIcs.ECOOP.2022.20,
author = {Audrito, Giorgio and Casadei, Roberto and Damiani, Ferruccio and Salvaneschi, Guido and Viroli, Mirko},
title = {{Functional Programming for Distributed Systems with XC}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {20:1--20: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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.20},
URN = {urn:nbn:de:0030-drops-162486},
doi = {10.4230/LIPIcs.ECOOP.2022.20},
annote = {Keywords: Core calculus, operational semantics, type soundness, Scala DSL}
}
@InProceedings{li_et_al:LIPIcs.ECOOP.2022.21,
author = {Li, Hehao and Wang, Yizhuo and Zhang, Yiwei and Li, Juanru and Gu, Dawu},
title = {{PEDroid: Automatically Extracting Patches from Android App Updates}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {21:1--21:31},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.21},
URN = {urn:nbn:de:0030-drops-162498},
doi = {10.4230/LIPIcs.ECOOP.2022.21},
annote = {Keywords: Diffing, Patch Identification, Android App Analysis, App Evolution}
}
@InProceedings{chen_et_al:LIPIcs.ECOOP.2022.22,
author = {Chen, Ruo Fei and Balzer, Stephanie and Toninho, Bernardo},
title = {{Ferrite: A Judgmental Embedding of Session Types in Rust}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {22:1--22: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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.22},
URN = {urn:nbn:de:0030-drops-162501},
doi = {10.4230/LIPIcs.ECOOP.2022.22},
annote = {Keywords: Session Types, Rust, DSL}
}
@InProceedings{jacobs:LIPIcs.ECOOP.2022.23,
author = {Jacobs, Jules},
title = {{A Self-Dual Distillation of Session Types}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {23:1--23:22},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.23},
URN = {urn:nbn:de:0030-drops-162518},
doi = {10.4230/LIPIcs.ECOOP.2022.23},
annote = {Keywords: Linear types, concurrency, lambda calculus, session types}
}
@InProceedings{serrano:LIPIcs.ECOOP.2022.24,
author = {Serrano, Manuel},
title = {{JavaScript Sealed Classes}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {24:1--24:27},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.24},
URN = {urn:nbn:de:0030-drops-162523},
doi = {10.4230/LIPIcs.ECOOP.2022.24},
annote = {Keywords: JavaScript, Compiler, Dynamic Languages, Classes, Inline Caches}
}
@InProceedings{rehman_et_al:LIPIcs.ECOOP.2022.25,
author = {Rehman, Baber and Huang, Xuejing and Xie, Ningning and Oliveira, Bruno C. d. S.},
title = {{Union Types with Disjoint Switches}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {25:1--25:31},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.25},
URN = {urn:nbn:de:0030-drops-162531},
doi = {10.4230/LIPIcs.ECOOP.2022.25},
annote = {Keywords: Union types, switch expression, disjointness, intersection types}
}
@InProceedings{ciccone_et_al:LIPIcs.ECOOP.2022.26,
author = {Ciccone, Luca and Dagnino, Francesco and Padovani, Luca},
title = {{Fair Termination of Multiparty Sessions}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {26:1--26:26},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.26},
URN = {urn:nbn:de:0030-drops-162544},
doi = {10.4230/LIPIcs.ECOOP.2022.26},
annote = {Keywords: Multiparty sessions, fair termination, fair subtyping, deadlock freedom}
}
@InProceedings{cledou_et_al:LIPIcs.ECOOP.2022.27,
author = {Cledou, Guillermina and Edixhoven, Luc and Jongmans, Sung-Shik and Proen\c{c}a, Jos\'{e}},
title = {{API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {27:1--27: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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.27},
URN = {urn:nbn:de:0030-drops-162559},
doi = {10.4230/LIPIcs.ECOOP.2022.27},
annote = {Keywords: Concurrency, pomsets (partially ordered multisets), match types, Scala 3}
}
@InProceedings{stadelmeier_et_al:LIPIcs.ECOOP.2022.28,
author = {Stadelmeier, Andreas and Pl\"{u}micke, Martin and Thiemann, Peter},
title = {{Global Type Inference for Featherweight Generic Java}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {28:1--28:27},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.28},
URN = {urn:nbn:de:0030-drops-162560},
doi = {10.4230/LIPIcs.ECOOP.2022.28},
annote = {Keywords: type inference, Java, subtyping, generics}
}
@InProceedings{gauthier_et_al:LIPIcs.ECOOP.2022.29,
author = {Gauthier, Fran\c{c}ois and Hassanshahi, Behnaz and Selwyn-Smith, Benjamin and Mai, Trong Nhan and Schl\"{u}ter, Max and Williams, Micah},
title = {{Experience: Model-Based, Feedback-Driven, Greybox Web Fuzzing with BackREST}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {29:1--29: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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.29},
URN = {urn:nbn:de:0030-drops-162573},
doi = {10.4230/LIPIcs.ECOOP.2022.29},
annote = {Keywords: Taint analysis, fuzzing, crawler, Node.js}
}
@InProceedings{he_et_al:LIPIcs.ECOOP.2022.30,
author = {He, Dongjie and Lu, Jingbo and Xue, Jingling},
title = {{Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {30:1--30:29},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.30},
URN = {urn:nbn:de:0030-drops-162581},
doi = {10.4230/LIPIcs.ECOOP.2022.30},
annote = {Keywords: Pointer Analysis, Fine-Grained Context Sensitivity}
}
@InProceedings{lumsdaine_et_al:LIPIcs.ECOOP.2022.31,
author = {Lumsdaine, Andrew and D'Alessandro, Luke and Deweese, Kevin and Firoz, Jesun and Liu, Xu Tony and McMillan, Scott and Ratzloff, John Phillip and Zalewski, Marcin},
title = {{NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {31:1--31: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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.31},
URN = {urn:nbn:de:0030-drops-162592},
doi = {10.4230/LIPIcs.ECOOP.2022.31},
annote = {Keywords: Graph library, generic programming, graph algorithms}
}
@InProceedings{liu_et_al:LIPIcs.ECOOP.2022.32,
author = {Liu, Kenan and Mahmoud, Khaled and Yoo, Joonhwan and Liu, Yu David},
title = {{Vincent: Green Hot Methods in the JVM}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {32:1--32: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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.32},
URN = {urn:nbn:de:0030-drops-162605},
doi = {10.4230/LIPIcs.ECOOP.2022.32},
annote = {Keywords: energy efficiency, JVM, just-in-time compilation}
}
@InProceedings{shaikhha_et_al:LIPIcs.ECOOP.2022.33,
author = {Shaikhha, Amir and Ghorbani, Mahdi and Shahrokhi, Hesam},
title = {{Hinted Dictionaries: Efficient Functional Ordered Sets and Maps}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {33:1--33:3},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.33},
URN = {urn:nbn:de:0030-drops-162610},
doi = {10.4230/LIPIcs.ECOOP.2022.33},
annote = {Keywords: Functional Collections, Ordered Dictionaries, Sparse Linear Algebra}
}
@InProceedings{navarro_et_al:LIPIcs.ECOOP.2022.34,
author = {Navarro, Marcelo and Olmedo, Federico},
title = {{Slicing of Probabilistic Programs Based on Specifications}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {34:1--34:2},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.34},
URN = {urn:nbn:de:0030-drops-162628},
doi = {10.4230/LIPIcs.ECOOP.2022.34},
annote = {Keywords: probabilistic programming, program slicing, expectation transformer semantics, verification condition generator}
}
@InProceedings{richter_et_al:LIPIcs.ECOOP.2022.35,
author = {Richter, David and Kretzler, David and Weisenburger, Pascal and Salvaneschi, Guido and Faust, Sebastian and Mezini, Mira},
title = {{Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {35:1--35:4},
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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.35},
URN = {urn:nbn:de:0030-drops-162632},
doi = {10.4230/LIPIcs.ECOOP.2022.35},
annote = {Keywords: Domain Specific Languages, Smart Contracts, Scala}
}
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