Portal - ECOOP 2022

ECOOP 2022	June 6-10, 2022, Berlin, Germany
36th European Conference on Object-Oriented Programming (ECOOP 2022) Karim Ali and Jan Vitek (Eds.)
ISBN 978-3-95977-225-9, LIPICS Vol. 222	ISSN 1868-8969

Additional Information

License
Conference Website
Complete volume (PDF, 22 MB)
Search Publication Server

Authors

Chakraborty, Madhurima

Lagaillardie, Nicolas

Oliveira, Bruno C. d. S.

Ratzloff, John Phillip

Selwyn-Smith, Benjamin

Summers, Alexander J.

Front Matter, Table of Contents, Preface, Conference Organization

Authors: Ali, Karim ; Vitek, Jan

Abstract | Document (713 KB) | BibTeX

Verified Compilation and Optimization of Floating-Point Programs in CakeML

Authors: Becker, Heiko ; Rabe, Robert ; Darulova, Eva ; Myreen, Magnus O. ; Tatlock, Zachary ; Kumar, Ramana ; Tan, Yong Kiam ; Fox, Anthony

Abstract | Document (983 KB) | BibTeX

Elementary Type Inference

Authors: Zhao, Jinxu ; Oliveira, Bruno C. d. S.

Abstract | Document (913 KB) | BibTeX

Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs

Authors: Chakraborty, Madhurima ; Olivares, Renzo ; Sridharan, Manu ; Hassanshahi, Behnaz

Abstract | Document (1,393 KB) | BibTeX

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types

Authors: Lagaillardie, Nicolas ; Neykova, Rumyana ; Yoshida, Nobuko

Abstract | Document (1,862 KB) | BibTeX

How to Take the Inverse of a Type

Authors: Marshall, Daniel ; Orchard, Dominic

Abstract | Document (1,121 KB) | BibTeX

Compiling Volatile Correctly in Java

Authors: Liu, Shuyang ; Bender, John ; Palsberg, Jens

Abstract | Document (1,274 KB) | BibTeX

Functional Programming with Datalog

Authors: Pacak, André ; Erdweg, Sebastian

Abstract | Document (852 KB) | BibTeX

Design-By-Contract for Flexible Multiparty Session Protocols

Authors: Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil ; Tuosto, Emilio ; Yoshida, Nobuko

Abstract | Document (1,385 KB) | BibTeX

A Deterministic Memory Allocator for Dynamic Symbolic Execution

Authors: Schemmel, Daniel ; Büning, Julian ; Busse, Frank ; Nowack, Martin ; Cadar, Cristian

Abstract | Document (1,015 KB) | BibTeX

Accumulation Analysis

Authors: Kellogg, Martin ; Shadab, Narges ; Sridharan, Manu ; Ernst, Michael D.

Abstract | Document (976 KB) | BibTeX

Concolic Execution for WebAssembly

Authors: Marques, Filipe ; Fragoso Santos, José ; Santos, Nuno ; Adão, Pedro

Abstract | Document (1,613 KB) | BibTeX

Defining Corecursive Functions in Coq Using Approximations

Authors: Rusu, Vlad ; Nowak, David

Abstract | Document (848 KB) | BibTeX

REST: Integrating Term Rewriting with Program Verification

Authors: Grannan, Zachary ; Vazou, Niki ; Darulova, Eva ; Summers, Alexander J.

Abstract | Document (1,208 KB) | BibTeX

Static Analysis for AWS Best Practices in Python Code

Authors: Mukherjee, Rajdeep ; Tripp, Omer ; Liblit, Ben ; Wilson, Michael

Abstract | Document (820 KB) | BibTeX

What If We Don't Pop the Stack? The Return of 2nd-Class Values

Authors: Xhebraj, Anxhelo ; Bračevac, Oliver ; Wei, Guannan ; Rompf, Tiark

Abstract | Document (1,190 KB) | BibTeX

Maniposynth: Bimodal Tangible Functional Programming

Authors: Hempel, Brian ; Chugh, Ravi

Abstract | Document (3,878 KB) | BibTeX

