ECOOP A

49 papers

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