default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID36th ECOOP 2022: Berlin, Germany
- Karim Ali
, Jan Vitek:
36th European Conference on Object-Oriented Programming, ECOOP 2022, Berlin, Germany, June 6-10, 2022. LIPIcs 222, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-225-9 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:20
- Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox:
Verified Compilation and Optimization of Floating-Point Programs in CakeML. 1:1-1:28 - Jinxu Zhao, Bruno C. d. S. Oliveira:
Elementary Type Inference. 2:1-2:28 - Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi:
Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs. 3:1-3:28 - Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida:
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. 4:1-4:29 - Danielle Marshall, Dominic Orchard:
How to Take the Inverse of a Type. 5:1-5:27 - Shuyang Liu, John Bender, Jens Palsberg:
Compiling Volatile Correctly in Java. 6:1-6:26 - André Pacak, Sebastian Erdweg:
Functional Programming with Datalog. 7:1-7:28 - Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-By-Contract for Flexible Multiparty Session Protocols. 8:1-8:28 - Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar:
A Deterministic Memory Allocator for Dynamic Symbolic Execution. 9:1-9:26 - Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst:
Accumulation Analysis. 10:1-10:30 - Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão:
Concolic Execution for WebAssembly. 11:1-11:29 - Vlad Rusu, David Nowak:
Defining Corecursive Functions in Coq Using Approximations. 12:1-12:24 - Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers:
REST: Integrating Term Rewriting with Program Verification. 13:1-13:29 - Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson:
Static Analysis for AWS Best Practices in Python Code. 14:1-14:28 - Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf:
What If We Don't Pop the Stack? The Return of 2nd-Class Values. 15:1-15:29 - Brian Hempel, Ravi Chugh:
Maniposynth: Bimodal Tangible Functional Programming. 16:1-16:29 - Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran:
Synchron - An API and Runtime for Embedded Systems. 17:1-17:29 - Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira:
Direct Foundations for Compositional Programming. 18:1-18:28 - Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger:
Low-Level Bi-Abduction. 19:1-19:30 - Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
Functional Programming for Distributed Systems with XC. 20:1-20:28 - Hehao Li, Yizhuo Wang, Yiwei Zhang, Juanru Li, Dawu Gu:
PEDroid: Automatically Extracting Patches from Android App Updates. 21:1-21:31 - Ruofei Chen, Stephanie Balzer, Bernardo Toninho:
Ferrite: A Judgmental Embedding of Session Types in Rust. 22:1-22:28 - Jules Jacobs:
A Self-Dual Distillation of Session Types. 23:1-23:22 - Manuel Serrano:
JavaScript Sealed Classes. 24:1-24:27 - Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira:
Union Types with Disjoint Switches. 25:1-25:31 - Luca Ciccone, Francesco Dagnino, Luca Padovani:
Fair Termination of Multiparty Sessions. 26:1-26:26 - Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença:
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. 27:1-27:28 - Andreas Stadelmeier, Martin Plümicke, Peter Thiemann:
Global Type Inference for Featherweight Generic Java. 28:1-28:27 - François Gauthier, Behnaz Hassanshahi, Benjamin Selwyn-Smith, Trong Nhan Mai, Max Schlüter, Micah Williams:
Experience: Model-Based, Feedback-Driven, Greybox Web Fuzzing with BackREST. 29:1-29:30 - Dongjie He, Jingbo Lu, Jingling Xue:
Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis. 30:1-30:29 - Andrew Lumsdaine, Luke D'Alessandro, Kevin Deweese, Jesun Firoz, Tony Liu, Scott McMillan, John Phillip Ratzloff, Marcin Zalewski:
NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20. 31:1-31:28 - Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu:
Vincent: Green Hot Methods in the JVM (Extended Abstract). 32:1-32:30 - Amir Shaikhha, Mahdi Ghorbani, Hesam Shahrokhi:
Hinted Dictionaries: Efficient Functional Ordered Sets and Maps (Extended Abstract). 33:1-33:3 - Marcelo Navarro, Federico Olmedo:
Slicing of Probabilistic Programs Based on Specifications (Extended Abstract). 34:1-34:2 - David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini:
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). 35:1-35:4
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