Synchron - An API and Runtime for Embedded Systems

Authors: Sarkar, Abhiroop ; Svensson, Bo Joel ; Sheeran, Mary

Abstract | Document (1,378 KB) | BibTeX

Direct Foundations for Compositional Programming

Authors: Fan, Andong ; Huang, Xuejing ; Xu, Han ; Sun, Yaozhu ; Oliveira, Bruno C. d. S.

Abstract | Document (1,159 KB) | BibTeX

Low-Level Bi-Abduction

Authors: Holík, Lukáš ; Peringer, Petr ; Rogalewicz, Adam ; Šoková, Veronika ; Vojnar, Tomáš ; Zuleger, Florian

Abstract | Document (1,225 KB) | BibTeX

Functional Programming for Distributed Systems with XC

Authors: Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko

Abstract | Document (1,730 KB) | BibTeX

PEDroid: Automatically Extracting Patches from Android App Updates

Authors: Li, Hehao ; Wang, Yizhuo ; Zhang, Yiwei ; Li, Juanru ; Gu, Dawu

Abstract | Document (1,510 KB) | BibTeX

Ferrite: A Judgmental Embedding of Session Types in Rust

Authors: Chen, Ruo Fei ; Balzer, Stephanie ; Toninho, Bernardo

Abstract | Document (1,078 KB) | BibTeX

A Self-Dual Distillation of Session Types

Authors: Jacobs, Jules

Abstract | Document (866 KB) | BibTeX

JavaScript Sealed Classes

Authors: Serrano, Manuel

Abstract | Document (1,278 KB) | BibTeX

Union Types with Disjoint Switches

Authors: Rehman, Baber ; Huang, Xuejing ; Xie, Ningning ; Oliveira, Bruno C. d. S.

Abstract | Document (1,087 KB) | BibTeX

Fair Termination of Multiparty Sessions

Authors: Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca

Abstract | Document (876 KB) | BibTeX

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

Authors: Cledou, Guillermina ; Edixhoven, Luc ; Jongmans, Sung-Shik ; Proença, José

Abstract | Document (1,190 KB) | BibTeX

Global Type Inference for Featherweight Generic Java

Authors: Stadelmeier, Andreas ; Plümicke, Martin ; Thiemann, Peter

Abstract | Document (1,072 KB) | BibTeX

Experience: Model-Based, Feedback-Driven, Greybox Web Fuzzing with BackREST

Authors: Gauthier, François ; Hassanshahi, Behnaz ; Selwyn-Smith, Benjamin ; Mai, Trong Nhan ; Schlüter, Max ; Williams, Micah

Abstract | Document (1,321 KB) | BibTeX

Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis

Authors: He, Dongjie ; Lu, Jingbo ; Xue, Jingling

Abstract | Document (1,270 KB) | BibTeX

NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20

Authors: Lumsdaine, Andrew ; D'Alessandro, Luke ; Deweese, Kevin ; Firoz, Jesun ; Liu, Xu Tony ; McMillan, Scott ; Ratzloff, John Phillip ; Zalewski, Marcin

Abstract | Document (1,594 KB) | BibTeX

Vincent: Green Hot Methods in the JVM (Extended Abstract)

Authors: Liu, Kenan ; Mahmoud, Khaled ; Yoo, Joonhwan ; Liu, Yu David

Abstract | Document (1,158 KB) | BibTeX

Hinted Dictionaries: Efficient Functional Ordered Sets and Maps (Extended Abstract)

Authors: Shaikhha, Amir ; Ghorbani, Mahdi ; Shahrokhi, Hesam

Abstract | Document (370 KB) | BibTeX

Slicing of Probabilistic Programs Based on Specifications (Extended Abstract)

Authors: Navarro, Marcelo ; Olmedo, Federico

Abstract | Document (437 KB) | BibTeX

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract)

Authors: Richter, David ; Kretzler, David ; Weisenburger, Pascal ; Salvaneschi, Guido ; Faust, Sebastian ; Mezini, Mira

Abstract | Document (563 KB) | BibTeX

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI

36th European Conference on Object-Oriented Programming (ECOOP 2022)