| |
Abuah, Chiké
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Solo: A Lightweight Static ..."
Solo: A Lightweight Static Analysis for Differential Privacy
Chiké Abuah, David Darais, and Joseph P. Near
(University of Vermont, USA; Galois, USA)
 Publisher's Version
 Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Ahrens, Emma |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Reasoning about Distributed ..."
Reasoning about Distributed Reconfigurable Systems
Emma Ahrens, Marius Bozga, Radu Iosif, and Joost-Pieter Katoen
(RWTH Aachen University, Aachen, Germany; Université Grenoble Alpes, France; CNRS, France; Grenoble INP, France; VERIMAG, France)
Publisher's Version
|
| |
Allamanis, Miltiadis |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Overwatch: Learning Patterns ..."
Overwatch: Learning Patterns in Code Edit Sequences
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, and Ashish Tiwari
(University of Wisconsin-Madison, USA; Microsoft, India; Uber, USA; Microsoft Research, UK; Microsoft, USA)
Publisher's Version
|
| |
Amarasinghe, Saman |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Compilation of Dynamic Sparse ..."
Compilation of Dynamic Sparse Tensor Algebra
Stephen Chou and Saman Amarasinghe
(Massachusetts Institute of Technology, USA)
Publisher's Version
Artifacts Functional
|
| |
Atkinson, Eric |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Semi-symbolic Inference for ..."
Semi-symbolic Inference for Efficient Streaming Probabilistic Programming
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, and Michael Carbin
(Massachusetts Institute of Technology, USA; ENS — PSL University — CNRS — Inria, France; IBM Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Bajpai, Yasharth
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Overwatch: Learning Patterns ..."
Overwatch: Learning Patterns in Code Edit Sequences
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, and Ashish Tiwari
(University of Wisconsin-Madison, USA; Microsoft, India; Uber, USA; Microsoft Research, UK; Microsoft, USA)
Publisher's Version
|
| |
Barik, Titus |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Overwatch: Learning Patterns ..."
Overwatch: Learning Patterns in Code Edit Sequences
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, and Ashish Tiwari
(University of Wisconsin-Madison, USA; Microsoft, India; Uber, USA; Microsoft Research, UK; Microsoft, USA)
Publisher's Version
|
| |
Barnaby, Celeste |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Type-Directed Synthesis of ..."
Type-Directed Synthesis of Visualizations from Natural Language Queries
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, and Işil Dillig
(University of Texas at Austin, USA; Microsoft Research, USA)
Publisher's Version
|
| |
Barrett, Clark |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Scalable Verification of GNN-Based ..."
Scalable Verification of GNN-Based Job Schedulers
Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska, and Gagandeep Singh
(Stanford University, USA; Tel Aviv University, Israel; VMware Research, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Bartocci, Ezio |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "This Is the Moment for Probabilistic ..."
This Is the Moment for Probabilistic Loops
Marcel Moosbrugger, Miroslav Stankovič, Ezio Bartocci, and Laura Kovács
(TU Wien, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Basin, David |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Bridging the Semantic Gap ..."
Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems
Si Liu, Jose Meseguer, Peter Csaba Ölveczky, Min Zhang, and David Basin
(ETH Zurich, Switzerland; University of Illinois at Urbana-Champaign, USA; University of Oslo, Norway; East China Normal University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Baudart, Guillaume |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Semi-symbolic Inference for ..."
Semi-symbolic Inference for Efficient Streaming Probabilistic Programming
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, and Michael Carbin
(Massachusetts Institute of Technology, USA; ENS — PSL University — CNRS — Inria, France; IBM Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Bavishi, Rohan |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Neurosymbolic Repair for Low-Code ..."
Neurosymbolic Repair for Low-Code Formula Languages
Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radiček, and Ashish Tiwari
(University of California at Berkeley, USA; Microsoft, India; Microsoft, USA; Microsoft, Croatia)
Publisher's Version
Archive submitted (350 kB)
|
| |
Beillahi, Sidi Mohamed |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "SigVM: Enabling Event-Driven ..."
SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts
Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song, Yuxi Cai, Andreas Veneris, and Fan Long
(University of Toronto, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Bianchini, Riccardo |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Coeffects for Sharing and ..."
Coeffects for Sharing and Mutation
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, and Marco Servetto
(University of Genoa, Italy; University of Eastern Piedmont, Italy; Victoria University of Wellington, New Zealand)
Publisher's Version
|
| |
Bierhoff, Kevin |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Wildcards Need Witness Protection ..."
Wildcards Need Witness Protection
Kevin Bierhoff
(Google, USA)
Publisher's Version
|
| |
Birkedal, Lars |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Modular Verification of Op-Based ..."
Modular Verification of Op-Based CRDTs in Separation Logic
Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, and Lars Birkedal
(Aarhus University, Denmark; ENS Lyon, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Blanchard, Eion |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Model-Guided Synthesis of ..."
Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, and P. Madhusudan
(University of Illinois at Urbana-Champaign, USA; RWTH Aachen University, Germany)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Blaudeau, Clément |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A Conceptual Framework for ..."
A Conceptual Framework for Safe Object Initialization: A Principled and Mechanized Soundness Proof of the Celsius Model
Clément Blaudeau and Fengyun Liu
(Inria, France; Université de Paris-Cité, France; Oracle Labs, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Boruch-Gruszecki, Aleksander |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A case for DOT: Theoretical ..."
A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning
Aleksander Boruch-Gruszecki, Radosław Waśko, Yichen Xu, and Lionel Parreaux
(EPFL, Switzerland; University of Warsaw, Poland; Beijing University of Posts and Telecommunications, China; Hong Kong University of Science and Technology, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Bozga, Marius |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Reasoning about Distributed ..."
Reasoning about Distributed Reconfigurable Systems
Emma Ahrens, Marius Bozga, Radu Iosif, and Joost-Pieter Katoen
(RWTH Aachen University, Aachen, Germany; Université Grenoble Alpes, France; CNRS, France; Grenoble INP, France; VERIMAG, France)
Publisher's Version
|
| |
Bravo, Marcos Maroñas |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "High-Level Effect Handlers ..."
High-Level Effect Handlers in C++
Dan Ghica, Sam Lindley, Marcos Maroñas Bravo, and Maciej Piróg
(Huawei, UK; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Cai, Yuxi
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "SigVM: Enabling Event-Driven ..."
SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts
Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song, Yuxi Cai, Andreas Veneris, and Fan Long
(University of Toronto, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Cambronero, José |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Neurosymbolic Repair for Low-Code ..."
Neurosymbolic Repair for Low-Code Formula Languages
Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radiček, and Ashish Tiwari
(University of California at Berkeley, USA; Microsoft, India; Microsoft, USA; Microsoft, Croatia)
Publisher's Version
Archive submitted (350 kB)
|
| |
Carbin, Michael |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Tower: Data Structures in ..."
Tower: Data Structures in Quantum Superposition
Charles Yuan and Michael Carbin
(Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Archive submitted (410 kB)
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Semi-symbolic Inference for ..."
Semi-symbolic Inference for Efficient Streaming Probabilistic Programming
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, and Michael Carbin
(Massachusetts Institute of Technology, USA; ENS — PSL University — CNRS — Inria, France; IBM Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Chaliasos, Stefanos |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A Study of Inline Assembly ..."
A Study of Inline Assembly in Solidity Smart Contracts
Stefanos Chaliasos, Arthur Gervais, and Benjamin Livshits
(Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Chau, Chun Yin |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "MLstruct: Principal Type Inference ..."
MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types
Lionel Parreaux and Chun Yin Chau
(Hong Kong University of Science and Technology, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Chen, Adam |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Veracity: Declarative Multicore ..."
Veracity: Declarative Multicore Programming with Commutativity
Adam Chen, Parisa Fathololumi, Eric Koskinen, and Jared Pincus
(Stevens Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Chen, Bretton |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Data-Driven Lemma Synthesis ..."
Data-Driven Lemma Synthesis for Interactive Proofs
Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, and Todd Millstein
(University of California at Los Angeles, USA; University of Massachusetts at Amherst, USA; University of California at San Diego, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Chen, Hao |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Compositional Virtual Timelines: ..."
Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation
Mengqi Liu, Zhong Shao, Hao Chen, Man-Ki Yoon, and Jung-Eun Kim
(Yale University, USA)
Publisher's Version
Artifacts Functional
|
| |
Chen, Qiaochu |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Type-Directed Synthesis of ..."
Type-Directed Synthesis of Visualizations from Natural Language Queries
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, and Işil Dillig
(University of Texas at Austin, USA; Microsoft Research, USA)
Publisher's Version
|
| |
Chen, Yanju |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesis-Powered Optimization ..."
Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, and Işil Dillig
(University of California at Santa Barbara, USA; Simon Fraser University, Canada; University of Texas at Austin, USA; Stanford University, USA)
Publisher's Version
|
| |
Cheung, Alvin |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Katara: Synthesizing CRDTs ..."
Katara: Synthesizing CRDTs with Verified Lifting
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, and Joseph M. Hellerstein
(University of California at Berkeley, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Chitre, Khushboo |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "The Road Not Taken: Exploring ..."
The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler
Khushboo Chitre, Piyus Kedia, and Rahul Purandare
(IIIT Delhi, India; University of Nebraska-Lincoln, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Chiu, Kenneth |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "The Essence of Online Data ..."
The Essence of Online Data Processing
Philip Dexter, Yu David Liu, and Kenneth Chiu
(SUNY Binghamton, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Chou, Stephen |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Compilation of Dynamic Sparse ..."
Compilation of Dynamic Sparse Tensor Algebra
Stephen Chou and Saman Amarasinghe
(Massachusetts Institute of Technology, USA)
Publisher's Version
Artifacts Functional
|
| |
Choudhury, Pritam |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Monadic and Comonadic Aspects ..."
Monadic and Comonadic Aspects of Dependency Analysis
Pritam Choudhury
(University of Pennsylvania, USA)
Publisher's Version
|
| |
Chowdhary, Sangeeta |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Fast Shadow Execution for ..."
Fast Shadow Execution for Debugging Numerical Errors using Error Free Transformations
Sangeeta Chowdhary and Santosh Nagarakatte
(Rutgers University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Cong, Youyou |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "First-Class Names for Effect ..."
First-Class Names for Effect Handlers
Ningning Xie, Youyou Cong, Kazuki Ikemori, and Daan Leijen
(University of Cambridge, UK; Tokyo Institute of Technology, Japan; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Criswell, Abby |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Type-Directed Synthesis of ..."
Type-Directed Synthesis of Visualizations from Natural Language Queries
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, and Işil Dillig
(University of Texas at Austin, USA; Microsoft Research, USA)
Publisher's Version
|
| |
Dagnino, Francesco
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Coeffects for Sharing and ..."
Coeffects for Sharing and Mutation
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, and Marco Servetto
(University of Genoa, Italy; University of Eastern Piedmont, Italy; Victoria University of Wellington, New Zealand)
Publisher's Version
|
| |
Dalvandi, Sadegh |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Implementing and Verifying ..."
Implementing and Verifying Release-Acquire Transactional Memory in C11
Sadegh Dalvandi and Brijesh Dongol
(University of Surrey, UK)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
D’Antoni, Loris |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesizing Abstract Transformers ..."
Synthesizing Abstract Transformers
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D’Antoni, Thomas Reps, and Subhajit Roy
(IIT Kanpur, India; University of Wisconsin-Madison, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Darais, David |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Solo: A Lightweight Static ..."
Solo: A Lightweight Static Analysis for Differential Privacy
Chiké Abuah, David Darais, and Joseph P. Near
(University of Vermont, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Dardinier, Thibault |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Fractional Resources in Unbounded ..."
Fractional Resources in Unbounded Separation Logic
Thibault Dardinier, Peter Müller, and Alexander J. Summers
(ETH Zurich, Switzerland; University of British Columbia, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Dexter, Philip |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "The Essence of Online Data ..."
The Essence of Online Data Processing
Philip Dexter, Yu David Liu, and Kenneth Chiu
(SUNY Binghamton, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Dhandhania, Utkarsh |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Compositional Embeddings of ..."
Compositional Embeddings of Domain-Specific Languages
Yaozhu Sun, Utkarsh Dhandhania, and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Published Artifact
Archive submitted (930 kB)
Artifacts Available
Artifacts Reusable
|
| |
Dillig, Işil |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Type-Directed Synthesis of ..."
Type-Directed Synthesis of Visualizations from Natural Language Queries
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, and Işil Dillig
(University of Texas at Austin, USA; Microsoft Research, USA)
Publisher's Version
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesis-Powered Optimization ..."
Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, and Işil Dillig
(University of California at Santa Barbara, USA; Simon Fraser University, Canada; University of Texas at Austin, USA; Stanford University, USA)
Publisher's Version
|
| |
Ding, Shuo |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Taming Transitive Redundancy ..."
Taming Transitive Redundancy for Context-Free Language Reachability
Yuxiang Lei, Yulei Sui, Shuo Ding, and Qirun Zhang
(University of Technology Sydney, Australia; Georgia Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Dong, James |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesis-Powered Optimization ..."
Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, and Işil Dillig
(University of California at Santa Barbara, USA; Simon Fraser University, Canada; University of Texas at Austin, USA; Stanford University, USA)
Publisher's Version
|
| |
Dongol, Brijesh |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Implementing and Verifying ..."
Implementing and Verifying Release-Acquire Transactional Memory in C11
Sadegh Dalvandi and Brijesh Dongol
(University of Surrey, UK)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
D’Osualdo, Emanuele |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Proving Hypersafety Compositionally ..."
Proving Hypersafety Compositionally
Emanuele D’Osualdo, Azadeh Farzan, and Derek Dreyer
(MPI-SWS, Germany; University of Toronto, Canada)
Publisher's Version
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A Bunch of Sessions: A Propositions-as-Sessions ..."
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Dan Frumin, Emanuele D’Osualdo, Bas van den Heuvel, and Jorge A. Pérez
(University of Groningen, Netherlands; MPI-SWS, Germany)
Publisher's Version
|
| |
Dreyer, Derek |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Proving Hypersafety Compositionally ..."
Proving Hypersafety Compositionally
Emanuele D’Osualdo, Azadeh Farzan, and Derek Dreyer
(MPI-SWS, Germany; University of Toronto, Canada)
Publisher's Version
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "BFF: Foundational and Automated ..."
BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs
Fengmin Zhu, Michael Sammler, Rodolphe Lepigre, Derek Dreyer, and Deepak Garg
(MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Drossopoulou, Sophia |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Necessity Specifications ..."
Necessity Specifications for Robustness
Julian Mackay, Susan Eisenbach, James Noble, and Sophia Drossopoulou
(Victoria University of Wellington, New Zealand; Imperial College London, UK; Creative Research & Programming, New Zealand; Meta, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Durrett, Greg |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Type-Directed Synthesis of ..."
Type-Directed Synthesis of Visualizations from Natural Language Queries
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, and Işil Dillig
(University of Texas at Austin, USA; Microsoft Research, USA)
Publisher's Version
|
| |
Eisenbach, Susan
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Necessity Specifications ..."
Necessity Specifications for Robustness
Julian Mackay, Susan Eisenbach, James Noble, and Sophia Drossopoulou
(Victoria University of Wellington, New Zealand; Imperial College London, UK; Creative Research & Programming, New Zealand; Meta, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Ellis, Stephen |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Generic Go to Go: Dictionary-Passing, ..."
Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, and Linhai Song
(University of Oxford, UK; Pennsylvania State University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Endres, Madeline |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Seq2Parse: Neurosymbolic Parse ..."
Seq2Parse: Neurosymbolic Parse Error Repair
Georgios Sakkas, Madeline Endres, Philip J. Guo, Westley Weimer, and Ranjit Jhala
(University of California at San Diego, USA; University of Michigan, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Fan, Hongyu
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Consistency-Preserving Propagation ..."
Consistency-Preserving Propagation for SMT Solving of Concurrent Program Verification
Zhihang Sun, Hongyu Fan, and Fei He
(Tsinghua University, China)
Publisher's Version
|
| |
Fariha, Anna |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Neurosymbolic Repair for Low-Code ..."
Neurosymbolic Repair for Low-Code Formula Languages
Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radiček, and Ashish Tiwari
(University of California at Berkeley, USA; Microsoft, India; Microsoft, USA; Microsoft, Croatia)
Publisher's Version
Archive submitted (350 kB)
|
| |
Farzan, Azadeh |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Proving Hypersafety Compositionally ..."
Proving Hypersafety Compositionally
Emanuele D’Osualdo, Azadeh Farzan, and Derek Dreyer
(MPI-SWS, Germany; University of Toronto, Canada)
Publisher's Version
|
| |
Fathololumi, Parisa |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Veracity: Declarative Multicore ..."
Veracity: Declarative Multicore Programming with Commutativity
Adam Chen, Parisa Fathololumi, Eric Koskinen, and Jared Pincus
(Stevens Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Feng, Yu |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesis-Powered Optimization ..."
Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, and Işil Dillig
(University of California at Santa Barbara, USA; Simon Fraser University, Canada; University of Texas at Austin, USA; Stanford University, USA)
Publisher's Version
|
| |
Findler, Robert Bruce |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Highly Illogical, Kirk: Spotting ..."
Highly Illogical, Kirk: Spotting Type Mismatches in the Large Despite Broken Contracts, Unsound Types, and Too Many Linters
Joshua Hoeflich, Robert Bruce Findler, and Manuel Serrano
(Northwestern University, USA; Inria, France; University of Côte d'Azur, France)
Publisher's Version
|
| |
Fronchetti, Felipe |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Can Guided Decomposition Help ..."
Can Guided Decomposition Help End-Users Write Larger Block-Based Programs? A Mobile Robot Experiment
Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, and David C. Shepherd
(University of British Columbia, Canada; Virginia Commonwealth University, USA)
Publisher's Version
|
| |
Frumin, Dan |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A Bunch of Sessions: A Propositions-as-Sessions ..."
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Dan Frumin, Emanuele D’Osualdo, Bas van den Heuvel, and Jorge A. Pérez
(University of Groningen, Netherlands; MPI-SWS, Germany)
Publisher's Version
|
| |
Fu, Hongfei |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Scalable Linear Invariant ..."
Scalable Linear Invariant Generation with Farkas’ Lemma
Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, and Guoqiang Li
(Shanghai Jiao Tong University, China)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Garcia, Ronald
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Can Guided Decomposition Help ..."
Can Guided Decomposition Help End-Users Write Larger Block-Based Programs? A Mobile Robot Experiment
Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, and David C. Shepherd
(University of British Columbia, Canada; Virginia Commonwealth University, USA)
Publisher's Version
|
| |
Garg, Deepak |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "BFF: Foundational and Automated ..."
BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs
Fengmin Zhu, Michael Sammler, Rodolphe Lepigre, Derek Dreyer, and Deepak Garg
(MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Garg, Pranav |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesizing Code Quality ..."
Synthesizing Code Quality Rules from Examples
Pranav Garg and Srinivasan H. Sengamedu
(AWS, USA; Amazon, USA)
Publisher's Version
Archive submitted (1.2 MB)
|
| |
Gervais, Arthur |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A Study of Inline Assembly ..."
A Study of Inline Assembly in Solidity Smart Contracts
Stefanos Chaliasos, Arthur Gervais, and Benjamin Livshits
(Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Ghica, Dan |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "High-Level Effect Handlers ..."
High-Level Effect Handlers in C++
Dan Ghica, Sam Lindley, Marcos Maroñas Bravo, and Maciej Piróg
(Huawei, UK; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Giannini, Paola |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Coeffects for Sharing and ..."
Coeffects for Sharing and Mutation
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, and Marco Servetto
(University of Genoa, Italy; University of Eastern Piedmont, Italy; Victoria University of Wellington, New Zealand)
Publisher's Version
|
| |
Goldstein, Harrison |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Parsing Randomness ..."
Parsing Randomness
Harrison Goldstein and Benjamin C. Pierce
(University of Pennsylvania, USA)
Publisher's Version
Published Artifact
Archive submitted (1.5 MB)
Artifacts Available
|
| |
Gondelman, Léon |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Modular Verification of Op-Based ..."
Modular Verification of Op-Based CRDTs in Separation Logic
Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, and Lars Birkedal
(Aarhus University, Denmark; ENS Lyon, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Goyal, Maruth |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesis-Powered Optimization ..."
Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, and Işil Dillig
(University of California at Santa Barbara, USA; Simon Fraser University, Canada; University of Texas at Austin, USA; Stanford University, USA)
Publisher's Version
|
| |
Gu, Yuchen |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Oracle-Free Repair Synthesis ..."
Oracle-Free Repair Synthesis for Floating-Point Programs
Daming Zou, Yuchen Gu, Yuanfeng Shi, MingZhe Wang, Yingfei Xiong, and Zhendong Su
(ETH Zurich, Switzerland; Peking University, China; Princeton University, USA)
Publisher's Version
|
| |
Gulwani, Sumit |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Overwatch: Learning Patterns ..."
Overwatch: Learning Patterns in Code Edit Sequences
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, and Ashish Tiwari
(University of Wisconsin-Madison, USA; Microsoft, India; Uber, USA; Microsoft Research, UK; Microsoft, USA)
Publisher's Version
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Neurosymbolic Repair for Low-Code ..."
Neurosymbolic Repair for Low-Code Formula Languages
Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radiček, and Ashish Tiwari
(University of California at Berkeley, USA; Microsoft, India; Microsoft, USA; Microsoft, Croatia)
Publisher's Version
Archive submitted (350 kB)
|
| |
Guo, Philip J. |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Seq2Parse: Neurosymbolic Parse ..."
Seq2Parse: Neurosymbolic Parse Error Repair
Georgios Sakkas, Madeline Endres, Philip J. Guo, Westley Weimer, and Ranjit Jhala
(University of California at San Diego, USA; University of Michigan, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Gupta, Priyanshu |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Overwatch: Learning Patterns ..."
Overwatch: Learning Patterns in Code Edit Sequences
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, and Ashish Tiwari
(University of Wisconsin-Madison, USA; Microsoft, India; Uber, USA; Microsoft Research, UK; Microsoft, USA)
Publisher's Version
|
| |
Haas, Thomas
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "CAAT: Consistency as a Theory ..."
CAAT: Consistency as a Theory
Thomas Haas, Roland Meyer, and Hernán Ponce de León
(TU Braunschweig, Germany; Huawei, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Hack, Sebastian |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "AnICA: Analyzing Inconsistencies ..."
AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers
Fabian Ritter and Sebastian Hack
(Saarland University, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Hallahan, William T. |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Checking Equivalence in a ..."
Checking Equivalence in a Non-strict Language
John C. Kolesar, Ruzica Piskac, and William T. Hallahan
(Yale University, USA; Binghamton University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
He, Fei |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Consistency-Preserving Propagation ..."
Consistency-Preserving Propagation for SMT Solving of Concurrent Program Verification
Zhihang Sun, Hongyu Fan, and Fei He
(Tsinghua University, China)
Publisher's Version
|
| |
Hellerstein, Joseph M. |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Katara: Synthesizing CRDTs ..."
Katara: Synthesizing CRDTs with Verified Lifting
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, and Joseph M. Hellerstein
(University of California at Berkeley, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Hicks, Michael |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Verified Compilation of Quantum ..."
Verified Compilation of Quantum Oracles
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, and Michael Hicks
(University of Maryland, USA; Amazon, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Hietala, Kesha |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Verified Compilation of Quantum ..."
Verified Compilation of Quantum Oracles
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, and Michael Hicks
(University of Maryland, USA; Amazon, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Hoeflich, Joshua |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Highly Illogical, Kirk: Spotting ..."
Highly Illogical, Kirk: Spotting Type Mismatches in the Large Despite Broken Contracts, Unsound Types, and Too Many Linters
Joshua Hoeflich, Robert Bruce Findler, and Manuel Serrano
(Northwestern University, USA; Inria, France; University of Côte d'Azur, France)
Publisher's Version
|
| |
Holmes, Reid |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Can Guided Decomposition Help ..."
Can Guided Decomposition Help End-Users Write Larger Block-Based Programs? A Mobile Robot Experiment
Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, and David C. Shepherd
(University of British Columbia, Canada; Virginia Commonwealth University, USA)
Publisher's Version
|
| |
Hsu, Justin |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Symbolic Execution for Randomized ..."
Symbolic Execution for Randomized Programs
Zachary Susag, Sumit Lahiri, Justin Hsu, and Subhajit Roy
(Cornell University, USA; IIT Kanpur, India)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Ikemori, Kazuki
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "First-Class Names for Effect ..."
First-Class Names for Effect Handlers
Ningning Xie, Youyou Cong, Kazuki Ikemori, and Daan Leijen
(University of Cambridge, UK; Tokyo Institute of Technology, Japan; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Iosif, Radu |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Reasoning about Distributed ..."
Reasoning about Distributed Reconfigurable Systems
Emma Ahrens, Marius Bozga, Radu Iosif, and Joost-Pieter Katoen
(RWTH Aachen University, Aachen, Germany; Université Grenoble Alpes, France; CNRS, France; Grenoble INP, France; VERIMAG, France)
Publisher's Version
|
| |
Jagannathan, Suresh
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Specification-Guided Component-Based ..."
Specification-Guided Component-Based Synthesis from Effectful Libraries
Ashish Mishra and Suresh Jagannathan
(Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Jhala, Ranjit |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Seq2Parse: Neurosymbolic Parse ..."
Seq2Parse: Neurosymbolic Parse Error Repair
Georgios Sakkas, Madeline Endres, Philip J. Guo, Westley Weimer, and Ranjit Jhala
(University of California at San Diego, USA; University of Michigan, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Jin, Charles |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Neural Architecture Search ..."
Neural Architecture Search using Property Guided Synthesis
Charles Jin, Phitchaya Mangpo Phothilimthana, and Sudip Roy
(Massachusetts Institute of Technology, USA; Google Research, USA; Cohere, USA)
Publisher's Version
Archive submitted (1.3 MB)
|
| |
Joshi, Harshit |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Neurosymbolic Repair for Low-Code ..."
Neurosymbolic Repair for Low-Code Formula Languages
Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radiček, and Ashish Tiwari
(University of California at Berkeley, USA; Microsoft, India; Microsoft, USA; Microsoft, Croatia)
Publisher's Version
Archive submitted (350 kB)
|
| |
Kalita, Pankaj Kumar
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesizing Abstract Transformers ..."
Synthesizing Abstract Transformers
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D’Antoni, Thomas Reps, and Subhajit Roy
(IIT Kanpur, India; University of Wisconsin-Madison, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Katoen, Joost-Pieter |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Reasoning about Distributed ..."
Reasoning about Distributed Reconfigurable Systems
Emma Ahrens, Marius Bozga, Radu Iosif, and Joost-Pieter Katoen
(RWTH Aachen University, Aachen, Germany; Université Grenoble Alpes, France; CNRS, France; Grenoble INP, France; VERIMAG, France)
Publisher's Version
|
| |
Kedia, Piyus |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "The Road Not Taken: Exploring ..."
The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler
Khushboo Chitre, Piyus Kedia, and Rahul Purandare
(IIIT Delhi, India; University of Nebraska-Lincoln, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Ketkar, Ameya |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Overwatch: Learning Patterns ..."
Overwatch: Learning Patterns in Code Edit Sequences
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, and Ashish Tiwari
(University of Wisconsin-Madison, USA; Microsoft, India; Uber, USA; Microsoft Research, UK; Microsoft, USA)
Publisher's Version
|
| |
Kim, Jung-Eun |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Compositional Virtual Timelines: ..."
Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation
Mengqi Liu, Zhong Shao, Hao Chen, Man-Ki Yoon, and Jung-Eun Kim
(Yale University, USA)
Publisher's Version
Artifacts Functional
|
| |
Kirisame, Marisa |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Optimal Heap Limits for Reducing ..."
Optimal Heap Limits for Reducing Browser Memory Use
Marisa Kirisame, Pranav Shenoy, and Pavel Panchekha
(University of Utah, USA)
Publisher's Version
|
| |
Kokologiannakis, Michalis |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Model Checking for a Multi-Execution ..."
Model Checking for a Multi-Execution Memory Model
Evgenii Moiseenko, Michalis Kokologiannakis, and Viktor Vafeiadis
(JetBrains Research, Serbia; MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Kolesar, John C. |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Checking Equivalence in a ..."
Checking Equivalence in a Non-strict Language
John C. Kolesar, Ruzica Piskac, and William T. Hallahan
(Yale University, USA; Binghamton University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Koskinen, Eric |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Veracity: Declarative Multicore ..."
Veracity: Declarative Multicore Programming with Commutativity
Adam Chen, Parisa Fathololumi, Eric Koskinen, and Jared Pincus
(Stevens Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Kovács, Laura |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "This Is the Moment for Probabilistic ..."
This Is the Moment for Probabilistic Loops
Marcel Moosbrugger, Miroslav Stankovič, Ezio Bartocci, and Laura Kovács
(TU Wien, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Krogmeier, Paul |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesizing Axiomatizations ..."
Synthesizing Axiomatizations using Logic Learning
Paul Krogmeier, Zhengyao Lin, Adithya Murali, and P. Madhusudan
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Kulkarni, Milind |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "UniRec: A Unimodular-Like ..."
UniRec: A Unimodular-Like Framework for Nested Recursions and Loops
Kirshanthan Sundararajah, Charitha Saumya, and Milind Kulkarni
(Purdue University, USA)
Publisher's Version
|
| |
Laddad, Shadaj
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Katara: Synthesizing CRDTs ..."
Katara: Synthesizing CRDTs with Verified Lifting
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, and Joseph M. Hellerstein
(University of California at Berkeley, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Lahiri, Sumit |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Symbolic Execution for Randomized ..."
Symbolic Execution for Randomized Programs
Zachary Susag, Sumit Lahiri, Justin Hsu, and Subhajit Roy
(Cornell University, USA; IIT Kanpur, India)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Laurel, Jacob |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A General Construction for ..."
A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA; VMware Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Le, Vu |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Neurosymbolic Repair for Low-Code ..."
Neurosymbolic Repair for Low-Code Formula Languages
Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radiček, and Ashish Tiwari
(University of California at Berkeley, USA; Microsoft, India; Microsoft, USA; Microsoft, Croatia)
Publisher's Version
Archive submitted (350 kB)
|
| |
Lei, Yuxiang |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Taming Transitive Redundancy ..."
Taming Transitive Redundancy for Context-Free Language Reachability
Yuxiang Lei, Yulei Sui, Shuo Ding, and Qirun Zhang
(University of Technology Sydney, Australia; Georgia Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Leijen, Daan |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "First-Class Names for Effect ..."
First-Class Names for Effect Handlers
Ningning Xie, Youyou Cong, Kazuki Ikemori, and Daan Leijen
(University of Cambridge, UK; Tokyo Institute of Technology, Japan; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Lepigre, Rodolphe |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "BFF: Foundational and Automated ..."
BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs
Fengmin Zhu, Michael Sammler, Rodolphe Lepigre, Derek Dreyer, and Deepak Garg
(MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Lerner, Sorin |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Data-Driven Lemma Synthesis ..."
Data-Driven Lemma Synthesis for Interactive Proofs
Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, and Todd Millstein
(University of California at Los Angeles, USA; University of Massachusetts at Amherst, USA; University of California at San Diego, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Li, Guoqiang |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Scalable Linear Invariant ..."
Scalable Linear Invariant Generation with Farkas’ Lemma
Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, and Guoqiang Li
(Shanghai Jiao Tong University, China)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Li, Liyi |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Verified Compilation of Quantum ..."
Verified Compilation of Quantum Oracles
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, and Michael Hicks
(University of Maryland, USA; Amazon, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Lin, Zhengyao |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesizing Axiomatizations ..."
Synthesizing Axiomatizations using Logic Learning
Paul Krogmeier, Zhengyao Lin, Adithya Murali, and P. Madhusudan
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Lindley, Sam |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "High-Level Effect Handlers ..."
High-Level Effect Handlers in C++
Dan Ghica, Sam Lindley, Marcos Maroñas Bravo, and Maciej Piróg
(Huawei, UK; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Liu, Fengyun |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A Conceptual Framework for ..."
A Conceptual Framework for Safe Object Initialization: A Principled and Mechanized Soundness Proof of the Celsius Model
Clément Blaudeau and Fengyun Liu
(Inria, France; Université de Paris-Cité, France; Oracle Labs, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Liu, Hongming |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Scalable Linear Invariant ..."
Scalable Linear Invariant Generation with Farkas’ Lemma
Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, and Guoqiang Li
(Shanghai Jiao Tong University, China)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Liu, Mengqi |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Compositional Virtual Timelines: ..."
Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation
Mengqi Liu, Zhong Shao, Hao Chen, Man-Ki Yoon, and Jung-Eun Kim
(Yale University, USA)
Publisher's Version
Artifacts Functional
|
| |
Liu, Si |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Bridging the Semantic Gap ..."
Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems
Si Liu, Jose Meseguer, Peter Csaba Ölveczky, Min Zhang, and David Basin
(ETH Zurich, Switzerland; University of Illinois at Urbana-Champaign, USA; University of Oslo, Norway; East China Normal University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Liu, Yu David |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "The Essence of Online Data ..."
The Essence of Online Data Processing
Philip Dexter, Yu David Liu, and Kenneth Chiu
(SUNY Binghamton, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Livshits, Benjamin |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A Study of Inline Assembly ..."
A Study of Inline Assembly in Solidity Smart Contracts
Stefanos Chaliasos, Arthur Gervais, and Benjamin Livshits
(Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Löding, Christof |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Model-Guided Synthesis of ..."
Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, and P. Madhusudan
(University of Illinois at Urbana-Champaign, USA; RWTH Aachen University, Germany)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Long, Fan |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "SigVM: Enabling Event-Driven ..."
SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts
Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song, Yuxi Cai, Andreas Veneris, and Fan Long
(University of Toronto, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Mackay, Julian
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Necessity Specifications ..."
Necessity Specifications for Robustness
Julian Mackay, Susan Eisenbach, James Noble, and Sophia Drossopoulou
(Victoria University of Wellington, New Zealand; Imperial College London, UK; Creative Research & Programming, New Zealand; Meta, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Madhusudan, P. |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesizing Axiomatizations ..."
Synthesizing Axiomatizations using Logic Learning
Paul Krogmeier, Zhengyao Lin, Adithya Murali, and P. Madhusudan
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Published Artifact
Artifacts Available
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Model-Guided Synthesis of ..."
Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, and P. Madhusudan
(University of Illinois at Urbana-Champaign, USA; RWTH Aachen University, Germany)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Mandel, Louis |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Semi-symbolic Inference for ..."
Semi-symbolic Inference for Efficient Streaming Probabilistic Programming
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, and Michael Carbin
(Massachusetts Institute of Technology, USA; ENS — PSL University — CNRS — Inria, France; IBM Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Meseguer, Jose |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Bridging the Semantic Gap ..."
Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems
Si Liu, Jose Meseguer, Peter Csaba Ölveczky, Min Zhang, and David Basin
(ETH Zurich, Switzerland; University of Illinois at Urbana-Champaign, USA; University of Oslo, Norway; East China Normal University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Meyer, Roland |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "CAAT: Consistency as a Theory ..."
CAAT: Consistency as a Theory
Thomas Haas, Roland Meyer, and Hernán Ponce de León
(TU Braunschweig, Germany; Huawei, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A Concurrent Program Logic ..."
A Concurrent Program Logic with a Future and History
Roland Meyer, Thomas Wies, and Sebastian Wolff
(TU Braunschweig, Germany; New York University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Milano, Mae |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Katara: Synthesizing CRDTs ..."
Katara: Synthesizing CRDTs with Verified Lifting
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, and Joseph M. Hellerstein
(University of California at Berkeley, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Millstein, Todd |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Data-Driven Lemma Synthesis ..."
Data-Driven Lemma Synthesis for Interactive Proofs
Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, and Todd Millstein
(University of California at Los Angeles, USA; University of Massachusetts at Amherst, USA; University of California at San Diego, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Misailovic, Sasa |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A General Construction for ..."
A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA; VMware Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Mishra, Ashish |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Specification-Guided Component-Based ..."
Specification-Guided Component-Based Synthesis from Effectful Libraries
Ashish Mishra and Suresh Jagannathan
(Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Moiseenko, Evgenii |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Model Checking for a Multi-Execution ..."
Model Checking for a Multi-Execution Memory Model
Evgenii Moiseenko, Michalis Kokologiannakis, and Viktor Vafeiadis
(JetBrains Research, Serbia; MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Moosbrugger, Marcel |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "This Is the Moment for Probabilistic ..."
This Is the Moment for Probabilistic Loops
Marcel Moosbrugger, Miroslav Stankovič, Ezio Bartocci, and Laura Kovács
(TU Wien, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Mosses, Peter |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Intrinsically-Typed Definitional ..."
Intrinsically-Typed Definitional Interpreters à la Carte
Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, and Peter Mosses
(Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Muduli, Sujit Kumar |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Satisfiability Modulo Fuzzing: ..."
Satisfiability Modulo Fuzzing: A Synergistic Combination of SMT Solving and Fuzzing
Sujit Kumar Muduli and Subhajit Roy
(IIT Kanpur, India)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesizing Abstract Transformers ..."
Synthesizing Abstract Transformers
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D’Antoni, Thomas Reps, and Subhajit Roy
(IIT Kanpur, India; University of Wisconsin-Madison, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Müller, Peter |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Fractional Resources in Unbounded ..."
Fractional Resources in Unbounded Separation Logic
Thibault Dardinier, Peter Müller, and Alexander J. Summers
(ETH Zurich, Switzerland; University of British Columbia, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Murali, Adithya |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesizing Axiomatizations ..."
Synthesizing Axiomatizations using Logic Learning
Paul Krogmeier, Zhengyao Lin, Adithya Murali, and P. Madhusudan
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Published Artifact
Artifacts Available
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Model-Guided Synthesis of ..."
Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, and P. Madhusudan
(University of Illinois at Urbana-Champaign, USA; RWTH Aachen University, Germany)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Nagarakatte, Santosh
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Fast Shadow Execution for ..."
Fast Shadow Execution for Debugging Numerical Errors using Error Free Transformations
Sangeeta Chowdhary and Santosh Nagarakatte
(Rutgers University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Nagel, Robert |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A General Construction for ..."
A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA; VMware Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Narodytska, Nina |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Scalable Verification of GNN-Based ..."
Scalable Verification of GNN-Based Job Schedulers
Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska, and Gagandeep Singh
(Stanford University, USA; Tel Aviv University, Israel; VMware Research, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Near, Joseph P. |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Solo: A Lightweight Static ..."
Solo: A Lightweight Static Analysis for Differential Privacy
Chiké Abuah, David Darais, and Joseph P. Near
(University of Vermont, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Nieto, Abel |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Modular Verification of Op-Based ..."
Modular Verification of Op-Based CRDTs in Separation Logic
Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, and Lars Birkedal
(Aarhus University, Denmark; ENS Lyon, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Noble, James |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Necessity Specifications ..."
Necessity Specifications for Robustness
Julian Mackay, Susan Eisenbach, James Noble, and Sophia Drossopoulou
(Victoria University of Wellington, New Zealand; Imperial College London, UK; Creative Research & Programming, New Zealand; Meta, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Oliveira, Bruno C. d. S.
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Compositional Embeddings of ..."
Compositional Embeddings of Domain-Specific Languages
Yaozhu Sun, Utkarsh Dhandhania, and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Published Artifact
Archive submitted (930 kB)
Artifacts Available
Artifacts Reusable
|
| |
Ölveczky, Peter Csaba |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Bridging the Semantic Gap ..."
Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems
Si Liu, Jose Meseguer, Peter Csaba Ölveczky, Min Zhang, and David Basin
(ETH Zurich, Switzerland; University of Illinois at Urbana-Champaign, USA; University of Oslo, Norway; East China Normal University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Pailoor, Shankara
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Type-Directed Synthesis of ..."
Type-Directed Synthesis of Visualizations from Natural Language Queries
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, and Işil Dillig
(University of Texas at Austin, USA; Microsoft Research, USA)
Publisher's Version
|
| |
Panchekha, Pavel |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Optimal Heap Limits for Reducing ..."
Optimal Heap Limits for Reducing Browser Memory Use
Marisa Kirisame, Pranav Shenoy, and Pavel Panchekha
(University of Utah, USA)
Publisher's Version
|
| |
Parreaux, Lionel |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "MLstruct: Principal Type Inference ..."
MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types
Lionel Parreaux and Chun Yin Chau
(Hong Kong University of Science and Technology, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A case for DOT: Theoretical ..."
A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning
Aleksander Boruch-Gruszecki, Radosław Waśko, Yichen Xu, and Lionel Parreaux
(EPFL, Switzerland; University of Warsaw, Poland; Beijing University of Posts and Telecommunications, China; Hong Kong University of Science and Technology, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Peña, Lucas |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Model-Guided Synthesis of ..."
Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, and P. Madhusudan
(University of Illinois at Urbana-Champaign, USA; RWTH Aachen University, Germany)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Peng, Yuxiang |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Verified Compilation of Quantum ..."
Verified Compilation of Quantum Oracles
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, and Michael Hicks
(University of Maryland, USA; Amazon, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Pérez, Jorge A. |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A Bunch of Sessions: A Propositions-as-Sessions ..."
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Dan Frumin, Emanuele D’Osualdo, Bas van den Heuvel, and Jorge A. Pérez
(University of Groningen, Netherlands; MPI-SWS, Germany)
Publisher's Version
|
| |
Petrank, Erez |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Concurrent Size ..."
Concurrent Size
Gal Sela and Erez Petrank
(Technion, Israel)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Phothilimthana, Phitchaya Mangpo |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Neural Architecture Search ..."
Neural Architecture Search using Property Guided Synthesis
Charles Jin, Phitchaya Mangpo Phothilimthana, and Sudip Roy
(Massachusetts Institute of Technology, USA; Google Research, USA; Cohere, USA)
Publisher's Version
Archive submitted (1.3 MB)
|
| |
Pierce, Benjamin C. |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Parsing Randomness ..."
Parsing Randomness
Harrison Goldstein and Benjamin C. Pierce
(University of Pennsylvania, USA)
Publisher's Version
Published Artifact
Archive submitted (1.5 MB)
Artifacts Available
|
| |
Pincus, Jared |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Veracity: Declarative Multicore ..."
Veracity: Declarative Multicore Programming with Commutativity
Adam Chen, Parisa Fathololumi, Eric Koskinen, and Jared Pincus
(Stevens Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Piróg, Maciej |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "High-Level Effect Handlers ..."
High-Level Effect Handlers in C++
Dan Ghica, Sam Lindley, Marcos Maroñas Bravo, and Maciej Piróg
(Huawei, UK; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Piskac, Ruzica |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Checking Equivalence in a ..."
Checking Equivalence in a Non-strict Language
John C. Kolesar, Ruzica Piskac, and William T. Hallahan
(Yale University, USA; Binghamton University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Ponce de León, Hernán |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "CAAT: Consistency as a Theory ..."
CAAT: Consistency as a Theory
Thomas Haas, Roland Meyer, and Hernán Ponce de León
(TU Braunschweig, Germany; Huawei, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Poulsen, Casper Bach |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Intrinsically-Typed Definitional ..."
Intrinsically-Typed Definitional Interpreters à la Carte
Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, and Peter Mosses
(Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Power, Conor |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Katara: Synthesizing CRDTs ..."
Katara: Synthesizing CRDTs with Verified Lifting
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, and Joseph M. Hellerstein
(University of California at Berkeley, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Purandare, Rahul |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "The Road Not Taken: Exploring ..."
The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler
Khushboo Chitre, Piyus Kedia, and Rahul Purandare
(IIIT Delhi, India; University of Nebraska-Lincoln, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Radhakrishna, Arjun
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Overwatch: Learning Patterns ..."
Overwatch: Learning Patterns in Code Edit Sequences
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, and Ashish Tiwari
(University of Wisconsin-Madison, USA; Microsoft, India; Uber, USA; Microsoft Research, UK; Microsoft, USA)
Publisher's Version
|
| |
Radiček, Ivan |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Neurosymbolic Repair for Low-Code ..."
Neurosymbolic Repair for Low-Code Formula Languages
Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radiček, and Ashish Tiwari
(University of California at Berkeley, USA; Microsoft, India; Microsoft, USA; Microsoft, Croatia)
Publisher's Version
Archive submitted (350 kB)
|
| |
Raza, Mohammad |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Overwatch: Learning Patterns ..."
Overwatch: Learning Patterns in Code Edit Sequences
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, and Ashish Tiwari
(University of Wisconsin-Madison, USA; Microsoft, India; Uber, USA; Microsoft Research, UK; Microsoft, USA)
Publisher's Version
|
| |
Reps, Thomas |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesizing Abstract Transformers ..."
Synthesizing Abstract Transformers
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D’Antoni, Thomas Reps, and Subhajit Roy
(IIT Kanpur, India; University of Wisconsin-Madison, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Reynaud, Alban |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Modular Verification of Op-Based ..."
Modular Verification of Op-Based CRDTs in Separation Logic
Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, and Lars Birkedal
(Aarhus University, Denmark; ENS Lyon, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Ritschel, Nico |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Can Guided Decomposition Help ..."
Can Guided Decomposition Help End-Users Write Larger Block-Based Programs? A Mobile Robot Experiment
Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, and David C. Shepherd
(University of British Columbia, Canada; Virginia Commonwealth University, USA)
Publisher's Version
|
| |
Ritter, Fabian |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "AnICA: Analyzing Inconsistencies ..."
AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers
Fabian Ritter and Sebastian Hack
(Saarland University, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Rouvoet, Arjen |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Intrinsically-Typed Definitional ..."
Intrinsically-Typed Definitional Interpreters à la Carte
Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, and Peter Mosses
(Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Roy, Subhajit |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Satisfiability Modulo Fuzzing: ..."
Satisfiability Modulo Fuzzing: A Synergistic Combination of SMT Solving and Fuzzing
Sujit Kumar Muduli and Subhajit Roy
(IIT Kanpur, India)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesizing Abstract Transformers ..."
Synthesizing Abstract Transformers
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D’Antoni, Thomas Reps, and Subhajit Roy
(IIT Kanpur, India; University of Wisconsin-Madison, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Symbolic Execution for Randomized ..."
Symbolic Execution for Randomized Programs
Zachary Susag, Sumit Lahiri, Justin Hsu, and Subhajit Roy
(Cornell University, USA; IIT Kanpur, India)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Roy, Sudip |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Neural Architecture Search ..."
Neural Architecture Search using Property Guided Synthesis
Charles Jin, Phitchaya Mangpo Phothilimthana, and Sudip Roy
(Massachusetts Institute of Technology, USA; Google Research, USA; Cohere, USA)
Publisher's Version
Archive submitted (1.3 MB)
|
| |
Sakkas, Georgios
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Seq2Parse: Neurosymbolic Parse ..."
Seq2Parse: Neurosymbolic Parse Error Repair
Georgios Sakkas, Madeline Endres, Philip J. Guo, Westley Weimer, and Ranjit Jhala
(University of California at San Diego, USA; University of Michigan, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Sammler, Michael |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "BFF: Foundational and Automated ..."
BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs
Fengmin Zhu, Michael Sammler, Rodolphe Lepigre, Derek Dreyer, and Deepak Garg
(MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Sanchez-Stern, Alex |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Data-Driven Lemma Synthesis ..."
Data-Driven Lemma Synthesis for Interactive Proofs
Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, and Todd Millstein
(University of California at Los Angeles, USA; University of Massachusetts at Amherst, USA; University of California at San Diego, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Saumya, Charitha |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "UniRec: A Unimodular-Like ..."
UniRec: A Unimodular-Like Framework for Nested Recursions and Loops
Kirshanthan Sundararajah, Charitha Saumya, and Milind Kulkarni
(Purdue University, USA)
Publisher's Version
|
| |
Sela, Gal |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Concurrent Size ..."
Concurrent Size
Gal Sela and Erez Petrank
(Technion, Israel)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Sengamedu, Srinivasan H. |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesizing Code Quality ..."
Synthesizing Code Quality Rules from Examples
Pranav Garg and Srinivasan H. Sengamedu
(AWS, USA; Amazon, USA)
Publisher's Version
Archive submitted (1.2 MB)
|
| |
Serrano, Manuel |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Highly Illogical, Kirk: Spotting ..."
Highly Illogical, Kirk: Spotting Type Mismatches in the Large Despite Broken Contracts, Unsound Types, and Too Many Linters
Joshua Hoeflich, Robert Bruce Findler, and Manuel Serrano
(Northwestern University, USA; Inria, France; University of Côte d'Azur, France)
Publisher's Version
|
| |
Servetto, Marco |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Coeffects for Sharing and ..."
Coeffects for Sharing and Mutation
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, and Marco Servetto
(University of Genoa, Italy; University of Eastern Piedmont, Italy; Victoria University of Wellington, New Zealand)
Publisher's Version
|
| |
Shao, Zhong |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Compositional Virtual Timelines: ..."
Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation
Mengqi Liu, Zhong Shao, Hao Chen, Man-Ki Yoon, and Jung-Eun Kim
(Yale University, USA)
Publisher's Version
Artifacts Functional
|
| |
Sharif, Mahmood |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Scalable Verification of GNN-Based ..."
Scalable Verification of GNN-Based Job Schedulers
Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska, and Gagandeep Singh
(Stanford University, USA; Tel Aviv University, Israel; VMware Research, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Shenoy, Pranav |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Optimal Heap Limits for Reducing ..."
Optimal Heap Limits for Reducing Browser Memory Use
Marisa Kirisame, Pranav Shenoy, and Pavel Panchekha
(University of Utah, USA)
Publisher's Version
|
| |
Shepherd, David C. |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Can Guided Decomposition Help ..."
Can Guided Decomposition Help End-Users Write Larger Block-Based Programs? A Mobile Robot Experiment
Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, and David C. Shepherd
(University of British Columbia, Canada; Virginia Commonwealth University, USA)
Publisher's Version
|
| |
Shi, Qingkai |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Indexing the Extended Dyck-CFL ..."
Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis
Qingkai Shi, Yongchao Wang, Peisen Yao, and Charles Zhang
(Ant Group, China; Hong Kong University of Science and Technology, China)
Publisher's Version
|
| |
Shi, Yuanfeng |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Oracle-Free Repair Synthesis ..."
Oracle-Free Repair Synthesis for Floating-Point Programs
Daming Zou, Yuchen Gu, Yuanfeng Shi, MingZhe Wang, Yingfei Xiong, and Zhendong Su
(ETH Zurich, Switzerland; Peking University, China; Princeton University, USA)
Publisher's Version
|
| |
Singh, Gagandeep |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A General Construction for ..."
A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA; VMware Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Scalable Verification of GNN-Based ..."
Scalable Verification of GNN-Based Job Schedulers
Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska, and Gagandeep Singh
(Stanford University, USA; Tel Aviv University, Israel; VMware Research, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Sivaraman, Aishwarya |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Data-Driven Lemma Synthesis ..."
Data-Driven Lemma Synthesis for Interactive Proofs
Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, and Todd Millstein
(University of California at Los Angeles, USA; University of Massachusetts at Amherst, USA; University of California at San Diego, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Soares, Gustavo |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Overwatch: Learning Patterns ..."
Overwatch: Learning Patterns in Code Edit Sequences
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, and Ashish Tiwari
(University of Wisconsin-Madison, USA; Microsoft, India; Uber, USA; Microsoft Research, UK; Microsoft, USA)
Publisher's Version
|
| |
Song, Jiaxin |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Scalable Linear Invariant ..."
Scalable Linear Invariant Generation with Farkas’ Lemma
Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, and Guoqiang Li
(Shanghai Jiao Tong University, China)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Song, Linhai |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Generic Go to Go: Dictionary-Passing, ..."
Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, and Linhai Song
(University of Oxford, UK; Pennsylvania State University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Song, Ryan |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "SigVM: Enabling Event-Driven ..."
SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts
Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song, Yuxi Cai, Andreas Veneris, and Fan Long
(University of Toronto, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Stankovič, Miroslav |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "This Is the Moment for Probabilistic ..."
This Is the Moment for Probabilistic Loops
Marcel Moosbrugger, Miroslav Stankovič, Ezio Bartocci, and Laura Kovács
(TU Wien, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Su, Zhendong |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Oracle-Free Repair Synthesis ..."
Oracle-Free Repair Synthesis for Floating-Point Programs
Daming Zou, Yuchen Gu, Yuanfeng Shi, MingZhe Wang, Yingfei Xiong, and Zhendong Su
(ETH Zurich, Switzerland; Peking University, China; Princeton University, USA)
Publisher's Version
|
| |
Sui, Yulei |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Taming Transitive Redundancy ..."
Taming Transitive Redundancy for Context-Free Language Reachability
Yuxiang Lei, Yulei Sui, Shuo Ding, and Qirun Zhang
(University of Technology Sydney, Australia; Georgia Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Summers, Alexander J. |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Fractional Resources in Unbounded ..."
Fractional Resources in Unbounded Separation Logic
Thibault Dardinier, Peter Müller, and Alexander J. Summers
(ETH Zurich, Switzerland; University of British Columbia, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Sun, Yaozhu |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Compositional Embeddings of ..."
Compositional Embeddings of Domain-Specific Languages
Yaozhu Sun, Utkarsh Dhandhania, and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Published Artifact
Archive submitted (930 kB)
Artifacts Available
Artifacts Reusable
|
| |
Sun, Zhihang |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Consistency-Preserving Propagation ..."
Consistency-Preserving Propagation for SMT Solving of Concurrent Program Verification
Zhihang Sun, Hongyu Fan, and Fei He
(Tsinghua University, China)
Publisher's Version
|
| |
Sundararajah, Kirshanthan |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "UniRec: A Unimodular-Like ..."
UniRec: A Unimodular-Like Framework for Nested Recursions and Loops
Kirshanthan Sundararajah, Charitha Saumya, and Milind Kulkarni
(Purdue University, USA)
Publisher's Version
|
| |
Susag, Zachary |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Symbolic Execution for Randomized ..."
Symbolic Execution for Randomized Programs
Zachary Susag, Sumit Lahiri, Justin Hsu, and Subhajit Roy
(Cornell University, USA; IIT Kanpur, India)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Timany, Amin
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Modular Verification of Op-Based ..."
Modular Verification of Op-Based CRDTs in Separation Logic
Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, and Lars Birkedal
(Aarhus University, Denmark; ENS Lyon, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Titzer, Ben L. |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A Fast In-Place Interpreter ..."
A Fast In-Place Interpreter for WebAssembly
Ben L. Titzer
(Carnegie Mellon University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Tiwari, Ashish |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Overwatch: Learning Patterns ..."
Overwatch: Learning Patterns in Code Edit Sequences
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, and Ashish Tiwari
(University of Wisconsin-Madison, USA; Microsoft, India; Uber, USA; Microsoft Research, UK; Microsoft, USA)
Publisher's Version
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Neurosymbolic Repair for Low-Code ..."
Neurosymbolic Repair for Low-Code Formula Languages
Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radiček, and Ashish Tiwari
(University of California at Berkeley, USA; Microsoft, India; Microsoft, USA; Microsoft, Croatia)
Publisher's Version
Archive submitted (350 kB)
|
| |
Ugare, Shubham
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A General Construction for ..."
A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA; VMware Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Vafeiadis, Viktor
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Model Checking for a Multi-Execution ..."
Model Checking for a Multi-Execution Memory Model
Evgenii Moiseenko, Michalis Kokologiannakis, and Viktor Vafeiadis
(JetBrains Research, Serbia; MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Van Antwerpen, Hendrik |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Incremental Type-Checking ..."
Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers
Aron Zwaan, Hendrik van Antwerpen, and Eelco Visser
(Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Archive submitted (1.2 MB)
Artifacts Available
Artifacts Functional
|
| |
Van den Heuvel, Bas |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A Bunch of Sessions: A Propositions-as-Sessions ..."
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Dan Frumin, Emanuele D’Osualdo, Bas van den Heuvel, and Jorge A. Pérez
(University of Groningen, Netherlands; MPI-SWS, Germany)
Publisher's Version
|
| |
Van der Rest, Cas |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Intrinsically-Typed Definitional ..."
Intrinsically-Typed Definitional Interpreters à la Carte
Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, and Peter Mosses
(Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Veneris, Andreas |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "SigVM: Enabling Event-Driven ..."
SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts
Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song, Yuxi Cai, Andreas Veneris, and Fan Long
(University of Toronto, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Visser, Eelco |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Incremental Type-Checking ..."
Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers
Aron Zwaan, Hendrik van Antwerpen, and Eelco Visser
(Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Archive submitted (1.2 MB)
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Intrinsically-Typed Definitional ..."
Intrinsically-Typed Definitional Interpreters à la Carte
Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, and Peter Mosses
(Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Voichick, Finn |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Verified Compilation of Quantum ..."
Verified Compilation of Quantum Oracles
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, and Michael Hicks
(University of Maryland, USA; Amazon, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Wang, Chenglong
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Type-Directed Synthesis of ..."
Type-Directed Synthesis of Visualizations from Natural Language Queries
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, and Işil Dillig
(University of Texas at Austin, USA; Microsoft Research, USA)
Publisher's Version
|
| |
Wang, MingZhe |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Oracle-Free Repair Synthesis ..."
Oracle-Free Repair Synthesis for Floating-Point Programs
Daming Zou, Yuchen Gu, Yuanfeng Shi, MingZhe Wang, Yingfei Xiong, and Zhendong Su
(ETH Zurich, Switzerland; Peking University, China; Princeton University, USA)
Publisher's Version
|
| |
Wang, Yongchao |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Indexing the Extended Dyck-CFL ..."
Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis
Qingkai Shi, Yongchao Wang, Peisen Yao, and Charles Zhang
(Ant Group, China; Hong Kong University of Science and Technology, China)
Publisher's Version
|
| |
Wang, Yuepeng |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Synthesis-Powered Optimization ..."
Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, and Işil Dillig
(University of California at Santa Barbara, USA; Simon Fraser University, Canada; University of Texas at Austin, USA; Stanford University, USA)
Publisher's Version
|
| |
Waśko, Radosław |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A case for DOT: Theoretical ..."
A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning
Aleksander Boruch-Gruszecki, Radosław Waśko, Yichen Xu, and Lionel Parreaux
(EPFL, Switzerland; University of Warsaw, Poland; Beijing University of Posts and Telecommunications, China; Hong Kong University of Science and Technology, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Weimer, Westley |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Seq2Parse: Neurosymbolic Parse ..."
Seq2Parse: Neurosymbolic Parse Error Repair
Georgios Sakkas, Madeline Endres, Philip J. Guo, Westley Weimer, and Ranjit Jhala
(University of California at San Diego, USA; University of Michigan, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Wies, Thomas |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A Concurrent Program Logic ..."
A Concurrent Program Logic with a Future and History
Roland Meyer, Thomas Wies, and Sebastian Wolff
(TU Braunschweig, Germany; New York University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Wolff, Sebastian |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A Concurrent Program Logic ..."
A Concurrent Program Logic with a Future and History
Roland Meyer, Thomas Wies, and Sebastian Wolff
(TU Braunschweig, Germany; New York University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Wu, Haoze |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Scalable Verification of GNN-Based ..."
Scalable Verification of GNN-Based Job Schedulers
Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska, and Gagandeep Singh
(Stanford University, USA; Tel Aviv University, Israel; VMware Research, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Wu, Xiaodi |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Verified Compilation of Quantum ..."
Verified Compilation of Quantum Oracles
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, and Michael Hicks
(University of Maryland, USA; Amazon, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Xie, Ningning
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "First-Class Names for Effect ..."
First-Class Names for Effect Handlers
Ningning Xie, Youyou Cong, Kazuki Ikemori, and Daan Leijen
(University of Cambridge, UK; Tokyo Institute of Technology, Japan; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Xiong, Yingfei |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Oracle-Free Repair Synthesis ..."
Oracle-Free Repair Synthesis for Floating-Point Programs
Daming Zou, Yuchen Gu, Yuanfeng Shi, MingZhe Wang, Yingfei Xiong, and Zhendong Su
(ETH Zurich, Switzerland; Peking University, China; Princeton University, USA)
Publisher's Version
|
| |
Xu, Yichen |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A case for DOT: Theoretical ..."
A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning
Aleksander Boruch-Gruszecki, Radosław Waśko, Yichen Xu, and Lionel Parreaux
(EPFL, Switzerland; University of Warsaw, Poland; Beijing University of Posts and Telecommunications, China; Hong Kong University of Science and Technology, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Yang, Rem
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "A General Construction for ..."
A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA; VMware Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Yao, Peisen |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Indexing the Extended Dyck-CFL ..."
Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis
Qingkai Shi, Yongchao Wang, Peisen Yao, and Charles Zhang
(Ant Group, China; Hong Kong University of Science and Technology, China)
Publisher's Version
|
| |
Yoon, Man-Ki |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Compositional Virtual Timelines: ..."
Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation
Mengqi Liu, Zhong Shao, Hao Chen, Man-Ki Yoon, and Jung-Eun Kim
(Yale University, USA)
Publisher's Version
Artifacts Functional
|
| |
Yoshida, Nobuko |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Generic Go to Go: Dictionary-Passing, ..."
Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, and Linhai Song
(University of Oxford, UK; Pennsylvania State University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Yu, Zhiyong |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Scalable Linear Invariant ..."
Scalable Linear Invariant Generation with Farkas’ Lemma
Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, and Guoqiang Li
(Shanghai Jiao Tong University, China)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Yuan, Charles |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Tower: Data Structures in ..."
Tower: Data Structures in Quantum Superposition
Charles Yuan and Michael Carbin
(Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Archive submitted (410 kB)
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Semi-symbolic Inference for ..."
Semi-symbolic Inference for Efficient Streaming Probabilistic Programming
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, and Michael Carbin
(Massachusetts Institute of Technology, USA; ENS — PSL University — CNRS — Inria, France; IBM Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Zhang, Charles
|
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Indexing the Extended Dyck-CFL ..."
Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis
Qingkai Shi, Yongchao Wang, Peisen Yao, and Charles Zhang
(Ant Group, China; Hong Kong University of Science and Technology, China)
Publisher's Version
|
| |
Zhang, Min |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Bridging the Semantic Gap ..."
Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems
Si Liu, Jose Meseguer, Peter Csaba Ölveczky, Min Zhang, and David Basin
(ETH Zurich, Switzerland; University of Illinois at Urbana-Champaign, USA; University of Oslo, Norway; East China Normal University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Zhang, Qirun |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Taming Transitive Redundancy ..."
Taming Transitive Redundancy for Context-Free Language Reachability
Yuxiang Lei, Yulei Sui, Shuo Ding, and Qirun Zhang
(University of Technology Sydney, Australia; Georgia Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Zhang, Yuhao |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Overwatch: Learning Patterns ..."
Overwatch: Learning Patterns in Code Edit Sequences
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, and Ashish Tiwari
(University of Wisconsin-Madison, USA; Microsoft, India; Uber, USA; Microsoft Research, UK; Microsoft, USA)
Publisher's Version
|
| |
Zhao, Zihan |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "SigVM: Enabling Event-Driven ..."
SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts
Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song, Yuxi Cai, Andreas Veneris, and Fan Long
(University of Toronto, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Zhu, Fengmin |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "BFF: Foundational and Automated ..."
BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs
Fengmin Zhu, Michael Sammler, Rodolphe Lepigre, Derek Dreyer, and Deepak Garg
(MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Zhu, Shuofei |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Generic Go to Go: Dictionary-Passing, ..."
Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, and Linhai Song
(University of Oxford, UK; Pennsylvania State University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Zou, Daming |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Oracle-Free Repair Synthesis ..."
Oracle-Free Repair Synthesis for Floating-Point Programs
Daming Zou, Yuchen Gu, Yuanfeng Shi, MingZhe Wang, Yingfei Xiong, and Zhendong Su
(ETH Zurich, Switzerland; Peking University, China; Princeton University, USA)
Publisher's Version
|
| |
Zucca, Elena |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Coeffects for Sharing and ..."
Coeffects for Sharing and Mutation
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, and Marco Servetto
(University of Genoa, Italy; University of Eastern Piedmont, Italy; Victoria University of Wellington, New Zealand)
Publisher's Version
|
| |
Zwaan, Aron |
Proc. ACM Program. Lang., vol. 6, issue OOPSLA2: "Incremental Type-Checking ..."
Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers
Aron Zwaan, Hendrik van Antwerpen, and Eelco Visser
(Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Archive submitted (1.2 MB)
Artifacts Available
Artifacts Functional
|