LIPIcs, Volume 222, ECOOP 2022

• Karim Ali and Jan Vitek LIPIcs, Volume 222, ECOOP 2022, Complete Volume 10.4230/LIPIcs.ECOOP.2022
• Karim Ali and Jan Vitek Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.ECOOP.2022.0
• Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, and Anthony Fox Verified Compilation and Optimization of Floating-Point Programs in CakeML 10.4230/LIPIcs.ECOOP.2022.1
• Jinxu Zhao and Bruno C. d. S. Oliveira Elementary Type Inference 10.4230/LIPIcs.ECOOP.2022.2
• Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, and Behnaz Hassanshahi Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs 10.4230/LIPIcs.ECOOP.2022.3
• Nicolas Lagaillardie, Rumyana Neykova, and Nobuko Yoshida Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types 10.4230/LIPIcs.ECOOP.2022.4
• Daniel Marshall and Dominic Orchard How to Take the Inverse of a Type 10.4230/LIPIcs.ECOOP.2022.5
• Shuyang Liu, John Bender, and Jens Palsberg Compiling Volatile Correctly in Java 10.4230/LIPIcs.ECOOP.2022.6
• André Pacak and Sebastian Erdweg Functional Programming with Datalog 10.4230/LIPIcs.ECOOP.2022.7
• Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, and Nobuko Yoshida Design-By-Contract for Flexible Multiparty Session Protocols 10.4230/LIPIcs.ECOOP.2022.8
• Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar A Deterministic Memory Allocator for Dynamic Symbolic Execution 10.4230/LIPIcs.ECOOP.2022.9
• Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael D. Ernst Accumulation Analysis 10.4230/LIPIcs.ECOOP.2022.10
• Filipe Marques, José Fragoso Santos, Nuno Santos, and Pedro Adão Concolic Execution for WebAssembly 10.4230/LIPIcs.ECOOP.2022.11
• Vlad Rusu and David Nowak Defining Corecursive Functions in Coq Using Approximations 10.4230/LIPIcs.ECOOP.2022.12
• Zachary Grannan, Niki Vazou, Eva Darulova, and Alexander J. Summers REST: Integrating Term Rewriting with Program Verification 10.4230/LIPIcs.ECOOP.2022.13
• Rajdeep Mukherjee, Omer Tripp, Ben Liblit, and Michael Wilson Static Analysis for AWS Best Practices in Python Code 10.4230/LIPIcs.ECOOP.2022.14
• Anxhelo Xhebraj, Oliver Bračevac, Guannan Wei, and Tiark Rompf What If We Don't Pop the Stack? The Return of 2nd-Class Values 10.4230/LIPIcs.ECOOP.2022.15
• Brian Hempel and Ravi Chugh Maniposynth: Bimodal Tangible Functional Programming 10.4230/LIPIcs.ECOOP.2022.16
• Abhiroop Sarkar, Bo Joel Svensson, and Mary Sheeran Synchron - An API and Runtime for Embedded Systems 10.4230/LIPIcs.ECOOP.2022.17
• Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, and Bruno C. d. S. Oliveira Direct Foundations for Compositional Programming 10.4230/LIPIcs.ECOOP.2022.18
• Lukáš Holík, Petr Peringer, Adam Rogalewicz, Veronika Šoková, Tomáš Vojnar, and Florian Zuleger Low-Level Bi-Abduction 10.4230/LIPIcs.ECOOP.2022.19
• Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, and Mirko Viroli Functional Programming for Distributed Systems with XC 10.4230/LIPIcs.ECOOP.2022.20
• Hehao Li, Yizhuo Wang, Yiwei Zhang, Juanru Li, and Dawu Gu PEDroid: Automatically Extracting Patches from Android App Updates 10.4230/LIPIcs.ECOOP.2022.21
• Ruo Fei Chen, Stephanie Balzer, and Bernardo Toninho Ferrite: A Judgmental Embedding of Session Types in Rust 10.4230/LIPIcs.ECOOP.2022.22
• Jules Jacobs A Self-Dual Distillation of Session Types 10.4230/LIPIcs.ECOOP.2022.23
• Manuel Serrano JavaScript Sealed Classes 10.4230/LIPIcs.ECOOP.2022.24
• Baber Rehman, Xuejing Huang, Ningning Xie, and Bruno C. d. S. Oliveira Union Types with Disjoint Switches 10.4230/LIPIcs.ECOOP.2022.25
• Luca Ciccone, Francesco Dagnino, and Luca Padovani Fair Termination of Multiparty Sessions 10.4230/LIPIcs.ECOOP.2022.26
• Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, and José Proença API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 10.4230/LIPIcs.ECOOP.2022.27
• Andreas Stadelmeier, Martin Plümicke, and Peter Thiemann Global Type Inference for Featherweight Generic Java 10.4230/LIPIcs.ECOOP.2022.28
• François Gauthier, Behnaz Hassanshahi, Benjamin Selwyn-Smith, Trong Nhan Mai, Max Schlüter, and Micah Williams Experience: Model-Based, Feedback-Driven, Greybox Web Fuzzing with BackREST 10.4230/LIPIcs.ECOOP.2022.29
• Dongjie He, Jingbo Lu, and Jingling Xue Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis 10.4230/LIPIcs.ECOOP.2022.30
• Andrew Lumsdaine, Luke D'Alessandro, Kevin Deweese, Jesun Firoz, Xu Tony Liu, Scott McMillan, John Phillip Ratzloff, and Marcin Zalewski NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20 10.4230/LIPIcs.ECOOP.2022.31
• Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, and Yu David Liu Vincent: Green Hot Methods in the JVM (Extended Abstract) 10.4230/LIPIcs.ECOOP.2022.32
• Amir Shaikhha, Mahdi Ghorbani, and Hesam Shahrokhi Hinted Dictionaries: Efficient Functional Ordered Sets and Maps (Extended Abstract) 10.4230/LIPIcs.ECOOP.2022.33
• Marcelo Navarro and Federico Olmedo Slicing of Probabilistic Programs Based on Specifications (Extended Abstract) 10.4230/LIPIcs.ECOOP.2022.34
• David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, and Mira Mezini Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract) 10.4230/LIPIcs.ECOOP.2022.35