LIPIcs, Volume 313, ECOOP 2024

• Jonathan Aldrich and Guido Salvaneschi LIPIcs, Volume 313, ECOOP 2024, Complete Volume 10.4230/LIPIcs.ECOOP.2024
• Jonathan Aldrich and Guido Salvaneschi Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.ECOOP.2024.0
• Luca Aceto, Daniele Gorla, and Stian Lybech A Sound Type System for Secure Currency Flow 10.4230/LIPIcs.ECOOP.2024.1
• Luca Aceto, Duncan Paul Attard, Adrian Francalanza, and Anna Ingólfsdóttir Runtime Instrumentation for Reactive Components 10.4230/LIPIcs.ECOOP.2024.2
• Barnabas Arvay, Thi Thu Ha Doan, and Peter Thiemann A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson 10.4230/LIPIcs.ECOOP.2024.3
• Steven Arzt, Marc Miltenberger, and Julius Näumann Dynamically Generating Callback Summaries for Enhancing Static Analysis 10.4230/LIPIcs.ECOOP.2024.4
• Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, and António Ravara Behavioural Up/down Casting For Statically Typed Languages 10.4230/LIPIcs.ECOOP.2024.5
• Felix Berlakovich and Stefan Brunthaler Cross Module Quickening - The Curious Case of C Extensions 10.4230/LIPIcs.ECOOP.2024.6
• Matthias Bernad and Stefan Brunthaler HOBBIT: Hashed OBject Based InTegrity 10.4230/LIPIcs.ECOOP.2024.7
• Bob Brockbernd, Nikita Koval, Arie van Deursen, and Burcu Kulahcioglu Ozkan Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines 10.4230/LIPIcs.ECOOP.2024.8
• Luís Carvalho and João Costa Seco A Language-Based Version Control System for Python 10.4230/LIPIcs.ECOOP.2024.9
• Madhurima Chakraborty, Aakash Gnanakumar, Manu Sridharan, and Anders Møller Indirection-Bounded Call Graph Analysis 10.4230/LIPIcs.ECOOP.2024.10
• Farzaneh Derakhshan, Stephanie Balzer, and Yue Yao Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency 10.4230/LIPIcs.ECOOP.2024.11
• Aleksandar S. Dimovski Mutation-Based Lifted Repair of Software Product Lines 10.4230/LIPIcs.ECOOP.2024.12
• Vlastimil Dort, Yufeng Li, Ondřej Lhoták, and Pavel Parízek Pure Methods for roDOT 10.4230/LIPIcs.ECOOP.2024.13
• M. Anton Ertl and Bernd Paysan The Performance Effects of Virtual-Machine Instruction Pointer Updates 10.4230/LIPIcs.ECOOP.2024.14
• Sam Estep, Wode Ni, Raven Rothkopf, and Joshua Sunshine Rose: Composable Autodiff for the Interactive Web 10.4230/LIPIcs.ECOOP.2024.15
• Cormac Flanagan and Stephen N. Freund Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning 10.4230/LIPIcs.ECOOP.2024.16
• Philipp Haller, Ayman Hussein, Hernán Melgratti, Alceste Scalas, and Emilio Tuosto Fair Join Pattern Matching for Actors 10.4230/LIPIcs.ECOOP.2024.17
• Dongjie He, Jingbo Lu, and Jingling Xue A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction 10.4230/LIPIcs.ECOOP.2024.18
• Ping Hou, Nicolas Lagaillardie, and Nobuko Yoshida Fearless Asynchronous Communications with Timed Multiparty Session Protocols 10.4230/LIPIcs.ECOOP.2024.19
• Florian Huemer, David Leopoldseder, Aleksandar Prokopec, Raphael Mosaner, and Hanspeter Mössenböck Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization 10.4230/LIPIcs.ECOOP.2024.20
• Mohammad Wahiduzzaman Khan, Sheng Chen, and Yi He Learning Gradual Typing Performance 10.4230/LIPIcs.ECOOP.2024.21
• Elad Kinsbruner, Shachar Itzhaky, and Hila Peleg Constrictor: Immutability as a Design Concept 10.4230/LIPIcs.ECOOP.2024.22
• Senxi Li, Tetsuro Yamazaki, and Shigeru Chiba InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference 10.4230/LIPIcs.ECOOP.2024.23
• Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, and Xiaodi Wu Qafny: A Quantum-Program Verifier 10.4230/LIPIcs.ECOOP.2024.24
• Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimović, and Philippa Gardner Compositional Symbolic Execution for Correctness and Incorrectness Reasoning 10.4230/LIPIcs.ECOOP.2024.25
• Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Petar Maksimović, and Philippa Gardner Matching Plans for Frame Inference in Compositional Reasoning 10.4230/LIPIcs.ECOOP.2024.26
• Petr Maj, Stefanie Muroya, Konrad Siek, Luca Di Grazia, and Jan Vitek The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments 10.4230/LIPIcs.ECOOP.2024.27
• Olivier Melançon, Marc Feeley, and Manuel Serrano Static Basic Block Versioning 10.4230/LIPIcs.ECOOP.2024.28
• Zeina Migeed, James Reed, Jason Ansel, and Jens Palsberg Generalizing Shape Analysis with Gradual Types 10.4230/LIPIcs.ECOOP.2024.29
• Nisarg Patel, Dennis Shasha, and Thomas Wies Verifying Lock-Free Search Structure Templates 10.4230/LIPIcs.ECOOP.2024.30
• Dan Plyukhin, Marco Peressotti, and Fabrizio Montesi Ozone: Fully Out-of-Order Choreographies 10.4230/LIPIcs.ECOOP.2024.31
• Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, and Alvin Cheung Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations 10.4230/LIPIcs.ECOOP.2024.32
• David Richter, Timon Böhler, Pascal Weisenburger, and Mira Mezini Compiling with Arrays 10.4230/LIPIcs.ECOOP.2024.33
• Amos Robinson and Alex Potanin Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems 10.4230/LIPIcs.ECOOP.2024.34
• Reshma Roy, Sreekala S, and Vineeth Paleri Partial Redundancy Elimination in Two Iterative Data Flow Analyses 10.4230/LIPIcs.ECOOP.2024.35
• Fabian Schiebel, Florian Sattler, Philipp Dominik Schubert, Sven Apel, and Eric Bodden Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report 10.4230/LIPIcs.ECOOP.2024.36
• Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, and Eric Bodden Java Bytecode Normalization for Code Similarity Analysis 10.4230/LIPIcs.ECOOP.2024.37
• Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, and Milind Kulkarni Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms + Data Layouts = Efficient Programs 10.4230/LIPIcs.ECOOP.2024.38
• Ke Sun, Di Wang, Sheng Chen, Meng Wang, and Dan Hao Formalizing, Mechanizing, and Verifying Class-Based Refinement Types 10.4230/LIPIcs.ECOOP.2024.39
• Bas van den Heuvel, Farzaneh Derakhshan, and Stephanie Balzer Information Flow Control in Cyclic Process Networks 10.4230/LIPIcs.ECOOP.2024.40
• Martin Vassor and Nobuko Yoshida Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation 10.4230/LIPIcs.ECOOP.2024.41
• Aleksey Veresov, Jonas Spenger, Paris Carbone, and Philipp Haller Failure Transparency in Stateful Dataflow Systems 10.4230/LIPIcs.ECOOP.2024.42
• Scott Wesley, Maria Christakis, Jorge A. Navas, Richard Trefler, Valentin Wüstholz, and Arie Gurfinkel Inductive Predicate Synthesis Modulo Programs 10.4230/LIPIcs.ECOOP.2024.43
• Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, and Ben Greenman Type Tailoring 10.4230/LIPIcs.ECOOP.2024.44
• David Young, Ziyi Yang, Ilya Sergey, and Alex Potanin Higher-Order Specifications for Deductive Synthesis of Programs with Pointers 10.4230/LIPIcs.ECOOP.2024.45
• Quan Zhou, Sixuan Dang, and Danfeng Zhang {CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming 10.4230/LIPIcs.ECOOP.2024.46
• Aron Zwaan and Casper Bach Poulsen Defining Name Accessibility Using Scope Graphs 10.4230/LIPIcs.ECOOP.2024.47