| |
Abeysinghe, Supun
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Graph IRs for Impure Higher-Order ..."
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Oliver Bračevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, and Tiark Rompf
(Purdue University, USA; Galois, USA; Augusta University, USA)
 Publisher's Version
|
| |
Achour, Sara |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Hardware-Aware Static Optimization ..."
Hardware-Aware Static Optimization of Hyperdimensional Computations
Pu (Luke) Yi and Sara Achour
(Stanford University, USA)
Publisher's Version
 Published Artifact
Archive submitted (1.3 MB)
Artifacts Available
Artifacts Functional
|
| |
Allred, Taylor |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, and Sam Tobin-Hochstadt
(University of Utah, USA; independent, USA; independent, UK; Northwestern University, USA; National University of Singapore, Singapore; Brown University, USA; Reach, USA; University of Washington, USA; independent, Denmark; Indiana University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Almeida Matos, Ana |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AtomiS: Data-Centric Synchronization ..."
AtomiS: Data-Centric Synchronization Made Practical
Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, and António Ravara
(Nova University of Lisbon, Portugal; University of Lisbon, Portugal)
Publisher's Version
|
| |
Alur, Rajeev |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mobius: Synthesizing Relational ..."
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, and Mukund Raghothaman
(University of Pennsylvania, USA; University of Southern California, USA)
Publisher's Version
|
| |
Angle, Nia |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, and Sam Tobin-Hochstadt
(University of Utah, USA; independent, USA; independent, UK; Northwestern University, USA; National University of Singapore, Singapore; Brown University, USA; Reach, USA; University of Washington, USA; independent, Denmark; Indiana University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Arvidsson, Ellen |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reference Capabilities for ..."
Reference Capabilities for Flexible Memory Management
Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, and Tobias Wrigstad
(Uppsala University, Sweden; Microsoft Azure Research, USA; Imperial College London, UK; Research & Programming, New Zealand; Microsoft Azure Research, UK)
Publisher's Version
|
| |
Astorga, Angello |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Perception Contracts for Safety ..."
Perception Contracts for Safety of ML-Enabled Systems
Angello Astorga, Chiao Hsieh, P. Madhusudan, and Sayan Mitra
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
|
| |
Banerjee, Arko
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Data Extraction via Semantic ..."
Data Extraction via Semantic Regular Expression Synthesis
Qiaochu Chen, Arko Banerjee, Çağatay Demiralp, Greg Durrett, and Işıl Dillig
(University of Texas at Austin, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Bao, Yuyan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Graph IRs for Impure Higher-Order ..."
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Oliver Bračevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, and Tiark Rompf
(Purdue University, USA; Galois, USA; Augusta University, USA)
Publisher's Version
|
| |
Barrett, Langston |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Bring Your Own Data Structures ..."
Bring Your Own Data Structures to Datalog
Arash Sahebolamri, Langston Barrett, Scott Moore, and Kristopher Micinski
(Syracuse University, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Batz, Kevin |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Deductive Verification Infrastructure ..."
A Deductive Verification Infrastructure for Probabilistic Programs
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Christoph Matheja
(RWTH Aachen University, Germany; Saarland University, Germany; University College London, UK; DTU, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Bérard, Alexandre |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formally Verifying Optimizations ..."
Formally Verifying Optimizations with Block Simulations
Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, and Alexandre Bérard
(Université Grenoble Alpes - CNRS - Grenoble INP - Verimag, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Bhanuka, Ishan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Getting into the Flow: Towards ..."
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
Ishan Bhanuka, Lionel Parreaux, David Binder, and Jonathan Immanuel Brachthäuser
(Hong Kong University of Science and Technology, China; University of Tübingen, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Bianchini, Riccardo |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Resource-Aware Soundness for ..."
Resource-Aware Soundness for Big-Step Semantics
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, and Elena Zucca
(University of Genoa, Italy; University of Eastern Piedmont, Italy)
Publisher's Version
|
| |
Binder, David |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Getting into the Flow: Towards ..."
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
Ishan Bhanuka, Lionel Parreaux, David Binder, and Jonathan Immanuel Brachthäuser
(Hong Kong University of Science and Technology, China; University of Tübingen, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Birkedal, Lars |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Spirea: A Mechanized Concurrent ..."
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory
Simon Friis Vindum and Lars Birkedal
(Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Melocoton: A Program Logic ..."
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Armaël Guéneau, Johannes Hostert, Simon Spies, Michael Sammler, Lars Birkedal, and Derek Dreyer
(Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria, France; Saarland University, Germany; MPI-SWS, Germany; Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Bonneau, Benjamin |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formally Verifying Optimizations ..."
Formally Verifying Optimizations with Block Simulations
Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, and Alexandre Bérard
(Université Grenoble Alpes - CNRS - Grenoble INP - Verimag, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Boulmé, Sylvain |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formally Verifying Optimizations ..."
Formally Verifying Optimizations with Block Simulations
Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, and Alexandre Bérard
(Université Grenoble Alpes - CNRS - Grenoble INP - Verimag, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Bračevac, Oliver |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Graph IRs for Impure Higher-Order ..."
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Oliver Bračevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, and Tiark Rompf
(Purdue University, USA; Galois, USA; Augusta University, USA)
Publisher's Version
|
| |
Brachthäuser, Jonathan Immanuel |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Getting into the Flow: Towards ..."
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
Ishan Bhanuka, Lionel Parreaux, David Binder, and Jonathan Immanuel Brachthäuser
(Hong Kong University of Science and Technology, China; University of Tübingen, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "From Capabilities to Regions: ..."
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, and Jonathan Immanuel Brachthäuser
(University of Tübingen, Germany; Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Burchell, Humphrey |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AST vs. Bytecode: Interpreters ..."
AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
Octave Larose, Sophie Kaleba, Humphrey Burchell, and Stefan Marr
(University of Kent, UK)
Publisher's Version
Published Artifact
Archive submitted (360 kB)
Artifacts Available
Artifacts Reusable
|
| |
Cai, Yuandao
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Cocktail Approach to Practical ..."
A Cocktail Approach to Practical Call Graph Construction
Yuandao Cai and Charles Zhang
(Hong Kong University of Science and Technology, China)
Publisher's Version
|
| |
Cai, Zhuo |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Asparagus: Automated Synthesis ..."
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
Zhuo Cai, Soroush Farokhnia, Amir Kafshdar Goharshady, and S. Hitarth
(Hong Kong University of Science and Technology, Hong Kong)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Cao, Huanqi |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mat2Stencil: A Modular Matrix-Based ..."
Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
Huanqi Cao, Shizhi Tang, Qianchao Zhu, Bowen Yu, and Wenguang Chen
(Tsinghua University, China; Peking University, China; Pengcheng Laboratory, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Carbin, Michael |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Turaco: Complexity-Guided ..."
Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs
Alex Renda, Yi Ding, and Michael Carbin
(Massachusetts Institute of Technology, USA; Purdue University, USA)
Publisher's Version
Published Artifact
Archive submitted (4.1 MB)
Artifacts Available
|
| |
Castegren, Elias |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reference Capabilities for ..."
Reference Capabilities for Flexible Memory Management
Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, and Tobias Wrigstad
(Uppsala University, Sweden; Microsoft Azure Research, USA; Imperial College London, UK; Research & Programming, New Zealand; Microsoft Azure Research, UK)
Publisher's Version
|
| |
Cederquist, Jan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AtomiS: Data-Centric Synchronization ..."
AtomiS: Data-Centric Synchronization Made Practical
Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, and António Ravara
(Nova University of Lisbon, Portugal; University of Lisbon, Portugal)
Publisher's Version
|
| |
Chang, Bor-Yuh Evan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Historia: Refuting Callback ..."
Historia: Refuting Callback Reachability with Message-History Logics
Shawn Meier, Sergio Mover, Gowtham Kaki, and Bor-Yuh Evan Chang
(University of Colorado Boulder, USA; École Polytechnique - CNRS - Institut Polytechnique de Paris, France; Amazon, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Chasins, Sarah E. |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "How Domain Experts Use an ..."
How Domain Experts Use an Embedded DSL
Lisa Rennels and Sarah E. Chasins
(University of California at Berkeley, USA)
Publisher's Version
|
| |
Chatterjee, Bodhisatwa |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Beacons: An End-to-End Compiler ..."
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Girish Mururu, Sharjeel Khan, Bodhisatwa Chatterjee, Chao Chen, Chris Porter, Ada Gavrilovska, and Santosh Pande
(Georgia Institute of Technology, USA; IBM Research, USA)
Publisher's Version
Published Artifact
Archive submitted (3.8 MB)
Artifacts Available
|
| |
Cheeseman, Luke |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
When Concurrency Matters: Behaviour-Oriented Concurrency
Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, and Paul Liétar
(Imperial College London, UK; Microsoft Azure Research, UK; Microsoft Research, UK; Microsoft, UK; Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Chen, Chao |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Beacons: An End-to-End Compiler ..."
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Girish Mururu, Sharjeel Khan, Bodhisatwa Chatterjee, Chao Chen, Chris Porter, Ada Gavrilovska, and Santosh Pande
(Georgia Institute of Technology, USA; IBM Research, USA)
Publisher's Version
Published Artifact
Archive submitted (3.8 MB)
Artifacts Available
|
| |
Chen, Qiaochu |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Data Extraction via Semantic ..."
Data Extraction via Semantic Regular Expression Synthesis
Qiaochu Chen, Arko Banerjee, Çağatay Demiralp, Greg Durrett, and Işıl Dillig
(University of Texas at Austin, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Chen, Qinlin |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Essence of Verilog: A ..."
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, and Yue Li
(Nanjing University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Chen, Taolue |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compositional Verification ..."
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, and Francois-Xavier Standaert
(ShanghaiTech University, China; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; University of London, UK; Université Catholique de Louvain, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Chen, Wenguang |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mat2Stencil: A Modular Matrix-Based ..."
Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
Huanqi Cao, Shizhi Tang, Qianchao Zhu, Bowen Yu, and Wenguang Chen
(Tsinghua University, China; Peking University, China; Pengcheng Laboratory, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Chen, Yu-Fang |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Solving String Constraints ..."
Solving String Constraints with Lengths by Stabilization
Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, and Juraj Síč
(Academia Sinica, Taiwan; Brno University of Technology, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Chisnall, David |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
When Concurrency Matters: Behaviour-Oriented Concurrency
Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, and Paul Liétar
(Imperial College London, UK; Microsoft Azure Research, UK; Microsoft Research, UK; Microsoft, UK; Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Chitre, Khushboo |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rapid: Region-Based Pointer ..."
Rapid: Region-Based Pointer Disambiguation
Khushboo Chitre, Piyus Kedia, and Rahul Purandare
(IIIT Delhi, India; University of Nebraska-Lincoln, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Cho, Minki |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Stuttering for Free ..."
Stuttering for Free
Minki Cho, Youngju Song, Dongjae Lee, Lennard Gäher, and Derek Dreyer
(Seoul National University, Republic of Korea; MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Chocholatý, David |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Solving String Constraints ..."
Solving String Constraints with Lengths by Stabilization
Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, and Juraj Síč
(Academia Sinica, Taiwan; Brno University of Technology, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Choi, Jaemin |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Modular Verification of Safe ..."
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, and Jeehoon Kang
(KAIST, Republic of Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Chuang, Cheng-En |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Validating IoT Devices with ..."
Validating IoT Devices with Rate-Based Session Types
Grant Iraci, Cheng-En Chuang, Raymond Hu, and Lukasz Ziarek
(University at Buffalo, USA; Queen Mary University of London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Clebsch, Sylvan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reference Capabilities for ..."
Reference Capabilities for Flexible Memory Management
Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, and Tobias Wrigstad
(Uppsala University, Sweden; Microsoft Azure Research, USA; Imperial College London, UK; Research & Programming, New Zealand; Microsoft Azure Research, UK)
Publisher's Version
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
When Concurrency Matters: Behaviour-Oriented Concurrency
Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, and Paul Liétar
(Imperial College London, UK; Microsoft Azure Research, UK; Microsoft Research, UK; Microsoft, UK; Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Conrado, Giovanna Kobus |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Bounded Pathwidth of Control-Flow ..."
The Bounded Pathwidth of Control-Flow Graphs
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, and Chun Kit Lam
(Hong Kong University of Science and Technology, Hong Kong)
Publisher's Version
Published Artifact
Artifacts Available
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Exploiting the Sparseness ..."
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Kerim Kochekov, Yun Chen Tsai, and Ahmed Khaled Zaher
(Hong Kong University of Science and Technology, Hong Kong)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Costea, Andreea |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Adventure of a Lifetime: Extract ..."
Adventure of a Lifetime: Extract Method Refactoring for Rust
Sewen Thy, Andreea Costea, Kiran Gopinathan, and Ilya Sergey
(Yale-NUS College, Singapore; National University of Singapore, Singapore)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Crichton, Will |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Grounded Conceptual Model ..."
A Grounded Conceptual Model for Ownership Types in Rust
Will Crichton, Gavin Gray, and Shriram Krishnamurthi
(Brown University, USA; ETH Zurich, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Cui, Chen |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Greedy Implicit Bounded Quantification ..."
Greedy Implicit Bounded Quantification
Chen Cui, Shengyi Jiang, and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Dagnino, Francesco
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Resource-Aware Soundness for ..."
Resource-Aware Soundness for Big-Step Semantics
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, and Elena Zucca
(University of Genoa, Italy; University of Eastern Piedmont, Italy)
Publisher's Version
|
| |
D'Antoni, Loris |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Specifications ..."
Synthesizing Specifications
Kanghee Park, Loris D'Antoni, and Thomas Reps
(University of Wisconsin-Madison, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Dardha, Ornela |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Structural Subtyping as Parametric ..."
Structural Subtyping as Parametric Polymorphism
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, and Sam Lindley
(University of Edinburgh, UK; Huawei Zurich Research Center, Switzerland; Heriot-Watt University, UK; TU Berlin, Germany; University of Glasgow, UK)
Publisher's Version
Archive submitted (1.1 MB)
|
| |
De Gabrielle, Stephen |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, and Sam Tobin-Hochstadt
(University of Utah, USA; independent, USA; independent, UK; Northwestern University, USA; National University of Singapore, Singapore; Brown University, USA; Reach, USA; University of Washington, USA; independent, Denmark; Indiana University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
De Meuter, Wolfgang |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Secure RDTs: Enforcing Access ..."
Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data
Thierry Renaux, Sam Van den Vonder, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Demiralp, Çağatay |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Data Extraction via Semantic ..."
Data Extraction via Semantic Regular Expression Synthesis
Qiaochu Chen, Arko Banerjee, Çağatay Demiralp, Greg Durrett, and Işıl Dillig
(University of Texas at Austin, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Desai, Ankush |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Message Chains for Distributed ..."
Message Chains for Distributed System Verification
Federico Mora, Ankush Desai, Elizabeth Polgreen, and Sanjit A. Seshia
(University of California at Berkeley, USA; Amazon Web Services, USA; University of Edinburgh, UK)
Publisher's Version
|
| |
Dillig, Işıl |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inductive Program Synthesis ..."
Inductive Program Synthesis Guided by Observational Program Similarity
Jack Feser, Işıl Dillig, and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA; University of Texas at Austin, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Data Extraction via Semantic ..."
Data Extraction via Semantic Regular Expression Synthesis
Qiaochu Chen, Arko Banerjee, Çağatay Demiralp, Greg Durrett, and Işıl Dillig
(University of Texas at Austin, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Dimoulas, Christos |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "How Profilers Can Help Navigate ..."
How Profilers Can Help Navigate Type Migration
Ben Greenman, Matthias Felleisen, and Christos Dimoulas
(University of Utah, USA; Northeastern University, USA; Northwestern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Ding, Yi |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Turaco: Complexity-Guided ..."
Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs
Alex Renda, Yi Ding, and Michael Carbin
(Massachusetts Institute of Technology, USA; Purdue University, USA)
Publisher's Version
Published Artifact
Archive submitted (4.1 MB)
Artifacts Available
|
| |
Dreyer, Derek |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Melocoton: A Program Logic ..."
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Armaël Guéneau, Johannes Hostert, Simon Spies, Michael Sammler, Lars Birkedal, and Derek Dreyer
(Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria, France; Saarland University, Germany; MPI-SWS, Germany; Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Stuttering for Free ..."
Stuttering for Free
Minki Cho, Youngju Song, Dongjae Lee, Lennard Gäher, and Derek Dreyer
(Seoul National University, Republic of Korea; MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Drossopoulou, Sophia |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reference Capabilities for ..."
Reference Capabilities for Flexible Memory Management
Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, and Tobias Wrigstad
(Uppsala University, Sweden; Microsoft Azure Research, USA; Imperial College London, UK; Research & Programming, New Zealand; Microsoft Azure Research, UK)
Publisher's Version
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
When Concurrency Matters: Behaviour-Oriented Concurrency
Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, and Paul Liétar
(Imperial College London, UK; Microsoft Azure Research, UK; Microsoft Research, UK; Microsoft, UK; Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
D'Souza, Matt |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "TASTyTruffle: Just-in-Time ..."
TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism
Matt D'Souza, James You, Ondřej Lhoták, and Aleksandar Prokopec
(University of Waterloo, Canada; Oracle Labs, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Du, Kuntai |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Run-Time Prevention of Software ..."
Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Chengcheng Wan, Yuhan Liu, Kuntai Du, Henry Hoffmann, Junchen Jiang, Michael Maire, and Shan Lu
(East China Normal University, China; University of Chicago, USA; Microsoft, Redmon, USA)
Publisher's Version
|
| |
Durrett, Greg |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Data Extraction via Semantic ..."
Data Extraction via Semantic Regular Expression Synthesis
Qiaochu Chen, Arko Banerjee, Çağatay Demiralp, Greg Durrett, and Işıl Dillig
(University of Texas at Austin, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Erdweg, Sebastian
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Interactive Debugging of Datalog ..."
Interactive Debugging of Datalog Programs
André Pacak and Sebastian Erdweg
(JGU Mainz, Germany)
Publisher's Version
|
| |
Ernst, Michael D. |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, and Manu Sridharan
(University of California at Riverside, USA; Microsoft Research, India; University of Washington, USA; New Jersey Institute of Technology, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Farokhnia, Soroush
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Asparagus: Automated Synthesis ..."
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
Zhuo Cai, Soroush Farokhnia, Amir Kafshdar Goharshady, and S. Hitarth
(Hong Kong University of Science and Technology, Hong Kong)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Felleisen, Matthias |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "How Profilers Can Help Navigate ..."
How Profilers Can Help Navigate Type Migration
Ben Greenman, Matthias Felleisen, and Christos Dimoulas
(University of Utah, USA; Northeastern University, USA; Northwestern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Feser, Jack |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inductive Program Synthesis ..."
Inductive Program Synthesis Guided by Observational Program Similarity
Jack Feser, Işıl Dillig, and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA; University of Texas at Austin, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Findler, Robert Bruce |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, and Sam Tobin-Hochstadt
(University of Utah, USA; independent, USA; independent, UK; Northwestern University, USA; National University of Singapore, Singapore; Brown University, USA; Reach, USA; University of Washington, USA; independent, Denmark; Indiana University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Firth, Jack |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, and Sam Tobin-Hochstadt
(University of Utah, USA; independent, USA; independent, UK; Northwestern University, USA; National University of Singapore, Singapore; Brown University, USA; Reach, USA; University of Washington, USA; independent, Denmark; Indiana University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Fisher, Kathleen |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Saggitarius: A DSL for Specifying ..."
Saggitarius: A DSL for Specifying Grammatical Domains
Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, and David Walker
(Simon Fraser University, Canada; Princeton University, USA; Tufts University, USA)
Publisher's Version
|
| |
Flatt, Matthew |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, and Sam Tobin-Hochstadt
(University of Utah, USA; independent, USA; independent, UK; Northwestern University, USA; National University of Singapore, Singapore; Brown University, USA; Reach, USA; University of Washington, USA; independent, Denmark; Indiana University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Flatt, Oliver |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, and Chandrakana Nandi
(University of Washington, USA; Certora, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Foster, Nate |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formal Abstractions for Packet ..."
Formal Abstractions for Packet Scheduling
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, and Dexter Kozen
(Cornell University, USA; Open University of the Netherlands, Netherlands; University of Amsterdam, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Fu, Rongxiao |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Structural Subtyping as Parametric ..."
Structural Subtyping as Parametric Polymorphism
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, and Sam Lindley
(University of Edinburgh, UK; Huawei Zurich Research Center, Switzerland; Heriot-Watt University, UK; TU Berlin, Germany; University of Glasgow, UK)
Publisher's Version
Archive submitted (1.1 MB)
|
| |
Gäher, Lennard
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Stuttering for Free ..."
Stuttering for Free
Minki Cho, Youngju Song, Dongjae Lee, Lennard Gäher, and Derek Dreyer
(Seoul National University, Republic of Korea; MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Gao, Pengfei |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compositional Verification ..."
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, and Francois-Xavier Standaert
(ShanghaiTech University, China; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; University of London, UK; Université Catholique de Louvain, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Gavrilovska, Ada |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Beacons: An End-to-End Compiler ..."
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Girish Mururu, Sharjeel Khan, Bodhisatwa Chatterjee, Chao Chen, Chris Porter, Ada Gavrilovska, and Santosh Pande
(Georgia Institute of Technology, USA; IBM Research, USA)
Publisher's Version
Published Artifact
Archive submitted (3.8 MB)
Artifacts Available
|
| |
Gharat, Pritam |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, and Manu Sridharan
(University of California at Riverside, USA; Microsoft Research, India; University of Washington, USA; New Jersey Institute of Technology, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Ghorbani, Mahdi |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compiling Structured Tensor ..."
Compiling Structured Tensor Algebra
Mahdi Ghorbani, Mathieu Huot, Shideh Hashemian, and Amir Shaikhha
(University of Edinburgh, UK; University of Oxford, UK)
Publisher's Version
Artifacts Functional
|
| |
Giannini, Paola |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Resource-Aware Soundness for ..."
Resource-Aware Soundness for Big-Step Semantics
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, and Elena Zucca
(University of Genoa, Italy; University of Eastern Piedmont, Italy)
Publisher's Version
|
| |
Giovannini, Eric |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Gradual Typing for Effect ..."
Gradual Typing for Effect Handlers
Max S. New, Eric Giovannini, and Daniel R. Licata
(University of Michigan, USA; Wesleyan University, USA)
Publisher's Version
|
| |
Giunti, Marco |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AtomiS: Data-Centric Synchronization ..."
AtomiS: Data-Centric Synchronization Made Practical
Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, and António Ravara
(Nova University of Lisbon, Portugal; University of Lisbon, Portugal)
Publisher's Version
|
| |
Goharshady, Amir Kafshdar |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Bounded Pathwidth of Control-Flow ..."
The Bounded Pathwidth of Control-Flow Graphs
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, and Chun Kit Lam
(Hong Kong University of Science and Technology, Hong Kong)
Publisher's Version
Published Artifact
Artifacts Available
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Asparagus: Automated Synthesis ..."
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
Zhuo Cai, Soroush Farokhnia, Amir Kafshdar Goharshady, and S. Hitarth
(Hong Kong University of Science and Technology, Hong Kong)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Exploiting the Sparseness ..."
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Kerim Kochekov, Yun Chen Tsai, and Ahmed Khaled Zaher
(Hong Kong University of Science and Technology, Hong Kong)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Gopinathan, Kiran |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, and Sam Tobin-Hochstadt
(University of Utah, USA; independent, USA; independent, UK; Northwestern University, USA; National University of Singapore, Singapore; Brown University, USA; Reach, USA; University of Washington, USA; independent, Denmark; Indiana University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Adventure of a Lifetime: Extract ..."
Adventure of a Lifetime: Extract Method Refactoring for Rust
Sewen Thy, Andreea Costea, Kiran Gopinathan, and Ilya Sergey
(Yale-NUS College, Singapore; National University of Singapore, Singapore)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Gourdin, Léo |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formally Verifying Optimizations ..."
Formally Verifying Optimizations with Block Simulations
Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, and Alexandre Bérard
(Université Grenoble Alpes - CNRS - Grenoble INP - Verimag, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Gray, Gavin |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Grounded Conceptual Model ..."
A Grounded Conceptual Model for Ownership Types in Rust
Will Crichton, Gavin Gray, and Shriram Krishnamurthi
(Brown University, USA; ETH Zurich, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Greenman, Ben |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "How Profilers Can Help Navigate ..."
How Profilers Can Help Navigate Type Migration
Ben Greenman, Matthias Felleisen, and Christos Dimoulas
(University of Utah, USA; Northeastern University, USA; Northwestern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, and Sam Tobin-Hochstadt
(University of Utah, USA; independent, USA; independent, UK; Northwestern University, USA; National University of Singapore, Singapore; Brown University, USA; Reach, USA; University of Washington, USA; independent, Denmark; Indiana University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Gu, Bin |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..."
Towards Better Semantics Exploration for Browser Fuzzing
Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li, and Bin Gu
(Tsinghua University, China; Harbin Institute of Technology, China; National University of Defense Technology, China; Beijing Institute of Control Engineering, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Gualandi, Hugo Musso |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reusing Just-in-Time Compiled ..."
Reusing Just-in-Time Compiled Code
Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, and Jan Vitek
(IIT Mandi, India; Czech Technical University in Prague, Czechia; IIT Bombay, India; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Guanciale, Roberto |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "P4R-Type: A Verified API for ..."
P4R-Type: A Verified API for P4 Control Plane Programs
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, and Alceste Scalas
(DTU, Denmark; KTH Royal Institute of Technology, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Guéneau, Armaël |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Melocoton: A Program Logic ..."
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Armaël Guéneau, Johannes Hostert, Simon Spies, Michael Sammler, Lars Birkedal, and Derek Dreyer
(Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria, France; Saarland University, Germany; MPI-SWS, Germany; Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Gueta, Guy |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Counterexample Driven Quantifier ..."
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Orr Tamir, Marcelo Taube, Kenneth L. McMillan, Sharon Shoham, Jon Howell, Guy Gueta, and Mooly Sagiv
(Tel Aviv University, Israel; University of Texas at Austin, USA; VMware Research, USA; VMware Research, Israel)
Publisher's Version
|
| |
Guha, Arjun |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..."
Continuing WebAssembly with Effect Handlers
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, and Sam Lindley
(Northeastern University, USA; Independent, Germany; Roblox, USA; Microsoft Research, USA; Huawei Zurich Research Center, Switzerland; Tarides, India; IIT Madras, India; University of Ljubljana, Slovenia; Institute of Mathematics, Physics, and Mechanics, Ljubljana, Slovenia; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Gui, Yujiang |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Container-Usage-Pattern-Based ..."
A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
Dongjie He, Yujiang Gui, Wei Li, Yonggang Tao, Changwei Zou, Yulei Sui, and Jingling Xue
(UNSW, Australia)
Publisher's Version
|
| |
Guo, Lihua |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..."
Towards Better Semantics Exploration for Browser Fuzzing
Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li, and Bin Gu
(Tsinghua University, China; Harbin Institute of Technology, China; National University of Defense Technology, China; Beijing Institute of Control Engineering, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Haas, Thomas
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Static Analysis of Memory ..."
Static Analysis of Memory Models for SMT Encodings
Thomas Haas, René Maseli, Roland Meyer, and Hernán Ponce de León
(TU Braunschweig, Germany; Huawei, Germany)
Publisher's Version
Published Artifact
Archive submitted (530 kB)
Artifacts Available
Artifacts Functional
|
| |
Haller, Philipp |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "P4R-Type: A Verified API for ..."
P4R-Type: A Verified API for P4 Control Plane Programs
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, and Alceste Scalas
(DTU, Denmark; KTH Royal Institute of Technology, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Hance, Travis |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Leaf: Modularity for Temporary ..."
Leaf: Modularity for Temporary Sharing in Separation Logic
Travis Hance, Jon Howell, Oded Padon, and Bryan Parno
(Carnegie Mellon University, USA; VMware Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Hashemian, Shideh |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compiling Structured Tensor ..."
Compiling Structured Tensor Algebra
Mahdi Ghorbani, Mathieu Huot, Shideh Hashemian, and Amir Shaikhha
(University of Edinburgh, UK; University of Oxford, UK)
Publisher's Version
Artifacts Functional
|
| |
Havlena, Vojtěch |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Solving String Constraints ..."
Solving String Constraints with Lengths by Stabilization
Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, and Juraj Síč
(Academia Sinica, Taiwan; Brno University of Technology, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
He, Dongjie |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Container-Usage-Pattern-Based ..."
A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
Dongjie He, Yujiang Gui, Wei Li, Yonggang Tao, Changwei Zou, Yulei Sui, and Jingling Xue
(UNSW, Australia)
Publisher's Version
|
| |
He, Fei |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Automated Ambiguity Detection ..."
Automated Ambiguity Detection in Layout-Sensitive Grammars
Jiangyi Liu, Fengmin Zhu, and Fei He
(Tsinghua University, China; CISPA Helmholtz Center for Information Security, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Henriksen, Troels |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Fast and Efficient Boolean ..."
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems
Magnus Madsen, Jaco van de Pol, and Troels Henriksen
(Aarhus University, Denmark; University of Copenhagen, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Hillerström, Daniel |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..."
Continuing WebAssembly with Effect Handlers
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, and Sam Lindley
(Northeastern University, USA; Independent, Germany; Roblox, USA; Microsoft Research, USA; Huawei Zurich Research Center, Switzerland; Tarides, India; IIT Madras, India; University of Ljubljana, Slovenia; Institute of Mathematics, Physics, and Mechanics, Ljubljana, Slovenia; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Structural Subtyping as Parametric ..."
Structural Subtyping as Parametric Polymorphism
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, and Sam Lindley
(University of Edinburgh, UK; Huawei Zurich Research Center, Switzerland; Heriot-Watt University, UK; TU Berlin, Germany; University of Glasgow, UK)
Publisher's Version
Archive submitted (1.1 MB)
|
| |
Hitarth, S. |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Asparagus: Automated Synthesis ..."
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
Zhuo Cai, Soroush Farokhnia, Amir Kafshdar Goharshady, and S. Hitarth
(Hong Kong University of Science and Technology, Hong Kong)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Hoffmann, Henry |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Run-Time Prevention of Software ..."
Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Chengcheng Wan, Yuhan Liu, Kuntai Du, Henry Hoffmann, Junchen Jiang, Michael Maire, and Shan Lu
(East China Normal University, China; University of Chicago, USA; Microsoft, Redmon, USA)
Publisher's Version
|
| |
Holík, Lukáš |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Solving String Constraints ..."
Solving String Constraints with Lengths by Stabilization
Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, and Juraj Síč
(Academia Sinica, Taiwan; Brno University of Technology, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Hostert, Johannes |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Melocoton: A Program Logic ..."
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Armaël Guéneau, Johannes Hostert, Simon Spies, Michael Sammler, Lars Birkedal, and Derek Dreyer
(Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria, France; Saarland University, Germany; MPI-SWS, Germany; Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Howell, Jon |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Leaf: Modularity for Temporary ..."
Leaf: Modularity for Temporary Sharing in Separation Logic
Travis Hance, Jon Howell, Oded Padon, and Bryan Parno
(Carnegie Mellon University, USA; VMware Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Counterexample Driven Quantifier ..."
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Orr Tamir, Marcelo Taube, Kenneth L. McMillan, Sharon Shoham, Jon Howell, Guy Gueta, and Mooly Sagiv
(Tel Aviv University, Israel; University of Texas at Austin, USA; VMware Research, USA; VMware Research, Israel)
Publisher's Version
|
| |
Hsieh, Chiao |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Perception Contracts for Safety ..."
Perception Contracts for Safety of ML-Enabled Systems
Angello Astorga, Chiao Hsieh, P. Madhusudan, and Sayan Mitra
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
|
| |
Hu, Raymond |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Validating IoT Devices with ..."
Validating IoT Devices with Rate-Based Session Types
Grant Iraci, Cheng-En Chuang, Raymond Hu, and Lukasz Ziarek
(University at Buffalo, USA; Queen Mary University of London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Hua, David |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Initializing Global Objects: ..."
Initializing Global Objects: Time and Order
Fengyun Liu, Ondřej Lhoták, David Hua, and Enze Xing
(Oracle Labs, Switzerland; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Huang, Yifei |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Explainable Program Synthesis ..."
Explainable Program Synthesis by Localizing Specifications
Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, and Mukund Raghothaman
(University of Southern California, USA; Purdue University, USA; Microsoft, USA)
Publisher's Version
Published Artifact
Archive submitted (430 kB)
Artifacts Available
Artifacts Reusable
|
| |
Huot, Mathieu |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compiling Structured Tensor ..."
Compiling Structured Tensor Algebra
Mahdi Ghorbani, Mathieu Huot, Shideh Hashemian, and Amir Shaikhha
(University of Edinburgh, UK; University of Oxford, UK)
Publisher's Version
Artifacts Functional
|
| |
Iraci, Grant
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Validating IoT Devices with ..."
Validating IoT Devices with Rate-Based Session Types
Grant Iraci, Cheng-En Chuang, Raymond Hu, and Lukasz Ziarek
(University at Buffalo, USA; Queen Mary University of London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Jhala, Ranjit
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Complete First-Order Reasoning ..."
Complete First-Order Reasoning for Properties of Functional Programs
Adithya Murali, Lucas Peña, Ranjit Jhala, and P. Madhusudan
(University of Illinois at Urbana-Champaign, USA; University of California at San Diego, USA)
Publisher's Version
|
| |
Jia, Songlin |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Graph IRs for Impure Higher-Order ..."
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Oliver Bračevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, and Tiark Rompf
(Purdue University, USA; Galois, USA; Augusta University, USA)
Publisher's Version
|
| |
Jiang, Junchen |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Run-Time Prevention of Software ..."
Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Chengcheng Wan, Yuhan Liu, Kuntai Du, Henry Hoffmann, Junchen Jiang, Michael Maire, and Shan Lu
(East China Normal University, China; University of Chicago, USA; Microsoft, Redmon, USA)
Publisher's Version
|
| |
Jiang, Shengyi |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Greedy Implicit Bounded Quantification ..."
Greedy Implicit Bounded Quantification
Chen Cui, Shengyi Jiang, and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Jiang, Yu |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..."
Towards Better Semantics Exploration for Browser Fuzzing
Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li, and Bin Gu
(Tsinghua University, China; Harbin Institute of Technology, China; National University of Defense Technology, China; Beijing Institute of Control Engineering, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Building Dynamic System Call Sandbox with Partial Order Analysis
Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang, and Jiaguang Sun
(Tsinghua University, China; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Jiang, Yuxuan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Graph IRs for Impure Higher-Order ..."
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Oliver Bračevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, and Tiark Rompf
(Purdue University, USA; Galois, USA; Augusta University, USA)
Publisher's Version
|
| |
Jung, Jaehwang |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Modular Verification of Safe ..."
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, and Jeehoon Kang
(KAIST, Republic of Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Kaki, Gowtham
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Verifying Indistinguishability ..."
Verifying Indistinguishability of Privacy-Preserving Protocols
Kirby Linvill, Gowtham Kaki, and Eric Wustrow
(University of Colorado Boulder, USA)
Publisher's Version
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Historia: Refuting Callback ..."
Historia: Refuting Callback Reachability with Message-History Logics
Shawn Meier, Sergio Mover, Gowtham Kaki, and Bor-Yuh Evan Chang
(University of Colorado Boulder, USA; École Polytechnique - CNRS - Institut Polytechnique de Paris, France; Amazon, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Kaleba, Sophie |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AST vs. Bytecode: Interpreters ..."
AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
Octave Larose, Sophie Kaleba, Humphrey Burchell, and Stefan Marr
(University of Kent, UK)
Publisher's Version
Published Artifact
Archive submitted (360 kB)
Artifacts Available
Artifacts Reusable
|
| |
Kaminski, Benjamin Lucien |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Deductive Verification Infrastructure ..."
A Deductive Verification Infrastructure for Probabilistic Programs
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Christoph Matheja
(RWTH Aachen University, Germany; Saarland University, Germany; University College London, UK; DTU, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Kandemir, Mahmut Taylan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Quantifying and Mitigating ..."
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
Cong Ma, Dinghao Wu, Gang Tan, Mahmut Taylan Kandemir, and Danfeng Zhang
(University of Waterloo, Canada; Pennsylvania State University, USA; Duke University, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Kang, Jeehoon |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Modular Verification of Safe ..."
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, and Jeehoon Kang
(KAIST, Republic of Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Kappé, Tobias |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formal Abstractions for Packet ..."
Formal Abstractions for Packet Scheduling
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, and Dexter Kozen
(Cornell University, USA; Open University of the Netherlands, Netherlands; University of Amsterdam, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Kasivajhula, Siddhartha |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, and Sam Tobin-Hochstadt
(University of Utah, USA; independent, USA; independent, UK; Northwestern University, USA; National University of Singapore, Singapore; Brown University, USA; Reach, USA; University of Washington, USA; independent, Denmark; Indiana University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Katoen, Joost-Pieter |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Deductive Verification Infrastructure ..."
A Deductive Verification Infrastructure for Probabilistic Programs
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Christoph Matheja
(RWTH Aachen University, Germany; Saarland University, Germany; University College London, UK; DTU, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Kavanagh, Ryan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mechanizing Session-Types ..."
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity
Chuta Sano, Ryan Kavanagh, and Brigitte Pientka
(McGill University, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Kedia, Piyus |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rapid: Region-Based Pointer ..."
Rapid: Region-Based Pointer Disambiguation
Khushboo Chitre, Piyus Kedia, and Rahul Purandare
(IIIT Delhi, India; University of Nebraska-Lincoln, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Kellogg, Martin |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, and Manu Sridharan
(University of California at Riverside, USA; Microsoft Research, India; University of Washington, USA; New Jersey Institute of Technology, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Khan, Sharjeel |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Beacons: An End-to-End Compiler ..."
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Girish Mururu, Sharjeel Khan, Bodhisatwa Chatterjee, Chao Chen, Chris Porter, Ada Gavrilovska, and Santosh Pande
(Georgia Institute of Technology, USA; IBM Research, USA)
Publisher's Version
Published Artifact
Archive submitted (3.8 MB)
Artifacts Available
|
| |
Kim, Jaewoo |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Modular Verification of Safe ..."
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, and Jeehoon Kang
(KAIST, Republic of Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Knauth, Alex |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, and Sam Tobin-Hochstadt
(University of Utah, USA; independent, USA; independent, UK; Northwestern University, USA; National University of Singapore, Singapore; Brown University, USA; Reach, USA; University of Washington, USA; independent, Denmark; Indiana University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Kochekov, Kerim |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Exploiting the Sparseness ..."
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Kerim Kochekov, Yun Chen Tsai, and Ahmed Khaled Zaher
(Hong Kong University of Science and Technology, Hong Kong)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Kogias, Marios |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
When Concurrency Matters: Behaviour-Oriented Concurrency
Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, and Paul Liétar
(Imperial College London, UK; Microsoft Azure Research, UK; Microsoft Research, UK; Microsoft, UK; Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Kozen, Dexter |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formal Abstractions for Packet ..."
Formal Abstractions for Packet Scheduling
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, and Dexter Kozen
(Cornell University, USA; Open University of the Netherlands, Netherlands; University of Amsterdam, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Krishnamurthi, Shriram |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Grounded Conceptual Model ..."
A Grounded Conceptual Model for Ownership Types in Rust
Will Crichton, Gavin Gray, and Shriram Krishnamurthi
(Brown University, USA; ETH Zurich, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Krynski, Sebastián |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reusing Just-in-Time Compiled ..."
Reusing Just-in-Time Compiled Code
Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, and Jan Vitek
(IIT Mandi, India; Czech Technical University in Prague, Czechia; IIT Bombay, India; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Lahiri, Shuvendu K.
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, and Manu Sridharan
(University of California at Riverside, USA; Microsoft Research, India; University of Washington, USA; New Jersey Institute of Technology, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Lal, Akash |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, and Manu Sridharan
(University of California at Riverside, USA; Microsoft Research, India; University of Washington, USA; New Jersey Institute of Technology, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Lam, Chun Kit |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Bounded Pathwidth of Control-Flow ..."
The Bounded Pathwidth of Control-Flow Graphs
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, and Chun Kit Lam
(Hong Kong University of Science and Technology, Hong Kong)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Larose, Octave |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AST vs. Bytecode: Interpreters ..."
AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
Octave Larose, Sophie Kaleba, Humphrey Burchell, and Stefan Marr
(University of Kent, UK)
Publisher's Version
Published Artifact
Archive submitted (360 kB)
Artifacts Available
Artifacts Reusable
|
| |
Larsen, Jens Kanstrup |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "P4R-Type: A Verified API for ..."
P4R-Type: A Verified API for P4 Control Plane Programs
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, and Alceste Scalas
(DTU, Denmark; KTH Royal Institute of Technology, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Laurel, Jacob |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Precise Static ..."
Synthesizing Precise Static Analyzers for Automatic Differentiation
Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA; Zhejiang University, China; VMware Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Lee, Dongjae |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Stuttering for Free ..."
Stuttering for Free
Minki Cho, Youngju Song, Dongjae Lee, Lennard Gäher, and Derek Dreyer
(Seoul National University, Republic of Korea; MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Lee, Edward |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Simple Reference Immutability ..."
Simple Reference Immutability for System F<:
Edward Lee and Ondřej Lhoták
(University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Lee, Janggun |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Modular Verification of Safe ..."
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, and Jeehoon Kang
(KAIST, Republic of Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Lei, Yan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Two Birds with One Stone: ..."
Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Shangwen Wang, Bo Lin, Zhensu Sun, Ming Wen, Yepang Liu, Yan Lei, and Xiaoguang Mao
(National University of Defense Technology, China; Singapore Management University, Singapore; Huazhong University of Science and Technology, China; Southern University of Science and Technology, China; Chongqing University, China)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Leijen, Daan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..."
Continuing WebAssembly with Effect Handlers
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, and Sam Lindley
(Northeastern University, USA; Independent, Germany; Roblox, USA; Microsoft Research, USA; Huawei Zurich Research Center, Switzerland; Tarides, India; IIT Madras, India; University of Ljubljana, Slovenia; Institute of Mathematics, Physics, and Mechanics, Ljubljana, Slovenia; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Lengál, Ondřej |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Solving String Constraints ..."
Solving String Constraints with Lengths by Stabilization
Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, and Juraj Síč
(Academia Sinica, Taiwan; Brno University of Technology, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Lhoták, Ondřej |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Simple Reference Immutability ..."
Simple Reference Immutability for System F<:
Edward Lee and Ondřej Lhoták
(University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Initializing Global Objects: ..."
Initializing Global Objects: Time and Order
Fengyun Liu, Ondřej Lhoták, David Hua, and Enze Xing
(Oracle Labs, Switzerland; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "TASTyTruffle: Just-in-Time ..."
TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism
Matt D'Souza, James You, Ondřej Lhoták, and Aleksandar Prokopec
(University of Waterloo, Canada; Oracle Labs, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Li, Shanshan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..."
Towards Better Semantics Exploration for Browser Fuzzing
Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li, and Bin Gu
(Tsinghua University, China; Harbin Institute of Technology, China; National University of Defense Technology, China; Beijing Institute of Control Engineering, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Li, Wei |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Container-Usage-Pattern-Based ..."
A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
Dongjie He, Yujiang Gui, Wei Li, Yonggang Tao, Changwei Zou, Yulei Sui, and Jingling Xue
(UNSW, Australia)
Publisher's Version
|
| |
Li, Yue |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Essence of Verilog: A ..."
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, and Yue Li
(Nanjing University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Liao, Qing |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..."
Towards Better Semantics Exploration for Browser Fuzzing
Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li, and Bin Gu
(Tsinghua University, China; Harbin Institute of Technology, China; National University of Defense Technology, China; Beijing Institute of Control Engineering, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Licata, Daniel R. |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Gradual Typing for Effect ..."
Gradual Typing for Effect Handlers
Max S. New, Eric Giovannini, and Daniel R. Licata
(University of Michigan, USA; Wesleyan University, USA)
Publisher's Version
|
| |
Liétar, Paul |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
When Concurrency Matters: Behaviour-Oriented Concurrency
Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, and Paul Liétar
(Imperial College London, UK; Microsoft Azure Research, UK; Microsoft Research, UK; Microsoft, UK; Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Lin, Bo |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Two Birds with One Stone: ..."
Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Shangwen Wang, Bo Lin, Zhensu Sun, Ming Wen, Yepang Liu, Yan Lei, and Xiaoguang Mao
(National University of Defense Technology, China; Singapore Management University, Singapore; Huazhong University of Science and Technology, China; Southern University of Science and Technology, China; Chongqing University, China)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Lindley, Sam |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..."
Continuing WebAssembly with Effect Handlers
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, and Sam Lindley
(Northeastern University, USA; Independent, Germany; Roblox, USA; Microsoft Research, USA; Huawei Zurich Research Center, Switzerland; Tarides, India; IIT Madras, India; University of Ljubljana, Slovenia; Institute of Mathematics, Physics, and Mechanics, Ljubljana, Slovenia; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Structural Subtyping as Parametric ..."
Structural Subtyping as Parametric Polymorphism
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, and Sam Lindley
(University of Edinburgh, UK; Huawei Zurich Research Center, Switzerland; Heriot-Watt University, UK; TU Berlin, Germany; University of Glasgow, UK)
Publisher's Version
Archive submitted (1.1 MB)
|
| |
Linvill, Kirby |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Verifying Indistinguishability ..."
Verifying Indistinguishability of Privacy-Preserving Protocols
Kirby Linvill, Gowtham Kaki, and Eric Wustrow
(University of Colorado Boulder, USA)
Publisher's Version
|
| |
Liu, Cong |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
MemPerf: Profiling Allocator-Induced Performance Slowdowns
Jin Zhou, Sam Silvestro, Steven (Jiaxun) Tang, Hanmei Yang, Hongyu Liu, Guangming Zeng, Bo Wu, Cong Liu, and Tongping Liu
(University of Massachusetts at Amherst, USA; University of Texas at San Antonio, USA; Synopsys, USA; Colorado School of Mines, USA; University of Texas at Dallas, USA)
Publisher's Version
|
| |
Liu, Fengyun |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Initializing Global Objects: ..."
Initializing Global Objects: Time and Order
Fengyun Liu, Ondřej Lhoták, David Hua, and Enze Xing
(Oracle Labs, Switzerland; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Liu, Hongyu |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
MemPerf: Profiling Allocator-Induced Performance Slowdowns
Jin Zhou, Sam Silvestro, Steven (Jiaxun) Tang, Hanmei Yang, Hongyu Liu, Guangming Zeng, Bo Wu, Cong Liu, and Tongping Liu
(University of Massachusetts at Amherst, USA; University of Texas at San Antonio, USA; Synopsys, USA; Colorado School of Mines, USA; University of Texas at Dallas, USA)
Publisher's Version
|
| |
Liu, Jiangyi |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Automated Ambiguity Detection ..."
Automated Ambiguity Detection in Layout-Sensitive Grammars
Jiangyi Liu, Fengmin Zhu, and Fei He
(Tsinghua University, China; CISPA Helmholtz Center for Information Security, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Liu, Tongping |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
MemPerf: Profiling Allocator-Induced Performance Slowdowns
Jin Zhou, Sam Silvestro, Steven (Jiaxun) Tang, Hanmei Yang, Hongyu Liu, Guangming Zeng, Bo Wu, Cong Liu, and Tongping Liu
(University of Massachusetts at Amherst, USA; University of Texas at San Antonio, USA; Synopsys, USA; Colorado School of Mines, USA; University of Texas at Dallas, USA)
Publisher's Version
|
| |
Liu, Yepang |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Two Birds with One Stone: ..."
Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Shangwen Wang, Bo Lin, Zhensu Sun, Ming Wen, Yepang Liu, Yan Lei, and Xiaoguang Mao
(National University of Defense Technology, China; Singapore Management University, Singapore; Huazhong University of Science and Technology, China; Southern University of Science and Technology, China; Chongqing University, China)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Liu, Yuhan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Run-Time Prevention of Software ..."
Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Chengcheng Wan, Yuhan Liu, Kuntai Du, Henry Hoffmann, Junchen Jiang, Michael Maire, and Shan Lu
(East China Normal University, China; University of Chicago, USA; Microsoft, Redmon, USA)
Publisher's Version
|
| |
Liu, Yunhe |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formal Abstractions for Packet ..."
Formal Abstractions for Packet Scheduling
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, and Dexter Kozen
(Cornell University, USA; Open University of the Netherlands, Netherlands; University of Amsterdam, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Loehr, Devon |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Saggitarius: A DSL for Specifying ..."
Saggitarius: A DSL for Specifying Grammatical Domains
Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, and David Walker
(Simon Fraser University, Canada; Princeton University, USA; Tufts University, USA)
Publisher's Version
|
| |
Lu, Shan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Run-Time Prevention of Software ..."
Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Chengcheng Wan, Yuhan Liu, Kuntai Du, Henry Hoffmann, Junchen Jiang, Michael Maire, and Shan Lu
(East China Normal University, China; University of Chicago, USA; Microsoft, Redmon, USA)
Publisher's Version
|
| |
Ma, Cong
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Quantifying and Mitigating ..."
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
Cong Ma, Dinghao Wu, Gang Tan, Mahmut Taylan Kandemir, and Danfeng Zhang
(University of Waterloo, Canada; Pennsylvania State University, USA; Duke University, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Ma, Xiaoxing |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Essence of Verilog: A ..."
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, and Yue Li
(Nanjing University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Madhusudan, P. |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Complete First-Order Reasoning ..."
Complete First-Order Reasoning for Properties of Functional Programs
Adithya Murali, Lucas Peña, Ranjit Jhala, and P. Madhusudan
(University of Illinois at Urbana-Champaign, USA; University of California at San Diego, USA)
Publisher's Version
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Perception Contracts for Safety ..."
Perception Contracts for Safety of ML-Enabled Systems
Angello Astorga, Chiao Hsieh, P. Madhusudan, and Sayan Mitra
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
|
| |
Madsen, Magnus |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Fast and Efficient Boolean ..."
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems
Magnus Madsen, Jaco van de Pol, and Troels Henriksen
(Aarhus University, Denmark; University of Copenhagen, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Maire, Michael |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Run-Time Prevention of Software ..."
Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Chengcheng Wan, Yuhan Liu, Kuntai Du, Henry Hoffmann, Junchen Jiang, Michael Maire, and Shan Lu
(East China Normal University, China; University of Chicago, USA; Microsoft, Redmon, USA)
Publisher's Version
|
| |
Mao, Xiaoguang |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Two Birds with One Stone: ..."
Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Shangwen Wang, Bo Lin, Zhensu Sun, Ming Wen, Yepang Liu, Yan Lei, and Xiaoguang Mao
(National University of Defense Technology, China; Singapore Management University, Singapore; Huazhong University of Science and Technology, China; Southern University of Science and Technology, China; Chongqing University, China)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Marr, Stefan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AST vs. Bytecode: Interpreters ..."
AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
Octave Larose, Sophie Kaleba, Humphrey Burchell, and Stefan Marr
(University of Kent, UK)
Publisher's Version
Published Artifact
Archive submitted (360 kB)
Artifacts Available
Artifacts Reusable
|
| |
Maseli, René |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Static Analysis of Memory ..."
Static Analysis of Memory Models for SMT Encodings
Thomas Haas, René Maseli, Roland Meyer, and Hernán Ponce de León
(TU Braunschweig, Germany; Huawei, Germany)
Publisher's Version
Published Artifact
Archive submitted (530 kB)
Artifacts Available
Artifacts Functional
|
| |
Matheja, Christoph |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Deductive Verification Infrastructure ..."
A Deductive Verification Infrastructure for Probabilistic Programs
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Christoph Matheja
(RWTH Aachen University, Germany; Saarland University, Germany; University College London, UK; DTU, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Matos, João |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AtomiS: Data-Centric Synchronization ..."
AtomiS: Data-Centric Synchronization Made Practical
Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, and António Ravara
(Nova University of Lisbon, Portugal; University of Lisbon, Portugal)
Publisher's Version
|
| |
McCarthy, Jay |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, and Sam Tobin-Hochstadt
(University of Utah, USA; independent, USA; independent, UK; Northwestern University, USA; National University of Singapore, Singapore; Brown University, USA; Reach, USA; University of Washington, USA; independent, Denmark; Indiana University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
McKinna, James |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Structural Subtyping as Parametric ..."
Structural Subtyping as Parametric Polymorphism
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, and Sam Lindley
(University of Edinburgh, UK; Huawei Zurich Research Center, Switzerland; Heriot-Watt University, UK; TU Berlin, Germany; University of Glasgow, UK)
Publisher's Version
Archive submitted (1.1 MB)
|
| |
McMillan, Kenneth L. |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Counterexample Driven Quantifier ..."
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Orr Tamir, Marcelo Taube, Kenneth L. McMillan, Sharon Shoham, Jon Howell, Guy Gueta, and Mooly Sagiv
(Tel Aviv University, Israel; University of Texas at Austin, USA; VMware Research, USA; VMware Research, Israel)
Publisher's Version
|
| |
Mehta, Meetesh Kalpesh |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reusing Just-in-Time Compiled ..."
Reusing Just-in-Time Compiled Code
Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, and Jan Vitek
(IIT Mandi, India; Czech Technical University in Prague, Czechia; IIT Bombay, India; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Meier, Shawn |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Historia: Refuting Callback ..."
Historia: Refuting Callback Reachability with Message-History Logics
Shawn Meier, Sergio Mover, Gowtham Kaki, and Bor-Yuh Evan Chang
(University of Colorado Boulder, USA; École Polytechnique - CNRS - Institut Polytechnique de Paris, France; Amazon, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Meyer, Roland |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Static Analysis of Memory ..."
Static Analysis of Memory Models for SMT Encodings
Thomas Haas, René Maseli, Roland Meyer, and Hernán Ponce de León
(TU Braunschweig, Germany; Huawei, Germany)
Publisher's Version
Published Artifact
Archive submitted (530 kB)
Artifacts Available
Artifacts Functional
|
| |
Micinski, Kristopher |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Bring Your Own Data Structures ..."
Bring Your Own Data Structures to Datalog
Arash Sahebolamri, Langston Barrett, Scott Moore, and Kristopher Micinski
(Syracuse University, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Miltner, Anders |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Saggitarius: A DSL for Specifying ..."
Saggitarius: A DSL for Specifying Grammatical Domains
Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, and David Walker
(Simon Fraser University, Canada; Princeton University, USA; Tufts University, USA)
Publisher's Version
|
| |
Misailovic, Sasa |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Precise Static ..."
Synthesizing Precise Static Analyzers for Automatic Differentiation
Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA; Zhejiang University, China; VMware Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Mitra, Sayan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Perception Contracts for Safety ..."
Perception Contracts for Safety of ML-Enabled Systems
Angello Astorga, Chiao Hsieh, P. Madhusudan, and Sayan Mitra
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
|
| |
Mohan, Anshuman |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formal Abstractions for Packet ..."
Formal Abstractions for Packet Scheduling
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, and Dexter Kozen
(Cornell University, USA; Open University of the Netherlands, Netherlands; University of Amsterdam, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Mong, Arnold |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Saggitarius: A DSL for Specifying ..."
Saggitarius: A DSL for Specifying Grammatical Domains
Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, and David Walker
(Simon Fraser University, Canada; Princeton University, USA; Tufts University, USA)
Publisher's Version
|
| |
Monniaux, David |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formally Verifying Optimizations ..."
Formally Verifying Optimizations with Block Simulations
Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, and Alexandre Bérard
(Université Grenoble Alpes - CNRS - Grenoble INP - Verimag, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Moore, Scott |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Bring Your Own Data Structures ..."
Bring Your Own Data Structures to Datalog
Arash Sahebolamri, Langston Barrett, Scott Moore, and Kristopher Micinski
(Syracuse University, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Mora, Federico |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Message Chains for Distributed ..."
Message Chains for Distributed System Verification
Federico Mora, Ankush Desai, Elizabeth Polgreen, and Sanjit A. Seshia
(University of California at Berkeley, USA; Amazon Web Services, USA; University of Edinburgh, UK)
Publisher's Version
|
| |
Mover, Sergio |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Historia: Refuting Callback ..."
Historia: Refuting Callback Reachability with Message-History Logics
Shawn Meier, Sergio Mover, Gowtham Kaki, and Bor-Yuh Evan Chang
(University of Colorado Boulder, USA; École Polytechnique - CNRS - Institut Polytechnique de Paris, France; Amazon, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Müller, Marius |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "From Capabilities to Regions: ..."
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, and Jonathan Immanuel Brachthäuser
(University of Tübingen, Germany; Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Murali, Adithya |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Complete First-Order Reasoning ..."
Complete First-Order Reasoning for Properties of Functional Programs
Adithya Murali, Lucas Peña, Ranjit Jhala, and P. Madhusudan
(University of Illinois at Urbana-Champaign, USA; University of California at San Diego, USA)
Publisher's Version
|
| |
Mururu, Girish |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Beacons: An End-to-End Compiler ..."
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Girish Mururu, Sharjeel Khan, Bodhisatwa Chatterjee, Chao Chen, Chris Porter, Ada Gavrilovska, and Santosh Pande
(Georgia Institute of Technology, USA; IBM Research, USA)
Publisher's Version
Published Artifact
Archive submitted (3.8 MB)
Artifacts Available
|
| |
Naik, Mayur
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mobius: Synthesizing Relational ..."
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, and Mukund Raghothaman
(University of Pennsylvania, USA; University of Southern California, USA)
Publisher's Version
|
| |
Nandi, Chandrakana |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, and Chandrakana Nandi
(University of Washington, USA; Certora, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Nazari, Amirmohammad |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Explainable Program Synthesis ..."
Explainable Program Synthesis by Localizing Specifications
Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, and Mukund Raghothaman
(University of Southern California, USA; Purdue University, USA; Microsoft, USA)
Publisher's Version
Published Artifact
Archive submitted (430 kB)
Artifacts Available
Artifacts Reusable
|
| |
New, Max S. |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Gradual Typing for Effect ..."
Gradual Typing for Effect Handlers
Max S. New, Eric Giovannini, and Daniel R. Licata
(University of Michigan, USA; Wesleyan University, USA)
Publisher's Version
|
| |
Noble, James |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reference Capabilities for ..."
Reference Capabilities for Flexible Memory Management
Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, and Tobias Wrigstad
(Uppsala University, Sweden; Microsoft Azure Research, USA; Imperial College London, UK; Research & Programming, New Zealand; Microsoft Azure Research, UK)
Publisher's Version
|
| |
Oliveira, Bruno C. d. S.
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Greedy Implicit Bounded Quantification ..."
Greedy Implicit Bounded Quantification
Chen Cui, Shengyi Jiang, and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Ostermann, Klaus |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "From Capabilities to Regions: ..."
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, and Jonathan Immanuel Brachthäuser
(University of Tübingen, Germany; Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Pacak, André
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Interactive Debugging of Datalog ..."
Interactive Debugging of Datalog Programs
André Pacak and Sebastian Erdweg
(JGU Mainz, Germany)
Publisher's Version
|
| |
Padon, Oded |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Leaf: Modularity for Temporary ..."
Leaf: Modularity for Temporary Sharing in Separation Logic
Travis Hance, Jon Howell, Oded Padon, and Bryan Parno
(Carnegie Mellon University, USA; VMware Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Pal, Anjali |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, and Chandrakana Nandi
(University of Washington, USA; Certora, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Pande, Santosh |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Beacons: An End-to-End Compiler ..."
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Girish Mururu, Sharjeel Khan, Bodhisatwa Chatterjee, Chao Chen, Chris Porter, Ada Gavrilovska, and Santosh Pande
(Georgia Institute of Technology, USA; IBM Research, USA)
Publisher's Version
Published Artifact
Archive submitted (3.8 MB)
Artifacts Available
|
| |
Park, Kanghee |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Specifications ..."
Synthesizing Specifications
Kanghee Park, Loris D'Antoni, and Thomas Reps
(University of Wisconsin-Madison, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Park, Sunho |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Modular Verification of Safe ..."
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, and Jeehoon Kang
(KAIST, Republic of Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Parkinson, Matthew J. |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reference Capabilities for ..."
Reference Capabilities for Flexible Memory Management
Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, and Tobias Wrigstad
(Uppsala University, Sweden; Microsoft Azure Research, USA; Imperial College London, UK; Research & Programming, New Zealand; Microsoft Azure Research, UK)
Publisher's Version
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
When Concurrency Matters: Behaviour-Oriented Concurrency
Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, and Paul Liétar
(Imperial College London, UK; Microsoft Azure Research, UK; Microsoft Research, UK; Microsoft, UK; Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Parno, Bryan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Leaf: Modularity for Temporary ..."
Leaf: Modularity for Temporary Sharing in Separation Logic
Travis Hance, Jon Howell, Oded Padon, and Bryan Parno
(Carnegie Mellon University, USA; VMware Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Parreaux, Lionel |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Getting into the Flow: Towards ..."
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
Ishan Bhanuka, Lionel Parreaux, David Binder, and Jonathan Immanuel Brachthäuser
(Hong Kong University of Science and Technology, China; University of Tübingen, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Paulino, Hervé |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AtomiS: Data-Centric Synchronization ..."
AtomiS: Data-Centric Synchronization Made Practical
Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, and António Ravara
(Nova University of Lisbon, Portugal; University of Lisbon, Portugal)
Publisher's Version
|
| |
Peña, Lucas |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Complete First-Order Reasoning ..."
Complete First-Order Reasoning for Properties of Functional Programs
Adithya Murali, Lucas Peña, Ranjit Jhala, and P. Madhusudan
(University of Illinois at Urbana-Champaign, USA; University of California at San Diego, USA)
Publisher's Version
|
| |
Peng, Xuanyu |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Efficient Memoization ..."
Synthesizing Efficient Memoization Algorithms
Yican Sun, Xuanyu Peng, and Yingfei Xiong
(Peking University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Petrou, George |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mobius: Synthesizing Relational ..."
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, and Mukund Raghothaman
(University of Pennsylvania, USA; University of Southern California, USA)
Publisher's Version
|
| |
Phillips, Sam |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, and Sam Tobin-Hochstadt
(University of Utah, USA; independent, USA; independent, UK; Northwestern University, USA; National University of Singapore, Singapore; Brown University, USA; Reach, USA; University of Washington, USA; independent, Denmark; Indiana University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Phipps-Costin, Luna |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..."
Continuing WebAssembly with Effect Handlers
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, and Sam Lindley
(Northeastern University, USA; Independent, Germany; Roblox, USA; Microsoft Research, USA; Huawei Zurich Research Center, Switzerland; Tarides, India; IIT Madras, India; University of Ljubljana, Slovenia; Institute of Mathematics, Physics, and Mechanics, Ljubljana, Slovenia; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Pientka, Brigitte |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mechanizing Session-Types ..."
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity
Chuta Sano, Ryan Kavanagh, and Brigitte Pientka
(McGill University, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Polgreen, Elizabeth |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Message Chains for Distributed ..."
Message Chains for Distributed System Verification
Federico Mora, Ankush Desai, Elizabeth Polgreen, and Sanjit A. Seshia
(University of California at Berkeley, USA; Amazon Web Services, USA; University of Edinburgh, UK)
Publisher's Version
|
| |
Pombrio, Justin |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Pretty Expressive Printer ..."
A Pretty Expressive Printer
Sorawee Porncharoenwase, Justin Pombrio, and Emina Torlak
(University of Washington, USA; Unaffiliated, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Ponce de León, Hernán |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Static Analysis of Memory ..."
Static Analysis of Memory Models for SMT Encodings
Thomas Haas, René Maseli, Roland Meyer, and Hernán Ponce de León
(TU Braunschweig, Germany; Huawei, Germany)
Publisher's Version
Published Artifact
Archive submitted (530 kB)
Artifacts Available
Artifacts Functional
|
| |
Porncharoenwase, Sorawee |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, and Sam Tobin-Hochstadt
(University of Utah, USA; independent, USA; independent, UK; Northwestern University, USA; National University of Singapore, Singapore; Brown University, USA; Reach, USA; University of Washington, USA; independent, Denmark; Indiana University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Pretty Expressive Printer ..."
A Pretty Expressive Printer
Sorawee Porncharoenwase, Justin Pombrio, and Emina Torlak
(University of Washington, USA; Unaffiliated, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Porter, Chris |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Beacons: An End-to-End Compiler ..."
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Girish Mururu, Sharjeel Khan, Bodhisatwa Chatterjee, Chao Chen, Chris Porter, Ada Gavrilovska, and Santosh Pande
(Georgia Institute of Technology, USA; IBM Research, USA)
Publisher's Version
Published Artifact
Archive submitted (3.8 MB)
Artifacts Available
|
| |
Pretnar, Matija |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..."
Continuing WebAssembly with Effect Handlers
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, and Sam Lindley
(Northeastern University, USA; Independent, Germany; Roblox, USA; Microsoft Research, USA; Huawei Zurich Research Center, Switzerland; Tarides, India; IIT Madras, India; University of Ljubljana, Slovenia; Institute of Mathematics, Physics, and Mechanics, Ljubljana, Slovenia; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Prokopec, Aleksandar |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "TASTyTruffle: Just-in-Time ..."
TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism
Matt D'Souza, James You, Ondřej Lhoták, and Aleksandar Prokopec
(University of Waterloo, Canada; Oracle Labs, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Purandare, Rahul |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rapid: Region-Based Pointer ..."
Rapid: Region-Based Pointer Disambiguation
Khushboo Chitre, Piyus Kedia, and Rahul Purandare
(IIIT Delhi, India; University of Nebraska-Lincoln, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Qian, Siyuan Brant
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Precise Static ..."
Synthesizing Precise Static Analyzers for Automatic Differentiation
Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA; Zhejiang University, China; VMware Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Radhakrishna, Arjun
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Explainable Program Synthesis ..."
Explainable Program Synthesis by Localizing Specifications
Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, and Mukund Raghothaman
(University of Southern California, USA; Purdue University, USA; Microsoft, USA)
Publisher's Version
Published Artifact
Archive submitted (430 kB)
Artifacts Available
Artifacts Reusable
|
| |
Raghothaman, Mukund |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mobius: Synthesizing Relational ..."
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, and Mukund Raghothaman
(University of Pennsylvania, USA; University of Southern California, USA)
Publisher's Version
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Explainable Program Synthesis ..."
Explainable Program Synthesis by Localizing Specifications
Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, and Mukund Raghothaman
(University of Southern California, USA; Purdue University, USA; Microsoft, USA)
Publisher's Version
Published Artifact
Archive submitted (430 kB)
Artifacts Available
Artifacts Reusable
|
| |
Ravara, António |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AtomiS: Data-Centric Synchronization ..."
AtomiS: Data-Centric Synchronization Made Practical
Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, and António Ravara
(Nova University of Lisbon, Portugal; University of Lisbon, Portugal)
Publisher's Version
|
| |
Renaux, Thierry |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Secure RDTs: Enforcing Access ..."
Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data
Thierry Renaux, Sam Van den Vonder, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Renda, Alex |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Turaco: Complexity-Guided ..."
Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs
Alex Renda, Yi Ding, and Michael Carbin
(Massachusetts Institute of Technology, USA; Purdue University, USA)
Publisher's Version
Published Artifact
Archive submitted (4.1 MB)
Artifacts Available
|
| |
Rennels, Lisa |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "How Domain Experts Use an ..."
How Domain Experts Use an Embedded DSL
Lisa Rennels and Sarah E. Chasins
(University of California at Berkeley, USA)
Publisher's Version
|
| |
Reps, Thomas |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Specifications ..."
Synthesizing Specifications
Kanghee Park, Loris D'Antoni, and Thomas Reps
(University of Wisconsin-Madison, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Richey, Cynthia |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, and Chandrakana Nandi
(University of Washington, USA; Certora, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Rompf, Tiark |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Graph IRs for Impure Higher-Order ..."
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Oliver Bračevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, and Tiark Rompf
(Purdue University, USA; Galois, USA; Augusta University, USA)
Publisher's Version
|
| |
Rossberg, Andreas |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mutually Iso-Recursive Subtyping ..."
Mutually Iso-Recursive Subtyping
Andreas Rossberg
(Independent Researcher, Munich, Germany)
Publisher's Version
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..."
Continuing WebAssembly with Effect Handlers
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, and Sam Lindley
(Northeastern University, USA; Independent, Germany; Roblox, USA; Microsoft Research, USA; Huawei Zurich Research Center, Switzerland; Tarides, India; IIT Madras, India; University of Ljubljana, Slovenia; Institute of Mathematics, Physics, and Mechanics, Ljubljana, Slovenia; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Sagiv, Mooly
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Counterexample Driven Quantifier ..."
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Orr Tamir, Marcelo Taube, Kenneth L. McMillan, Sharon Shoham, Jon Howell, Guy Gueta, and Mooly Sagiv
(Tel Aviv University, Israel; University of Texas at Austin, USA; VMware Research, USA; VMware Research, Israel)
Publisher's Version
|
| |
Sahebolamri, Arash |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Bring Your Own Data Structures ..."
Bring Your Own Data Structures to Datalog
Arash Sahebolamri, Langston Barrett, Scott Moore, and Kristopher Micinski
(Syracuse University, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Saiki, Brett |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, and Chandrakana Nandi
(University of Washington, USA; Certora, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Salvaneschi, Guido |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Type-Safe Dynamic Placement ..."
Type-Safe Dynamic Placement with First-Class Placed Values
George Zakhour, Pascal Weisenburger, and Guido Salvaneschi
(University of St. Gallen, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Samanta, Roopsha |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Explainable Program Synthesis ..."
Explainable Program Synthesis by Localizing Specifications
Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, and Mukund Raghothaman
(University of Southern California, USA; Purdue University, USA; Microsoft, USA)
Publisher's Version
Published Artifact
Archive submitted (430 kB)
Artifacts Available
Artifacts Reusable
|
| |
Sammler, Michael |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Melocoton: A Program Logic ..."
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Armaël Guéneau, Johannes Hostert, Simon Spies, Michael Sammler, Lars Birkedal, and Derek Dreyer
(Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria, France; Saarland University, Germany; MPI-SWS, Germany; Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Sands, Nathaniel |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mobius: Synthesizing Relational ..."
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, and Mukund Raghothaman
(University of Pennsylvania, USA; University of Southern California, USA)
Publisher's Version
|
| |
Sano, Chuta |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mechanizing Session-Types ..."
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity
Chuta Sano, Ryan Kavanagh, and Brigitte Pientka
(McGill University, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Sarkar, Vivek |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Concrete Type Inference for ..."
Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
Fangke Ye, Jisheng Zhao, Jun Shirako, and Vivek Sarkar
(Georgia Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Scalas, Alceste |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "P4R-Type: A Verified API for ..."
P4R-Type: A Verified API for P4 Control Plane Programs
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, and Alceste Scalas
(DTU, Denmark; KTH Royal Institute of Technology, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Schröer, Philipp |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Deductive Verification Infrastructure ..."
A Deductive Verification Infrastructure for Probabilistic Programs
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Christoph Matheja
(RWTH Aachen University, Germany; Saarland University, Germany; University College London, UK; DTU, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Schuster, Philipp |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "From Capabilities to Regions: ..."
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, and Jonathan Immanuel Brachthäuser
(University of Tübingen, Germany; Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Sergey, Ilya |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Adventure of a Lifetime: Extract ..."
Adventure of a Lifetime: Extract Method Refactoring for Rust
Sewen Thy, Andreea Costea, Kiran Gopinathan, and Ilya Sergey
(Yale-NUS College, Singapore; National University of Singapore, Singapore)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Seshia, Sanjit A. |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Message Chains for Distributed ..."
Message Chains for Distributed System Verification
Federico Mora, Ankush Desai, Elizabeth Polgreen, and Sanjit A. Seshia
(University of California at Berkeley, USA; Amazon Web Services, USA; University of Edinburgh, UK)
Publisher's Version
|
| |
Shadab, Narges |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, and Manu Sridharan
(University of California at Riverside, USA; Microsoft Research, India; University of Washington, USA; New Jersey Institute of Technology, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Shaikhha, Amir |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compiling Structured Tensor ..."
Compiling Structured Tensor Algebra
Mahdi Ghorbani, Mathieu Huot, Shideh Hashemian, and Amir Shaikhha
(University of Edinburgh, UK; University of Oxford, UK)
Publisher's Version
Artifacts Functional
|
| |
Shirako, Jun |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Concrete Type Inference for ..."
Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
Fangke Ye, Jisheng Zhao, Jun Shirako, and Vivek Sarkar
(Georgia Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Shoham, Sharon |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Counterexample Driven Quantifier ..."
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Orr Tamir, Marcelo Taube, Kenneth L. McMillan, Sharon Shoham, Jon Howell, Guy Gueta, and Mooly Sagiv
(Tel Aviv University, Israel; University of Texas at Austin, USA; VMware Research, USA; VMware Research, Israel)
Publisher's Version
|
| |
Síč, Juraj |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Solving String Constraints ..."
Solving String Constraints with Lengths by Stabilization
Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, and Juraj Síč
(Academia Sinica, Taiwan; Brno University of Technology, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Silvestro, Sam |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
MemPerf: Profiling Allocator-Induced Performance Slowdowns
Jin Zhou, Sam Silvestro, Steven (Jiaxun) Tang, Hanmei Yang, Hongyu Liu, Guangming Zeng, Bo Wu, Cong Liu, and Tongping Liu
(University of Massachusetts at Amherst, USA; University of Texas at San Antonio, USA; Synopsys, USA; Colorado School of Mines, USA; University of Texas at Dallas, USA)
Publisher's Version
|
| |
Singh, Gagandeep |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Precise Static ..."
Synthesizing Precise Static Analyzers for Automatic Differentiation
Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA; Zhejiang University, China; VMware Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Sivaramakrishnan, KC |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..."
Continuing WebAssembly with Effect Handlers
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, and Sam Lindley
(Northeastern University, USA; Independent, Germany; Roblox, USA; Microsoft Research, USA; Huawei Zurich Research Center, Switzerland; Tarides, India; IIT Madras, India; University of Ljubljana, Slovenia; Institute of Mathematics, Physics, and Mechanics, Ljubljana, Slovenia; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Søgaard, Jens Axel |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, and Sam Tobin-Hochstadt
(University of Utah, USA; independent, USA; independent, UK; Northwestern University, USA; National University of Singapore, Singapore; Brown University, USA; Reach, USA; University of Washington, USA; independent, Denmark; Indiana University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Solar-Lezama, Armando |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inductive Program Synthesis ..."
Inductive Program Synthesis Guided by Observational Program Similarity
Jack Feser, Işıl Dillig, and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA; University of Texas at Austin, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Song, Fu |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compositional Verification ..."
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, and Francois-Xavier Standaert
(ShanghaiTech University, China; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; University of London, UK; Université Catholique de Louvain, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Song, Youngju |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Stuttering for Free ..."
Stuttering for Free
Minki Cho, Youngju Song, Dongjae Lee, Lennard Gäher, and Derek Dreyer
(Seoul National University, Republic of Korea; MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Spies, Simon |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Melocoton: A Program Logic ..."
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Armaël Guéneau, Johannes Hostert, Simon Spies, Michael Sammler, Lars Birkedal, and Derek Dreyer
(Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria, France; Saarland University, Germany; MPI-SWS, Germany; Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Sridharan, Manu |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, and Manu Sridharan
(University of California at Riverside, USA; Microsoft Research, India; University of Washington, USA; New Jersey Institute of Technology, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Standaert, Francois-Xavier |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compositional Verification ..."
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, and Francois-Xavier Standaert
(ShanghaiTech University, China; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; University of London, UK; Université Catholique de Louvain, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Starup, Jonathan Lindegaard |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "From Capabilities to Regions: ..."
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, and Jonathan Immanuel Brachthäuser
(University of Tübingen, Germany; Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Steuwer, Michel |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Structural Subtyping as Parametric ..."
Structural Subtyping as Parametric Polymorphism
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, and Sam Lindley
(University of Edinburgh, UK; Huawei Zurich Research Center, Switzerland; Heriot-Watt University, UK; TU Berlin, Germany; University of Glasgow, UK)
Publisher's Version
Archive submitted (1.1 MB)
|
| |
Su, Zhuo |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Building Dynamic System Call Sandbox with Partial Order Analysis
Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang, and Jiaguang Sun
(Tsinghua University, China; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Sui, Yulei |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Container-Usage-Pattern-Based ..."
A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
Dongjie He, Yujiang Gui, Wei Li, Yonggang Tao, Changwei Zou, Yulei Sui, and Jingling Xue
(UNSW, Australia)
Publisher's Version
|
| |
Sun, Chengnian |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Building Dynamic System Call Sandbox with Partial Order Analysis
Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang, and Jiaguang Sun
(Tsinghua University, China; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Sun, Jiaguang |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Building Dynamic System Call Sandbox with Partial Order Analysis
Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang, and Jiaguang Sun
(Tsinghua University, China; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Sun, Yican |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Efficient Memoization ..."
Synthesizing Efficient Memoization Algorithms
Yican Sun, Xuanyu Peng, and Yingfei Xiong
(Peking University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Sun, Zhensu |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Two Birds with One Stone: ..."
Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Shangwen Wang, Bo Lin, Zhensu Sun, Ming Wen, Yepang Liu, Yan Lei, and Xiaoguang Mao
(National University of Defense Technology, China; Singapore Management University, Singapore; Huazhong University of Science and Technology, China; Southern University of Science and Technology, China; Chongqing University, China)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Tamir, Orr
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Counterexample Driven Quantifier ..."
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Orr Tamir, Marcelo Taube, Kenneth L. McMillan, Sharon Shoham, Jon Howell, Guy Gueta, and Mooly Sagiv
(Tel Aviv University, Israel; University of Texas at Austin, USA; VMware Research, USA; VMware Research, Israel)
Publisher's Version
|
| |
Tan, Gang |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Quantifying and Mitigating ..."
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
Cong Ma, Dinghao Wu, Gang Tan, Mahmut Taylan Kandemir, and Danfeng Zhang
(University of Waterloo, Canada; Pennsylvania State University, USA; Duke University, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Tan, Tian |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Essence of Verilog: A ..."
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, and Yue Li
(Nanjing University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Tang, Shizhi |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mat2Stencil: A Modular Matrix-Based ..."
Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
Huanqi Cao, Shizhi Tang, Qianchao Zhu, Bowen Yu, and Wenguang Chen
(Tsinghua University, China; Peking University, China; Pengcheng Laboratory, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Tang, Steven (Jiaxun) |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
MemPerf: Profiling Allocator-Induced Performance Slowdowns
Jin Zhou, Sam Silvestro, Steven (Jiaxun) Tang, Hanmei Yang, Hongyu Liu, Guangming Zeng, Bo Wu, Cong Liu, and Tongping Liu
(University of Massachusetts at Amherst, USA; University of Texas at San Antonio, USA; Synopsys, USA; Colorado School of Mines, USA; University of Texas at Dallas, USA)
Publisher's Version
|
| |
Tang, Wenhao |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Structural Subtyping as Parametric ..."
Structural Subtyping as Parametric Polymorphism
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, and Sam Lindley
(University of Edinburgh, UK; Huawei Zurich Research Center, Switzerland; Heriot-Watt University, UK; TU Berlin, Germany; University of Glasgow, UK)
Publisher's Version
Archive submitted (1.1 MB)
|
| |
Tao, Yonggang |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Container-Usage-Pattern-Based ..."
A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
Dongjie He, Yujiang Gui, Wei Li, Yonggang Tao, Changwei Zou, Yulei Sui, and Jingling Xue
(UNSW, Australia)
Publisher's Version
|
| |
Tatlock, Zachary |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, and Chandrakana Nandi
(University of Washington, USA; Certora, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Taube, Marcelo |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Counterexample Driven Quantifier ..."
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Orr Tamir, Marcelo Taube, Kenneth L. McMillan, Sharon Shoham, Jon Howell, Guy Gueta, and Mooly Sagiv
(Tel Aviv University, Israel; University of Texas at Austin, USA; VMware Research, USA; VMware Research, Israel)
Publisher's Version
|
| |
Thakkar, Aalok |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mobius: Synthesizing Relational ..."
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, and Mukund Raghothaman
(University of Pennsylvania, USA; University of Southern California, USA)
Publisher's Version
|
| |
Thakur, Manas |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reusing Just-in-Time Compiled ..."
Reusing Just-in-Time Compiled Code
Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, and Jan Vitek
(IIT Mandi, India; Czech Technical University in Prague, Czechia; IIT Bombay, India; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Thy, Sewen |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Adventure of a Lifetime: Extract ..."
Adventure of a Lifetime: Extract Method Refactoring for Rust
Sewen Thy, Andreea Costea, Kiran Gopinathan, and Ilya Sergey
(Yale-NUS College, Singapore; National University of Singapore, Singapore)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Tiwari, Shrey |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, and Manu Sridharan
(University of California at Riverside, USA; Microsoft Research, India; University of Washington, USA; New Jersey Institute of Technology, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Tjoa, Ryan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, and Chandrakana Nandi
(University of Washington, USA; Certora, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Tobin-Hochstadt, Sam |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Rhombus: A New Spin on Macros without All the Parentheses
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, and Sam Tobin-Hochstadt
(University of Utah, USA; independent, USA; independent, UK; Northwestern University, USA; National University of Singapore, Singapore; Brown University, USA; Reach, USA; University of Washington, USA; independent, Denmark; Indiana University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Torlak, Emina |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Pretty Expressive Printer ..."
A Pretty Expressive Printer
Sorawee Porncharoenwase, Justin Pombrio, and Emina Torlak
(University of Washington, USA; Unaffiliated, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Tsai, Yun Chen |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Exploiting the Sparseness ..."
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Kerim Kochekov, Yun Chen Tsai, and Ahmed Khaled Zaher
(Hong Kong University of Science and Technology, Hong Kong)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Van den Vonder, Sam
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Secure RDTs: Enforcing Access ..."
Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data
Thierry Renaux, Sam Van den Vonder, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Van de Pol, Jaco |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Fast and Efficient Boolean ..."
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems
Magnus Madsen, Jaco van de Pol, and Troels Henriksen
(Aarhus University, Denmark; University of Copenhagen, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Vindum, Simon Friis |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Spirea: A Mechanized Concurrent ..."
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory
Simon Friis Vindum and Lars Birkedal
(Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Vitek, Jan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reusing Just-in-Time Compiled ..."
Reusing Just-in-Time Compiled Code
Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, and Jan Vitek
(IIT Mandi, India; Czech Technical University in Prague, Czechia; IIT Bombay, India; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Walker, David
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Saggitarius: A DSL for Specifying ..."
Saggitarius: A DSL for Specifying Grammatical Domains
Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, and David Walker
(Simon Fraser University, Canada; Princeton University, USA; Tufts University, USA)
Publisher's Version
|
| |
Wan, Chengcheng |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Run-Time Prevention of Software ..."
Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Chengcheng Wan, Yuhan Liu, Kuntai Du, Henry Hoffmann, Junchen Jiang, Michael Maire, and Shan Lu
(East China Normal University, China; University of Chicago, USA; Microsoft, Redmon, USA)
Publisher's Version
|
| |
Wang, Jinpeng |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Essence of Verilog: A ..."
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, and Yue Li
(Nanjing University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Wang, Ke |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "An Explanation Method for ..."
An Explanation Method for Models of Code
Yu Wang, Ke Wang, and Linzhang Wang
(Nanjing University, China; Visa Research, USA)
Publisher's Version
Archive submitted (570 kB)
|
| |
Wang, Linzhang |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "An Explanation Method for ..."
An Explanation Method for Models of Code
Yu Wang, Ke Wang, and Linzhang Wang
(Nanjing University, China; Visa Research, USA)
Publisher's Version
Archive submitted (570 kB)
|
| |
Wang, Mingzhe |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..."
Towards Better Semantics Exploration for Browser Fuzzing
Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li, and Bin Gu
(Tsinghua University, China; Harbin Institute of Technology, China; National University of Defense Technology, China; Beijing Institute of Control Engineering, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Building Dynamic System Call Sandbox with Partial Order Analysis
Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang, and Jiaguang Sun
(Tsinghua University, China; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Wang, Shangwen |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Two Birds with One Stone: ..."
Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Shangwen Wang, Bo Lin, Zhensu Sun, Ming Wen, Yepang Liu, Yan Lei, and Xiaoguang Mao
(National University of Defense Technology, China; Singapore Management University, Singapore; Huazhong University of Science and Technology, China; Southern University of Science and Technology, China; Chongqing University, China)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Wang, Yu |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "An Explanation Method for ..."
An Explanation Method for Models of Code
Yu Wang, Ke Wang, and Linzhang Wang
(Nanjing University, China; Visa Research, USA)
Publisher's Version
Archive submitted (570 kB)
|
| |
Wei, Guannan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Graph IRs for Impure Higher-Order ..."
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Oliver Bračevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, and Tiark Rompf
(Purdue University, USA; Galois, USA; Augusta University, USA)
Publisher's Version
|
| |
Weisenburger, Pascal |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Type-Safe Dynamic Placement ..."
Type-Safe Dynamic Placement with First-Class Placed Values
George Zakhour, Pascal Weisenburger, and Guido Salvaneschi
(University of St. Gallen, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Wen, Ming |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Two Birds with One Stone: ..."
Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Shangwen Wang, Bo Lin, Zhensu Sun, Ming Wen, Yepang Liu, Yan Lei, and Xiaoguang Mao
(National University of Defense Technology, China; Singapore Management University, Singapore; Huazhong University of Science and Technology, China; Southern University of Science and Technology, China; Chongqing University, China)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Willsey, Max |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, and Chandrakana Nandi
(University of Washington, USA; Certora, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Wrigstad, Tobias |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reference Capabilities for ..."
Reference Capabilities for Flexible Memory Management
Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, and Tobias Wrigstad
(Uppsala University, Sweden; Microsoft Azure Research, USA; Imperial College London, UK; Research & Programming, New Zealand; Microsoft Azure Research, UK)
Publisher's Version
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
When Concurrency Matters: Behaviour-Oriented Concurrency
Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, and Paul Liétar
(Imperial College London, UK; Microsoft Azure Research, UK; Microsoft Research, UK; Microsoft, UK; Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Wu, Bo |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
MemPerf: Profiling Allocator-Induced Performance Slowdowns
Jin Zhou, Sam Silvestro, Steven (Jiaxun) Tang, Hanmei Yang, Hongyu Liu, Guangming Zeng, Bo Wu, Cong Liu, and Tongping Liu
(University of Massachusetts at Amherst, USA; University of Texas at San Antonio, USA; Synopsys, USA; Colorado School of Mines, USA; University of Texas at Dallas, USA)
Publisher's Version
|
| |
Wu, Dinghao |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Quantifying and Mitigating ..."
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
Cong Ma, Dinghao Wu, Gang Tan, Mahmut Taylan Kandemir, and Danfeng Zhang
(University of Waterloo, Canada; Pennsylvania State University, USA; Duke University, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Wu, Zhiyong |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..."
Towards Better Semantics Exploration for Browser Fuzzing
Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li, and Bin Gu
(Tsinghua University, China; Harbin Institute of Technology, China; National University of Defense Technology, China; Beijing Institute of Control Engineering, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Wustrow, Eric |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Verifying Indistinguishability ..."
Verifying Indistinguishability of Privacy-Preserving Protocols
Kirby Linvill, Gowtham Kaki, and Eric Wustrow
(University of Colorado Boulder, USA)
Publisher's Version
|
| |
Xing, Enze
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Initializing Global Objects: ..."
Initializing Global Objects: Time and Order
Fengyun Liu, Ondřej Lhoták, David Hua, and Enze Xing
(Oracle Labs, Switzerland; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Xiong, Yingfei |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Efficient Memoization ..."
Synthesizing Efficient Memoization Algorithms
Yican Sun, Xuanyu Peng, and Yingfei Xiong
(Peking University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Xu, Chang |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Essence of Verilog: A ..."
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, and Yue Li
(Nanjing University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Xu, Yiwen |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Building Dynamic System Call Sandbox with Partial Order Analysis
Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang, and Jiaguang Sun
(Tsinghua University, China; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Xue, Jingling |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Container-Usage-Pattern-Based ..."
A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
Dongjie He, Yujiang Gui, Wei Li, Yonggang Tao, Changwei Zou, Yulei Sui, and Jingling Xue
(UNSW, Australia)
Publisher's Version
|
| |
Yang, Hanmei
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
MemPerf: Profiling Allocator-Induced Performance Slowdowns
Jin Zhou, Sam Silvestro, Steven (Jiaxun) Tang, Hanmei Yang, Hongyu Liu, Guangming Zeng, Bo Wu, Cong Liu, and Tongping Liu
(University of Massachusetts at Amherst, USA; University of Texas at San Antonio, USA; Synopsys, USA; Colorado School of Mines, USA; University of Texas at Dallas, USA)
Publisher's Version
|
| |
Ye, Fangke |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Concrete Type Inference for ..."
Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
Fangke Ye, Jisheng Zhao, Jun Shirako, and Vivek Sarkar
(Georgia Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Yi, Pu (Luke) |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Hardware-Aware Static Optimization ..."
Hardware-Aware Static Optimization of Hyperdimensional Computations
Pu (Luke) Yi and Sara Achour
(Stanford University, USA)
Publisher's Version
Published Artifact
Archive submitted (1.3 MB)
Artifacts Available
Artifacts Functional
|
| |
Yin, Zijing |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Building Dynamic System Call Sandbox with Partial Order Analysis
Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang, and Jiaguang Sun
(Tsinghua University, China; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
You, James |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "TASTyTruffle: Just-in-Time ..."
TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism
Matt D'Souza, James You, Ondřej Lhoták, and Aleksandar Prokopec
(University of Waterloo, Canada; Oracle Labs, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Yu, Bowen |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mat2Stencil: A Modular Matrix-Based ..."
Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
Huanqi Cao, Shizhi Tang, Qianchao Zhu, Bowen Yu, and Wenguang Chen
(Tsinghua University, China; Peking University, China; Pengcheng Laboratory, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Zaher, Ahmed Khaled
|
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Exploiting the Sparseness ..."
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Kerim Kochekov, Yun Chen Tsai, and Ahmed Khaled Zaher
(Hong Kong University of Science and Technology, Hong Kong)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Zakhour, George |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Type-Safe Dynamic Placement ..."
Type-Safe Dynamic Placement with First-Class Placed Values
George Zakhour, Pascal Weisenburger, and Guido Salvaneschi
(University of St. Gallen, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Zeng, Guangming |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
MemPerf: Profiling Allocator-Induced Performance Slowdowns
Jin Zhou, Sam Silvestro, Steven (Jiaxun) Tang, Hanmei Yang, Hongyu Liu, Guangming Zeng, Bo Wu, Cong Liu, and Tongping Liu
(University of Massachusetts at Amherst, USA; University of Texas at San Antonio, USA; Synopsys, USA; Colorado School of Mines, USA; University of Texas at Dallas, USA)
Publisher's Version
|
| |
Zhang, Charles |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Cocktail Approach to Practical ..."
A Cocktail Approach to Practical Call Graph Construction
Yuandao Cai and Charles Zhang
(Hong Kong University of Science and Technology, China)
Publisher's Version
|
| |
Zhang, Danfeng |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Quantifying and Mitigating ..."
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
Cong Ma, Dinghao Wu, Gang Tan, Mahmut Taylan Kandemir, and Danfeng Zhang
(University of Waterloo, Canada; Pennsylvania State University, USA; Duke University, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Zhang, Nairen |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Essence of Verilog: A ..."
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, and Yue Li
(Nanjing University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Zhang, Quan |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..."
Towards Better Semantics Exploration for Browser Fuzzing
Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li, and Bin Gu
(Tsinghua University, China; Harbin Institute of Technology, China; National University of Defense Technology, China; Beijing Institute of Control Engineering, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Building Dynamic System Call Sandbox with Partial Order Analysis
Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang, and Jiaguang Sun
(Tsinghua University, China; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Zhang, Yedi |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compositional Verification ..."
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, and Francois-Xavier Standaert
(ShanghaiTech University, China; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; University of London, UK; Université Catholique de Louvain, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Zhao, Jisheng |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Concrete Type Inference for ..."
Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
Fangke Ye, Jisheng Zhao, Jun Shirako, and Vivek Sarkar
(Georgia Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
|
| |
Zhou, Chijin |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..."
Towards Better Semantics Exploration for Browser Fuzzing
Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li, and Bin Gu
(Tsinghua University, China; Harbin Institute of Technology, China; National University of Defense Technology, China; Beijing Institute of Control Engineering, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Building Dynamic System Call Sandbox with Partial Order Analysis
Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang, and Jiaguang Sun
(Tsinghua University, China; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Zhou, Jin |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
MemPerf: Profiling Allocator-Induced Performance Slowdowns
Jin Zhou, Sam Silvestro, Steven (Jiaxun) Tang, Hanmei Yang, Hongyu Liu, Guangming Zeng, Bo Wu, Cong Liu, and Tongping Liu
(University of Massachusetts at Amherst, USA; University of Texas at San Antonio, USA; Synopsys, USA; Colorado School of Mines, USA; University of Texas at Dallas, USA)
Publisher's Version
|
| |
Zhu, Amy |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, and Chandrakana Nandi
(University of Washington, USA; Certora, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Zhu, Fengmin |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Automated Ambiguity Detection ..."
Automated Ambiguity Detection in Layout-Sensitive Grammars
Jiangyi Liu, Fengmin Zhu, and Fei He
(Tsinghua University, China; CISPA Helmholtz Center for Information Security, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Zhu, Qianchao |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mat2Stencil: A Modular Matrix-Based ..."
Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
Huanqi Cao, Shizhi Tang, Qianchao Zhu, Bowen Yu, and Wenguang Chen
(Tsinghua University, China; Peking University, China; Pengcheng Laboratory, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Ziarek, Lukasz |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Validating IoT Devices with ..."
Validating IoT Devices with Rate-Based Session Types
Grant Iraci, Cheng-En Chuang, Raymond Hu, and Lukasz Ziarek
(University at Buffalo, USA; Queen Mary University of London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Zou, Changwei |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Container-Usage-Pattern-Based ..."
A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
Dongjie He, Yujiang Gui, Wei Li, Yonggang Tao, Changwei Zou, Yulei Sui, and Jingling Xue
(UNSW, Australia)
Publisher's Version
|
| |
Zucca, Elena |
Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Resource-Aware Soundness for ..."
Resource-Aware Soundness for Big-Step Semantics
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, and Elena Zucca
(University of Genoa, Italy; University of Eastern Piedmont, Italy)
Publisher's Version
|