| |
Agrawal, Shubh
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effects and Coeffects in Call-by-Push-Value ..."
Effects and Coeffects in Call-by-Push-Value
Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, and Stephanie Weirich
(University of Pennsylvania, USA; University of Michigan, USA)
 Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p398-p (type: Full Paper) doi:10.1145/3689750
|
| |
Aguirre, Alejandro |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Tachis: Higher-Order Separation ..."
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, and Lars Birkedal
(Aarhus University, Denmark; New York University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p414-p (type: Full Paper) doi:10.1145/3689753
|
| |
Ahmed, Amal |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Realistic Realizability: Specifying ..."
Realistic Realizability: Specifying ABIs You Can Count On
Andrew Wagner, Zachary Eisbach, and Amal Ahmed
(Northeastern University, USA)
Publisher's Version
Article: oopslab24main-p440-p (type: Full Paper) doi:10.1145/3689755
|
| |
Alexopoulos, Georgios |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "When Your Infrastructure Is ..."
When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
Georgios-Petros Drosos, Thodoris Sotiropoulos, Georgios Alexopoulos, Dimitris Mitropoulos, and Zhendong Su
(ETH Zurich, Switzerland; University of Athens, Greece)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p898-p (type: Full Paper) doi:10.1145/3689799
|
| |
Alvarez-Picallo, Mario |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effect Handlers for C via ..."
Effect Handlers for C via Coroutines
Mario Alvarez-Picallo, Teodoro Freund, Dan R. Ghica, and Sam Lindley
(Huawei Research Centre, United Kingdom; University of Birmingham, United Kingdom; University of Edinburgh, United Kingdom)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p896-p (type: Full Paper) doi:10.1145/3689798
|
| |
Ambal, Guillaume |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics of Remote Direct ..."
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Guillaume Ambal, Brijesh Dongol, Haggai Eran, Vasileios Klimis, Ori Lahav, and Azalea Raad
(Imperial College London, United Kingdom; University of Surrey, United Kingdom; NVIDIA, Israel; Queen Mary University of London, United Kingdom; Tel Aviv University, Israel)
Publisher's Version
Article: oopslab24main-p718-p (type: Full Paper) doi:10.1145/3689781
|
| |
Anderson, Carolyn Jane |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q Feldman, Michael Greenberg, Abhinav Jangda, and Arjun Guha
(Northeastern University, USA; Wellesley College, USA; Oberlin College, USA; Stevens Institute of Technology, USA; Microsoft Research, USA; Roblox, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p302-p (type: Full Paper) doi:10.1145/3689735
|
| |
Anderson, Logan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "SparseAuto: An Auto-scheduler ..."
SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring
Adhitha Dias, Logan Anderson, Kirshanthan Sundararajah, Artem Pelenitsyn, and Milind Kulkarni
(Purdue University, USA; Virginia Tech, USA)
Publisher's Version
Article: oopslab24main-p286-p (type: Full Paper) doi:10.1145/3689730
|
| |
Arora, Sameer |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Practical Verification of ..."
Practical Verification of Smart Contracts using Memory Splitting
Shelly Grossman, John Toman, Alexander Bakst, Sameer Arora, Mooly Sagiv, and Chandrakana Nandi
(Tel Aviv University, Israel; Certora, USA; Certora, Israel)
Publisher's Version
 Published Artifact
Artifacts Available
Article: oopslab24main-p814-p (type: Full Paper) doi:10.1145/3689796
|
| |
Ataei, Parisa |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
On the Expressive Power of Languages for Static Variability
Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey M. Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, and Thomas Thüm
(University of Paderborn, Germany; Ulm University, Germany; University of Bern, Switzerland; IOHK, USA; Federal University of Pernambuco, Brazil; Unaffiliated, USA; TU Braunschweig, Germany)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p390-p (type: Full Paper) doi:10.1145/3689747
|
| |
Baek, Doehyun
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Wasm-R3: Record-Reduce-Replay ..."
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, and Michael Pradel
(KAIST, South Korea; University of Stuttgart, Germany; Google, Germany; Carnegie Mellon University, USA)
Publisher's Version
Article: oopslab24main-p738-p (type: Full Paper) doi:10.1145/3689787
|
| |
Bakst, Alexander |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Practical Verification of ..."
Practical Verification of Smart Contracts using Memory Splitting
Shelly Grossman, John Toman, Alexander Bakst, Sameer Arora, Mooly Sagiv, and Chandrakana Nandi
(Tel Aviv University, Israel; Certora, USA; Certora, Israel)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopslab24main-p814-p (type: Full Paper) doi:10.1145/3689796
|
| |
Barthe, Gilles |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Modal Type Theory of Expected ..."
A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
Vineet Rajani, Gilles Barthe, and Deepak Garg
(University of Kent, United Kingdom; MPI-SP, Germany; IMDEA Software Institute, Spain; MPI-SWS, Germany)
Publisher's Version
Article: oopslab24main-p256-p (type: Full Paper) doi:10.1145/3689725
|
| |
Basin, David |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Plume: Efficient and Complete ..."
Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels
Si Liu, Long Gu, Hengfeng Wei, and David Basin
(ETH Zurich, Switzerland; Nanjing University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p362-p (type: Full Paper) doi:10.1145/3689742
|
| |
Bembenek, Aaron |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Making Formulog Fast: An Argument ..."
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation
Aaron Bembenek, Michael Greenberg, and Stephen Chong
(University of Melbourne, Australia; Stevens Institute of Technology, USA; Harvard University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p434-p (type: Full Paper) doi:10.1145/3689754
|
| |
Beschastnikh, Ivan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Making Sense of Multi-threaded ..."
Making Sense of Multi-threaded Application Performance at Scale with NonSequitur
Augustine Wong, Paul Bucci, Ivan Beschastnikh, and Alexandra Fedorova
(University of British Columbia, Canada)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p802-p (type: Full Paper) doi:10.1145/3689793
|
| |
Bik, Aart J.C. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compiler Support for Sparse ..."
Compiler Support for Sparse Tensor Convolutions
Peiming Liu, Alexander J Root, Anlun Xu, Yinying Li, Fredrik Kjolstad, and Aart J.C. Bik
(Google Research, USA; Stanford University, USA; Google Cloud, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p178-p (type: Full Paper) doi:10.1145/3689721
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compilation of Shape Operators ..."
Compilation of Shape Operators on Sparse Arrays
Alexander J Root, Bobby Yan, Peiming Liu, Christophe Gyurgyik, Aart J.C. Bik, and Fredrik Kjolstad
(Stanford University, USA; Google Research, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p404-p (type: Full Paper) doi:10.1145/3689752
|
| |
Birkedal, Lars |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Iris-MSWasm: Elucidating and ..."
Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly
Maxime Legoupil, June Rousseau, Aïna Linn Georges, Jean Pichon-Pharabod, and Lars Birkedal
(Aarhus University, Denmark; MPI-SWS, Germany)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p189-p (type: Full Paper) doi:10.1145/3689722
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Tachis: Higher-Order Separation ..."
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, and Lars Birkedal
(Aarhus University, Denmark; New York University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p414-p (type: Full Paper) doi:10.1145/3689753
|
| |
Bittner, Paul Maximilian |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
On the Expressive Power of Languages for Static Variability
Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey M. Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, and Thomas Thüm
(University of Paderborn, Germany; Ulm University, Germany; University of Bern, Switzerland; IOHK, USA; Federal University of Pernambuco, Brazil; Unaffiliated, USA; TU Braunschweig, Germany)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p390-p (type: Full Paper) doi:10.1145/3689747
|
| |
Black-Schaffer, David |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mark–Scavenge: Waiting for ..."
Mark–Scavenge: Waiting for Trash to Take Itself Out
Jonas Norlinder, Erik Österlund, David Black-Schaffer, and Tobias Wrigstad
(Uppsala University, Sweden; Oracle, Sweden)
Publisher's Version
Article: oopslab24main-p774-p (type: Full Paper) doi:10.1145/3689791
|
| |
Blinn, Andrew |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Statically Contextualizing ..."
Statically Contextualizing Large Language Models with Typed Holes
Andrew Blinn, Xiang Li, June Hyung Kim, and Cyrus Omar
(University of Michigan, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p278-p (type: Full Paper) doi:10.1145/3689728
|
| |
Borgarelli, Andrea |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Reward Augmentation in Reinforcement ..."
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
Andrea Borgarelli, Constantin Enea, Rupak Majumdar, and Srinidhi Nagendra
(MPI-SWS, Germany; LIX - CNRS - École Polytechnique, France; IRIF - CNRS - Université Paris Cité, France; Chennai Mathematical Institute, India)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p657-p (type: Full Paper) doi:10.1145/3689779
|
| |
Boruch-Gruszecki, Aleksander |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Gradient: Gradual Compartmentalization ..."
Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer, and Clément Pit-Claudel
(Charles University, Czechia; Microsoft Research, United Kingdom; EPFL, Switzerland)
Publisher's Version
Article: oopslab24main-p402-p (type: Full Paper) doi:10.1145/3689751
|
| |
Bowman, William J. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Low-Level Look at A-Normal ..."
A Low-Level Look at A-Normal Form
William J. Bowman
(University of British Columbia, Canada)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p159-p (type: Full Paper) doi:10.1145/3689717
|
| |
Brotherston, James |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mix Testing: Specifying and ..."
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, and John Wickerson
(University College London, United Kingdom; Arm, United Kingdom; Imperial College London, United Kingdom; University of California at Santa Cruz, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p264-p (type: Full Paper) doi:10.1145/3689727
|
| |
Bucci, Paul |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Making Sense of Multi-threaded ..."
Making Sense of Multi-threaded Application Performance at Scale with NonSequitur
Augustine Wong, Paul Bucci, Ivan Beschastnikh, and Alexandra Fedorova
(University of British Columbia, Canada)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p802-p (type: Full Paper) doi:10.1145/3689793
|
| |
Butt, Andrew |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Unifying Static and Dynamic ..."
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
Caleb Kim, Pai Li, Anshuman Mohan, Andrew Butt, Adrian Sampson, and Rachit Nigam
(Cornell University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p755-p (type: Full Paper) doi:10.1145/3689790
|
| |
Campbell, Eric Hayden
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Computing Precise Control ..."
Computing Precise Control Interface Specifications
Eric Hayden Campbell, Hossein Hojjat, and Nate Foster
(Cornell University, USA; Tehran Institute for Advanced Studies, Iran)
Publisher's Version
Artifacts Reusable
Article: oopslab24main-p369-p (type: Full Paper) doi:10.1145/3689743
|
| |
Cao, Yiyuan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics Lifting for Syntactic ..."
Semantics Lifting for Syntactic Sugar
Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, and Zhenjiang Hu
(Peking University, China; Tsinghua University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p481-p (type: Full Paper) doi:10.1145/3689758
|
| |
Carnier, Denis |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Type Inference Logics ..."
Type Inference Logics
Denis Carnier, François Pottier, and Steven Keuchel
(KU Leuven, Belgium; Inria, France; Vrije Universiteit Brussel, Belgium)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p733-p (type: Full Paper) doi:10.1145/3689786
|
| |
Cassano, Federico |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q Feldman, Michael Greenberg, Abhinav Jangda, and Arjun Guha
(Northeastern University, USA; Wellesley College, USA; Oberlin College, USA; Stevens Institute of Technology, USA; Microsoft Research, USA; Roblox, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p302-p (type: Full Paper) doi:10.1145/3689735
|
| |
Chang, Jiwon |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "CoolerSpace: A Language for ..."
CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
Ethan Chen, Jiwon Chang, and Yuhao Zhu
(University of Rochester, USA)
Publisher's Version
Article: oopslab24main-p354-p (type: Full Paper) doi:10.1145/3689741
|
| |
Chaudhuri, Swarat |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Weighted Context-Free-Language ..."
Weighted Context-Free-Language Ordered Binary Decision Diagrams
Meghana Sistla, Swarat Chaudhuri, and Thomas Reps
(University of Texas at Austin, USA; University of Wisconsin, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p486-p (type: Full Paper) doi:10.1145/3689760
|
| |
Chen, Ethan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "CoolerSpace: A Language for ..."
CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
Ethan Chen, Jiwon Chang, and Yuhao Zhu
(University of Rochester, USA)
Publisher's Version
Article: oopslab24main-p354-p (type: Full Paper) doi:10.1145/3689741
|
| |
Chen, Jinbao |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "MEA2: A Lightweight Field-Sensitive ..."
MEA2: A Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
Boyao Ding, Qingwei Li, Yu Zhang, Fugen Tang, and Jinbao Chen
(University of Science and Technology of China, China; Institute of Artificial Intelligence at Hefei Comprehensive National Science Center, China)
Publisher's Version
Article: oopslab24main-p484-p (type: Full Paper) doi:10.1145/3689759
|
| |
Chen, Junjie |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Dependency-Aware Code Naturalness ..."
Dependency-Aware Code Naturalness
Chen Yang, Junjie Chen, Jiajun Jiang, and Yuliang Huang
(Tianjin University, China)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p812-p (type: Full Paper) doi:10.1145/3689794
|
| |
Chen, Liqian |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FPCC: Detecting Floating-Point ..."
FPCC: Detecting Floating-Point Errors via Chain Conditions
Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, and Ji Wang
(National University of Defense Technology, China; National University of Defense Technology, Changsha, China)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p513-p (type: Full Paper) doi:10.1145/3689764
|
| |
Chen, Yixuan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compositionality and Observational ..."
Compositionality and Observational Refinement for Linearizability with Crashes
Arthur Oliveira Vale, Zhongye Wang, Yixuan Chen, Peixin You, and Zhong Shao
(Yale University, USA)
Publisher's Version
Article: oopslab24main-p794-p (type: Full Paper) doi:10.1145/3689792
|
| |
Cheng, Luyu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "The Ultimate Conditional Syntax ..."
The Ultimate Conditional Syntax
Luyu Cheng and Lionel Parreaux
(Hong Kong University of Science and Technology, Hong Kong)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p386-p (type: Full Paper) doi:10.1145/3689746
|
| |
Cho, Chanhee |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Crabtree: Rust API Test Synthesis ..."
Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, and Corina S. Păsăreanu
(Carnegie Mellon University, USA)
Publisher's Version
Article: oopslab24main-p295-p (type: Full Paper) doi:10.1145/3689733
|
| |
Cho, Kyeongmin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantum Probabilistic Model ..."
Quantum Probabilistic Model Checking for Time-Bounded Properties
Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, and Jeehoon Kang
(KAIST, South Korea; Korea University, South Korea)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p288-p (type: Full Paper) doi:10.1145/3689731
|
| |
Chong, Stephen |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Making Formulog Fast: An Argument ..."
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation
Aaron Bembenek, Michael Greenberg, and Stephen Chong
(University of Melbourne, Australia; Stevens Institute of Technology, USA; Harvard University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p434-p (type: Full Paper) doi:10.1145/3689754
|
| |
Chowdhury, Romit Roy |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automated Robustness Verification ..."
Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models
Kartik Nagar, Anmol Sahoo, Romit Roy Chowdhury, and Suresh Jagannathan
(IIT Madras, India; Purdue University, USA; Chennai Mathematical Institute, India)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p1014-p (type: Full Paper) doi:10.1145/3689802
|
| |
Cogumbreiro, Tiago |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Sound and Partially-Complete ..."
Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs
Dennis Liew, Tiago Cogumbreiro, and Julien Lange
(University of Massachusetts, Boston, USA; Royal Holloway University of London, United Kingdom)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p855-p (type: Full Paper) doi:10.1145/3689797
|
| |
Collberg, Christian |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Control-Flow Deobfuscation ..."
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Benjamin Mariano, Ziteng Wang, Shankara Pailoor, Christian Collberg, and Işil Dillig
(University of Texas at Austin, USA; University of Arizona, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p746-p (type: Full Paper) doi:10.1145/3689789
|
| |
Correnson, Arthur |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Finding ∀∃ Hyperbugs using ..."
Finding ∀∃ Hyperbugs using Symbolic Execution
Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, and Georg Weissenbacher
(CISPA Helmholtz Center for Information Security, Germany; TU Wien, Austria)
Publisher's Version
Article: oopslab24main-p490-p (type: Full Paper) doi:10.1145/3689761
|
| |
Cortiñas, Carlos Tomé |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Sensitivity by Parametricity ..."
Sensitivity by Parametricity
Elisabet Lobo-Vesga, Alejandro Russo, Marco Gaboardi, and Carlos Tomé Cortiñas
(DPella, Sweden; Chalmers University of Technology, Sweden; Boston University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p262-p (type: Full Paper) doi:10.1145/3689726
|
| |
Craaijo, Jos |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "libLISA: Instruction Discovery ..."
libLISA: Instruction Discovery and Analysis on x86-64
Jos Craaijo, Freek Verbeek, and Binoy Ravindran
(Open Universiteit, Netherlands; Virginia Tech, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p204-p (type: Full Paper) doi:10.1145/3689723
|
| |
D’Antoni, Loris
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Unrealizability ..."
Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
Shaan Nagy, Jinwoo Kim, Thomas Reps, and Loris D’Antoni
(University of Wisconsin-Madison, USA; Seoul National University, South Korea; University of California at San Diego, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p155-p (type: Full Paper) doi:10.1145/3689715
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Synthesizing Formal Semantics ..."
Synthesizing Formal Semantics from Executable Interpreters
Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J.C. Johnson, Thomas Reps, and Loris D’Antoni
(University of Wisconsin-Madison, USA; University of California at San Diego, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p208-p (type: Full Paper) doi:10.1145/3689724
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automatically Reducing Privilege ..."
Automatically Reducing Privilege for Access Control Policies
Loris D’Antoni, Shuo Ding, Amit Goel, Mathangi Ramesh, Neha Rungta, and Chungha Sung
(Amazon Web Services, USA; Georgia Institute of Technology, USA)
Publisher's Version
Article: oopslab24main-p307-p (type: Full Paper) doi:10.1145/3689738
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Pruning in Top-Down ..."
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
Keith J.C. Johnson, Rahul Krishnan, Thomas Reps, and Loris D’Antoni
(University of Wisconsin-Madison, USA; University of California at San Diego, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p377-p (type: Full Paper) doi:10.1145/3689744
|
| |
Dardinier, Thibault |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Hypra: A Deductive Program ..."
Hypra: A Deductive Program Verifier for Hyper Hoare Logic
Thibault Dardinier, Anqi Li, and Peter Müller
(ETH Zurich, Switzerland)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p468-p (type: Full Paper) doi:10.1145/3689756
|
| |
De Medeiros, Markus |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Tachis: Higher-Order Separation ..."
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, and Lars Birkedal
(Aarhus University, Denmark; New York University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p414-p (type: Full Paper) doi:10.1145/3689753
|
| |
Deng, Yinlin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "WhiteFox: White-Box Compiler ..."
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; Huazhong University of Science and Technology, China; Chinese University of Hong Kong, Shenzhen, China)
Publisher's Version
Article: oopslab24main-p305-p (type: Full Paper) doi:10.1145/3689736
|
| |
De Vilhena, Paulo Emílio |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Extending the C/C++ Memory ..."
Extending the C/C++ Memory Model with Inline Assembly
Paulo Emílio de Vilhena, Ori Lahav, Viktor Vafeiadis, and Azalea Raad
(Imperial College London, United Kingdom; Tel Aviv University, Israel; MPI-SWS, Germany)
Publisher's Version
Article: oopslab24main-p392-p (type: Full Paper) doi:10.1145/3689749
|
| |
Dexter, Philip |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Runtime System for Interruptible ..."
A Runtime System for Interruptible Query Processing: When Incremental Computing Meets Fine-Grained Parallelism
Jeff Eymer, Philip Dexter, Joseph Raskind, and Yu David Liu
(SUNY Binghamton, USA)
Publisher's Version
Article: oopslab24main-p571-p (type: Full Paper) doi:10.1145/3689772
|
| |
Di, Peng |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Scaling Abstraction Refinement ..."
Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks
Zhenyu Yan, Xin Zhang, and Peng Di
(Peking University, China; Ant Group, China)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p514-p (type: Full Paper) doi:10.1145/3689765
|
| |
Dias, Adhitha |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "SparseAuto: An Auto-scheduler ..."
SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring
Adhitha Dias, Logan Anderson, Kirshanthan Sundararajah, Artem Pelenitsyn, and Milind Kulkarni
(Purdue University, USA; Virginia Tech, USA)
Publisher's Version
Article: oopslab24main-p286-p (type: Full Paper) doi:10.1145/3689730
|
| |
Dijkstra, Wilco |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mix Testing: Specifying and ..."
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, and John Wickerson
(University College London, United Kingdom; Arm, United Kingdom; Imperial College London, United Kingdom; University of California at Santa Cruz, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p264-p (type: Full Paper) doi:10.1145/3689727
|
| |
Dillig, Işil |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Control-Flow Deobfuscation ..."
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Benjamin Mariano, Ziteng Wang, Shankara Pailoor, Christian Collberg, and Işil Dillig
(University of Texas at Austin, USA; University of Arizona, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p746-p (type: Full Paper) doi:10.1145/3689789
|
| |
Dimitrov, Dimitar |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Modular Synthesis of Efficient ..."
Modular Synthesis of Efficient Quantum Uncomputation
Hristo Venev, Timon Gehr, Dimitar Dimitrov, and Martin Vechev
(Sofia University St. Kliment Ohridski, Bulgaria; ETH Zurich, Switzerland)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p732-p (type: Full Paper) doi:10.1145/3689785
|
| |
Ding, Boyao |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "MEA2: A Lightweight Field-Sensitive ..."
MEA2: A Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
Boyao Ding, Qingwei Li, Yu Zhang, Fugen Tang, and Jinbao Chen
(University of Science and Technology of China, China; Institute of Artificial Intelligence at Hefei Comprehensive National Science Center, China)
Publisher's Version
Article: oopslab24main-p484-p (type: Full Paper) doi:10.1145/3689759
|
| |
Ding, Shuo |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automatically Reducing Privilege ..."
Automatically Reducing Privilege for Access Control Policies
Loris D’Antoni, Shuo Ding, Amit Goel, Mathangi Ramesh, Neha Rungta, and Chungha Sung
(Amazon Web Services, USA; Georgia Institute of Technology, USA)
Publisher's Version
Article: oopslab24main-p307-p (type: Full Paper) doi:10.1145/3689738
|
| |
Donaldson, Alastair F. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mix Testing: Specifying and ..."
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, and John Wickerson
(University College London, United Kingdom; Arm, United Kingdom; Imperial College London, United Kingdom; University of California at Santa Cruz, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p264-p (type: Full Paper) doi:10.1145/3689727
|
| |
Dongol, Brijesh |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics of Remote Direct ..."
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Guillaume Ambal, Brijesh Dongol, Haggai Eran, Vasileios Klimis, Ori Lahav, and Azalea Raad
(Imperial College London, United Kingdom; University of Surrey, United Kingdom; NVIDIA, Israel; Queen Mary University of London, United Kingdom; Tel Aviv University, Israel)
Publisher's Version
Article: oopslab24main-p718-p (type: Full Paper) doi:10.1145/3689781
|
| |
Drosos, Georgios-Petros |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "When Your Infrastructure Is ..."
When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
Georgios-Petros Drosos, Thodoris Sotiropoulos, Georgios Alexopoulos, Dimitris Mitropoulos, and Zhendong Su
(ETH Zurich, Switzerland; University of Athens, Greece)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p898-p (type: Full Paper) doi:10.1145/3689799
|
| |
Eisbach, Zachary
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Realistic Realizability: Specifying ..."
Realistic Realizability: Specifying ABIs You Can Count On
Andrew Wagner, Zachary Eisbach, and Amal Ahmed
(Northeastern University, USA)
Publisher's Version
Article: oopslab24main-p440-p (type: Full Paper) doi:10.1145/3689755
|
| |
Elsman, Martin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "AUTOMAP: Inferring Rank-Polymorphic ..."
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Robert Schenck, Nikolaj Hey Hinnerskov, Troels Henriksen, Magnus Madsen, and Martin Elsman
(University of Copenhagen, Denmark; Aarhus University, Denmark)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p607-p (type: Full Paper) doi:10.1145/3689774
|
| |
Enea, Constantin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Model Checking Distributed ..."
Model Checking Distributed Protocols in Must
Constantin Enea, Dimitra Giannakopoulou, Michalis Kokologiannakis, and Rupak Majumdar
(Amazon Web Services, France; École Polytechnique, France; Amazon Web Services, USA; ETH Zurich, Switzerland; Amazon Web Services, Germany; MPI-SWS, Germany)
Publisher's Version
Article: oopslab24main-p646-p (type: Full Paper) doi:10.1145/3689778
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Reward Augmentation in Reinforcement ..."
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
Andrea Borgarelli, Constantin Enea, Rupak Majumdar, and Srinidhi Nagendra
(MPI-SWS, Germany; LIX - CNRS - École Polytechnique, France; IRIF - CNRS - Université Paris Cité, France; Chennai Mathematical Institute, India)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p657-p (type: Full Paper) doi:10.1145/3689779
|
| |
Engelke, Alexis |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HiPy: Extracting High-Level ..."
HiPy: Extracting High-Level Semantics from Python Code for Data Processing
Michael Jungmair, Alexis Engelke, and Jana Giceva
(TU Munich, Germany)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p306-p (type: Full Paper) doi:10.1145/3689737
|
| |
Eran, Haggai |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics of Remote Direct ..."
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Guillaume Ambal, Brijesh Dongol, Haggai Eran, Vasileios Klimis, Ori Lahav, and Azalea Raad
(Imperial College London, United Kingdom; University of Surrey, United Kingdom; NVIDIA, Israel; Queen Mary University of London, United Kingdom; Tel Aviv University, Israel)
Publisher's Version
Article: oopslab24main-p718-p (type: Full Paper) doi:10.1145/3689781
|
| |
Erdweg, Sebastian |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Object-Oriented Fixpoint Programming ..."
Object-Oriented Fixpoint Programming with Datalog
David Klopp, Sebastian Erdweg, and André Pacak
(JGU Mainz, Germany)
Publisher's Version
Article: oopslab24main-p130-p (type: Full Paper) doi:10.1145/3689713
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Typed Multi-level Datalog ..."
A Typed Multi-level Datalog IR and Its Compiler Framework
David Klopp, Sebastian Erdweg, and André Pacak
(JGU Mainz, Germany)
Publisher's Version
Article: oopslab24main-p536-p (type: Full Paper) doi:10.1145/3689767
|
| |
Eymer, Jeff |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Runtime System for Interruptible ..."
A Runtime System for Interruptible Query Processing: When Incremental Computing Meets Fine-Grained Parallelism
Jeff Eymer, Philip Dexter, Joseph Raskind, and Yu David Liu
(SUNY Binghamton, USA)
Publisher's Version
Article: oopslab24main-p571-p (type: Full Paper) doi:10.1145/3689772
|
| |
Fedorova, Alexandra
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Making Sense of Multi-threaded ..."
Making Sense of Multi-threaded Application Performance at Scale with NonSequitur
Augustine Wong, Paul Bucci, Ivan Beschastnikh, and Alexandra Fedorova
(University of British Columbia, Canada)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p802-p (type: Full Paper) doi:10.1145/3689793
|
| |
Feldman, Molly Q |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q Feldman, Michael Greenberg, Abhinav Jangda, and Arjun Guha
(Northeastern University, USA; Wellesley College, USA; Oberlin College, USA; Stevens Institute of Technology, USA; Microsoft Research, USA; Roblox, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p302-p (type: Full Paper) doi:10.1145/3689735
|
| |
Filardo, Nathaniel Wesley |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Intensional Functions ..."
Intensional Functions
Zachary Palmer, Nathaniel Wesley Filardo, and Ke Wu
(Swarthmore College, USA; Microsoft, Canada; Johns Hopkins University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p138-p (type: Full Paper) doi:10.1145/3689714
|
| |
Finkbeiner, Bernd |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Finding ∀∃ Hyperbugs using ..."
Finding ∀∃ Hyperbugs using Symbolic Execution
Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, and Georg Weissenbacher
(CISPA Helmholtz Center for Information Security, Germany; TU Wien, Austria)
Publisher's Version
Article: oopslab24main-p490-p (type: Full Paper) doi:10.1145/3689761
|
| |
Foster, Nate |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Computing Precise Control ..."
Computing Precise Control Interface Specifications
Eric Hayden Campbell, Hossein Hojjat, and Nate Foster
(Cornell University, USA; Tehran Institute for Advanced Studies, Iran)
Publisher's Version
Artifacts Reusable
Article: oopslab24main-p369-p (type: Full Paper) doi:10.1145/3689743
|
| |
Freeman, Anders |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q Feldman, Michael Greenberg, Abhinav Jangda, and Arjun Guha
(Northeastern University, USA; Wellesley College, USA; Oberlin College, USA; Stevens Institute of Technology, USA; Microsoft Research, USA; Roblox, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p302-p (type: Full Paper) doi:10.1145/3689735
|
| |
Freund, Teodoro |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effect Handlers for C via ..."
Effect Handlers for C via Coroutines
Mario Alvarez-Picallo, Teodoro Freund, Dan R. Ghica, and Sam Lindley
(Huawei Research Centre, United Kingdom; University of Birmingham, United Kingdom; University of Edinburgh, United Kingdom)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p896-p (type: Full Paper) doi:10.1145/3689798
|
| |
Fromherz, Aymeric |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "StarMalloc: Verifying a Modern, ..."
StarMalloc: Verifying a Modern, Hardened Memory Allocator
Antonin Reitz, Aymeric Fromherz, and Jonathan Protzenko
(Inria, France; Microsoft Research, USA)
Publisher's Version
Artifacts Reusable
Article: oopslab24main-p590-p (type: Full Paper) doi:10.1145/3689773
|
| |
Gaboardi, Marco
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Sensitivity by Parametricity ..."
Sensitivity by Parametricity
Elisabet Lobo-Vesga, Alejandro Russo, Marco Gaboardi, and Carlos Tomé Cortiñas
(DPella, Sweden; Chalmers University of Technology, Sweden; Boston University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p262-p (type: Full Paper) doi:10.1145/3689726
|
| |
Gancher, Joshua |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FlowCert: Translation Validation ..."
FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions
Zhengyao Lin, Joshua Gancher, and Bryan Parno
(Carnegie Mellon University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p282-p (type: Full Paper) doi:10.1145/3689729
|
| |
Garg, Deepak |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Modal Type Theory of Expected ..."
A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
Vineet Rajani, Gilles Barthe, and Deepak Garg
(University of Kent, United Kingdom; MPI-SP, Germany; IMDEA Software Institute, Spain; MPI-SWS, Germany)
Publisher's Version
Article: oopslab24main-p256-p (type: Full Paper) doi:10.1145/3689725
|
| |
Ge, Zhaoyi |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Lexical Effect Handlers, Directly ..."
Lexical Effect Handlers, Directly
Cong Ma, Zhaoyi Ge, Edward Lee, and Yizhou Zhang
(University of Waterloo, Canada)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p541-p (type: Full Paper) doi:10.1145/3689770
|
| |
Geeson, Luke |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mix Testing: Specifying and ..."
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, and John Wickerson
(University College London, United Kingdom; Arm, United Kingdom; Imperial College London, United Kingdom; University of California at Santa Cruz, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p264-p (type: Full Paper) doi:10.1145/3689727
|
| |
Gehr, Timon |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Modular Synthesis of Efficient ..."
Modular Synthesis of Efficient Quantum Uncomputation
Hristo Venev, Timon Gehr, Dimitar Dimitrov, and Martin Vechev
(Sofia University St. Kliment Ohridski, Bulgaria; ETH Zurich, Switzerland)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p732-p (type: Full Paper) doi:10.1145/3689785
|
| |
Georges, Aïna Linn |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Iris-MSWasm: Elucidating and ..."
Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly
Maxime Legoupil, June Rousseau, Aïna Linn Georges, Jean Pichon-Pharabod, and Lars Birkedal
(Aarhus University, Denmark; MPI-SWS, Germany)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p189-p (type: Full Paper) doi:10.1145/3689722
|
| |
Getz, Jakob |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Wasm-R3: Record-Reduce-Replay ..."
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, and Michael Pradel
(KAIST, South Korea; University of Stuttgart, Germany; Google, Germany; Carnegie Mellon University, USA)
Publisher's Version
Article: oopslab24main-p738-p (type: Full Paper) doi:10.1145/3689787
|
| |
Ghica, Dan R. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effect Handlers for C via ..."
Effect Handlers for C via Coroutines
Mario Alvarez-Picallo, Teodoro Freund, Dan R. Ghica, and Sam Lindley
(Huawei Research Centre, United Kingdom; University of Birmingham, United Kingdom; University of Edinburgh, United Kingdom)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p896-p (type: Full Paper) doi:10.1145/3689798
|
| |
Ghosn, Adrien |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Gradient: Gradual Compartmentalization ..."
Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer, and Clément Pit-Claudel
(Charles University, Czechia; Microsoft Research, United Kingdom; EPFL, Switzerland)
Publisher's Version
Article: oopslab24main-p402-p (type: Full Paper) doi:10.1145/3689751
|
| |
Giannakopoulou, Dimitra |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Model Checking Distributed ..."
Model Checking Distributed Protocols in Must
Constantin Enea, Dimitra Giannakopoulou, Michalis Kokologiannakis, and Rupak Majumdar
(Amazon Web Services, France; École Polytechnique, France; Amazon Web Services, USA; ETH Zurich, Switzerland; Amazon Web Services, Germany; MPI-SWS, Germany)
Publisher's Version
Article: oopslab24main-p646-p (type: Full Paper) doi:10.1145/3689778
|
| |
Giceva, Jana |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HiPy: Extracting High-Level ..."
HiPy: Extracting High-Level Semantics from Python Code for Data Processing
Michael Jungmair, Alexis Engelke, and Jana Giceva
(TU Munich, Germany)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p306-p (type: Full Paper) doi:10.1145/3689737
|
| |
Gilbert, Seth |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Concurrent Data Structures ..."
Concurrent Data Structures Made Easy
Callista Le, Kiran Gopinathan, Koon Wen Lee, Seth Gilbert, and Ilya Sergey
(Yale-NUS College, Singapore; National University of Singapore, Singapore; Ahrefs, Singapore)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p608-p (type: Full Paper) doi:10.1145/3689775
|
| |
Go, Gwihwan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "PolyJuice: Detecting Mis-compilation ..."
PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Chijin Zhou, Bingzhou Qian, Gwihwan Go, Quan Zhang, Shanshan Li, and Yu Jiang
(Tsinghua University, China; National University of Defense Technology, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p473-p (type: Full Paper) doi:10.1145/3689757
|
| |
Goel, Amit |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automatically Reducing Privilege ..."
Automatically Reducing Privilege for Access Control Policies
Loris D’Antoni, Shuo Ding, Amit Goel, Mathangi Ramesh, Neha Rungta, and Chungha Sung
(Amazon Web Services, USA; Georgia Institute of Technology, USA)
Publisher's Version
Article: oopslab24main-p307-p (type: Full Paper) doi:10.1145/3689738
|
| |
Goharshady, Amir Kafshdar |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Fast and Optimal Extraction ..."
Fast and Optimal Extraction for Sparse Equality Graphs
Amir Kafshdar Goharshady, Chun Kit Lam, and Lionel Parreaux
(Hong Kong University of Science and Technology, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p976-p (type: Full Paper) doi:10.1145/3689801
|
| |
Gopinathan, Kiran |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Concurrent Data Structures ..."
Concurrent Data Structures Made Easy
Callista Le, Kiran Gopinathan, Koon Wen Lee, Seth Gilbert, and Ilya Sergey
(Yale-NUS College, Singapore; National University of Singapore, Singapore; Ahrefs, Singapore)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p608-p (type: Full Paper) doi:10.1145/3689775
|
| |
Gouwar, John |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q Feldman, Michael Greenberg, Abhinav Jangda, and Arjun Guha
(Northeastern University, USA; Wellesley College, USA; Oberlin College, USA; Stevens Institute of Technology, USA; Microsoft Research, USA; Roblox, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p302-p (type: Full Paper) doi:10.1145/3689735
|
| |
Greenberg, Michael |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q Feldman, Michael Greenberg, Abhinav Jangda, and Arjun Guha
(Northeastern University, USA; Wellesley College, USA; Oberlin College, USA; Stevens Institute of Technology, USA; Microsoft Research, USA; Roblox, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p302-p (type: Full Paper) doi:10.1145/3689735
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Making Formulog Fast: An Argument ..."
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation
Aaron Bembenek, Michael Greenberg, and Stephen Chong
(University of Melbourne, Australia; Stevens Institute of Technology, USA; Harvard University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p434-p (type: Full Paper) doi:10.1145/3689754
|
| |
Gregersen, Simon Oddershede |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Tachis: Higher-Order Separation ..."
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, and Lars Birkedal
(Aarhus University, Denmark; New York University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p414-p (type: Full Paper) doi:10.1145/3689753
|
| |
Grossman, Shelly |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Practical Verification of ..."
Practical Verification of Smart Contracts using Memory Splitting
Shelly Grossman, John Toman, Alexander Bakst, Sameer Arora, Mooly Sagiv, and Chandrakana Nandi
(Tel Aviv University, Israel; Certora, USA; Certora, Israel)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopslab24main-p814-p (type: Full Paper) doi:10.1145/3689796
|
| |
Grover, Anvay |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Synthesizing Formal Semantics ..."
Synthesizing Formal Semantics from Executable Interpreters
Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J.C. Johnson, Thomas Reps, and Loris D’Antoni
(University of Wisconsin-Madison, USA; University of California at San Diego, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p208-p (type: Full Paper) doi:10.1145/3689724
|
| |
Gu, Long |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Plume: Efficient and Complete ..."
Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels
Si Liu, Long Gu, Hengfeng Wei, and David Basin
(ETH Zurich, Switzerland; Nanjing University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p362-p (type: Full Paper) doi:10.1145/3689742
|
| |
Guan, Zhichao |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics Lifting for Syntactic ..."
Semantics Lifting for Syntactic Sugar
Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, and Zhenjiang Hu
(Peking University, China; Tsinghua University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p481-p (type: Full Paper) doi:10.1145/3689758
|
| |
Guha, Arjun |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q Feldman, Michael Greenberg, Abhinav Jangda, and Arjun Guha
(Northeastern University, USA; Wellesley College, USA; Oberlin College, USA; Stevens Institute of Technology, USA; Microsoft Research, USA; Roblox, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p302-p (type: Full Paper) doi:10.1145/3689735
|
| |
Gyurgyik, Christophe |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compilation of Shape Operators ..."
Compilation of Shape Operators on Sparse Arrays
Alexander J Root, Bobby Yan, Peiming Liu, Christophe Gyurgyik, Aart J.C. Bik, and Fredrik Kjolstad
(Stanford University, USA; Google Research, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p404-p (type: Full Paper) doi:10.1145/3689752
|
| |
Halalingaiah, Shashin
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "The ART of Sharing Points-to ..."
The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
Shashin Halalingaiah, Vijay Sundaresan, Daryl Maier, and V. Krishna Nandivada
(IIT Madras, India; University of Texas at Austin, USA; IBM, Canada)
Publisher's Version
Article: oopslab24main-p1030-p (type: Full Paper) doi:10.1145/3689803
|
| |
Haselwarter, Philipp G. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Tachis: Higher-Order Separation ..."
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, and Lars Birkedal
(Aarhus University, Denmark; New York University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p414-p (type: Full Paper) doi:10.1145/3689753
|
| |
Henriksen, Troels |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "AUTOMAP: Inferring Rank-Polymorphic ..."
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Robert Schenck, Nikolaj Hey Hinnerskov, Troels Henriksen, Magnus Madsen, and Martin Elsman
(University of Copenhagen, Denmark; Aarhus University, Denmark)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p607-p (type: Full Paper) doi:10.1145/3689774
|
| |
Hinnerskov, Nikolaj Hey |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "AUTOMAP: Inferring Rank-Polymorphic ..."
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Robert Schenck, Nikolaj Hey Hinnerskov, Troels Henriksen, Magnus Madsen, and Martin Elsman
(University of Copenhagen, Denmark; Aarhus University, Denmark)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p607-p (type: Full Paper) doi:10.1145/3689774
|
| |
Hinrichsen, Jonas Kastberg |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Multris: Functional Verification ..."
Multris: Functional Verification of Multiparty Message Passing in Separation Logic
Jonas Kastberg Hinrichsen, Jules Jacobs, and Robbert Krebbers
(Aarhus University, Denmark; Cornell University, USA; Radboud University Nijmegen, Netherlands)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p497-p (type: Full Paper) doi:10.1145/3689762
|
| |
Hoffmann, Jan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Programmable MCMC with Soundly ..."
Programmable MCMC with Soundly Composed Guide Programs
Long Pham, Di Wang, Feras A. Saad, and Jan Hoffmann
(Carnegie Mellon University, USA; Peking University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p391-p (type: Full Paper) doi:10.1145/3689748
|
| |
Hojjat, Hossein |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Computing Precise Control ..."
Computing Precise Control Interface Specifications
Eric Hayden Campbell, Hossein Hojjat, and Nate Foster
(Cornell University, USA; Tehran Institute for Advanced Studies, Iran)
Publisher's Version
Artifacts Reusable
Article: oopslab24main-p369-p (type: Full Paper) doi:10.1145/3689743
|
| |
Hu, Zhenjiang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics Lifting for Syntactic ..."
Semantics Lifting for Syntactic Sugar
Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, and Zhenjiang Hu
(Peking University, China; Tsinghua University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p481-p (type: Full Paper) doi:10.1145/3689758
|
| |
Huang, Jeff |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "VarLifter: Recovering Variables ..."
VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts
Yichuan Li, Wei Song, and Jeff Huang
(Nanjing University of Science and Technology, China; Texas A&M University, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p55-p (type: Full Paper) doi:10.1145/3689711
|
| |
Huang, Yuliang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Dependency-Aware Code Naturalness ..."
Dependency-Aware Code Naturalness
Chen Yang, Junjie Chen, Jiajun Jiang, and Yuliang Huang
(Tianjin University, China)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p812-p (type: Full Paper) doi:10.1145/3689794
|
| |
Jabbarvand, Reyhaneh
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "WhiteFox: White-Box Compiler ..."
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; Huazhong University of Science and Technology, China; Chinese University of Hong Kong, Shenzhen, China)
Publisher's Version
Article: oopslab24main-p305-p (type: Full Paper) doi:10.1145/3689736
|
| |
Jacobs, Jules |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Multris: Functional Verification ..."
Multris: Functional Verification of Multiparty Message Passing in Separation Logic
Jonas Kastberg Hinrichsen, Jules Jacobs, and Robbert Krebbers
(Aarhus University, Denmark; Cornell University, USA; Radboud University Nijmegen, Netherlands)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p497-p (type: Full Paper) doi:10.1145/3689762
|
| |
Jagannathan, Suresh |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automated Robustness Verification ..."
Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models
Kartik Nagar, Anmol Sahoo, Romit Roy Chowdhury, and Suresh Jagannathan
(IIT Madras, India; Purdue University, USA; Chennai Mathematical Institute, India)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p1014-p (type: Full Paper) doi:10.1145/3689802
|
| |
Jangda, Abhinav |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q Feldman, Michael Greenberg, Abhinav Jangda, and Arjun Guha
(Northeastern University, USA; Wellesley College, USA; Oberlin College, USA; Stevens Institute of Technology, USA; Microsoft Research, USA; Roblox, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p302-p (type: Full Paper) doi:10.1145/3689735
|
| |
Jeon, Seungmin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantum Probabilistic Model ..."
Quantum Probabilistic Model Checking for Time-Bounded Properties
Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, and Jeehoon Kang
(KAIST, South Korea; Korea University, South Korea)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p288-p (type: Full Paper) doi:10.1145/3689731
|
| |
Jhala, Ranjit |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Refinement Type Refutations ..."
Refinement Type Refutations
Robin Webbers, Klaus von Gleissenthall, and Ranjit Jhala
(Vrije Universiteit Amsterdam, Netherlands; University of California at San Diego, USA)
Publisher's Version
Article: oopslab24main-p378-p (type: Full Paper) doi:10.1145/3689745
|
| |
Ji, Kai |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, and Zhiqiang Zuo
(Nanjing University, China)
Publisher's Version
Article: oopslab24main-p537-p (type: Full Paper) doi:10.1145/3689768
|
| |
Jia, Limin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Crabtree: Rust API Test Synthesis ..."
Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, and Corina S. Păsăreanu
(Carnegie Mellon University, USA)
Publisher's Version
Article: oopslab24main-p295-p (type: Full Paper) doi:10.1145/3689733
|
| |
Jiang, Jiajun |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Dependency-Aware Code Naturalness ..."
Dependency-Aware Code Naturalness
Chen Yang, Junjie Chen, Jiajun Jiang, and Yuliang Huang
(Tianjin University, China)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p812-p (type: Full Paper) doi:10.1145/3689794
|
| |
Jiang, Yu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "PolyJuice: Detecting Mis-compilation ..."
PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Chijin Zhou, Bingzhou Qian, Gwihwan Go, Quan Zhang, Shanshan Li, and Yu Jiang
(Tsinghua University, China; National University of Defense Technology, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p473-p (type: Full Paper) doi:10.1145/3689757
|
| |
Johnson, Keith J.C. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Synthesizing Formal Semantics ..."
Synthesizing Formal Semantics from Executable Interpreters
Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J.C. Johnson, Thomas Reps, and Loris D’Antoni
(University of Wisconsin-Madison, USA; University of California at San Diego, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p208-p (type: Full Paper) doi:10.1145/3689724
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Pruning in Top-Down ..."
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
Keith J.C. Johnson, Rahul Krishnan, Thomas Reps, and Loris D’Antoni
(University of Wisconsin-Madison, USA; University of California at San Diego, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p377-p (type: Full Paper) doi:10.1145/3689744
|
| |
Jung, Ralf |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Rustlantis: Randomized Differential ..."
Rustlantis: Randomized Differential Testing of the Rust Compiler
Qian Wang and Ralf Jung
(ETH Zurich, Switzerland; Imperial College London, United Kingdom)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p687-p (type: Full Paper) doi:10.1145/3689780
|
| |
Jungmair, Michael |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HiPy: Extracting High-Level ..."
HiPy: Extracting High-Level Semantics from Python Code for Data Processing
Michael Jungmair, Alexis Engelke, and Jana Giceva
(TU Munich, Germany)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p306-p (type: Full Paper) doi:10.1145/3689737
|
| |
Kaminski, Benjamin Lucien
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantitative Weakest Hyper ..."
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, and Alexandra Silva
(University College London, United Kingdom; Cornell University, USA; Saarland University, Germany)
Publisher's Version
Article: oopslab24main-p346-p (type: Full Paper) doi:10.1145/3689740
|
| |
Kang, Chan Gu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Statistical Testing of Quantum ..."
Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification
Chan Gu Kang, Joonghoon Lee, and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p157-p (type: Full Paper) doi:10.1145/3689716
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantum Probabilistic Model ..."
Quantum Probabilistic Model Checking for Time-Bounded Properties
Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, and Jeehoon Kang
(KAIST, South Korea; Korea University, South Korea)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p288-p (type: Full Paper) doi:10.1145/3689731
|
| |
Kang, Jeehoon |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantum Probabilistic Model ..."
Quantum Probabilistic Model Checking for Time-Bounded Properties
Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, and Jeehoon Kang
(KAIST, South Korea; Korea University, South Korea)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p288-p (type: Full Paper) doi:10.1145/3689731
|
| |
Keuchel, Steven |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Type Inference Logics ..."
Type Inference Logics
Denis Carnier, François Pottier, and Steven Keuchel
(KU Leuven, Belgium; Inria, France; Vrije Universiteit Brussel, Belgium)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p733-p (type: Full Paper) doi:10.1145/3689786
|
| |
Kim, Caleb |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Unifying Static and Dynamic ..."
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
Caleb Kim, Pai Li, Anshuman Mohan, Andrew Butt, Adrian Sampson, and Rachit Nigam
(Cornell University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p755-p (type: Full Paper) doi:10.1145/3689790
|
| |
Kim, Jinwoo |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Unrealizability ..."
Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
Shaan Nagy, Jinwoo Kim, Thomas Reps, and Loris D’Antoni
(University of Wisconsin-Madison, USA; Seoul National University, South Korea; University of California at San Diego, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p155-p (type: Full Paper) doi:10.1145/3689715
|
| |
Kim, June Hyung |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Statically Contextualizing ..."
Statically Contextualizing Large Language Models with Typed Holes
Andrew Blinn, Xiang Li, June Hyung Kim, and Cyrus Omar
(University of Michigan, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p278-p (type: Full Paper) doi:10.1145/3689728
|
| |
Kincaid, Zachary |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Monotone Procedure Summarization ..."
Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials
Nikhil Pimpalkhare and Zachary Kincaid
(Princeton University, USA)
Publisher's Version
Article: oopslab24main-p621-p (type: Full Paper) doi:10.1145/3689777
|
| |
Kjolstad, Fredrik |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compiler Support for Sparse ..."
Compiler Support for Sparse Tensor Convolutions
Peiming Liu, Alexander J Root, Anlun Xu, Yinying Li, Fredrik Kjolstad, and Aart J.C. Bik
(Google Research, USA; Stanford University, USA; Google Cloud, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p178-p (type: Full Paper) doi:10.1145/3689721
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compilation of Shape Operators ..."
Compilation of Shape Operators on Sparse Arrays
Alexander J Root, Bobby Yan, Peiming Liu, Christophe Gyurgyik, Aart J.C. Bik, and Fredrik Kjolstad
(Stanford University, USA; Google Research, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p404-p (type: Full Paper) doi:10.1145/3689752
|
| |
Klimis, Vasileios |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics of Remote Direct ..."
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Guillaume Ambal, Brijesh Dongol, Haggai Eran, Vasileios Klimis, Ori Lahav, and Azalea Raad
(Imperial College London, United Kingdom; University of Surrey, United Kingdom; NVIDIA, Israel; Queen Mary University of London, United Kingdom; Tel Aviv University, Israel)
Publisher's Version
Article: oopslab24main-p718-p (type: Full Paper) doi:10.1145/3689781
|
| |
Klopp, David |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Object-Oriented Fixpoint Programming ..."
Object-Oriented Fixpoint Programming with Datalog
David Klopp, Sebastian Erdweg, and André Pacak
(JGU Mainz, Germany)
Publisher's Version
Article: oopslab24main-p130-p (type: Full Paper) doi:10.1145/3689713
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Typed Multi-level Datalog ..."
A Typed Multi-level Datalog IR and Its Compiler Framework
David Klopp, Sebastian Erdweg, and André Pacak
(JGU Mainz, Germany)
Publisher's Version
Article: oopslab24main-p536-p (type: Full Paper) doi:10.1145/3689767
|
| |
Kokologiannakis, Michalis |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Model Checking Distributed ..."
Model Checking Distributed Protocols in Must
Constantin Enea, Dimitra Giannakopoulou, Michalis Kokologiannakis, and Rupak Majumdar
(Amazon Web Services, France; École Polytechnique, France; Amazon Web Services, USA; ETH Zurich, Switzerland; Amazon Web Services, Germany; MPI-SWS, Germany)
Publisher's Version
Article: oopslab24main-p646-p (type: Full Paper) doi:10.1145/3689778
|
| |
Kong, Lingkun |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HybridSA: GPU Acceleration ..."
HybridSA: GPU Acceleration of Multi-pattern Regex Matching using Bit Parallelism
Alexis Le Glaunec, Lingkun Kong, and Konstantinos Mamouras
(Rice University, USA)
Publisher's Version
Article: oopslab24main-p549-p (type: Full Paper) doi:10.1145/3689771
|
| |
Kowshik, Ankith |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Jmvx: Fast Multi-threaded ..."
Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed Languages
David Schwartz, Ankith Kowshik, and Luís Pina
(University of Illinois, Chicago, USA)
Publisher's Version
Article: oopslab24main-p540-p (type: Full Paper) doi:10.1145/3689769
|
| |
Krebbers, Robbert |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Verified Lock-Free Session ..."
Verified Lock-Free Session Channels with Linking
Thomas Somers and Robbert Krebbers
(Radboud University Nijmegen, Netherlands)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p289-p (type: Full Paper) doi:10.1145/3689732
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Multris: Functional Verification ..."
Multris: Functional Verification of Multiparty Message Passing in Separation Logic
Jonas Kastberg Hinrichsen, Jules Jacobs, and Robbert Krebbers
(Aarhus University, Denmark; Cornell University, USA; Radboud University Nijmegen, Netherlands)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p497-p (type: Full Paper) doi:10.1145/3689762
|
| |
Krishnan, Rahul |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Pruning in Top-Down ..."
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
Keith J.C. Johnson, Rahul Krishnan, Thomas Reps, and Loris D’Antoni
(University of Wisconsin-Madison, USA; University of California at San Diego, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p377-p (type: Full Paper) doi:10.1145/3689744
|
| |
Kulkarni, Milind |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "SparseAuto: An Auto-scheduler ..."
SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring
Adhitha Dias, Logan Anderson, Kirshanthan Sundararajah, Artem Pelenitsyn, and Milind Kulkarni
(Purdue University, USA; Virginia Tech, USA)
Publisher's Version
Article: oopslab24main-p286-p (type: Full Paper) doi:10.1145/3689730
|
| |
Lahav, Ori
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Extending the C/C++ Memory ..."
Extending the C/C++ Memory Model with Inline Assembly
Paulo Emílio de Vilhena, Ori Lahav, Viktor Vafeiadis, and Azalea Raad
(Imperial College London, United Kingdom; Tel Aviv University, Israel; MPI-SWS, Germany)
Publisher's Version
Article: oopslab24main-p392-p (type: Full Paper) doi:10.1145/3689749
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics of Remote Direct ..."
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Guillaume Ambal, Brijesh Dongol, Haggai Eran, Vasileios Klimis, Ori Lahav, and Azalea Raad
(Imperial College London, United Kingdom; University of Surrey, United Kingdom; NVIDIA, Israel; Queen Mary University of London, United Kingdom; Tel Aviv University, Israel)
Publisher's Version
Article: oopslab24main-p718-p (type: Full Paper) doi:10.1145/3689781
|
| |
Lam, Chun Kit |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Fast and Optimal Extraction ..."
Fast and Optimal Extraction for Sparse Equality Graphs
Amir Kafshdar Goharshady, Chun Kit Lam, and Lionel Parreaux
(Hong Kong University of Science and Technology, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p976-p (type: Full Paper) doi:10.1145/3689801
|
| |
Lange, Julien |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automated Verification of ..."
Automated Verification of Parametric Channel-Based Process Communication
Georgian-Vlad Saioc, Julien Lange, and Anders Møller
(Aarhus University, Denmark; Royal Holloway University of London, United Kingdom)
Publisher's Version
Artifacts Reusable
Article: oopslab24main-p731-p (type: Full Paper) doi:10.1145/3689784
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Sound and Partially-Complete ..."
Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs
Dennis Liew, Tiago Cogumbreiro, and Julien Lange
(University of Massachusetts, Boston, USA; Royal Holloway University of London, United Kingdom)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p855-p (type: Full Paper) doi:10.1145/3689797
|
| |
Le, Callista |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Concurrent Data Structures ..."
Concurrent Data Structures Made Easy
Callista Le, Kiran Gopinathan, Koon Wen Lee, Seth Gilbert, and Ilya Sergey
(Yale-NUS College, Singapore; National University of Singapore, Singapore; Ahrefs, Singapore)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p608-p (type: Full Paper) doi:10.1145/3689775
|
| |
Lee, Edward |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Lexical Effect Handlers, Directly ..."
Lexical Effect Handlers, Directly
Cong Ma, Zhaoyi Ge, Edward Lee, and Yizhou Zhang
(University of Waterloo, Canada)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p541-p (type: Full Paper) doi:10.1145/3689770
|
| |
Lee, Janggun |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantum Probabilistic Model ..."
Quantum Probabilistic Model Checking for Time-Bounded Properties
Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, and Jeehoon Kang
(KAIST, South Korea; Korea University, South Korea)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p288-p (type: Full Paper) doi:10.1145/3689731
|
| |
Lee, Joonghoon |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Statistical Testing of Quantum ..."
Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification
Chan Gu Kang, Joonghoon Lee, and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p157-p (type: Full Paper) doi:10.1145/3689716
|
| |
Lee, Koon Wen |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Concurrent Data Structures ..."
Concurrent Data Structures Made Easy
Callista Le, Kiran Gopinathan, Koon Wen Lee, Seth Gilbert, and Ilya Sergey
(Yale-NUS College, Singapore; National University of Singapore, Singapore; Ahrefs, Singapore)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p608-p (type: Full Paper) doi:10.1145/3689775
|
| |
Le Glaunec, Alexis |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HybridSA: GPU Acceleration ..."
HybridSA: GPU Acceleration of Multi-pattern Regex Matching using Bit Parallelism
Alexis Le Glaunec, Lingkun Kong, and Konstantinos Mamouras
(Rice University, USA)
Publisher's Version
Article: oopslab24main-p549-p (type: Full Paper) doi:10.1145/3689771
|
| |
Legoupil, Maxime |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Iris-MSWasm: Elucidating and ..."
Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly
Maxime Legoupil, June Rousseau, Aïna Linn Georges, Jean Pichon-Pharabod, and Lars Birkedal
(Aarhus University, Denmark; MPI-SWS, Germany)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p189-p (type: Full Paper) doi:10.1145/3689722
|
| |
Lehmann, Daniel |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Wasm-R3: Record-Reduce-Replay ..."
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, and Michael Pradel
(KAIST, South Korea; University of Stuttgart, Germany; Google, Germany; Carnegie Mellon University, USA)
Publisher's Version
Article: oopslab24main-p738-p (type: Full Paper) doi:10.1145/3689787
|
| |
Lemerre, Matthieu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Dependent Nominal Physical ..."
A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code
Julien Simonnet, Matthieu Lemerre, and Mihaela Sighireanu
(University Paris-Saclay - CEA - List, France; University Paris-Saclay - ENS Paris-Saclay - CNRS - LMF, France)
Publisher's Version
Artifacts Reusable
Article: oopslab24main-p115-p (type: Full Paper) doi:10.1145/3689712
|
| |
Lemieux, Caroline |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "QuAC: Quick Attribute-Centric ..."
QuAC: Quick Attribute-Centric Type Inference for Python
Jifeng Wu and Caroline Lemieux
(University of British Columbia, Canada)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p724-p (type: Full Paper) doi:10.1145/3689783
|
| |
Li, Anqi |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Hypra: A Deductive Program ..."
Hypra: A Deductive Program Verifier for Hyper Hoare Logic
Thibault Dardinier, Anqi Li, and Peter Müller
(ETH Zurich, Switzerland)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p468-p (type: Full Paper) doi:10.1145/3689756
|
| |
Li, Haofeng |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Boosting the Performance of ..."
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers
Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, and Jingling Xue
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Zhongguancun Laboratory, China; UNSW, Australia)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p1050-p (type: Full Paper) doi:10.1145/3689804
|
| |
Li, Kwing Hei |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Tachis: Higher-Order Separation ..."
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, and Lars Birkedal
(Aarhus University, Denmark; New York University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p414-p (type: Full Paper) doi:10.1145/3689753
|
| |
Li, Lian |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Boosting the Performance of ..."
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers
Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, and Jingling Xue
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Zhongguancun Laboratory, China; UNSW, Australia)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p1050-p (type: Full Paper) doi:10.1145/3689804
|
| |
Li, Ningke |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Drowzee: Metamorphic Testing ..."
Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models
Ningke Li, Yuekang Li, Yi Liu, Ling Shi, Kailong Wang, and Haoyu Wang
(Huazhong University of Science and Technology, China; UNSW, Australia; Nanyang Technological University, Singapore)
Publisher's Version
Article: oopslab24main-p613-p (type: Full Paper) doi:10.1145/3689776
|
| |
Li, Pai |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Unifying Static and Dynamic ..."
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
Caleb Kim, Pai Li, Anshuman Mohan, Andrew Butt, Adrian Sampson, and Rachit Nigam
(Cornell University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p755-p (type: Full Paper) doi:10.1145/3689790
|
| |
Li, Qingwei |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "MEA2: A Lightweight Field-Sensitive ..."
MEA2: A Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
Boyao Ding, Qingwei Li, Yu Zhang, Fugen Tang, and Jinbao Chen
(University of Science and Technology of China, China; Institute of Artificial Intelligence at Hefei Comprehensive National Science Center, China)
Publisher's Version
Article: oopslab24main-p484-p (type: Full Paper) doi:10.1145/3689759
|
| |
Li, Shanshan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "PolyJuice: Detecting Mis-compilation ..."
PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Chijin Zhou, Bingzhou Qian, Gwihwan Go, Quan Zhang, Shanshan Li, and Yu Jiang
(Tsinghua University, China; National University of Defense Technology, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p473-p (type: Full Paper) doi:10.1145/3689757
|
| |
Li, Xiang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Statically Contextualizing ..."
Statically Contextualizing Large Language Models with Typed Holes
Andrew Blinn, Xiang Li, June Hyung Kim, and Cyrus Omar
(University of Michigan, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p278-p (type: Full Paper) doi:10.1145/3689728
|
| |
Li, Xuandong |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, and Zhiqiang Zuo
(Nanjing University, China)
Publisher's Version
Article: oopslab24main-p537-p (type: Full Paper) doi:10.1145/3689768
|
| |
Li, Yichuan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "VarLifter: Recovering Variables ..."
VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts
Yichuan Li, Wei Song, and Jeff Huang
(Nanjing University of Science and Technology, China; Texas A&M University, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p55-p (type: Full Paper) doi:10.1145/3689711
|
| |
Li, Yinying |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compiler Support for Sparse ..."
Compiler Support for Sparse Tensor Convolutions
Peiming Liu, Alexander J Root, Anlun Xu, Yinying Li, Fredrik Kjolstad, and Aart J.C. Bik
(Google Research, USA; Stanford University, USA; Google Cloud, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p178-p (type: Full Paper) doi:10.1145/3689721
|
| |
Li, Yuekang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Drowzee: Metamorphic Testing ..."
Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models
Ningke Li, Yuekang Li, Yi Liu, Ling Shi, Kailong Wang, and Haoyu Wang
(Huazhong University of Science and Technology, China; UNSW, Australia; Nanyang Technological University, Singapore)
Publisher's Version
Article: oopslab24main-p613-p (type: Full Paper) doi:10.1145/3689776
|
| |
Liew, Dennis |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Sound and Partially-Complete ..."
Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs
Dennis Liew, Tiago Cogumbreiro, and Julien Lange
(University of Massachusetts, Boston, USA; Royal Holloway University of London, United Kingdom)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p855-p (type: Full Paper) doi:10.1145/3689797
|
| |
Lin, Zhengyao |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FlowCert: Translation Validation ..."
FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions
Zhengyao Lin, Joshua Gancher, and Bryan Parno
(Carnegie Mellon University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p282-p (type: Full Paper) doi:10.1145/3689729
|
| |
Lindley, Sam |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effect Handlers for C via ..."
Effect Handlers for C via Coroutines
Mario Alvarez-Picallo, Teodoro Freund, Dan R. Ghica, and Sam Lindley
(Huawei Research Centre, United Kingdom; University of Birmingham, United Kingdom; University of Edinburgh, United Kingdom)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p896-p (type: Full Paper) doi:10.1145/3689798
|
| |
Liu, Jiangyi |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Synthesizing Formal Semantics ..."
Synthesizing Formal Semantics from Executable Interpreters
Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J.C. Johnson, Thomas Reps, and Loris D’Antoni
(University of Wisconsin-Madison, USA; University of California at San Diego, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p208-p (type: Full Paper) doi:10.1145/3689724
|
| |
Liu, Jiawei |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "WhiteFox: White-Box Compiler ..."
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; Huazhong University of Science and Technology, China; Chinese University of Hong Kong, Shenzhen, China)
Publisher's Version
Article: oopslab24main-p305-p (type: Full Paper) doi:10.1145/3689736
|
| |
Liu, Peiming |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compiler Support for Sparse ..."
Compiler Support for Sparse Tensor Convolutions
Peiming Liu, Alexander J Root, Anlun Xu, Yinying Li, Fredrik Kjolstad, and Aart J.C. Bik
(Google Research, USA; Stanford University, USA; Google Cloud, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p178-p (type: Full Paper) doi:10.1145/3689721
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compilation of Shape Operators ..."
Compilation of Shape Operators on Sparse Arrays
Alexander J Root, Bobby Yan, Peiming Liu, Christophe Gyurgyik, Aart J.C. Bik, and Fredrik Kjolstad
(Stanford University, USA; Google Research, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p404-p (type: Full Paper) doi:10.1145/3689752
|
| |
Liu, Si |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Plume: Efficient and Complete ..."
Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels
Si Liu, Long Gu, Hengfeng Wei, and David Basin
(ETH Zurich, Switzerland; Nanjing University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p362-p (type: Full Paper) doi:10.1145/3689742
|
| |
Liu, Tianyi |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, and Zhiqiang Zuo
(Nanjing University, China)
Publisher's Version
Article: oopslab24main-p537-p (type: Full Paper) doi:10.1145/3689768
|
| |
Liu, Yi |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Drowzee: Metamorphic Testing ..."
Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models
Ningke Li, Yuekang Li, Yi Liu, Ling Shi, Kailong Wang, and Haoyu Wang
(Huazhong University of Science and Technology, China; UNSW, Australia; Nanyang Technological University, Singapore)
Publisher's Version
Article: oopslab24main-p613-p (type: Full Paper) doi:10.1145/3689776
|
| |
Liu, Yu David |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Runtime System for Interruptible ..."
A Runtime System for Interruptible Query Processing: When Incremental Computing Meets Fine-Grained Parallelism
Jeff Eymer, Philip Dexter, Joseph Raskind, and Yu David Liu
(SUNY Binghamton, USA)
Publisher's Version
Article: oopslab24main-p571-p (type: Full Paper) doi:10.1145/3689772
|
| |
Liu, Zhengyang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Minotaur: A SIMD-Oriented ..."
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Zhengyang Liu, Stefan Mada, and John Regehr
(University of Utah, USA)
Publisher's Version
Article: oopslab24main-p515-p (type: Full Paper) doi:10.1145/3689766
|
| |
Lobo-Vesga, Elisabet |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Sensitivity by Parametricity ..."
Sensitivity by Parametricity
Elisabet Lobo-Vesga, Alejandro Russo, Marco Gaboardi, and Carlos Tomé Cortiñas
(DPella, Sweden; Chalmers University of Technology, Sweden; Boston University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p262-p (type: Full Paper) doi:10.1145/3689726
|
| |
Lu, Jie |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Boosting the Performance of ..."
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers
Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, and Jingling Xue
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Zhongguancun Laboratory, China; UNSW, Australia)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p1050-p (type: Full Paper) doi:10.1145/3689804
|
| |
Lu, Runyu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "WhiteFox: White-Box Compiler ..."
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; Huazhong University of Science and Technology, China; Chinese University of Hong Kong, Shenzhen, China)
Publisher's Version
Article: oopslab24main-p305-p (type: Full Paper) doi:10.1145/3689736
|
| |
Lucchetti, Francesca |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q Feldman, Michael Greenberg, Abhinav Jangda, and Arjun Guha
(Northeastern University, USA; Wellesley College, USA; Oberlin College, USA; Stevens Institute of Technology, USA; Microsoft Research, USA; Roblox, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p302-p (type: Full Paper) doi:10.1145/3689735
|
| |
Ma, Cong
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Lexical Effect Handlers, Directly ..."
Lexical Effect Handlers, Directly
Cong Ma, Zhaoyi Ge, Edward Lee, and Yizhou Zhang
(University of Waterloo, Canada)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p541-p (type: Full Paper) doi:10.1145/3689770
|
| |
Mada, Stefan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Minotaur: A SIMD-Oriented ..."
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Zhengyang Liu, Stefan Mada, and John Regehr
(University of Utah, USA)
Publisher's Version
Article: oopslab24main-p515-p (type: Full Paper) doi:10.1145/3689766
|
| |
Madsen, Magnus |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "AUTOMAP: Inferring Rank-Polymorphic ..."
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Robert Schenck, Nikolaj Hey Hinnerskov, Troels Henriksen, Magnus Madsen, and Martin Elsman
(University of Copenhagen, Denmark; Aarhus University, Denmark)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p607-p (type: Full Paper) doi:10.1145/3689774
|
| |
Maier, Daryl |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "The ART of Sharing Points-to ..."
The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
Shashin Halalingaiah, Vijay Sundaresan, Daryl Maier, and V. Krishna Nandivada
(IIT Madras, India; University of Texas at Austin, USA; IBM, Canada)
Publisher's Version
Article: oopslab24main-p1030-p (type: Full Paper) doi:10.1145/3689803
|
| |
Majumdar, Rupak |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Model Checking Distributed ..."
Model Checking Distributed Protocols in Must
Constantin Enea, Dimitra Giannakopoulou, Michalis Kokologiannakis, and Rupak Majumdar
(Amazon Web Services, France; École Polytechnique, France; Amazon Web Services, USA; ETH Zurich, Switzerland; Amazon Web Services, Germany; MPI-SWS, Germany)
Publisher's Version
Article: oopslab24main-p646-p (type: Full Paper) doi:10.1145/3689778
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Reward Augmentation in Reinforcement ..."
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
Andrea Borgarelli, Constantin Enea, Rupak Majumdar, and Srinidhi Nagendra
(MPI-SWS, Germany; LIX - CNRS - École Polytechnique, France; IRIF - CNRS - Université Paris Cité, France; Chennai Mathematical Institute, India)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p657-p (type: Full Paper) doi:10.1145/3689779
|
| |
Mamouras, Konstantinos |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HybridSA: GPU Acceleration ..."
HybridSA: GPU Acceleration of Multi-pattern Regex Matching using Bit Parallelism
Alexis Le Glaunec, Lingkun Kong, and Konstantinos Mamouras
(Rice University, USA)
Publisher's Version
Article: oopslab24main-p549-p (type: Full Paper) doi:10.1145/3689771
|
| |
Mao, Xiaoguang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FPCC: Detecting Floating-Point ..."
FPCC: Detecting Floating-Point Errors via Chain Conditions
Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, and Ji Wang
(National University of Defense Technology, China; National University of Defense Technology, Changsha, China)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p513-p (type: Full Paper) doi:10.1145/3689764
|
| |
Mariano, Benjamin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Control-Flow Deobfuscation ..."
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Benjamin Mariano, Ziteng Wang, Shankara Pailoor, Christian Collberg, and Işil Dillig
(University of Texas at Austin, USA; University of Arizona, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p746-p (type: Full Paper) doi:10.1145/3689789
|
| |
Martins, Ruben |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Crabtree: Rust API Test Synthesis ..."
Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, and Corina S. Păsăreanu
(Carnegie Mellon University, USA)
Publisher's Version
Article: oopslab24main-p295-p (type: Full Paper) doi:10.1145/3689733
|
| |
Mitropoulos, Dimitris |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "When Your Infrastructure Is ..."
When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
Georgios-Petros Drosos, Thodoris Sotiropoulos, Georgios Alexopoulos, Dimitris Mitropoulos, and Zhendong Su
(ETH Zurich, Switzerland; University of Athens, Greece)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p898-p (type: Full Paper) doi:10.1145/3689799
|
| |
Møller, Anders |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automated Verification of ..."
Automated Verification of Parametric Channel-Based Process Communication
Georgian-Vlad Saioc, Julien Lange, and Anders Møller
(Aarhus University, Denmark; Royal Holloway University of London, United Kingdom)
Publisher's Version
Artifacts Reusable
Article: oopslab24main-p731-p (type: Full Paper) doi:10.1145/3689784
|
| |
Mohan, Anshuman |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Unifying Static and Dynamic ..."
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
Caleb Kim, Pai Li, Anshuman Mohan, Andrew Butt, Adrian Sampson, and Rachit Nigam
(Cornell University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p755-p (type: Full Paper) doi:10.1145/3689790
|
| |
Moosherr, Benjamin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
On the Expressive Power of Languages for Static Variability
Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey M. Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, and Thomas Thüm
(University of Paderborn, Germany; Ulm University, Germany; University of Bern, Switzerland; IOHK, USA; Federal University of Pernambuco, Brazil; Unaffiliated, USA; TU Braunschweig, Germany)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p390-p (type: Full Paper) doi:10.1145/3689747
|
| |
Müller, Peter |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Hypra: A Deductive Program ..."
Hypra: A Deductive Program Verifier for Hyper Hoare Logic
Thibault Dardinier, Anqi Li, and Peter Müller
(ETH Zurich, Switzerland)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p468-p (type: Full Paper) doi:10.1145/3689756
|
| |
Murphy, Charlie |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Synthesizing Formal Semantics ..."
Synthesizing Formal Semantics from Executable Interpreters
Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J.C. Johnson, Thomas Reps, and Loris D’Antoni
(University of Wisconsin-Madison, USA; University of California at San Diego, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p208-p (type: Full Paper) doi:10.1145/3689724
|
| |
Nagar, Kartik
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automated Robustness Verification ..."
Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models
Kartik Nagar, Anmol Sahoo, Romit Roy Chowdhury, and Suresh Jagannathan
(IIT Madras, India; Purdue University, USA; Chennai Mathematical Institute, India)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p1014-p (type: Full Paper) doi:10.1145/3689802
|
| |
Nagendra, Srinidhi |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Reward Augmentation in Reinforcement ..."
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
Andrea Borgarelli, Constantin Enea, Rupak Majumdar, and Srinidhi Nagendra
(MPI-SWS, Germany; LIX - CNRS - École Polytechnique, France; IRIF - CNRS - Université Paris Cité, France; Chennai Mathematical Institute, India)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p657-p (type: Full Paper) doi:10.1145/3689779
|
| |
Nagy, Shaan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Unrealizability ..."
Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
Shaan Nagy, Jinwoo Kim, Thomas Reps, and Loris D’Antoni
(University of Wisconsin-Madison, USA; Seoul National University, South Korea; University of California at San Diego, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p155-p (type: Full Paper) doi:10.1145/3689715
|
| |
Nandi, Chandrakana |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Practical Verification of ..."
Practical Verification of Smart Contracts using Memory Splitting
Shelly Grossman, John Toman, Alexander Bakst, Sameer Arora, Mooly Sagiv, and Chandrakana Nandi
(Tel Aviv University, Israel; Certora, USA; Certora, Israel)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopslab24main-p814-p (type: Full Paper) doi:10.1145/3689796
|
| |
Nandivada, V. Krishna |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "The ART of Sharing Points-to ..."
The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
Shashin Halalingaiah, Vijay Sundaresan, Daryl Maier, and V. Krishna Nandivada
(IIT Madras, India; University of Texas at Austin, USA; IBM, Canada)
Publisher's Version
Article: oopslab24main-p1030-p (type: Full Paper) doi:10.1145/3689803
|
| |
Nießen, Tobias |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Finding ∀∃ Hyperbugs using ..."
Finding ∀∃ Hyperbugs using Symbolic Execution
Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, and Georg Weissenbacher
(CISPA Helmholtz Center for Information Security, Germany; TU Wien, Austria)
Publisher's Version
Article: oopslab24main-p490-p (type: Full Paper) doi:10.1145/3689761
|
| |
Nigam, Rachit |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Unifying Static and Dynamic ..."
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
Caleb Kim, Pai Li, Anshuman Mohan, Andrew Butt, Adrian Sampson, and Rachit Nigam
(Cornell University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p755-p (type: Full Paper) doi:10.1145/3689790
|
| |
Nishida, Yuki |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Law and Order for Typestate ..."
Law and Order for Typestate with Borrowing
Hannes Saffrich, Yuki Nishida, and Peter Thiemann
(University of Freiburg, Germany; Kyoto University, Japan)
Publisher's Version
Article: oopslab24main-p498-p (type: Full Paper) doi:10.1145/3689763
|
| |
Norlinder, Jonas |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mark–Scavenge: Waiting for ..."
Mark–Scavenge: Waiting for Trash to Take Itself Out
Jonas Norlinder, Erik Österlund, David Black-Schaffer, and Tobias Wrigstad
(Uppsala University, Sweden; Oracle, Sweden)
Publisher's Version
Article: oopslab24main-p774-p (type: Full Paper) doi:10.1145/3689791
|
| |
Oh, Hakjoo
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Statistical Testing of Quantum ..."
Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification
Chan Gu Kang, Joonghoon Lee, and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p157-p (type: Full Paper) doi:10.1145/3689716
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantum Probabilistic Model ..."
Quantum Probabilistic Model Checking for Time-Bounded Properties
Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, and Jeehoon Kang
(KAIST, South Korea; Korea University, South Korea)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p288-p (type: Full Paper) doi:10.1145/3689731
|
| |
O’Hearn, Peter |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Non-termination Proving at ..."
Non-termination Proving at Scale
Azalea Raad, Julien Vanegue, and Peter O’Hearn
(Imperial College London, United Kingdom; Bloomberg, USA; University College London, United Kingdom)
Publisher's Version
Artifacts Reusable
Article: oopslab24main-p173-p (type: Full Paper) doi:10.1145/3689720
|
| |
Oliveira, Bruno C. d. S. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Full Iso-Recursive Types ..."
Full Iso-Recursive Types
Litao Zhou, Qianyong Wan, and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p161-p (type: Full Paper) doi:10.1145/3689718
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Merging Gradual Typing ..."
Merging Gradual Typing
Wenjia Ye, Bruno C. d. S. Oliveira, and Matías Toro
(University of Hong Kong, China; University of Chile, Chile)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p296-p (type: Full Paper) doi:10.1145/3689734
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Imperative Compositional Programming: ..."
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing
Wenjia Ye, Yaozhu Sun, and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p723-p (type: Full Paper) doi:10.1145/3689782
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Case for First-Class Environments ..."
A Case for First-Class Environments
Jinhao Tan and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p903-p (type: Full Paper) doi:10.1145/3689800
|
| |
Oliveira Vale, Arthur |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compositionality and Observational ..."
Compositionality and Observational Refinement for Linearizability with Crashes
Arthur Oliveira Vale, Zhongye Wang, Yixuan Chen, Peixin You, and Zhong Shao
(Yale University, USA)
Publisher's Version
Article: oopslab24main-p794-p (type: Full Paper) doi:10.1145/3689792
|
| |
Omar, Cyrus |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Statically Contextualizing ..."
Statically Contextualizing Large Language Models with Typed Holes
Andrew Blinn, Xiang Li, June Hyung Kim, and Cyrus Omar
(University of Michigan, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p278-p (type: Full Paper) doi:10.1145/3689728
|
| |
Österlund, Erik |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mark–Scavenge: Waiting for ..."
Mark–Scavenge: Waiting for Trash to Take Itself Out
Jonas Norlinder, Erik Österlund, David Black-Schaffer, and Tobias Wrigstad
(Uppsala University, Sweden; Oracle, Sweden)
Publisher's Version
Article: oopslab24main-p774-p (type: Full Paper) doi:10.1145/3689791
|
| |
Pacak, André
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Object-Oriented Fixpoint Programming ..."
Object-Oriented Fixpoint Programming with Datalog
David Klopp, Sebastian Erdweg, and André Pacak
(JGU Mainz, Germany)
Publisher's Version
Article: oopslab24main-p130-p (type: Full Paper) doi:10.1145/3689713
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Typed Multi-level Datalog ..."
A Typed Multi-level Datalog IR and Its Compiler Framework
David Klopp, Sebastian Erdweg, and André Pacak
(JGU Mainz, Germany)
Publisher's Version
Article: oopslab24main-p536-p (type: Full Paper) doi:10.1145/3689767
|
| |
Pailoor, Shankara |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Control-Flow Deobfuscation ..."
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Benjamin Mariano, Ziteng Wang, Shankara Pailoor, Christian Collberg, and Işil Dillig
(University of Texas at Austin, USA; University of Arizona, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p746-p (type: Full Paper) doi:10.1145/3689789
|
| |
Palmer, Zachary |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Intensional Functions ..."
Intensional Functions
Zachary Palmer, Nathaniel Wesley Filardo, and Ke Wu
(Swarthmore College, USA; Microsoft, Canada; Johns Hopkins University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p138-p (type: Full Paper) doi:10.1145/3689714
|
| |
Parno, Bryan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FlowCert: Translation Validation ..."
FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions
Zhengyao Lin, Joshua Gancher, and Bryan Parno
(Carnegie Mellon University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p282-p (type: Full Paper) doi:10.1145/3689729
|
| |
Parreaux, Lionel |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "The Ultimate Conditional Syntax ..."
The Ultimate Conditional Syntax
Luyu Cheng and Lionel Parreaux
(Hong Kong University of Science and Technology, Hong Kong)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p386-p (type: Full Paper) doi:10.1145/3689746
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Fast and Optimal Extraction ..."
Fast and Optimal Extraction for Sparse Equality Graphs
Amir Kafshdar Goharshady, Chun Kit Lam, and Lionel Parreaux
(Hong Kong University of Science and Technology, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p976-p (type: Full Paper) doi:10.1145/3689801
|
| |
Păsăreanu, Corina S. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Crabtree: Rust API Test Synthesis ..."
Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, and Corina S. Păsăreanu
(Carnegie Mellon University, USA)
Publisher's Version
Article: oopslab24main-p295-p (type: Full Paper) doi:10.1145/3689733
|
| |
Payer, Mathias |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Gradient: Gradual Compartmentalization ..."
Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer, and Clément Pit-Claudel
(Charles University, Czechia; Microsoft Research, United Kingdom; EPFL, Switzerland)
Publisher's Version
Article: oopslab24main-p402-p (type: Full Paper) doi:10.1145/3689751
|
| |
Pelenitsyn, Artem |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "SparseAuto: An Auto-scheduler ..."
SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring
Adhitha Dias, Logan Anderson, Kirshanthan Sundararajah, Artem Pelenitsyn, and Milind Kulkarni
(Purdue University, USA; Virginia Tech, USA)
Publisher's Version
Article: oopslab24main-p286-p (type: Full Paper) doi:10.1145/3689730
|
| |
Pham, Long |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Programmable MCMC with Soundly ..."
Programmable MCMC with Soundly Composed Guide Programs
Long Pham, Di Wang, Feras A. Saad, and Jan Hoffmann
(Carnegie Mellon University, USA; Peking University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p391-p (type: Full Paper) doi:10.1145/3689748
|
| |
Pichon-Pharabod, Jean |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Iris-MSWasm: Elucidating and ..."
Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly
Maxime Legoupil, June Rousseau, Aïna Linn Georges, Jean Pichon-Pharabod, and Lars Birkedal
(Aarhus University, Denmark; MPI-SWS, Germany)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p189-p (type: Full Paper) doi:10.1145/3689722
|
| |
Pimpalkhare, Nikhil |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Monotone Procedure Summarization ..."
Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials
Nikhil Pimpalkhare and Zachary Kincaid
(Princeton University, USA)
Publisher's Version
Article: oopslab24main-p621-p (type: Full Paper) doi:10.1145/3689777
|
| |
Pina, Luís |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Jmvx: Fast Multi-threaded ..."
Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed Languages
David Schwartz, Ankith Kowshik, and Luís Pina
(University of Illinois, Chicago, USA)
Publisher's Version
Article: oopslab24main-p540-p (type: Full Paper) doi:10.1145/3689769
|
| |
Pit-Claudel, Clément |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Gradient: Gradual Compartmentalization ..."
Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer, and Clément Pit-Claudel
(Charles University, Czechia; Microsoft Research, United Kingdom; EPFL, Switzerland)
Publisher's Version
Article: oopslab24main-p402-p (type: Full Paper) doi:10.1145/3689751
|
| |
Pottier, François |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Type Inference Logics ..."
Type Inference Logics
Denis Carnier, François Pottier, and Steven Keuchel
(KU Leuven, Belgium; Inria, France; Vrije Universiteit Brussel, Belgium)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p733-p (type: Full Paper) doi:10.1145/3689786
|
| |
Pradel, Michael |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Wasm-R3: Record-Reduce-Replay ..."
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, and Michael Pradel
(KAIST, South Korea; University of Stuttgart, Germany; Google, Germany; Carnegie Mellon University, USA)
Publisher's Version
Article: oopslab24main-p738-p (type: Full Paper) doi:10.1145/3689787
|
| |
Protzenko, Jonathan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "StarMalloc: Verifying a Modern, ..."
StarMalloc: Verifying a Modern, Hardened Memory Allocator
Antonin Reitz, Aymeric Fromherz, and Jonathan Protzenko
(Inria, France; Microsoft Research, USA)
Publisher's Version
Artifacts Reusable
Article: oopslab24main-p590-p (type: Full Paper) doi:10.1145/3689773
|
| |
Qi, Yun
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, and Zhiqiang Zuo
(Nanjing University, China)
Publisher's Version
Article: oopslab24main-p537-p (type: Full Paper) doi:10.1145/3689768
|
| |
Qian, Bingzhou |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "PolyJuice: Detecting Mis-compilation ..."
PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Chijin Zhou, Bingzhou Qian, Gwihwan Go, Quan Zhang, Shanshan Li, and Yu Jiang
(Tsinghua University, China; National University of Defense Technology, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p473-p (type: Full Paper) doi:10.1145/3689757
|
| |
Qian, Kelvin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantic-Type-Guided Bug Finding ..."
Semantic-Type-Guided Bug Finding
Kelvin Qian, Scott Smith, Brandon Stride, Shiwei Weng, and Ke Wu
(Johns Hopkins University, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p743-p (type: Full Paper) doi:10.1145/3689788
|
| |
Raad, Azalea
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Non-termination Proving at ..."
Non-termination Proving at Scale
Azalea Raad, Julien Vanegue, and Peter O’Hearn
(Imperial College London, United Kingdom; Bloomberg, USA; University College London, United Kingdom)
Publisher's Version
Artifacts Reusable
Article: oopslab24main-p173-p (type: Full Paper) doi:10.1145/3689720
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Extending the C/C++ Memory ..."
Extending the C/C++ Memory Model with Inline Assembly
Paulo Emílio de Vilhena, Ori Lahav, Viktor Vafeiadis, and Azalea Raad
(Imperial College London, United Kingdom; Tel Aviv University, Israel; MPI-SWS, Germany)
Publisher's Version
Article: oopslab24main-p392-p (type: Full Paper) doi:10.1145/3689749
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics of Remote Direct ..."
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Guillaume Ambal, Brijesh Dongol, Haggai Eran, Vasileios Klimis, Ori Lahav, and Azalea Raad
(Imperial College London, United Kingdom; University of Surrey, United Kingdom; NVIDIA, Israel; Queen Mary University of London, United Kingdom; Tel Aviv University, Israel)
Publisher's Version
Article: oopslab24main-p718-p (type: Full Paper) doi:10.1145/3689781
|
| |
Rajani, Vineet |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Modal Type Theory of Expected ..."
A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
Vineet Rajani, Gilles Barthe, and Deepak Garg
(University of Kent, United Kingdom; MPI-SP, Germany; IMDEA Software Institute, Spain; MPI-SWS, Germany)
Publisher's Version
Article: oopslab24main-p256-p (type: Full Paper) doi:10.1145/3689725
|
| |
Ramesh, Mathangi |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automatically Reducing Privilege ..."
Automatically Reducing Privilege for Access Control Policies
Loris D’Antoni, Shuo Ding, Amit Goel, Mathangi Ramesh, Neha Rungta, and Chungha Sung
(Amazon Web Services, USA; Georgia Institute of Technology, USA)
Publisher's Version
Article: oopslab24main-p307-p (type: Full Paper) doi:10.1145/3689738
|
| |
Raskind, Joseph |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Runtime System for Interruptible ..."
A Runtime System for Interruptible Query Processing: When Incremental Computing Meets Fine-Grained Parallelism
Jeff Eymer, Philip Dexter, Joseph Raskind, and Yu David Liu
(SUNY Binghamton, USA)
Publisher's Version
Article: oopslab24main-p571-p (type: Full Paper) doi:10.1145/3689772
|
| |
Ravindran, Binoy |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "libLISA: Instruction Discovery ..."
libLISA: Instruction Discovery and Analysis on x86-64
Jos Craaijo, Freek Verbeek, and Binoy Ravindran
(Open Universiteit, Netherlands; Virginia Tech, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p204-p (type: Full Paper) doi:10.1145/3689723
|
| |
Regehr, John |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Minotaur: A SIMD-Oriented ..."
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Zhengyang Liu, Stefan Mada, and John Regehr
(University of Utah, USA)
Publisher's Version
Article: oopslab24main-p515-p (type: Full Paper) doi:10.1145/3689766
|
| |
Reitz, Antonin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "StarMalloc: Verifying a Modern, ..."
StarMalloc: Verifying a Modern, Hardened Memory Allocator
Antonin Reitz, Aymeric Fromherz, and Jonathan Protzenko
(Inria, France; Microsoft Research, USA)
Publisher's Version
Artifacts Reusable
Article: oopslab24main-p590-p (type: Full Paper) doi:10.1145/3689773
|
| |
Reps, Thomas |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Unrealizability ..."
Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
Shaan Nagy, Jinwoo Kim, Thomas Reps, and Loris D’Antoni
(University of Wisconsin-Madison, USA; Seoul National University, South Korea; University of California at San Diego, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p155-p (type: Full Paper) doi:10.1145/3689715
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Synthesizing Formal Semantics ..."
Synthesizing Formal Semantics from Executable Interpreters
Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J.C. Johnson, Thomas Reps, and Loris D’Antoni
(University of Wisconsin-Madison, USA; University of California at San Diego, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p208-p (type: Full Paper) doi:10.1145/3689724
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Pruning in Top-Down ..."
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
Keith J.C. Johnson, Rahul Krishnan, Thomas Reps, and Loris D’Antoni
(University of Wisconsin-Madison, USA; University of California at San Diego, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p377-p (type: Full Paper) doi:10.1145/3689744
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Weighted Context-Free-Language ..."
Weighted Context-Free-Language Ordered Binary Decision Diagrams
Meghana Sistla, Swarat Chaudhuri, and Thomas Reps
(University of Texas at Austin, USA; University of Wisconsin, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p486-p (type: Full Paper) doi:10.1145/3689760
|
| |
Root, Alexander J |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compiler Support for Sparse ..."
Compiler Support for Sparse Tensor Convolutions
Peiming Liu, Alexander J Root, Anlun Xu, Yinying Li, Fredrik Kjolstad, and Aart J.C. Bik
(Google Research, USA; Stanford University, USA; Google Cloud, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p178-p (type: Full Paper) doi:10.1145/3689721
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compilation of Shape Operators ..."
Compilation of Shape Operators on Sparse Arrays
Alexander J Root, Bobby Yan, Peiming Liu, Christophe Gyurgyik, Aart J.C. Bik, and Fredrik Kjolstad
(Stanford University, USA; Google Research, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p404-p (type: Full Paper) doi:10.1145/3689752
|
| |
Rousseau, June |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Iris-MSWasm: Elucidating and ..."
Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly
Maxime Legoupil, June Rousseau, Aïna Linn Georges, Jean Pichon-Pharabod, and Lars Birkedal
(Aarhus University, Denmark; MPI-SWS, Germany)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p189-p (type: Full Paper) doi:10.1145/3689722
|
| |
Rungta, Neha |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automatically Reducing Privilege ..."
Automatically Reducing Privilege for Access Control Policies
Loris D’Antoni, Shuo Ding, Amit Goel, Mathangi Ramesh, Neha Rungta, and Chungha Sung
(Amazon Web Services, USA; Georgia Institute of Technology, USA)
Publisher's Version
Article: oopslab24main-p307-p (type: Full Paper) doi:10.1145/3689738
|
| |
Russo, Alejandro |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Sensitivity by Parametricity ..."
Sensitivity by Parametricity
Elisabet Lobo-Vesga, Alejandro Russo, Marco Gaboardi, and Carlos Tomé Cortiñas
(DPella, Sweden; Chalmers University of Technology, Sweden; Boston University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p262-p (type: Full Paper) doi:10.1145/3689726
|
| |
Ryu, Sukyoung |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Wasm-R3: Record-Reduce-Replay ..."
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, and Michael Pradel
(KAIST, South Korea; University of Stuttgart, Germany; Google, Germany; Carnegie Mellon University, USA)
Publisher's Version
Article: oopslab24main-p738-p (type: Full Paper) doi:10.1145/3689787
|
| |
Saad, Feras A.
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Programmable MCMC with Soundly ..."
Programmable MCMC with Soundly Composed Guide Programs
Long Pham, Di Wang, Feras A. Saad, and Jan Hoffmann
(Carnegie Mellon University, USA; Peking University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p391-p (type: Full Paper) doi:10.1145/3689748
|
| |
Saffrich, Hannes |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Law and Order for Typestate ..."
Law and Order for Typestate with Borrowing
Hannes Saffrich, Yuki Nishida, and Peter Thiemann
(University of Freiburg, Germany; Kyoto University, Japan)
Publisher's Version
Article: oopslab24main-p498-p (type: Full Paper) doi:10.1145/3689763
|
| |
Sagiv, Mooly |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Practical Verification of ..."
Practical Verification of Smart Contracts using Memory Splitting
Shelly Grossman, John Toman, Alexander Bakst, Sameer Arora, Mooly Sagiv, and Chandrakana Nandi
(Tel Aviv University, Israel; Certora, USA; Certora, Israel)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopslab24main-p814-p (type: Full Paper) doi:10.1145/3689796
|
| |
Sahoo, Anmol |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automated Robustness Verification ..."
Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models
Kartik Nagar, Anmol Sahoo, Romit Roy Chowdhury, and Suresh Jagannathan
(IIT Madras, India; Purdue University, USA; Chennai Mathematical Institute, India)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p1014-p (type: Full Paper) doi:10.1145/3689802
|
| |
Saioc, Georgian-Vlad |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automated Verification of ..."
Automated Verification of Parametric Channel-Based Process Communication
Georgian-Vlad Saioc, Julien Lange, and Anders Møller
(Aarhus University, Denmark; Royal Holloway University of London, United Kingdom)
Publisher's Version
Artifacts Reusable
Article: oopslab24main-p731-p (type: Full Paper) doi:10.1145/3689784
|
| |
Sampson, Adrian |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Unifying Static and Dynamic ..."
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
Caleb Kim, Pai Li, Anshuman Mohan, Andrew Butt, Adrian Sampson, and Rachit Nigam
(Cornell University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p755-p (type: Full Paper) doi:10.1145/3689790
|
| |
Sarkar, Vivek |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Fully Verified Instruction ..."
Fully Verified Instruction Scheduling
Ziteng Yang, Jun Shirako, and Vivek Sarkar
(Georgia Institute of Technology, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p343-p (type: Full Paper) doi:10.1145/3689739
|
| |
Schenck, Robert |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "AUTOMAP: Inferring Rank-Polymorphic ..."
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Robert Schenck, Nikolaj Hey Hinnerskov, Troels Henriksen, Magnus Madsen, and Martin Elsman
(University of Copenhagen, Denmark; Aarhus University, Denmark)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p607-p (type: Full Paper) doi:10.1145/3689774
|
| |
Schlesinger, Claire |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q Feldman, Michael Greenberg, Abhinav Jangda, and Arjun Guha
(Northeastern University, USA; Wellesley College, USA; Oberlin College, USA; Stevens Institute of Technology, USA; Microsoft Research, USA; Roblox, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p302-p (type: Full Paper) doi:10.1145/3689735
|
| |
Schultheiß, Alexander |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
On the Expressive Power of Languages for Static Variability
Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey M. Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, and Thomas Thüm
(University of Paderborn, Germany; Ulm University, Germany; University of Bern, Switzerland; IOHK, USA; Federal University of Pernambuco, Brazil; Unaffiliated, USA; TU Braunschweig, Germany)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p390-p (type: Full Paper) doi:10.1145/3689747
|
| |
Schwartz, David |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Jmvx: Fast Multi-threaded ..."
Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed Languages
David Schwartz, Ankith Kowshik, and Luís Pina
(University of Illinois, Chicago, USA)
Publisher's Version
Article: oopslab24main-p540-p (type: Full Paper) doi:10.1145/3689769
|
| |
Sekiyama, Taro |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Higher-Order Model Checking ..."
Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
Taro Sekiyama and Hiroshi Unno
(National Institute of Informatics, Japan; SOKENDAI, Japan; Tohoku University, Japan)
Publisher's Version
Article: oopslab24main-p1119-p (type: Full Paper) doi:10.1145/3689805
|
| |
Sergey, Ilya |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Concurrent Data Structures ..."
Concurrent Data Structures Made Easy
Callista Le, Kiran Gopinathan, Koon Wen Lee, Seth Gilbert, and Ilya Sergey
(Yale-NUS College, Singapore; National University of Singapore, Singapore; Ahrefs, Singapore)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p608-p (type: Full Paper) doi:10.1145/3689775
|
| |
Shao, Zhong |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compositionality and Observational ..."
Compositionality and Observational Refinement for Linearizability with Crashes
Arthur Oliveira Vale, Zhongye Wang, Yixuan Chen, Peixin You, and Zhong Shao
(Yale University, USA)
Publisher's Version
Article: oopslab24main-p794-p (type: Full Paper) doi:10.1145/3689792
|
| |
Shi, Chenghang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Boosting the Performance of ..."
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers
Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, and Jingling Xue
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Zhongguancun Laboratory, China; UNSW, Australia)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p1050-p (type: Full Paper) doi:10.1145/3689804
|
| |
Shi, Ling |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Drowzee: Metamorphic Testing ..."
Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models
Ningke Li, Yuekang Li, Yi Liu, Ling Shi, Kailong Wang, and Haoyu Wang
(Huazhong University of Science and Technology, China; UNSW, Australia; Nanyang Technological University, Singapore)
Publisher's Version
Article: oopslab24main-p613-p (type: Full Paper) doi:10.1145/3689776
|
| |
Shirako, Jun |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Fully Verified Instruction ..."
Fully Verified Instruction Scheduling
Ziteng Yang, Jun Shirako, and Vivek Sarkar
(Georgia Institute of Technology, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p343-p (type: Full Paper) doi:10.1145/3689739
|
| |
Sighireanu, Mihaela |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Dependent Nominal Physical ..."
A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code
Julien Simonnet, Matthieu Lemerre, and Mihaela Sighireanu
(University Paris-Saclay - CEA - List, France; University Paris-Saclay - ENS Paris-Saclay - CNRS - LMF, France)
Publisher's Version
Artifacts Reusable
Article: oopslab24main-p115-p (type: Full Paper) doi:10.1145/3689712
|
| |
Silva, Alexandra |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantitative Weakest Hyper ..."
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, and Alexandra Silva
(University College London, United Kingdom; Cornell University, USA; Saarland University, Germany)
Publisher's Version
Article: oopslab24main-p346-p (type: Full Paper) doi:10.1145/3689740
|
| |
Sim, Yusung |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Wasm-R3: Record-Reduce-Replay ..."
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, and Michael Pradel
(KAIST, South Korea; University of Stuttgart, Germany; Google, Germany; Carnegie Mellon University, USA)
Publisher's Version
Article: oopslab24main-p738-p (type: Full Paper) doi:10.1145/3689787
|
| |
Simonnet, Julien |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Dependent Nominal Physical ..."
A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code
Julien Simonnet, Matthieu Lemerre, and Mihaela Sighireanu
(University Paris-Saclay - CEA - List, France; University Paris-Saclay - ENS Paris-Saclay - CNRS - LMF, France)
Publisher's Version
Artifacts Reusable
Article: oopslab24main-p115-p (type: Full Paper) doi:10.1145/3689712
|
| |
Sistla, Meghana |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Weighted Context-Free-Language ..."
Weighted Context-Free-Language Ordered Binary Decision Diagrams
Meghana Sistla, Swarat Chaudhuri, and Thomas Reps
(University of Texas at Austin, USA; University of Wisconsin, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p486-p (type: Full Paper) doi:10.1145/3689760
|
| |
Smith, Lee |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mix Testing: Specifying and ..."
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, and John Wickerson
(University College London, United Kingdom; Arm, United Kingdom; Imperial College London, United Kingdom; University of California at Santa Cruz, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p264-p (type: Full Paper) doi:10.1145/3689727
|
| |
Smith, Scott |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantic-Type-Guided Bug Finding ..."
Semantic-Type-Guided Bug Finding
Kelvin Qian, Scott Smith, Brandon Stride, Shiwei Weng, and Ke Wu
(Johns Hopkins University, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p743-p (type: Full Paper) doi:10.1145/3689788
|
| |
Somers, Thomas |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Verified Lock-Free Session ..."
Verified Lock-Free Session Channels with Linking
Thomas Somers and Robbert Krebbers
(Radboud University Nijmegen, Netherlands)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p289-p (type: Full Paper) doi:10.1145/3689732
|
| |
Song, Wei |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "VarLifter: Recovering Variables ..."
VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts
Yichuan Li, Wei Song, and Jeff Huang
(Nanjing University of Science and Technology, China; Texas A&M University, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p55-p (type: Full Paper) doi:10.1145/3689711
|
| |
Sorensen, Tyler |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mix Testing: Specifying and ..."
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, and John Wickerson
(University College London, United Kingdom; Arm, United Kingdom; Imperial College London, United Kingdom; University of California at Santa Cruz, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p264-p (type: Full Paper) doi:10.1145/3689727
|
| |
Sotiropoulos, Thodoris |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "When Your Infrastructure Is ..."
When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
Georgios-Petros Drosos, Thodoris Sotiropoulos, Georgios Alexopoulos, Dimitris Mitropoulos, and Zhendong Su
(ETH Zurich, Switzerland; University of Athens, Greece)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p898-p (type: Full Paper) doi:10.1145/3689799
|
| |
Stride, Brandon |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantic-Type-Guided Bug Finding ..."
Semantic-Type-Guided Bug Finding
Kelvin Qian, Scott Smith, Brandon Stride, Shiwei Weng, and Ke Wu
(Johns Hopkins University, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p743-p (type: Full Paper) doi:10.1145/3689788
|
| |
Su, Zhendong |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "SMT2Test: From SMT Formulas ..."
SMT2Test: From SMT Formulas to Effective Test Cases
Chengyu Zhang and Zhendong Su
(ETH Zurich, Switzerland)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p166-p (type: Full Paper) doi:10.1145/3689719
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Validating SMT Solvers for ..."
Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration
Dominik Winterer and Zhendong Su
(ETH Zurich, Switzerland)
Publisher's Version
Article: oopslab24main-p813-p (type: Full Paper) doi:10.1145/3689795
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "When Your Infrastructure Is ..."
When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
Georgios-Petros Drosos, Thodoris Sotiropoulos, Georgios Alexopoulos, Dimitris Mitropoulos, and Zhendong Su
(ETH Zurich, Switzerland; University of Athens, Greece)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p898-p (type: Full Paper) doi:10.1145/3689799
|
| |
Suárez Acevedo, Emmanuel |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effects and Coeffects in Call-by-Push-Value ..."
Effects and Coeffects in Call-by-Push-Value
Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, and Stephanie Weirich
(University of Pennsylvania, USA; University of Michigan, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p398-p (type: Full Paper) doi:10.1145/3689750
|
| |
Sun, Yaozhu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Imperative Compositional Programming: ..."
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing
Wenjia Ye, Yaozhu Sun, and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p723-p (type: Full Paper) doi:10.1145/3689782
|
| |
Sundararajah, Kirshanthan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "SparseAuto: An Auto-scheduler ..."
SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring
Adhitha Dias, Logan Anderson, Kirshanthan Sundararajah, Artem Pelenitsyn, and Milind Kulkarni
(Purdue University, USA; Virginia Tech, USA)
Publisher's Version
Article: oopslab24main-p286-p (type: Full Paper) doi:10.1145/3689730
|
| |
Sundaresan, Vijay |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "The ART of Sharing Points-to ..."
The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
Shashin Halalingaiah, Vijay Sundaresan, Daryl Maier, and V. Krishna Nandivada
(IIT Madras, India; University of Texas at Austin, USA; IBM, Canada)
Publisher's Version
Article: oopslab24main-p1030-p (type: Full Paper) doi:10.1145/3689803
|
| |
Sung, Chungha |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automatically Reducing Privilege ..."
Automatically Reducing Privilege for Access Control Policies
Loris D’Antoni, Shuo Ding, Amit Goel, Mathangi Ramesh, Neha Rungta, and Chungha Sung
(Amazon Web Services, USA; Georgia Institute of Technology, USA)
Publisher's Version
Article: oopslab24main-p307-p (type: Full Paper) doi:10.1145/3689738
|
| |
Takashima, Yoshiki
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Crabtree: Rust API Test Synthesis ..."
Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, and Corina S. Păsăreanu
(Carnegie Mellon University, USA)
Publisher's Version
Article: oopslab24main-p295-p (type: Full Paper) doi:10.1145/3689733
|
| |
Tan, Jinhao |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Case for First-Class Environments ..."
A Case for First-Class Environments
Jinhao Tan and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p903-p (type: Full Paper) doi:10.1145/3689800
|
| |
Tang, Fugen |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "MEA2: A Lightweight Field-Sensitive ..."
MEA2: A Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
Boyao Ding, Qingwei Li, Yu Zhang, Fugen Tang, and Jinbao Chen
(University of Science and Technology of China, China; Institute of Artificial Intelligence at Hefei Comprehensive National Science Center, China)
Publisher's Version
Article: oopslab24main-p484-p (type: Full Paper) doi:10.1145/3689759
|
| |
Tang, Jian |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, and Zhiqiang Zuo
(Nanjing University, China)
Publisher's Version
Article: oopslab24main-p537-p (type: Full Paper) doi:10.1145/3689768
|
| |
Tassarotti, Joseph |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Tachis: Higher-Order Separation ..."
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, and Lars Birkedal
(Aarhus University, Denmark; New York University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p414-p (type: Full Paper) doi:10.1145/3689753
|
| |
Teixeira, Leopoldo |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
On the Expressive Power of Languages for Static Variability
Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey M. Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, and Thomas Thüm
(University of Paderborn, Germany; Ulm University, Germany; University of Bern, Switzerland; IOHK, USA; Federal University of Pernambuco, Brazil; Unaffiliated, USA; TU Braunschweig, Germany)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p390-p (type: Full Paper) doi:10.1145/3689747
|
| |
Thiemann, Peter |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Law and Order for Typestate ..."
Law and Order for Typestate with Borrowing
Hannes Saffrich, Yuki Nishida, and Peter Thiemann
(University of Freiburg, Germany; Kyoto University, Japan)
Publisher's Version
Article: oopslab24main-p498-p (type: Full Paper) doi:10.1145/3689763
|
| |
Thüm, Thomas |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
On the Expressive Power of Languages for Static Variability
Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey M. Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, and Thomas Thüm
(University of Paderborn, Germany; Ulm University, Germany; University of Bern, Switzerland; IOHK, USA; Federal University of Pernambuco, Brazil; Unaffiliated, USA; TU Braunschweig, Germany)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p390-p (type: Full Paper) doi:10.1145/3689747
|
| |
Titzer, Ben L. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Wasm-R3: Record-Reduce-Replay ..."
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, and Michael Pradel
(KAIST, South Korea; University of Stuttgart, Germany; Google, Germany; Carnegie Mellon University, USA)
Publisher's Version
Article: oopslab24main-p738-p (type: Full Paper) doi:10.1145/3689787
|
| |
Toman, John |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Practical Verification of ..."
Practical Verification of Smart Contracts using Memory Splitting
Shelly Grossman, John Toman, Alexander Bakst, Sameer Arora, Mooly Sagiv, and Chandrakana Nandi
(Tel Aviv University, Israel; Certora, USA; Certora, Israel)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopslab24main-p814-p (type: Full Paper) doi:10.1145/3689796
|
| |
Torczon, Cassia |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effects and Coeffects in Call-by-Push-Value ..."
Effects and Coeffects in Call-by-Push-Value
Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, and Stephanie Weirich
(University of Pennsylvania, USA; University of Michigan, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p398-p (type: Full Paper) doi:10.1145/3689750
|
| |
Toro, Matías |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Merging Gradual Typing ..."
Merging Gradual Typing
Wenjia Ye, Bruno C. d. S. Oliveira, and Matías Toro
(University of Hong Kong, China; University of Chile, Chile)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p296-p (type: Full Paper) doi:10.1145/3689734
|
| |
Unno, Hiroshi
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Higher-Order Model Checking ..."
Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
Taro Sekiyama and Hiroshi Unno
(National Institute of Informatics, Japan; SOKENDAI, Japan; Tohoku University, Japan)
Publisher's Version
Article: oopslab24main-p1119-p (type: Full Paper) doi:10.1145/3689805
|
| |
Vafeiadis, Viktor
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Extending the C/C++ Memory ..."
Extending the C/C++ Memory Model with Inline Assembly
Paulo Emílio de Vilhena, Ori Lahav, Viktor Vafeiadis, and Azalea Raad
(Imperial College London, United Kingdom; Tel Aviv University, Israel; MPI-SWS, Germany)
Publisher's Version
Article: oopslab24main-p392-p (type: Full Paper) doi:10.1145/3689749
|
| |
Vanegue, Julien |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Non-termination Proving at ..."
Non-termination Proving at Scale
Azalea Raad, Julien Vanegue, and Peter O’Hearn
(Imperial College London, United Kingdom; Bloomberg, USA; University College London, United Kingdom)
Publisher's Version
Artifacts Reusable
Article: oopslab24main-p173-p (type: Full Paper) doi:10.1145/3689720
|
| |
Vechev, Martin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Modular Synthesis of Efficient ..."
Modular Synthesis of Efficient Quantum Uncomputation
Hristo Venev, Timon Gehr, Dimitar Dimitrov, and Martin Vechev
(Sofia University St. Kliment Ohridski, Bulgaria; ETH Zurich, Switzerland)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p732-p (type: Full Paper) doi:10.1145/3689785
|
| |
Velez-Ginorio, Joey |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effects and Coeffects in Call-by-Push-Value ..."
Effects and Coeffects in Call-by-Push-Value
Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, and Stephanie Weirich
(University of Pennsylvania, USA; University of Michigan, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p398-p (type: Full Paper) doi:10.1145/3689750
|
| |
Venev, Hristo |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Modular Synthesis of Efficient ..."
Modular Synthesis of Efficient Quantum Uncomputation
Hristo Venev, Timon Gehr, Dimitar Dimitrov, and Martin Vechev
(Sofia University St. Kliment Ohridski, Bulgaria; ETH Zurich, Switzerland)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p732-p (type: Full Paper) doi:10.1145/3689785
|
| |
Verbeek, Freek |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "libLISA: Instruction Discovery ..."
libLISA: Instruction Discovery and Analysis on x86-64
Jos Craaijo, Freek Verbeek, and Binoy Ravindran
(Open Universiteit, Netherlands; Virginia Tech, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p204-p (type: Full Paper) doi:10.1145/3689723
|
| |
Von Gleissenthall, Klaus |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Refinement Type Refutations ..."
Refinement Type Refutations
Robin Webbers, Klaus von Gleissenthall, and Ranjit Jhala
(Vrije Universiteit Amsterdam, Netherlands; University of California at San Diego, USA)
Publisher's Version
Article: oopslab24main-p378-p (type: Full Paper) doi:10.1145/3689745
|
| |
Wagner, Andrew
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Realistic Realizability: Specifying ..."
Realistic Realizability: Specifying ABIs You Can Count On
Andrew Wagner, Zachary Eisbach, and Amal Ahmed
(Northeastern University, USA)
Publisher's Version
Article: oopslab24main-p440-p (type: Full Paper) doi:10.1145/3689755
|
| |
Walkingshaw, Eric |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
On the Expressive Power of Languages for Static Variability
Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey M. Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, and Thomas Thüm
(University of Paderborn, Germany; Ulm University, Germany; University of Bern, Switzerland; IOHK, USA; Federal University of Pernambuco, Brazil; Unaffiliated, USA; TU Braunschweig, Germany)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p390-p (type: Full Paper) doi:10.1145/3689747
|
| |
Wan, Qianyong |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Full Iso-Recursive Types ..."
Full Iso-Recursive Types
Litao Zhou, Qianyong Wan, and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p161-p (type: Full Paper) doi:10.1145/3689718
|
| |
Wang, Di |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Programmable MCMC with Soundly ..."
Programmable MCMC with Soundly Composed Guide Programs
Long Pham, Di Wang, Feras A. Saad, and Jan Hoffmann
(Carnegie Mellon University, USA; Peking University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p391-p (type: Full Paper) doi:10.1145/3689748
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics Lifting for Syntactic ..."
Semantics Lifting for Syntactic Sugar
Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, and Zhenjiang Hu
(Peking University, China; Tsinghua University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p481-p (type: Full Paper) doi:10.1145/3689758
|
| |
Wang, Haoyu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Drowzee: Metamorphic Testing ..."
Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models
Ningke Li, Yuekang Li, Yi Liu, Ling Shi, Kailong Wang, and Haoyu Wang
(Huazhong University of Science and Technology, China; UNSW, Australia; Nanyang Technological University, Singapore)
Publisher's Version
Article: oopslab24main-p613-p (type: Full Paper) doi:10.1145/3689776
|
| |
Wang, Ji |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FPCC: Detecting Floating-Point ..."
FPCC: Detecting Floating-Point Errors via Chain Conditions
Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, and Ji Wang
(National University of Defense Technology, China; National University of Defense Technology, Changsha, China)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p513-p (type: Full Paper) doi:10.1145/3689764
|
| |
Wang, Kailong |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Drowzee: Metamorphic Testing ..."
Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models
Ningke Li, Yuekang Li, Yi Liu, Ling Shi, Kailong Wang, and Haoyu Wang
(Huazhong University of Science and Technology, China; UNSW, Australia; Nanyang Technological University, Singapore)
Publisher's Version
Article: oopslab24main-p613-p (type: Full Paper) doi:10.1145/3689776
|
| |
Wang, Qian |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Rustlantis: Randomized Differential ..."
Rustlantis: Randomized Differential Testing of the Rust Compiler
Qian Wang and Ralf Jung
(ETH Zurich, Switzerland; Imperial College London, United Kingdom)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p687-p (type: Full Paper) doi:10.1145/3689780
|
| |
Wang, Xiaoliang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, and Zhiqiang Zuo
(Nanjing University, China)
Publisher's Version
Article: oopslab24main-p537-p (type: Full Paper) doi:10.1145/3689768
|
| |
Wang, Yueyang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, and Zhiqiang Zuo
(Nanjing University, China)
Publisher's Version
Article: oopslab24main-p537-p (type: Full Paper) doi:10.1145/3689768
|
| |
Wang, Zhongye |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compositionality and Observational ..."
Compositionality and Observational Refinement for Linearizability with Crashes
Arthur Oliveira Vale, Zhongye Wang, Yixuan Chen, Peixin You, and Zhong Shao
(Yale University, USA)
Publisher's Version
Article: oopslab24main-p794-p (type: Full Paper) doi:10.1145/3689792
|
| |
Wang, Ziheng |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics Lifting for Syntactic ..."
Semantics Lifting for Syntactic Sugar
Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, and Zhenjiang Hu
(Peking University, China; Tsinghua University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p481-p (type: Full Paper) doi:10.1145/3689758
|
| |
Wang, Ziteng |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Control-Flow Deobfuscation ..."
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Benjamin Mariano, Ziteng Wang, Shankara Pailoor, Christian Collberg, and Işil Dillig
(University of Texas at Austin, USA; University of Arizona, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p746-p (type: Full Paper) doi:10.1145/3689789
|
| |
Webbers, Robin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Refinement Type Refutations ..."
Refinement Type Refutations
Robin Webbers, Klaus von Gleissenthall, and Ranjit Jhala
(Vrije Universiteit Amsterdam, Netherlands; University of California at San Diego, USA)
Publisher's Version
Article: oopslab24main-p378-p (type: Full Paper) doi:10.1145/3689745
|
| |
Wei, Hengfeng |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Plume: Efficient and Complete ..."
Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels
Si Liu, Long Gu, Hengfeng Wei, and David Basin
(ETH Zurich, Switzerland; Nanjing University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p362-p (type: Full Paper) doi:10.1145/3689742
|
| |
Weirich, Stephanie |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effects and Coeffects in Call-by-Push-Value ..."
Effects and Coeffects in Call-by-Push-Value
Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, and Stephanie Weirich
(University of Pennsylvania, USA; University of Michigan, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p398-p (type: Full Paper) doi:10.1145/3689750
|
| |
Weissenbacher, Georg |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Finding ∀∃ Hyperbugs using ..."
Finding ∀∃ Hyperbugs using Symbolic Execution
Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, and Georg Weissenbacher
(CISPA Helmholtz Center for Information Security, Germany; TU Wien, Austria)
Publisher's Version
Article: oopslab24main-p490-p (type: Full Paper) doi:10.1145/3689761
|
| |
Weng, Shiwei |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantic-Type-Guided Bug Finding ..."
Semantic-Type-Guided Bug Finding
Kelvin Qian, Scott Smith, Brandon Stride, Shiwei Weng, and Ke Wu
(Johns Hopkins University, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p743-p (type: Full Paper) doi:10.1145/3689788
|
| |
Wickerson, John |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mix Testing: Specifying and ..."
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, and John Wickerson
(University College London, United Kingdom; Arm, United Kingdom; Imperial College London, United Kingdom; University of California at Santa Cruz, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p264-p (type: Full Paper) doi:10.1145/3689727
|
| |
Winterer, Dominik |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Validating SMT Solvers for ..."
Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration
Dominik Winterer and Zhendong Su
(ETH Zurich, Switzerland)
Publisher's Version
Article: oopslab24main-p813-p (type: Full Paper) doi:10.1145/3689795
|
| |
Wong, Augustine |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Making Sense of Multi-threaded ..."
Making Sense of Multi-threaded Application Performance at Scale with NonSequitur
Augustine Wong, Paul Bucci, Ivan Beschastnikh, and Alexandra Fedorova
(University of British Columbia, Canada)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p802-p (type: Full Paper) doi:10.1145/3689793
|
| |
Wrigstad, Tobias |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mark–Scavenge: Waiting for ..."
Mark–Scavenge: Waiting for Trash to Take Itself Out
Jonas Norlinder, Erik Österlund, David Black-Schaffer, and Tobias Wrigstad
(Uppsala University, Sweden; Oracle, Sweden)
Publisher's Version
Article: oopslab24main-p774-p (type: Full Paper) doi:10.1145/3689791
|
| |
Wu, Jifeng |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "QuAC: Quick Attribute-Centric ..."
QuAC: Quick Attribute-Centric Type Inference for Python
Jifeng Wu and Caroline Lemieux
(University of British Columbia, Canada)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p724-p (type: Full Paper) doi:10.1145/3689783
|
| |
Wu, Ke |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Intensional Functions ..."
Intensional Functions
Zachary Palmer, Nathaniel Wesley Filardo, and Ke Wu
(Swarthmore College, USA; Microsoft, Canada; Johns Hopkins University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p138-p (type: Full Paper) doi:10.1145/3689714
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantic-Type-Guided Bug Finding ..."
Semantic-Type-Guided Bug Finding
Kelvin Qian, Scott Smith, Brandon Stride, Shiwei Weng, and Ke Wu
(Johns Hopkins University, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p743-p (type: Full Paper) doi:10.1145/3689788
|
| |
Xu, Anlun
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compiler Support for Sparse ..."
Compiler Support for Sparse Tensor Convolutions
Peiming Liu, Alexander J Root, Anlun Xu, Yinying Li, Fredrik Kjolstad, and Aart J.C. Bik
(Google Research, USA; Stanford University, USA; Google Cloud, USA)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p178-p (type: Full Paper) doi:10.1145/3689721
|
| |
Xue, Jingling |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Boosting the Performance of ..."
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers
Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, and Jingling Xue
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Zhongguancun Laboratory, China; UNSW, Australia)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p1050-p (type: Full Paper) doi:10.1145/3689804
|
| |
Yan, Bobby
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compilation of Shape Operators ..."
Compilation of Shape Operators on Sparse Arrays
Alexander J Root, Bobby Yan, Peiming Liu, Christophe Gyurgyik, Aart J.C. Bik, and Fredrik Kjolstad
(Stanford University, USA; Google Research, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p404-p (type: Full Paper) doi:10.1145/3689752
|
| |
Yan, Zhenyu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Scaling Abstraction Refinement ..."
Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks
Zhenyu Yan, Xin Zhang, and Peng Di
(Peking University, China; Ant Group, China)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p514-p (type: Full Paper) doi:10.1145/3689765
|
| |
Yang, Chen |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Dependency-Aware Code Naturalness ..."
Dependency-Aware Code Naturalness
Chen Yang, Junjie Chen, Jiajun Jiang, and Yuliang Huang
(Tianjin University, China)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p812-p (type: Full Paper) doi:10.1145/3689794
|
| |
Yang, Chenyuan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "WhiteFox: White-Box Compiler ..."
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; Huazhong University of Science and Technology, China; Chinese University of Hong Kong, Shenzhen, China)
Publisher's Version
Article: oopslab24main-p305-p (type: Full Paper) doi:10.1145/3689736
|
| |
Yang, Ziteng |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Fully Verified Instruction ..."
Fully Verified Instruction Scheduling
Ziteng Yang, Jun Shirako, and Vivek Sarkar
(Georgia Institute of Technology, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p343-p (type: Full Paper) doi:10.1145/3689739
|
| |
Yao, Jiayi |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "WhiteFox: White-Box Compiler ..."
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; Huazhong University of Science and Technology, China; Chinese University of Hong Kong, Shenzhen, China)
Publisher's Version
Article: oopslab24main-p305-p (type: Full Paper) doi:10.1145/3689736
|
| |
Ye, Wenjia |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Merging Gradual Typing ..."
Merging Gradual Typing
Wenjia Ye, Bruno C. d. S. Oliveira, and Matías Toro
(University of Hong Kong, China; University of Chile, Chile)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p296-p (type: Full Paper) doi:10.1145/3689734
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Imperative Compositional Programming: ..."
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing
Wenjia Ye, Yaozhu Sun, and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p723-p (type: Full Paper) doi:10.1145/3689782
|
| |
Yi, Xin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FPCC: Detecting Floating-Point ..."
FPCC: Detecting Floating-Point Errors via Chain Conditions
Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, and Ji Wang
(National University of Defense Technology, China; National University of Defense Technology, Changsha, China)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p513-p (type: Full Paper) doi:10.1145/3689764
|
| |
You, Peixin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compositionality and Observational ..."
Compositionality and Observational Refinement for Linearizability with Crashes
Arthur Oliveira Vale, Zhongye Wang, Yixuan Chen, Peixin You, and Zhong Shao
(Yale University, USA)
Publisher's Version
Article: oopslab24main-p794-p (type: Full Paper) doi:10.1145/3689792
|
| |
Young, Jeffrey M. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
On the Expressive Power of Languages for Static Variability
Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey M. Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, and Thomas Thüm
(University of Paderborn, Germany; Ulm University, Germany; University of Bern, Switzerland; IOHK, USA; Federal University of Pernambuco, Brazil; Unaffiliated, USA; TU Braunschweig, Germany)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p390-p (type: Full Paper) doi:10.1145/3689747
|
| |
Yu, Hengbiao |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FPCC: Detecting Floating-Point ..."
FPCC: Detecting Floating-Point Errors via Chain Conditions
Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, and Ji Wang
(National University of Defense Technology, China; National University of Defense Technology, Changsha, China)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslab24main-p513-p (type: Full Paper) doi:10.1145/3689764
|
| |
Yu, Tailai |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics Lifting for Syntactic ..."
Semantics Lifting for Syntactic Sugar
Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, and Zhenjiang Hu
(Peking University, China; Tsinghua University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p481-p (type: Full Paper) doi:10.1145/3689758
|
| |
Zhang, Chengyu
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "SMT2Test: From SMT Formulas ..."
SMT2Test: From SMT Formulas to Effective Test Cases
Chengyu Zhang and Zhendong Su
(ETH Zurich, Switzerland)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p166-p (type: Full Paper) doi:10.1145/3689719
|
| |
Zhang, Lingming |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "WhiteFox: White-Box Compiler ..."
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; Huazhong University of Science and Technology, China; Chinese University of Hong Kong, Shenzhen, China)
Publisher's Version
Article: oopslab24main-p305-p (type: Full Paper) doi:10.1145/3689736
|
| |
Zhang, Linpeng |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantitative Weakest Hyper ..."
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, and Alexandra Silva
(University College London, United Kingdom; Cornell University, USA; Saarland University, Germany)
Publisher's Version
Article: oopslab24main-p346-p (type: Full Paper) doi:10.1145/3689740
|
| |
Zhang, Quan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "PolyJuice: Detecting Mis-compilation ..."
PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Chijin Zhou, Bingzhou Qian, Gwihwan Go, Quan Zhang, Shanshan Li, and Yu Jiang
(Tsinghua University, China; National University of Defense Technology, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p473-p (type: Full Paper) doi:10.1145/3689757
|
| |
Zhang, Xin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Scaling Abstraction Refinement ..."
Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks
Zhenyu Yan, Xin Zhang, and Peng Di
(Peking University, China; Ant Group, China)
Publisher's Version
Artifacts Functional
Article: oopslab24main-p514-p (type: Full Paper) doi:10.1145/3689765
|
| |
Zhang, Yiyu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, and Zhiqiang Zuo
(Nanjing University, China)
Publisher's Version
Article: oopslab24main-p537-p (type: Full Paper) doi:10.1145/3689768
|
| |
Zhang, Yizhou |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Lexical Effect Handlers, Directly ..."
Lexical Effect Handlers, Directly
Cong Ma, Zhaoyi Ge, Edward Lee, and Yizhou Zhang
(University of Waterloo, Canada)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p541-p (type: Full Paper) doi:10.1145/3689770
|
| |
Zhang, Yu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "MEA2: A Lightweight Field-Sensitive ..."
MEA2: A Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
Boyao Ding, Qingwei Li, Yu Zhang, Fugen Tang, and Jinbao Chen
(University of Science and Technology of China, China; Institute of Artificial Intelligence at Hefei Comprehensive National Science Center, China)
Publisher's Version
Article: oopslab24main-p484-p (type: Full Paper) doi:10.1145/3689759
|
| |
Zhou, Chijin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "PolyJuice: Detecting Mis-compilation ..."
PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Chijin Zhou, Bingzhou Qian, Gwihwan Go, Quan Zhang, Shanshan Li, and Yu Jiang
(Tsinghua University, China; National University of Defense Technology, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p473-p (type: Full Paper) doi:10.1145/3689757
|
| |
Zhou, Litao |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Full Iso-Recursive Types ..."
Full Iso-Recursive Types
Litao Zhou, Qianyong Wan, and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslab24main-p161-p (type: Full Paper) doi:10.1145/3689718
|
| |
Zhu, Yuhao |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "CoolerSpace: A Language for ..."
CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
Ethan Chen, Jiwon Chang, and Yuhao Zhu
(University of Rochester, USA)
Publisher's Version
Article: oopslab24main-p354-p (type: Full Paper) doi:10.1145/3689741
|
| |
Zilberstein, Noam |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantitative Weakest Hyper ..."
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, and Alexandra Silva
(University College London, United Kingdom; Cornell University, USA; Saarland University, Germany)
Publisher's Version
Article: oopslab24main-p346-p (type: Full Paper) doi:10.1145/3689740
|
| |
Zuo, Zhiqiang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, and Zhiqiang Zuo
(Nanjing University, China)
Publisher's Version
Article: oopslab24main-p537-p (type: Full Paper) doi:10.1145/3689768
|