Table of Contents

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