| |
Adams, Andrew
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Efficient Automatic Scheduling ..."
Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU
Luke Anderson, Andrew Adams, Karima Ma, Tzu-Mao Li, Tian Jin, and Jonathan Ragan-Kelley
(Massachusetts Institute of Technology, USA; Adobe, USA; University of California at San Diego, USA)
 Publisher's Version
Article: oopsla21main-p45-p doi:10.1145/3485486
|
| |
Amarasinghe, Saman |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Compilation of Sparse Array ..."
Compilation of Sparse Array Programming Models
Rawn Henry, Olivia Hsu, Rohan Yadav, Stephen Chou, Kunle Olukotun, Saman Amarasinghe, and Fredrik Kjolstad
(Massachusetts Institute of Technology, USA; Stanford University, USA)
Publisher's Version
Article: oopsla21main-p133-p doi:10.1145/3485505
|
| |
Anderson, Adam |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Rewrite Rule Inference Using ..."
Rewrite Rule Inference Using Equality Saturation
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Publisher's Version
 Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p94-p doi:10.1145/3485496
|
| |
Anderson, Carolyn Jane |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Solver-Based Gradual Type ..."
Solver-Based Gradual Type Migration
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, and Arjun Guha
(University of Massachusetts at Amherst, USA; Wellesley College, USA; Stevens Institute of Technology, USA; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p49-p doi:10.1145/3485488
|
| |
Anderson, Luke |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Efficient Automatic Scheduling ..."
Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU
Luke Anderson, Andrew Adams, Karima Ma, Tzu-Mao Li, Tian Jin, and Jonathan Ragan-Kelley
(Massachusetts Institute of Technology, USA; Adobe, USA; University of California at San Diego, USA)
Publisher's Version
Article: oopsla21main-p45-p doi:10.1145/3485486
|
| |
Andow, Samantha |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Coarsening Optimization for ..."
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang
(North Carolina State University, USA; Facebook, USA)
Publisher's Version
Article: oopsla21main-p142-p doi:10.1145/3485507
|
| |
Apostolakis, Sotiris |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Safer at Any Speed: Automatic ..."
Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David I. August, and Amit Levy
(Princeton University, USA; Google, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p27-p doi:10.1145/3485480
|
| |
Arroyo-Fang, Emilio |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Coarsening Optimization for ..."
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang
(North Carolina State University, USA; Facebook, USA)
Publisher's Version
Article: oopsla21main-p142-p doi:10.1145/3485507
|
| |
Astorga, Angello |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Synthesizing Contracts Correct ..."
Synthesizing Contracts Correct Modulo a Test Generator
Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tufts University, USA; Peking University, China)
Publisher's Version
Article: oopsla21main-p30-p doi:10.1145/3485481
|
| |
Atkinson, Eric |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Statically Bounded-Memory ..."
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, and Michael Carbin
(Massachusetts Institute of Technology, USA; Inria, France; ENS, France; PSL University, France; IBM Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p81-p doi:10.1145/3485492
|
| |
August, David I. |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Safer at Any Speed: Automatic ..."
Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David I. August, and Amit Levy
(Princeton University, USA; Google, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p27-p doi:10.1145/3485480
|
| |
Awar, Nader Al |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Programming and Execution ..."
Programming and Execution Models for Parallel Bounded Exhaustive Testing
Nader Al Awar, Kush Jain, Christopher J. Rossbach, and Milos Gligoric
(University of Texas at Austin, USA; Katana Graph, USA)
Publisher's Version
Article: oopsla21main-p532-p doi:10.1145/3485543
|
| |
Bao, Yuyan
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Reachability Types: Tracking ..."
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
Yuyan Bao, Guannan Wei, Oliver Bračevac, Yuxuan Jiang, Qiyang He, and Tiark Rompf
(University of Waterloo, Canada; Purdue University, USA)
Publisher's Version
Article: oopsla21main-p181-p doi:10.1145/3485516
|
| |
Barbar, Mohamad |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Compacting Points-To Sets ..."
Compacting Points-To Sets through Object Clustering
Mohamad Barbar and Yulei Sui
(University of Technology Sydney, Australia; CSIRO’s Data61, Australia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p426-p doi:10.1145/3485547
|
| |
Barke, Shraddha |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "LooPy: Interactive Program ..."
LooPy: Interactive Program Synthesis with Control Structures
Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, and Nadia Polikarpova
(University of California at San Diego, USA; Technion, Israel)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p294-p doi:10.1145/3485530
|
| |
Bartha, Sándor |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "One Down, 699 to Go: or, Synthesising ..."
One Down, 699 to Go: or, Synthesising Compositional Desugarings
Sándor Bartha, James Cheney, and Vaishak Belle
(University of Edinburgh, UK; Alan Turing Institute, UK)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p107-p doi:10.1145/3485499
|
| |
Baudart, Guillaume |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Statically Bounded-Memory ..."
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, and Michael Carbin
(Massachusetts Institute of Technology, USA; Inria, France; ENS, France; PSL University, France; IBM Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p81-p doi:10.1145/3485492
|
| |
Bavishi, Rohan |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Gauss: Program Synthesis by ..."
Gauss: Program Synthesis by Reasoning over Graphs
Rohan Bavishi, Caroline Lemieux, Koushik Sen, and Ion Stoica
(University of California at Berkeley, USA)
Publisher's Version
Article: oopsla21main-p157-p doi:10.1145/3485511
|
| |
Belle, Vaishak |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "One Down, 699 to Go: or, Synthesising ..."
One Down, 699 to Go: or, Synthesising Compositional Desugarings
Sándor Bartha, James Cheney, and Vaishak Belle
(University of Edinburgh, UK; Alan Turing Institute, UK)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p107-p doi:10.1145/3485499
|
| |
Belyakova, Julia |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Type Stability in Julia: Avoiding ..."
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, and Jan Vitek
(Northeastern University, USA; Cornell University, USA; Czech Technical University, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p237-p doi:10.1145/3485527
|
| |
Bigelow, Robert |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Not So Fast: Understanding ..."
Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets
Michael D. Brown, Matthew Pruett, Robert Bigelow, Girish Mururu, and Santosh Pande
(Georgia Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p301-p doi:10.1145/3485531
|
| |
Bílý, Aurel |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Modular Specification and ..."
Modular Specification and Verification of Closures in Rust
Fabian Wolff, Aurel Bílý, Christoph Matheja, Peter Müller, and Alexander J. Summers
(ETH Zurich, Switzerland; University of British Columbia, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p215-p doi:10.1145/3485522
|
| |
Biswas, Ranadeep |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "MonkeyDB: Effectively Testing ..."
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, and Akash Lal
(Informal Systems, France; Microsoft, India; IIT Hyderabad, India; IRIF, France; University of Paris, France; CNRS, France; Microsoft Research, India)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p150-p doi:10.1145/3485546
|
| |
Bračevac, Oliver |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Reachability Types: Tracking ..."
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
Yuyan Bao, Guannan Wei, Oliver Bračevac, Yuxuan Jiang, Qiyang He, and Tiark Rompf
(University of Waterloo, Canada; Purdue University, USA)
Publisher's Version
Article: oopsla21main-p181-p doi:10.1145/3485516
|
| |
Bräm, Christian |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Rich Specifications for Ethereum ..."
Rich Specifications for Ethereum Smart Contract Verification
Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, and Alexander J. Summers
(ETH Zurich, Switzerland; University of British Columbia, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p222-p doi:10.1145/3485523
|
| |
Brotzman, Robert |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "SpecSafe: Detecting Cache ..."
SpecSafe: Detecting Cache Side Channels in a Speculative World
Robert Brotzman, Danfeng Zhang, Mahmut Taylan Kandemir, and Gang Tan
(Pennsylvania State University, USA)
Publisher's Version
Article: oopsla21main-p141-p doi:10.1145/3485506
|
| |
Brown, Michael D. |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Not So Fast: Understanding ..."
Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets
Michael D. Brown, Matthew Pruett, Robert Bigelow, Girish Mururu, and Santosh Pande
(Georgia Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p301-p doi:10.1145/3485531
|
| |
Bui, Truc Lam |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "The Reads-From Equivalence ..."
The Reads-From Equivalence for the TSO and PSO Memory Models
Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, and Viktor Toman
(Comenius University Bratislava, Slovakia; IST Austria, Austria; IIT Bombay, India; Aarhus University, Denmark)
Publisher's Version
Article: oopsla21main-p490-p doi:10.1145/3485541
|
| |
Burckhardt, Sebastian |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Durable Functions: Semantics ..."
Durable Functions: Semantics for Stateful Serverless
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, and Christopher S. Meiklejohn
(Microsoft Research, USA; Microsoft Azure, USA; University of Pennsylvania, USA; Carnegie Mellon University, USA)
Publisher's Version
Article: oopsla21main-p153-p doi:10.1145/3485510
|
| |
Carbin, Michael
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Statically Bounded-Memory ..."
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, and Michael Carbin
(Massachusetts Institute of Technology, USA; Inria, France; ENS, France; PSL University, France; IBM Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p81-p doi:10.1145/3485492
|
| |
Carmer, Brent |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Type System for Extracting ..."
A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Ştefănescu, Aaron Tomb, Adam Wick, Matthew Yacavone, and Steve Zdancewic
(University of Pennsylvania, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p161-p doi:10.1145/3485512
|
| |
Chaliasos, Stefanos |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Well-Typed Programs Can Go ..."
Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, and Diomidis Spinellis
(Athens University of Economics and Business, Greece; Technical University of Crete, Greece; University of Athens, Greece; Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p117-p doi:10.1145/3485500
|
| |
Chasins, Sarah E. |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "How Statically-Typed Functional ..."
How Statically-Typed Functional Programmers Write Code
Justin Lubin and Sarah E. Chasins
(University of California at Berkeley, USA)
Publisher's Version
Article: oopsla21main-p331-p doi:10.1145/3485532
|
| |
Chatterjee, Krishnendu |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "The Reads-From Equivalence ..."
The Reads-From Equivalence for the TSO and PSO Memory Models
Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, and Viktor Toman
(Comenius University Bratislava, Slovakia; IST Austria, Austria; IIT Bombay, India; Aarhus University, Denmark)
Publisher's Version
Article: oopsla21main-p490-p doi:10.1145/3485541
|
| |
Cheney, James |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "One Down, 699 to Go: or, Synthesising ..."
One Down, 699 to Go: or, Synthesising Compositional Desugarings
Sándor Bartha, James Cheney, and Vaishak Belle
(University of Edinburgh, UK; Alan Turing Institute, UK)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p107-p doi:10.1145/3485499
|
| |
Chou, Stephen |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Compilation of Sparse Array ..."
Compilation of Sparse Array Programming Models
Rawn Henry, Olivia Hsu, Rohan Yadav, Stephen Chou, Kunle Olukotun, Saman Amarasinghe, and Fredrik Kjolstad
(Massachusetts Institute of Technology, USA; Stanford University, USA)
Publisher's Version
Article: oopsla21main-p133-p doi:10.1145/3485505
|
| |
Chung, Benjamin |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Type Stability in Julia: Avoiding ..."
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, and Jan Vitek
(Northeastern University, USA; Cornell University, USA; Czech Technical University, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p237-p doi:10.1145/3485527
|
| |
Cohen, Albert |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Reconciling Optimization with ..."
Reconciling Optimization with Secure Compilation
Son Tuan Vu, Albert Cohen, Arnaud De Grandmaison, Christophe Guillon, and Karine Heydemann
(Sorbonne University, France; CNRS, France; LIP6, France; Google, France; ARM, France; STMicroelectronics, France)
Publisher's Version
Article: oopsla21main-p190-p doi:10.1145/3485519
|
| |
Cronburg, Karl |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Permchecker: A Toolchain for ..."
Permchecker: A Toolchain for Debugging Memory Managers with Typestate
Karl Cronburg and Samuel Z. Guyer
(Tufts University, USA)
Publisher's Version
Article: oopsla21main-p236-p doi:10.1145/3485526
|
| |
David, Cristina
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Synbit: Synthesizing Bidirectional ..."
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, and Meng Wang
(Tohoku University, Japan; University of Bristol, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p32-p doi:10.1145/3485482
|
| |
Dea, Irene |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Coarsening Optimization for ..."
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang
(North Carolina State University, USA; Facebook, USA)
Publisher's Version
Article: oopsla21main-p142-p doi:10.1145/3485507
|
| |
De Grandmaison, Arnaud |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Reconciling Optimization with ..."
Reconciling Optimization with Secure Compilation
Son Tuan Vu, Albert Cohen, Arnaud De Grandmaison, Christophe Guillon, and Karine Heydemann
(Sorbonne University, France; CNRS, France; LIP6, France; Google, France; ARM, France; STMicroelectronics, France)
Publisher's Version
Article: oopsla21main-p190-p doi:10.1145/3485519
|
| |
Delaware, Benjamin |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Data-Driven Abductive Inference ..."
Data-Driven Abductive Inference of Library Specifications
Zhe Zhou, Robert Dickerson, Benjamin Delaware, and Suresh Jagannathan
(Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p83-p doi:10.1145/3485493
|
| |
De Porre, Kevin |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "ECROs: Building Global Scale ..."
ECROs: Building Global Scale Systems from Sequential Code
Kevin De Porre, Carla Ferreira, Nuno Preguiça, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium; NOVA School of Science and Technology, Portugal)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p42-p doi:10.1145/3485484
|
| |
Dewey, Kyle |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Translating C to Safer Rust ..."
Translating C to Safer Rust
Mehmet Emre, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf
(University of California at Santa Barbara, USA; California State University at Northridge, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p101-p doi:10.1145/3485498
|
| |
Dickerson, Robert |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Data-Driven Abductive Inference ..."
Data-Driven Abductive Inference of Library Specifications
Zhe Zhou, Robert Dickerson, Benjamin Delaware, and Suresh Jagannathan
(Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p83-p doi:10.1145/3485493
|
| |
Dietl, Werner |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Scalability and Precision ..."
Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, and Werner Dietl
(KIT, Germany; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p191-p doi:10.1145/3485520
|
| |
Dillig, Işıl |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "UDF to SQL Translation through ..."
UDF to SQL Translation through Compositional Lazy Inductive Synthesis
Guoqiang Zhang, Yuanchao Xu, Xipeng Shen, and Işıl Dillig
(North Carolina State University, USA; University of Texas at Austin, USA)
Publisher's Version
Article: oopsla21main-p66-p doi:10.1145/3485489
|
| |
Dinkins, Ahmad |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Synthesizing Contracts Correct ..."
Synthesizing Contracts Correct Modulo a Test Generator
Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tufts University, USA; Peking University, China)
Publisher's Version
Article: oopsla21main-p30-p doi:10.1145/3485481
|
| |
Donaldson, Alastair F. |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "The Semantics of Shared Memory ..."
The Semantics of Shared Memory in Intel CPU/FPGA Systems
Dan Iorga, Alastair F. Donaldson, Tyler Sorensen, and John Wickerson
(Imperial College London, UK; University of California at Santa Cruz, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p99-p doi:10.1145/3485497
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Specifying and Testing GPU ..."
Specifying and Testing GPU Workgroup Progress Models
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, and Alastair F. Donaldson
(University of California at Santa Cruz, USA; Princeton University, USA; Google, USA; Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p143-p doi:10.1145/3485508
|
| |
Donat-Bouillud, Pierre |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "What We Eval in the Shadows: ..."
What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs
Aviral Goel, Pierre Donat-Bouillud, Filip Křikava, Christoph M. Kirsch, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia; University of Salzburg, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p121-p doi:10.1145/3485502
|
| |
Drosos, Georgios-Petros |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Well-Typed Programs Can Go ..."
Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, and Diomidis Spinellis
(Athens University of Economics and Business, Greece; Technical University of Crete, Greece; University of Athens, Greece; Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p117-p doi:10.1145/3485500
|
| |
Dura, Alexandru |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "JavaDL: Automatically Incrementalizing ..."
JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
Alexandru Dura, Christoph Reichenbach, and Emma Söderberg
(Lund University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p507-p doi:10.1145/3485542
|
| |
Eilers, Marco
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Rich Specifications for Ethereum ..."
Rich Specifications for Ethereum Smart Contract Verification
Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, and Alexander J. Summers
(ETH Zurich, Switzerland; University of British Columbia, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p222-p doi:10.1145/3485523
|
| |
Emre, Mehmet |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Translating C to Safer Rust ..."
Translating C to Safer Rust
Mehmet Emre, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf
(University of California at Santa Barbara, USA; California State University at Northridge, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p101-p doi:10.1145/3485498
|
| |
Enea, Constantin |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "MonkeyDB: Effectively Testing ..."
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, and Akash Lal
(Informal Systems, France; Microsoft, India; IIT Hyderabad, India; IRIF, France; University of Paris, France; CNRS, France; Microsoft Research, India)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p150-p doi:10.1145/3485546
|
| |
Eugster, Patrick |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Multiparty Session Typing ..."
A Multiparty Session Typing Discipline for Fault-Tolerant Event-Driven Distributed Programming
Malte Viering, Raymond Hu, Patrick Eugster, and Lukasz Ziarek
(TU Darmstadt, Germany; Queen Mary University of London, UK; USI Lugano, Switzerland; Purdue University, USA; University at Buffalo, USA)
Publisher's Version
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p119-p doi:10.1145/3485501
|
| |
Evrard, Hugues |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Specifying and Testing GPU ..."
Specifying and Testing GPU Workgroup Progress Models
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, and Alastair F. Donaldson
(University of California at Santa Cruz, USA; Princeton University, USA; Google, USA; Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p143-p doi:10.1145/3485508
|
| |
Ferdowsifard, Kasra
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "LooPy: Interactive Program ..."
LooPy: Interactive Program Synthesis with Control Structures
Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, and Nadia Polikarpova
(University of California at San Diego, USA; Technion, Israel)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p294-p doi:10.1145/3485530
|
| |
Ferreira, Carla |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "ECROs: Building Global Scale ..."
ECROs: Building Global Scale Systems from Sequential Code
Kevin De Porre, Carla Ferreira, Nuno Preguiça, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium; NOVA School of Science and Technology, Portugal)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p42-p doi:10.1145/3485484
|
| |
Flückiger, Olivier |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Promises Are Made to Be Broken: ..."
Promises Are Made to Be Broken: Migrating R to Strict Semantics
Aviral Goel, Jan Ječmen, Sebastián Krynski, Olivier Flückiger, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p18-p doi:10.1145/3485478
|
| |
Foster, Jeffrey S. |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "SimTyper: Sound Type Inference ..."
SimTyper: Sound Type Inference for Ruby using Type Equality Prediction
Milod Kazerounian, Jeffrey S. Foster, and Bonan Min
(University of Maryland at College Park, USA; Tufts University, USA; Raytheon BBN Technologies, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p40-p doi:10.1145/3485483
|
| |
Fu, Weili |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Label Dependent Lambda Calculus ..."
Label Dependent Lambda Calculus and Gradual Typing
Weili Fu, Fabian Krause, and Peter Thiemann
(University of Freiburg, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p43-p doi:10.1145/3485485
|
| |
Gafter, Neal
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Coarsening Optimization for ..."
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang
(North Carolina State University, USA; Facebook, USA)
Publisher's Version
Article: oopsla21main-p142-p doi:10.1145/3485507
|
| |
Gao, Xiang |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "APIfix: Output-Oriented Program ..."
APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, and Abhik Roychoudhury
(National University of Singapore, Singapore; Microsoft, USA)
Publisher's Version
Article: oopsla21main-p448-p doi:10.1145/3485538
|
| |
Gautam, Tushar |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "The Reads-From Equivalence ..."
The Reads-From Equivalence for the TSO and PSO Memory Models
Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, and Viktor Toman
(Comenius University Bratislava, Slovakia; IST Austria, Austria; IIT Bombay, India; Aarhus University, Denmark)
Publisher's Version
Article: oopsla21main-p490-p doi:10.1145/3485541
|
| |
George, Johann |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Coarsening Optimization for ..."
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang
(North Carolina State University, USA; Facebook, USA)
Publisher's Version
Article: oopsla21main-p142-p doi:10.1145/3485507
|
| |
Gillum, Chris |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Durable Functions: Semantics ..."
Durable Functions: Semantics for Stateful Serverless
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, and Christopher S. Meiklejohn
(Microsoft Research, USA; Microsoft Azure, USA; University of Pennsylvania, USA; Carnegie Mellon University, USA)
Publisher's Version
Article: oopsla21main-p153-p doi:10.1145/3485510
|
| |
Gligoric, Milos |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Programming and Execution ..."
Programming and Execution Models for Parallel Bounded Exhaustive Testing
Nader Al Awar, Kush Jain, Christopher J. Rossbach, and Milos Gligoric
(University of Texas at Austin, USA; Katana Graph, USA)
Publisher's Version
Article: oopsla21main-p532-p doi:10.1145/3485543
|
| |
Goel, Aviral |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Promises Are Made to Be Broken: ..."
Promises Are Made to Be Broken: Migrating R to Strict Semantics
Aviral Goel, Jan Ječmen, Sebastián Krynski, Olivier Flückiger, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p18-p doi:10.1145/3485478
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "What We Eval in the Shadows: ..."
What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs
Aviral Goel, Pierre Donat-Bouillud, Filip Křikava, Christoph M. Kirsch, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia; University of Salzburg, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p121-p doi:10.1145/3485502
|
| |
Gokhale, Satyajit |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Automatic Migration from Synchronous ..."
Automatic Migration from Synchronous to Asynchronous JavaScript APIs
Satyajit Gokhale, Alexi Turcotte, and Frank Tip
(Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p446-p doi:10.1145/3485537
|
| |
Gonzalez Boix, Elisa |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "ECROs: Building Global Scale ..."
ECROs: Building Global Scale Systems from Sequential Code
Kevin De Porre, Carla Ferreira, Nuno Preguiça, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium; NOVA School of Science and Technology, Portugal)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p42-p doi:10.1145/3485484
|
| |
Grech, Neville |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Symbolic Value-Flow Static ..."
Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, and Ilias Tsatiris
(University of Athens, Greece; University of Malta, Malta)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p476-p doi:10.1145/3485540
|
| |
Greenberg, Michael |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Solver-Based Gradual Type ..."
Solver-Based Gradual Type Migration
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, and Arjun Guha
(University of Massachusetts at Amherst, USA; Wellesley College, USA; Stevens Institute of Technology, USA; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p49-p doi:10.1145/3485488
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Gradually Structured Data ..."
Gradually Structured Data
Stefan Malewski, Michael Greenberg, and Éric Tanter
(University of Chile, Chile; Stevens Institute of Technology, USA; IMFD, Chile)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p125-p doi:10.1145/3485503
|
| |
Grosser, Tobias |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "FPL: Fast Presburger Arithmetic ..."
FPL: Fast Presburger Arithmetic through Transprecision
Arjun Pitchanathan, Christian Ulmann, Michel Weber, Torsten Hoefler, and Tobias Grosser
(IIIT Hyderabad, India; ETH Zurich, Switzerland; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p469-p doi:10.1145/3485539
|
| |
Grossman, Dan |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Rewrite Rule Inference Using ..."
Rewrite Rule Inference Using Equality Saturation
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p94-p doi:10.1145/3485496
|
| |
Grover, Anvay |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Compiling with Continuations, ..."
Compiling with Continuations, Correctly
Zoe Paraskevopoulou and Anvay Grover
(Northeastern University, USA; University of Wisconsin-Madison, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p75-p doi:10.1145/3485491
|
| |
Grueter, Melissa |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Coarsening Optimization for ..."
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang
(North Carolina State University, USA; Facebook, USA)
Publisher's Version
Article: oopsla21main-p142-p doi:10.1145/3485507
|
| |
Guha, Arjun |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Solver-Based Gradual Type ..."
Solver-Based Gradual Type Migration
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, and Arjun Guha
(University of Massachusetts at Amherst, USA; Wellesley College, USA; Stevens Institute of Technology, USA; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p49-p doi:10.1145/3485488
|
| |
Guillon, Christophe |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Reconciling Optimization with ..."
Reconciling Optimization with Secure Compilation
Son Tuan Vu, Albert Cohen, Arnaud De Grandmaison, Christophe Guillon, and Karine Heydemann
(Sorbonne University, France; CNRS, France; LIP6, France; Google, France; ARM, France; STMicroelectronics, France)
Publisher's Version
Article: oopsla21main-p190-p doi:10.1145/3485519
|
| |
Gulwani, Sumit |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Semantic Programming by Example ..."
Semantic Programming by Example with Pre-trained Models
Gust Verbruggen, Vu Le, and Sumit Gulwani
(KU Leuven, Belgium; Microsoft, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p17-p doi:10.1145/3485477
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Multi-modal Program Inference: ..."
Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, and Ashish Tiwari
(Purdue University, USA; Microsoft, USA)
Publisher's Version
Article: oopsla21main-p410-p doi:10.1145/3485535
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "APIfix: Output-Oriented Program ..."
APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, and Abhik Roychoudhury
(National University of Singapore, Singapore; Microsoft, USA)
Publisher's Version
Article: oopsla21main-p448-p doi:10.1145/3485538
|
| |
Guyer, Samuel Z. |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Permchecker: A Toolchain for ..."
Permchecker: A Toolchain for Debugging Memory Managers with Typestate
Karl Cronburg and Samuel Z. Guyer
(Tufts University, USA)
Publisher's Version
Article: oopsla21main-p236-p doi:10.1145/3485526
|
| |
Hardekopf, Ben
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Translating C to Safer Rust ..."
Translating C to Safer Rust
Mehmet Emre, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf
(University of California at Santa Barbara, USA; California State University at Northridge, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p101-p doi:10.1145/3485498
|
| |
He, Paul |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Type System for Extracting ..."
A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Ştefănescu, Aaron Tomb, Adam Wick, Matthew Yacavone, and Steve Zdancewic
(University of Pennsylvania, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p161-p doi:10.1145/3485512
|
| |
He, Qiyang |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Reachability Types: Tracking ..."
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
Yuyan Bao, Guannan Wei, Oliver Bračevac, Yuxuan Jiang, Qiyang He, and Tiark Rompf
(University of Waterloo, Canada; Purdue University, USA)
Publisher's Version
Article: oopsla21main-p181-p doi:10.1145/3485516
|
| |
Henry, Rawn |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Compilation of Sparse Array ..."
Compilation of Sparse Array Programming Models
Rawn Henry, Olivia Hsu, Rohan Yadav, Stephen Chou, Kunle Olukotun, Saman Amarasinghe, and Fredrik Kjolstad
(Massachusetts Institute of Technology, USA; Stanford University, USA)
Publisher's Version
Article: oopsla21main-p133-p doi:10.1145/3485505
|
| |
Herklotz, Yann |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Formal Verification of High-Level ..."
Formal Verification of High-Level Synthesis
Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson
(Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p86-p doi:10.1145/3485494
|
| |
Heydemann, Karine |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Reconciling Optimization with ..."
Reconciling Optimization with Secure Compilation
Son Tuan Vu, Albert Cohen, Arnaud De Grandmaison, Christophe Guillon, and Karine Heydemann
(Sorbonne University, France; CNRS, France; LIP6, France; Google, France; ARM, France; STMicroelectronics, France)
Publisher's Version
Article: oopsla21main-p190-p doi:10.1145/3485519
|
| |
Hoefler, Torsten |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "FPL: Fast Presburger Arithmetic ..."
FPL: Fast Presburger Arithmetic through Transprecision
Arjun Pitchanathan, Christian Ulmann, Michel Weber, Torsten Hoefler, and Tobias Grosser
(IIIT Hyderabad, India; ETH Zurich, Switzerland; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p469-p doi:10.1145/3485539
|
| |
Honoré, Wolf |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Much ADO about Failures: A ..."
Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
Wolf Honoré, Jieung Kim, Ji-Yong Shin, and Zhong Shao
(Yale University, USA; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p2-p doi:10.1145/3485474
|
| |
Hsu, Olivia |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Compilation of Sparse Array ..."
Compilation of Sparse Array Programming Models
Rawn Henry, Olivia Hsu, Rohan Yadav, Stephen Chou, Kunle Olukotun, Saman Amarasinghe, and Fredrik Kjolstad
(Massachusetts Institute of Technology, USA; Stanford University, USA)
Publisher's Version
Article: oopsla21main-p133-p doi:10.1145/3485505
|
| |
Hu, Raymond |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Multiparty Session Typing ..."
A Multiparty Session Typing Discipline for Fault-Tolerant Event-Driven Distributed Programming
Malte Viering, Raymond Hu, Patrick Eugster, and Lukasz Ziarek
(TU Darmstadt, Germany; Queen Mary University of London, UK; USI Lugano, Switzerland; Purdue University, USA; University at Buffalo, USA)
Publisher's Version
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p119-p doi:10.1145/3485501
|
| |
Hu, Zhenjiang |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Generalizable Synthesis through ..."
Generalizable Synthesis through Unification
Ruyi Ji, Jingtao Xia, Yingfei Xiong, and Zhenjiang Hu
(Peking University, China)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p542-p doi:10.1145/3485544
|
| |
Huang, Heqing |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Program Analysis via Efficient ..."
Program Analysis via Efficient Symbolic Abstraction
Peisen Yao, Qingkai Shi, Heqing Huang, and Charles Zhang
(Hong Kong University of Science and Technology, China; Ant Group, China)
Publisher's Version
Article: oopsla21main-p90-p doi:10.1145/3485495
|
| |
Iorga, Dan
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "The Semantics of Shared Memory ..."
The Semantics of Shared Memory in Intel CPU/FPGA Systems
Dan Iorga, Alastair F. Donaldson, Tyler Sorensen, and John Wickerson
(Imperial College London, UK; University of California at Santa Cruz, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p99-p doi:10.1145/3485497
|
| |
Ishimwe, Didier |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Dynaplex: Analyzing Program ..."
Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations
Didier Ishimwe, KimHao Nguyen, and ThanhVu Nguyen
(University of Nebraska-Lincoln, USA; George Mason University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p180-p doi:10.1145/3485515
|
| |
Jaber, Nouraldin
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "QuickSilver: Modeling and ..."
QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, and Roopsha Samanta
(Purdue University, USA; CISPA, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p364-p doi:10.1145/3485534
|
| |
Jacobs, Swen |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "QuickSilver: Modeling and ..."
QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, and Roopsha Samanta
(Purdue University, USA; CISPA, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p364-p doi:10.1145/3485534
|
| |
Jagannathan, Suresh |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Data-Driven Abductive Inference ..."
Data-Driven Abductive Inference of Library Specifications
Zhe Zhou, Robert Dickerson, Benjamin Delaware, and Suresh Jagannathan
(Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p83-p doi:10.1145/3485493
|
| |
Jain, Kush |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Programming and Execution ..."
Programming and Execution Models for Parallel Bounded Exhaustive Testing
Nader Al Awar, Kush Jain, Christopher J. Rossbach, and Milos Gligoric
(University of Texas at Austin, USA; Katana Graph, USA)
Publisher's Version
Article: oopsla21main-p532-p doi:10.1145/3485543
|
| |
Ječmen, Jan |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Promises Are Made to Be Broken: ..."
Promises Are Made to Be Broken: Migrating R to Strict Semantics
Aviral Goel, Jan Ječmen, Sebastián Krynski, Olivier Flückiger, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p18-p doi:10.1145/3485478
|
| |
Ji, Ruyi |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Generalizable Synthesis through ..."
Generalizable Synthesis through Unification
Ruyi Ji, Jingtao Xia, Yingfei Xiong, and Zhenjiang Hu
(Peking University, China)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p542-p doi:10.1145/3485544
|
| |
Jia, Xiaodong |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Derivative-Based Parser ..."
A Derivative-Based Parser Generator for Visibly Pushdown Grammars
Xiaodong Jia, Ashish Kumar, and Gang Tan
(Pennsylvania State University, USA)
Publisher's Version
Article: oopsla21main-p245-p doi:10.1145/3485528
|
| |
Jiang, Yuxuan |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Reachability Types: Tracking ..."
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
Yuyan Bao, Guannan Wei, Oliver Bračevac, Yuxuan Jiang, Qiyang He, and Tiark Rompf
(University of Waterloo, Canada; Purdue University, USA)
Publisher's Version
Article: oopsla21main-p181-p doi:10.1145/3485516
|
| |
Jin, Tian |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Efficient Automatic Scheduling ..."
Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU
Luke Anderson, Andrew Adams, Karima Ma, Tzu-Mao Li, Tian Jin, and Jonathan Ragan-Kelley
(Massachusetts Institute of Technology, USA; Adobe, USA; University of California at San Diego, USA)
Publisher's Version
Article: oopsla21main-p45-p doi:10.1145/3485486
|
| |
Justo, David |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Durable Functions: Semantics ..."
Durable Functions: Semantics for Stateful Serverless
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, and Christopher S. Meiklejohn
(Microsoft Research, USA; Microsoft Azure, USA; University of Pennsylvania, USA; Carnegie Mellon University, USA)
Publisher's Version
Article: oopsla21main-p153-p doi:10.1145/3485510
|
| |
Kakwani, Diptanshu
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "MonkeyDB: Effectively Testing ..."
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, and Akash Lal
(Informal Systems, France; Microsoft, India; IIT Hyderabad, India; IRIF, France; University of Paris, France; CNRS, France; Microsoft Research, India)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p150-p doi:10.1145/3485546
|
| |
Kallas, Konstantinos |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Durable Functions: Semantics ..."
Durable Functions: Semantics for Stateful Serverless
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, and Christopher S. Meiklejohn
(Microsoft Research, USA; Microsoft Azure, USA; University of Pennsylvania, USA; Carnegie Mellon University, USA)
Publisher's Version
Article: oopsla21main-p153-p doi:10.1145/3485510
|
| |
Kandemir, Mahmut Taylan |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "SpecSafe: Detecting Cache ..."
SpecSafe: Detecting Cache Side Channels in a Speculative World
Robert Brotzman, Danfeng Zhang, Mahmut Taylan Kandemir, and Gang Tan
(Pennsylvania State University, USA)
Publisher's Version
Article: oopsla21main-p141-p doi:10.1145/3485506
|
| |
Karachalias, Georgios |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Efficient Compilation of Algebraic ..."
Efficient Compilation of Algebraic Effect Handlers
Georgios Karachalias, Filip Koprivec, Matija Pretnar, and Tom Schrijvers
(Tweag, France; University of Ljubljana, Slovenia; Institute of Mathematics, Physics, and Mechanics, Slovenia; KU Leuven, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p24-p doi:10.1145/3485479
|
| |
Kazerounian, Milod |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "SimTyper: Sound Type Inference ..."
SimTyper: Sound Type Inference for Ruby using Type Equality Prediction
Milod Kazerounian, Jeffrey S. Foster, and Bonan Min
(University of Maryland at College Park, USA; Tufts University, USA; Raytheon BBN Technologies, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p40-p doi:10.1145/3485483
|
| |
Kim, Jieung |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Much ADO about Failures: A ..."
Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
Wolf Honoré, Jieung Kim, Ji-Yong Shin, and Zhong Shao
(Yale University, USA; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p2-p doi:10.1145/3485474
|
| |
Kirsch, Christoph M. |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "What We Eval in the Shadows: ..."
What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs
Aviral Goel, Pierre Donat-Bouillud, Filip Křikava, Christoph M. Kirsch, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia; University of Salzburg, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p121-p doi:10.1145/3485502
|
| |
Kjolstad, Fredrik |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Compilation of Sparse Array ..."
Compilation of Sparse Array Programming Models
Rawn Henry, Olivia Hsu, Rohan Yadav, Stephen Chou, Kunle Olukotun, Saman Amarasinghe, and Fredrik Kjolstad
(Massachusetts Institute of Technology, USA; Stanford University, USA)
Publisher's Version
Article: oopsla21main-p133-p doi:10.1145/3485505
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Copy-and-Patch Compilation: ..."
Copy-and-Patch Compilation: A Fast Compilation Algorithm for High-Level Languages and Bytecode
Haoran Xu and Fredrik Kjolstad
(Stanford University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p169-p doi:10.1145/3485513
|
| |
Koprivec, Filip |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Efficient Compilation of Algebraic ..."
Efficient Compilation of Algebraic Effect Handlers
Georgios Karachalias, Filip Koprivec, Matija Pretnar, and Tom Schrijvers
(Tweag, France; University of Ljubljana, Slovenia; Institute of Mathematics, Physics, and Mechanics, Slovenia; KU Leuven, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p24-p doi:10.1145/3485479
|
| |
Krause, Fabian |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Label Dependent Lambda Calculus ..."
Label Dependent Lambda Calculus and Gradual Typing
Weili Fu, Fabian Krause, and Peter Thiemann
(University of Freiburg, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p43-p doi:10.1145/3485485
|
| |
Křikava, Filip |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "What We Eval in the Shadows: ..."
What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs
Aviral Goel, Pierre Donat-Bouillud, Filip Křikava, Christoph M. Kirsch, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia; University of Salzburg, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p121-p doi:10.1145/3485502
|
| |
Krishna, Siddharth |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Verifying Concurrent Multicopy ..."
Verifying Concurrent Multicopy Search Structures
Nisarg Patel, Siddharth Krishna, Dennis Shasha, and Thomas Wies
(New York University, USA; Microsoft Research, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p70-p doi:10.1145/3485490
|
| |
Krynski, Sebastián |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Promises Are Made to Be Broken: ..."
Promises Are Made to Be Broken: Migrating R to Strict Semantics
Aviral Goel, Jan Ječmen, Sebastián Krynski, Olivier Flückiger, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p18-p doi:10.1145/3485478
|
| |
Kulkarni, Milind |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "QuickSilver: Modeling and ..."
QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, and Roopsha Samanta
(Purdue University, USA; CISPA, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p364-p doi:10.1145/3485534
|
| |
Kumar, Ashish |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Derivative-Based Parser ..."
A Derivative-Based Parser Generator for Visibly Pushdown Grammars
Xiaodong Jia, Ashish Kumar, and Gang Tan
(Pennsylvania State University, USA)
Publisher's Version
Article: oopsla21main-p245-p doi:10.1145/3485528
|
| |
Lagouvardos, Sifis
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Symbolic Value-Flow Static ..."
Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, and Ilias Tsatiris
(University of Athens, Greece; University of Malta, Malta)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p476-p doi:10.1145/3485540
|
| |
Lahav, Ori |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Making Weak Memory Models ..."
Making Weak Memory Models Fair
Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, and Viktor Vafeiadis
(Tel Aviv University, Israel; St. Petersburg University, Russia; JetBrains Research, Russia; Huawei, Germany; HSE University, Russia; MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p9-p doi:10.1145/3485475
|
| |
Lal, Akash |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "MonkeyDB: Effectively Testing ..."
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, and Akash Lal
(Informal Systems, France; Microsoft, India; IIT Hyderabad, India; IRIF, France; University of Paris, France; CNRS, France; Microsoft Research, India)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p150-p doi:10.1145/3485546
|
| |
Lanzinger, Florian |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Scalability and Precision ..."
Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, and Werner Dietl
(KIT, Germany; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p191-p doi:10.1145/3485520
|
| |
Le, Vu |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Semantic Programming by Example ..."
Semantic Programming by Example with Pre-trained Models
Gust Verbruggen, Vu Le, and Sumit Gulwani
(KU Leuven, Belgium; Microsoft, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p17-p doi:10.1145/3485477
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Multi-modal Program Inference: ..."
Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, and Ashish Tiwari
(Purdue University, USA; Microsoft, USA)
Publisher's Version
Article: oopsla21main-p410-p doi:10.1145/3485535
|
| |
Lemieux, Caroline |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Gauss: Program Synthesis by ..."
Gauss: Program Synthesis by Reasoning over Graphs
Rohan Bavishi, Caroline Lemieux, Koushik Sen, and Ion Stoica
(University of California at Berkeley, USA)
Publisher's Version
Article: oopsla21main-p157-p doi:10.1145/3485511
|
| |
Lerner, Sorin |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "LooPy: Interactive Program ..."
LooPy: Interactive Program Synthesis with Control Structures
Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, and Nadia Polikarpova
(University of California at San Diego, USA; Technion, Israel)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p294-p doi:10.1145/3485530
|
| |
Levy, Amit |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Safer at Any Speed: Automatic ..."
Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David I. August, and Amit Levy
(Princeton University, USA; Google, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p27-p doi:10.1145/3485480
|
| |
Li, Tzu-Mao |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Efficient Automatic Scheduling ..."
Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU
Luke Anderson, Andrew Adams, Karima Ma, Tzu-Mao Li, Tian Jin, and Jonathan Ragan-Kelley
(Massachusetts Institute of Technology, USA; Adobe, USA; University of California at San Diego, USA)
Publisher's Version
Article: oopsla21main-p45-p doi:10.1145/3485486
|
| |
Li, Yue |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Making Pointer Analysis More ..."
Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity
Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, and Yannis Smaragdakis
(Nanjing University, China; University of Athens, Greece)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p223-p doi:10.1145/3485524
|
| |
Lubin, Justin |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "How Statically-Typed Functional ..."
How Statically-Typed Functional Programmers Write Code
Justin Lubin and Sarah E. Chasins
(University of California at Berkeley, USA)
Publisher's Version
Article: oopsla21main-p331-p doi:10.1145/3485532
|
| |
Ma, Karima
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Efficient Automatic Scheduling ..."
Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU
Luke Anderson, Andrew Adams, Karima Ma, Tzu-Mao Li, Tian Jin, and Jonathan Ragan-Kelley
(Massachusetts Institute of Technology, USA; Adobe, USA; University of California at San Diego, USA)
Publisher's Version
Article: oopsla21main-p45-p doi:10.1145/3485486
|
| |
Ma, Xiaoxing |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Making Pointer Analysis More ..."
Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity
Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, and Yannis Smaragdakis
(Nanjing University, China; University of Athens, Greece)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p223-p doi:10.1145/3485524
|
| |
Madhusudan, P. |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Synthesizing Contracts Correct ..."
Synthesizing Contracts Correct Modulo a Test Generator
Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tufts University, USA; Peking University, China)
Publisher's Version
Article: oopsla21main-p30-p doi:10.1145/3485481
|
| |
Madsen, Magnus |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Relational Nullable Types ..."
Relational Nullable Types with Boolean Unification
Magnus Madsen and Jaco van de Pol
(Aarhus University, Denmark)
Publisher's Version
Article: oopsla21main-p47-p doi:10.1145/3485487
|
| |
Malewski, Stefan |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Gradually Structured Data ..."
Gradually Structured Data
Stefan Malewski, Michael Greenberg, and Éric Tanter
(University of Chile, Chile; Stevens Institute of Technology, USA; IMFD, Chile)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p125-p doi:10.1145/3485503
|
| |
Mandel, Louis |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Statically Bounded-Memory ..."
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, and Michael Carbin
(Massachusetts Institute of Technology, USA; Inria, France; ENS, France; PSL University, France; IBM Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p81-p doi:10.1145/3485492
|
| |
Martonosi, Margaret |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Specifying and Testing GPU ..."
Specifying and Testing GPU Workgroup Progress Models
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, and Alastair F. Donaldson
(University of California at Santa Cruz, USA; Princeton University, USA; Google, USA; Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p143-p doi:10.1145/3485508
|
| |
Matheja, Christoph |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Modular Specification and ..."
Modular Specification and Verification of Closures in Rust
Fabian Wolff, Aurel Bílý, Christoph Matheja, Peter Müller, and Alexander J. Summers
(ETH Zurich, Switzerland; University of British Columbia, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p215-p doi:10.1145/3485522
|
| |
Matsuda, Kazutaka |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Synbit: Synthesizing Bidirectional ..."
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, and Meng Wang
(Tohoku University, Japan; University of Bristol, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p32-p doi:10.1145/3485482
|
| |
McMahon, Connor |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Durable Functions: Semantics ..."
Durable Functions: Semantics for Stateful Serverless
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, and Christopher S. Meiklejohn
(Microsoft Research, USA; Microsoft Azure, USA; University of Pennsylvania, USA; Carnegie Mellon University, USA)
Publisher's Version
Article: oopsla21main-p153-p doi:10.1145/3485510
|
| |
Meijer, Erik |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Coarsening Optimization for ..."
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang
(North Carolina State University, USA; Facebook, USA)
Publisher's Version
Article: oopsla21main-p142-p doi:10.1145/3485507
|
| |
Meiklejohn, Christopher S. |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Durable Functions: Semantics ..."
Durable Functions: Semantics for Stateful Serverless
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, and Christopher S. Meiklejohn
(Microsoft Research, USA; Microsoft Azure, USA; University of Pennsylvania, USA; Carnegie Mellon University, USA)
Publisher's Version
Article: oopsla21main-p153-p doi:10.1145/3485510
|
| |
Min, Bonan |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "SimTyper: Sound Type Inference ..."
SimTyper: Sound Type Inference for Ruby using Type Equality Prediction
Milod Kazerounian, Jeffrey S. Foster, and Bonan Min
(University of Maryland at College Park, USA; Tufts University, USA; Raytheon BBN Technologies, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p40-p doi:10.1145/3485483
|
| |
Mitropoulos, Charalambos |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Well-Typed Programs Can Go ..."
Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, and Diomidis Spinellis
(Athens University of Economics and Business, Greece; Technical University of Crete, Greece; University of Athens, Greece; Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p117-p doi:10.1145/3485500
|
| |
Mitropoulos, Dimitris |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Well-Typed Programs Can Go ..."
Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, and Diomidis Spinellis
(Athens University of Economics and Business, Greece; Technical University of Crete, Greece; University of Athens, Greece; Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p117-p doi:10.1145/3485500
|
| |
Moreira, Angélica Aparecida |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "VESPA: Static Profiling for ..."
VESPA: Static Profiling for Binary Optimization
Angélica Aparecida Moreira, Guilherme Ottoni, and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil; Facebook, USA)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p194-p doi:10.1145/3485521
|
| |
Morris, Daniel |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Multi-modal Program Inference: ..."
Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, and Ashish Tiwari
(Purdue University, USA; Microsoft, USA)
Publisher's Version
Article: oopsla21main-p410-p doi:10.1145/3485535
|
| |
Muehlboeck, Fabian |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Transitioning from Structural ..."
Transitioning from Structural to Nominal Code with Efficient Gradual Typing
Fabian Muehlboeck and Ross Tate
(IST Austria, Austria; Cornell University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p130-p doi:10.1145/3485504
|
| |
Müller, Peter |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Modular Specification and ..."
Modular Specification and Verification of Closures in Rust
Fabian Wolff, Aurel Bílý, Christoph Matheja, Peter Müller, and Alexander J. Summers
(ETH Zurich, Switzerland; University of British Columbia, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p215-p doi:10.1145/3485522
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Rich Specifications for Ethereum ..."
Rich Specifications for Ethereum Smart Contract Verification
Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, and Alexander J. Summers
(ETH Zurich, Switzerland; University of British Columbia, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p222-p doi:10.1145/3485523
|
| |
Murray, Toby |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "SecRSL: Security Separation ..."
SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency
Pengbo Yan and Toby Murray
(University of Melbourne, Australia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p14-p doi:10.1145/3485476
|
| |
Mururu, Girish |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Not So Fast: Understanding ..."
Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets
Michael D. Brown, Matthew Pruett, Robert Bigelow, Girish Mururu, and Santosh Pande
(Georgia Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p301-p doi:10.1145/3485531
|
| |
Namakonov, Egor
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Making Weak Memory Models ..."
Making Weak Memory Models Fair
Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, and Viktor Vafeiadis
(Tel Aviv University, Israel; St. Petersburg University, Russia; JetBrains Research, Russia; Huawei, Germany; HSE University, Russia; MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p9-p doi:10.1145/3485475
|
| |
Nandi, Chandrakana |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Rewrite Rule Inference Using ..."
Rewrite Rule Inference Using Equality Saturation
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p94-p doi:10.1145/3485496
|
| |
Nguyen, KimHao |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Dynaplex: Analyzing Program ..."
Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations
Didier Ishimwe, KimHao Nguyen, and ThanhVu Nguyen
(University of Nebraska-Lincoln, USA; George Mason University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p180-p doi:10.1145/3485515
|
| |
Nguyen, ThanhVu |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Dynaplex: Analyzing Program ..."
Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations
Didier Ishimwe, KimHao Nguyen, and ThanhVu Nguyen
(University of Nebraska-Lincoln, USA; George Mason University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p180-p doi:10.1145/3485515
|
| |
Oberhauser, Jonas
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Making Weak Memory Models ..."
Making Weak Memory Models Fair
Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, and Viktor Vafeiadis
(Tel Aviv University, Israel; St. Petersburg University, Russia; JetBrains Research, Russia; Huawei, Germany; HSE University, Russia; MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p9-p doi:10.1145/3485475
|
| |
Olukotun, Kunle |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Compilation of Sparse Array ..."
Compilation of Sparse Array Programming Models
Rawn Henry, Olivia Hsu, Rohan Yadav, Stephen Chou, Kunle Olukotun, Saman Amarasinghe, and Fredrik Kjolstad
(Massachusetts Institute of Technology, USA; Stanford University, USA)
Publisher's Version
Article: oopsla21main-p133-p doi:10.1145/3485505
|
| |
Ottoni, Guilherme |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "VESPA: Static Profiling for ..."
VESPA: Static Profiling for Binary Optimization
Angélica Aparecida Moreira, Guilherme Ottoni, and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil; Facebook, USA)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p194-p doi:10.1145/3485521
|
| |
Pande, Santosh
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Not So Fast: Understanding ..."
Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets
Michael D. Brown, Matthew Pruett, Robert Bigelow, Girish Mururu, and Santosh Pande
(Georgia Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p301-p doi:10.1145/3485531
|
| |
Paraskevopoulou, Zoe |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Compiling with Continuations, ..."
Compiling with Continuations, Correctly
Zoe Paraskevopoulou and Anvay Grover
(Northeastern University, USA; University of Wisconsin-Madison, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p75-p doi:10.1145/3485491
|
| |
Park, Jiwon |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Generative Type-Aware Mutation ..."
Generative Type-Aware Mutation for Testing SMT Solvers
Jiwon Park, Dominik Winterer, Chengyu Zhang, and Zhendong Su
(École Polytechnique, France; ETH Zurich, Switzerland; East China Normal University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p264-p doi:10.1145/3485529
|
| |
Patel, Nisarg |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Verifying Concurrent Multicopy ..."
Verifying Concurrent Multicopy Search Structures
Nisarg Patel, Siddharth Krishna, Dennis Shasha, and Thomas Wies
(New York University, USA; Microsoft Research, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p70-p doi:10.1145/3485490
|
| |
Pavlogiannis, Andreas |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "The Reads-From Equivalence ..."
The Reads-From Equivalence for the TSO and PSO Memory Models
Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, and Viktor Toman
(Comenius University Bratislava, Slovakia; IST Austria, Austria; IIT Bombay, India; Aarhus University, Denmark)
Publisher's Version
Article: oopsla21main-p490-p doi:10.1145/3485541
|
| |
Peleg, Hila |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "LooPy: Interactive Program ..."
LooPy: Interactive Program Synthesis with Control Structures
Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, and Nadia Polikarpova
(University of California at San Diego, USA; Technion, Israel)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p294-p doi:10.1145/3485530
|
| |
Pelenitsyn, Artem |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Type Stability in Julia: Avoiding ..."
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, and Jan Vitek
(Northeastern University, USA; Cornell University, USA; Czech Technical University, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p237-p doi:10.1145/3485527
|
| |
Phifer, Chris |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Type System for Extracting ..."
A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Ştefănescu, Aaron Tomb, Adam Wick, Matthew Yacavone, and Steve Zdancewic
(University of Pennsylvania, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p161-p doi:10.1145/3485512
|
| |
Phipps-Costin, Luna |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Solver-Based Gradual Type ..."
Solver-Based Gradual Type Migration
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, and Arjun Guha
(University of Massachusetts at Amherst, USA; Wellesley College, USA; Stevens Institute of Technology, USA; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p49-p doi:10.1145/3485488
|
| |
Piskac, Ruzica |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Static Detection of Silent ..."
Static Detection of Silent Misconfigurations with Deep Interaction Analysis
Jialu Zhang, Ruzica Piskac, Ennan Zhai, and Tianyin Xu
(Yale University, USA; Alibaba Group, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Artifacts Functional
Article: oopsla21main-p183-p doi:10.1145/3485517
|
| |
Pitchanathan, Arjun |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "FPL: Fast Presburger Arithmetic ..."
FPL: Fast Presburger Arithmetic through Transprecision
Arjun Pitchanathan, Christian Ulmann, Michel Weber, Torsten Hoefler, and Tobias Grosser
(IIIT Hyderabad, India; ETH Zurich, Switzerland; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p469-p doi:10.1145/3485539
|
| |
Podkopaev, Anton |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Making Weak Memory Models ..."
Making Weak Memory Models Fair
Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, and Viktor Vafeiadis
(Tel Aviv University, Israel; St. Petersburg University, Russia; JetBrains Research, Russia; Huawei, Germany; HSE University, Russia; MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p9-p doi:10.1145/3485475
|
| |
Polikarpova, Nadia |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "LooPy: Interactive Program ..."
LooPy: Interactive Program Synthesis with Control Structures
Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, and Nadia Polikarpova
(University of California at San Diego, USA; Technion, Israel)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p294-p doi:10.1145/3485530
|
| |
Pollard, James D. |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Formal Verification of High-Level ..."
Formal Verification of High-Level Synthesis
Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson
(Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p86-p doi:10.1145/3485494
|
| |
Popescu, Natalie |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Safer at Any Speed: Automatic ..."
Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David I. August, and Amit Levy
(Princeton University, USA; Google, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p27-p doi:10.1145/3485480
|
| |
Preguiça, Nuno |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "ECROs: Building Global Scale ..."
ECROs: Building Global Scale Systems from Sequential Code
Kevin De Porre, Carla Ferreira, Nuno Preguiça, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium; NOVA School of Science and Technology, Portugal)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p42-p doi:10.1145/3485484
|
| |
Pretnar, Matija |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Efficient Compilation of Algebraic ..."
Efficient Compilation of Algebraic Effect Handlers
Georgios Karachalias, Filip Koprivec, Matija Pretnar, and Tom Schrijvers
(Tweag, France; University of Ljubljana, Slovenia; Institute of Mathematics, Physics, and Mechanics, Slovenia; KU Leuven, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p24-p doi:10.1145/3485479
|
| |
Pruett, Matthew |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Not So Fast: Understanding ..."
Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets
Michael D. Brown, Matthew Pruett, Robert Bigelow, Girish Mururu, and Santosh Pande
(Georgia Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p301-p doi:10.1145/3485531
|
| |
Pu, Geguang |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Fully Automated Functional ..."
Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, and Zhendong Su
(East China Normal University, China; Nanjing University, China; Visa Research, USA; ETH Zurich, Switzerland)
Publisher's Version
Article: oopsla21main-p344-p doi:10.1145/3485533
|
| |
Quintão Pereira, Fernando Magno
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "VESPA: Static Profiling for ..."
VESPA: Static Profiling for Binary Optimization
Angélica Aparecida Moreira, Guilherme Ottoni, and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil; Facebook, USA)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p194-p doi:10.1145/3485521
|
| |
Radhakrishna, Arjun
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Multi-modal Program Inference: ..."
Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, and Ashish Tiwari
(Purdue University, USA; Microsoft, USA)
Publisher's Version
Article: oopsla21main-p410-p doi:10.1145/3485535
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "APIfix: Output-Oriented Program ..."
APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, and Abhik Roychoudhury
(National University of Singapore, Singapore; Microsoft, USA)
Publisher's Version
Article: oopsla21main-p448-p doi:10.1145/3485538
|
| |
Ragan-Kelley, Jonathan |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Efficient Automatic Scheduling ..."
Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU
Luke Anderson, Andrew Adams, Karima Ma, Tzu-Mao Li, Tian Jin, and Jonathan Ragan-Kelley
(Massachusetts Institute of Technology, USA; Adobe, USA; University of California at San Diego, USA)
Publisher's Version
Article: oopsla21main-p45-p doi:10.1145/3485486
|
| |
Rahmani, Kia |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Multi-modal Program Inference: ..."
Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, and Ashish Tiwari
(Purdue University, USA; Microsoft, USA)
Publisher's Version
Article: oopsla21main-p410-p doi:10.1145/3485535
|
| |
Ramanathan, Nadesh |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Formal Verification of High-Level ..."
Formal Verification of High-Level Synthesis
Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson
(Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p86-p doi:10.1145/3485494
|
| |
Raval, Harmit |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Specifying and Testing GPU ..."
Specifying and Testing GPU Workgroup Progress Models
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, and Alastair F. Donaldson
(University of California at Santa Cruz, USA; Princeton University, USA; Google, USA; Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p143-p doi:10.1145/3485508
|
| |
Raza, Mohammad |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Multi-modal Program Inference: ..."
Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, and Ashish Tiwari
(Purdue University, USA; Microsoft, USA)
Publisher's Version
Article: oopsla21main-p410-p doi:10.1145/3485535
|
| |
Reichenbach, Christoph |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "JavaDL: Automatically Incrementalizing ..."
JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
Alexandru Dura, Christoph Reichenbach, and Emma Söderberg
(Lund University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p507-p doi:10.1145/3485542
|
| |
Reiter, Michael K. |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Interpretable Noninterference ..."
Interpretable Noninterference Measurement and Its Application to Processor Designs
Ziqiao Zhou and Michael K. Reiter
(Microsoft Research, USA; Duke University, USA)
Publisher's Version
Article: oopsla21main-p184-p doi:10.1145/3485518
|
| |
Robert, Valentin |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Type System for Extracting ..."
A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Ştefănescu, Aaron Tomb, Adam Wick, Matthew Yacavone, and Steve Zdancewic
(University of Pennsylvania, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p161-p doi:10.1145/3485512
|
| |
Rompf, Tiark |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Reachability Types: Tracking ..."
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
Yuyan Bao, Guannan Wei, Oliver Bračevac, Yuxuan Jiang, Qiyang He, and Tiark Rompf
(University of Waterloo, Canada; Purdue University, USA)
Publisher's Version
Article: oopsla21main-p181-p doi:10.1145/3485516
|
| |
Rossbach, Christopher J. |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Programming and Execution ..."
Programming and Execution Models for Parallel Bounded Exhaustive Testing
Nader Al Awar, Kush Jain, Christopher J. Rossbach, and Milos Gligoric
(University of Texas at Austin, USA; Katana Graph, USA)
Publisher's Version
Article: oopsla21main-p532-p doi:10.1145/3485543
|
| |
Roth, Ori |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Study of the Subtyping Machine ..."
Study of the Subtyping Machine of Nominal Subtyping with Variance
Ori Roth
(Technion, Israel)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p170-p doi:10.1145/3485514
|
| |
Roychoudhury, Abhik |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "APIfix: Output-Oriented Program ..."
APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, and Abhik Roychoudhury
(National University of Singapore, Singapore; Microsoft, USA)
Publisher's Version
Article: oopsla21main-p448-p doi:10.1145/3485538
|
| |
Saha, Shambwaditya
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Synthesizing Contracts Correct ..."
Synthesizing Contracts Correct Modulo a Test Generator
Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tufts University, USA; Peking University, China)
Publisher's Version
Article: oopsla21main-p30-p doi:10.1145/3485481
|
| |
Saiki, Brett |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Rewrite Rule Inference Using ..."
Rewrite Rule Inference Using Equality Saturation
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p94-p doi:10.1145/3485496
|
| |
Salvador, Lucas F. |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Specifying and Testing GPU ..."
Specifying and Testing GPU Workgroup Progress Models
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, and Alastair F. Donaldson
(University of California at Santa Cruz, USA; Princeton University, USA; Google, USA; Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p143-p doi:10.1145/3485508
|
| |
Samanta, Roopsha |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "QuickSilver: Modeling and ..."
QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, and Roopsha Samanta
(Purdue University, USA; CISPA, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p364-p doi:10.1145/3485534
|
| |
Schrijvers, Tom |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Efficient Compilation of Algebraic ..."
Efficient Compilation of Algebraic Effect Handlers
Georgios Karachalias, Filip Koprivec, Matija Pretnar, and Tom Schrijvers
(Tweag, France; University of Ljubljana, Slovenia; Institute of Mathematics, Physics, and Mechanics, Slovenia; KU Leuven, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p24-p doi:10.1145/3485479
|
| |
Schroeder, Ryan |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Translating C to Safer Rust ..."
Translating C to Safer Rust
Mehmet Emre, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf
(University of California at Santa Barbara, USA; California State University at Northridge, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p101-p doi:10.1145/3485498
|
| |
Schulz, Adriana |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Rewrite Rule Inference Using ..."
Rewrite Rule Inference Using Equality Saturation
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p94-p doi:10.1145/3485496
|
| |
Sen, Koushik |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Gauss: Program Synthesis by ..."
Gauss: Program Synthesis by Reasoning over Graphs
Rohan Bavishi, Caroline Lemieux, Koushik Sen, and Ion Stoica
(University of California at Berkeley, USA)
Publisher's Version
Article: oopsla21main-p157-p doi:10.1145/3485511
|
| |
Shao, Zhong |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Much ADO about Failures: A ..."
Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
Wolf Honoré, Jieung Kim, Ji-Yong Shin, and Zhong Shao
(Yale University, USA; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p2-p doi:10.1145/3485474
|
| |
Shariffdeen, Ridwan |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "APIfix: Output-Oriented Program ..."
APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, and Abhik Roychoudhury
(National University of Singapore, Singapore; Microsoft, USA)
Publisher's Version
Article: oopsla21main-p448-p doi:10.1145/3485538
|
| |
Shasha, Dennis |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Verifying Concurrent Multicopy ..."
Verifying Concurrent Multicopy Search Structures
Nisarg Patel, Siddharth Krishna, Dennis Shasha, and Thomas Wies
(New York University, USA; Microsoft Research, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p70-p doi:10.1145/3485490
|
| |
Shen, Xipeng |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "UDF to SQL Translation through ..."
UDF to SQL Translation through Compositional Lazy Inductive Synthesis
Guoqiang Zhang, Yuanchao Xu, Xipeng Shen, and Işıl Dillig
(North Carolina State University, USA; University of Texas at Austin, USA)
Publisher's Version
Article: oopsla21main-p66-p doi:10.1145/3485489
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Coarsening Optimization for ..."
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang
(North Carolina State University, USA; Facebook, USA)
Publisher's Version
Article: oopsla21main-p142-p doi:10.1145/3485507
|
| |
Shi, Qingkai |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Program Analysis via Efficient ..."
Program Analysis via Efficient Symbolic Abstraction
Peisen Yao, Qingkai Shi, Heqing Huang, and Charles Zhang
(Hong Kong University of Science and Technology, China; Ant Group, China)
Publisher's Version
Article: oopsla21main-p90-p doi:10.1145/3485495
|
| |
Shin, Ji-Yong |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Much ADO about Failures: A ..."
Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
Wolf Honoré, Jieung Kim, Ji-Yong Shin, and Zhong Shao
(Yale University, USA; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p2-p doi:10.1145/3485474
|
| |
Shivers, Olin Grigsby |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Coarsening Optimization for ..."
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang
(North Carolina State University, USA; Facebook, USA)
Publisher's Version
Article: oopsla21main-p142-p doi:10.1145/3485507
|
| |
Sierra, Robin |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Rich Specifications for Ethereum ..."
Rich Specifications for Ethereum Smart Contract Verification
Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, and Alexander J. Summers
(ETH Zurich, Switzerland; University of British Columbia, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p222-p doi:10.1145/3485523
|
| |
Smaragdakis, Yannis |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Making Pointer Analysis More ..."
Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity
Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, and Yannis Smaragdakis
(Nanjing University, China; University of Athens, Greece)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p223-p doi:10.1145/3485524
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Symbolic Value-Flow Static ..."
Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, and Ilias Tsatiris
(University of Athens, Greece; University of Malta, Malta)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p476-p doi:10.1145/3485540
|
| |
Smeltzer, Karl |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Type System for Extracting ..."
A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Ştefănescu, Aaron Tomb, Adam Wick, Matthew Yacavone, and Steve Zdancewic
(University of Pennsylvania, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p161-p doi:10.1145/3485512
|
| |
Soares, Gustavo |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Multi-modal Program Inference: ..."
Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, and Ashish Tiwari
(Purdue University, USA; Microsoft, USA)
Publisher's Version
Article: oopsla21main-p410-p doi:10.1145/3485535
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "APIfix: Output-Oriented Program ..."
APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, and Abhik Roychoudhury
(National University of Singapore, Singapore; Microsoft, USA)
Publisher's Version
Article: oopsla21main-p448-p doi:10.1145/3485538
|
| |
Söderberg, Emma |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "JavaDL: Automatically Incrementalizing ..."
JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
Alexandru Dura, Christoph Reichenbach, and Emma Söderberg
(Lund University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p507-p doi:10.1145/3485542
|
| |
Sorensen, Tyler |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "The Semantics of Shared Memory ..."
The Semantics of Shared Memory in Intel CPU/FPGA Systems
Dan Iorga, Alastair F. Donaldson, Tyler Sorensen, and John Wickerson
(Imperial College London, UK; University of California at Santa Cruz, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p99-p doi:10.1145/3485497
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Specifying and Testing GPU ..."
Specifying and Testing GPU Workgroup Progress Models
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, and Alastair F. Donaldson
(University of California at Santa Cruz, USA; Princeton University, USA; Google, USA; Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p143-p doi:10.1145/3485508
|
| |
Sotiropoulos, Thodoris |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Well-Typed Programs Can Go ..."
Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, and Diomidis Spinellis
(Athens University of Economics and Business, Greece; Technical University of Crete, Greece; University of Athens, Greece; Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p117-p doi:10.1145/3485500
|
| |
Spinellis, Diomidis |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Well-Typed Programs Can Go ..."
Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, and Diomidis Spinellis
(Athens University of Economics and Business, Greece; Technical University of Crete, Greece; University of Athens, Greece; Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p117-p doi:10.1145/3485500
|
| |
Steele Jr., Guy L. |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "LXM: Better Splittable Pseudorandom ..."
LXM: Better Splittable Pseudorandom Number Generators (and Almost as Fast)
Guy L. Steele Jr. and Sebastiano Vigna
(Oracle Labs, USA; University of Milan, Italy)
Publisher's Version
Article: oopsla21main-p229-p doi:10.1145/3485525
|
| |
Ştefănescu, Andrei |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Type System for Extracting ..."
A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Ştefănescu, Aaron Tomb, Adam Wick, Matthew Yacavone, and Steve Zdancewic
(University of Pennsylvania, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p161-p doi:10.1145/3485512
|
| |
Stoica, Ion |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Gauss: Program Synthesis by ..."
Gauss: Program Synthesis by Reasoning over Graphs
Rohan Bavishi, Caroline Lemieux, Koushik Sen, and Ion Stoica
(University of California at Berkeley, USA)
Publisher's Version
Article: oopsla21main-p157-p doi:10.1145/3485511
|
| |
Stumpos, Steffi |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Coarsening Optimization for ..."
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang
(North Carolina State University, USA; Facebook, USA)
Publisher's Version
Article: oopsla21main-p142-p doi:10.1145/3485507
|
| |
Su, Ting |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Fully Automated Functional ..."
Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, and Zhendong Su
(East China Normal University, China; Nanjing University, China; Visa Research, USA; ETH Zurich, Switzerland)
Publisher's Version
Article: oopsla21main-p344-p doi:10.1145/3485533
|
| |
Su, Zhendong |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Generative Type-Aware Mutation ..."
Generative Type-Aware Mutation for Testing SMT Solvers
Jiwon Park, Dominik Winterer, Chengyu Zhang, and Zhendong Su
(École Polytechnique, France; ETH Zurich, Switzerland; East China Normal University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p264-p doi:10.1145/3485529
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Fully Automated Functional ..."
Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, and Zhendong Su
(East China Normal University, China; Nanjing University, China; Visa Research, USA; ETH Zurich, Switzerland)
Publisher's Version
Article: oopsla21main-p344-p doi:10.1145/3485533
|
| |
Sui, Yulei |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Compacting Points-To Sets ..."
Compacting Points-To Sets through Object Clustering
Mohamad Barbar and Yulei Sui
(University of Technology Sydney, Australia; CSIRO’s Data61, Australia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p426-p doi:10.1145/3485547
|
| |
Summers, Alexander J. |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Modular Specification and ..."
Modular Specification and Verification of Closures in Rust
Fabian Wolff, Aurel Bílý, Christoph Matheja, Peter Müller, and Alexander J. Summers
(ETH Zurich, Switzerland; University of British Columbia, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p215-p doi:10.1145/3485522
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Rich Specifications for Ethereum ..."
Rich Specifications for Ethereum Smart Contract Verification
Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, and Alexander J. Summers
(ETH Zurich, Switzerland; University of British Columbia, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p222-p doi:10.1145/3485523
|
| |
Sun, Jingling |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Fully Automated Functional ..."
Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, and Zhendong Su
(East China Normal University, China; Nanjing University, China; Visa Research, USA; ETH Zurich, Switzerland)
Publisher's Version
Article: oopsla21main-p344-p doi:10.1145/3485533
|
| |
Tan, Gang
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "SpecSafe: Detecting Cache ..."
SpecSafe: Detecting Cache Side Channels in a Speculative World
Robert Brotzman, Danfeng Zhang, Mahmut Taylan Kandemir, and Gang Tan
(Pennsylvania State University, USA)
Publisher's Version
Article: oopsla21main-p141-p doi:10.1145/3485506
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Derivative-Based Parser ..."
A Derivative-Based Parser Generator for Visibly Pushdown Grammars
Xiaodong Jia, Ashish Kumar, and Gang Tan
(Pennsylvania State University, USA)
Publisher's Version
Article: oopsla21main-p245-p doi:10.1145/3485528
|
| |
Tan, Tian |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Making Pointer Analysis More ..."
Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity
Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, and Yannis Smaragdakis
(Nanjing University, China; University of Athens, Greece)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p223-p doi:10.1145/3485524
|
| |
Tanter, Éric |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Gradually Structured Data ..."
Gradually Structured Data
Stefan Malewski, Michael Greenberg, and Éric Tanter
(University of Chile, Chile; Stevens Institute of Technology, USA; IMFD, Chile)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p125-p doi:10.1145/3485503
|
| |
Tate, Ross |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Transitioning from Structural ..."
Transitioning from Structural to Nominal Code with Efficient Gradual Typing
Fabian Muehlboeck and Ross Tate
(IST Austria, Austria; Cornell University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p130-p doi:10.1145/3485504
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Type Stability in Julia: Avoiding ..."
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, and Jan Vitek
(Northeastern University, USA; Cornell University, USA; Czech Technical University, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p237-p doi:10.1145/3485527
|
| |
Tatlock, Zachary |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Rewrite Rule Inference Using ..."
Rewrite Rule Inference Using Equality Saturation
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p94-p doi:10.1145/3485496
|
| |
Tempest, Alanna |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Coarsening Optimization for ..."
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang
(North Carolina State University, USA; Facebook, USA)
Publisher's Version
Article: oopsla21main-p142-p doi:10.1145/3485507
|
| |
Thiemann, Peter |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Label Dependent Lambda Calculus ..."
Label Dependent Lambda Calculus and Gradual Typing
Weili Fu, Fabian Krause, and Peter Thiemann
(University of Freiburg, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p43-p doi:10.1145/3485485
|
| |
Tip, Frank |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Automatic Migration from Synchronous ..."
Automatic Migration from Synchronous to Asynchronous JavaScript APIs
Satyajit Gokhale, Alexi Turcotte, and Frank Tip
(Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p446-p doi:10.1145/3485537
|
| |
Tiwari, Ashish |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Multi-modal Program Inference: ..."
Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, and Ashish Tiwari
(Purdue University, USA; Microsoft, USA)
Publisher's Version
Article: oopsla21main-p410-p doi:10.1145/3485535
|
| |
Toman, Viktor |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "The Reads-From Equivalence ..."
The Reads-From Equivalence for the TSO and PSO Memory Models
Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, and Viktor Toman
(Comenius University Bratislava, Slovakia; IST Austria, Austria; IIT Bombay, India; Aarhus University, Denmark)
Publisher's Version
Article: oopsla21main-p490-p doi:10.1145/3485541
|
| |
Tomb, Aaron |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Type System for Extracting ..."
A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Ştefănescu, Aaron Tomb, Adam Wick, Matthew Yacavone, and Steve Zdancewic
(University of Pennsylvania, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p161-p doi:10.1145/3485512
|
| |
Triantafyllou, Konstantinos |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Symbolic Value-Flow Static ..."
Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, and Ilias Tsatiris
(University of Athens, Greece; University of Malta, Malta)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p476-p doi:10.1145/3485540
|
| |
Tsatiris, Ilias |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Symbolic Value-Flow Static ..."
Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, and Ilias Tsatiris
(University of Athens, Greece; University of Malta, Malta)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p476-p doi:10.1145/3485540
|
| |
Turcotte, Alexi |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Automatic Migration from Synchronous ..."
Automatic Migration from Synchronous to Asynchronous JavaScript APIs
Satyajit Gokhale, Alexi Turcotte, and Frank Tip
(Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p446-p doi:10.1145/3485537
|
| |
Ulbrich, Mattias
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Scalability and Precision ..."
Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, and Werner Dietl
(KIT, Germany; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p191-p doi:10.1145/3485520
|
| |
Ulmann, Christian |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "FPL: Fast Presburger Arithmetic ..."
FPL: Fast Presburger Arithmetic through Transprecision
Arjun Pitchanathan, Christian Ulmann, Michel Weber, Torsten Hoefler, and Tobias Grosser
(IIIT Hyderabad, India; ETH Zurich, Switzerland; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p469-p doi:10.1145/3485539
|
| |
Vafeiadis, Viktor
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Making Weak Memory Models ..."
Making Weak Memory Models Fair
Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, and Viktor Vafeiadis
(Tel Aviv University, Israel; St. Petersburg University, Russia; JetBrains Research, Russia; Huawei, Germany; HSE University, Russia; MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p9-p doi:10.1145/3485475
|
| |
Van de Pol, Jaco |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Relational Nullable Types ..."
Relational Nullable Types with Boolean Unification
Magnus Madsen and Jaco van de Pol
(Aarhus University, Denmark)
Publisher's Version
Article: oopsla21main-p47-p doi:10.1145/3485487
|
| |
Vedurada, Jyothi |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "MonkeyDB: Effectively Testing ..."
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, and Akash Lal
(Informal Systems, France; Microsoft, India; IIT Hyderabad, India; IRIF, France; University of Paris, France; CNRS, France; Microsoft Research, India)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p150-p doi:10.1145/3485546
|
| |
Verbruggen, Gust |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Semantic Programming by Example ..."
Semantic Programming by Example with Pre-trained Models
Gust Verbruggen, Vu Le, and Sumit Gulwani
(KU Leuven, Belgium; Microsoft, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p17-p doi:10.1145/3485477
|
| |
Viering, Malte |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Multiparty Session Typing ..."
A Multiparty Session Typing Discipline for Fault-Tolerant Event-Driven Distributed Programming
Malte Viering, Raymond Hu, Patrick Eugster, and Lukasz Ziarek
(TU Darmstadt, Germany; Queen Mary University of London, UK; USI Lugano, Switzerland; Purdue University, USA; University at Buffalo, USA)
Publisher's Version
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p119-p doi:10.1145/3485501
|
| |
Vigna, Sebastiano |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "LXM: Better Splittable Pseudorandom ..."
LXM: Better Splittable Pseudorandom Number Generators (and Almost as Fast)
Guy L. Steele Jr. and Sebastiano Vigna
(Oracle Labs, USA; University of Milan, Italy)
Publisher's Version
Article: oopsla21main-p229-p doi:10.1145/3485525
|
| |
Vitek, Jan |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Promises Are Made to Be Broken: ..."
Promises Are Made to Be Broken: Migrating R to Strict Semantics
Aviral Goel, Jan Ječmen, Sebastián Krynski, Olivier Flückiger, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p18-p doi:10.1145/3485478
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "What We Eval in the Shadows: ..."
What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs
Aviral Goel, Pierre Donat-Bouillud, Filip Křikava, Christoph M. Kirsch, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia; University of Salzburg, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p121-p doi:10.1145/3485502
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Type Stability in Julia: Avoiding ..."
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, and Jan Vitek
(Northeastern University, USA; Cornell University, USA; Czech Technical University, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p237-p doi:10.1145/3485527
|
| |
Vu, Son Tuan |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Reconciling Optimization with ..."
Reconciling Optimization with Secure Compilation
Son Tuan Vu, Albert Cohen, Arnaud De Grandmaison, Christophe Guillon, and Karine Heydemann
(Sorbonne University, France; CNRS, France; LIP6, France; Google, France; ARM, France; STMicroelectronics, France)
Publisher's Version
Article: oopsla21main-p190-p doi:10.1145/3485519
|
| |
Wagner, Christopher
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "QuickSilver: Modeling and ..."
QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, and Roopsha Samanta
(Purdue University, USA; CISPA, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p364-p doi:10.1145/3485534
|
| |
Wang, Felicia |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Synthesizing Contracts Correct ..."
Synthesizing Contracts Correct Modulo a Test Generator
Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tufts University, USA; Peking University, China)
Publisher's Version
Article: oopsla21main-p30-p doi:10.1145/3485481
|
| |
Wang, Jue |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Fully Automated Functional ..."
Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, and Zhendong Su
(East China Normal University, China; Nanjing University, China; Visa Research, USA; ETH Zurich, Switzerland)
Publisher's Version
Article: oopsla21main-p344-p doi:10.1145/3485533
|
| |
Wang, Ke |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Fully Automated Functional ..."
Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, and Zhendong Su
(East China Normal University, China; Nanjing University, China; Visa Research, USA; ETH Zurich, Switzerland)
Publisher's Version
Article: oopsla21main-p344-p doi:10.1145/3485533
|
| |
Wang, Meng |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Synbit: Synthesizing Bidirectional ..."
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, and Meng Wang
(Tohoku University, Japan; University of Bristol, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p32-p doi:10.1145/3485482
|
| |
Wang, Yisu Remy |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Rewrite Rule Inference Using ..."
Rewrite Rule Inference Using Equality Saturation
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p94-p doi:10.1145/3485496
|
| |
Warden, Christy |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Coarsening Optimization for ..."
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang
(North Carolina State University, USA; Facebook, USA)
Publisher's Version
Article: oopsla21main-p142-p doi:10.1145/3485507
|
| |
Weber, Michel |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "FPL: Fast Presburger Arithmetic ..."
FPL: Fast Presburger Arithmetic through Transprecision
Arjun Pitchanathan, Christian Ulmann, Michel Weber, Torsten Hoefler, and Tobias Grosser
(IIIT Hyderabad, India; ETH Zurich, Switzerland; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p469-p doi:10.1145/3485539
|
| |
Wei, Guannan |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Reachability Types: Tracking ..."
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
Yuyan Bao, Guannan Wei, Oliver Bračevac, Yuxuan Jiang, Qiyang He, and Tiark Rompf
(University of Waterloo, Canada; Purdue University, USA)
Publisher's Version
Article: oopsla21main-p181-p doi:10.1145/3485516
|
| |
Weigl, Alexander |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Scalability and Precision ..."
Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, and Werner Dietl
(KIT, Germany; University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p191-p doi:10.1145/3485520
|
| |
Westbrook, Eddy |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Type System for Extracting ..."
A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Ştefănescu, Aaron Tomb, Adam Wick, Matthew Yacavone, and Steve Zdancewic
(University of Pennsylvania, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p161-p doi:10.1145/3485512
|
| |
Wick, Adam |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Type System for Extracting ..."
A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Ştefănescu, Aaron Tomb, Adam Wick, Matthew Yacavone, and Steve Zdancewic
(University of Pennsylvania, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p161-p doi:10.1145/3485512
|
| |
Wickerson, John |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Formal Verification of High-Level ..."
Formal Verification of High-Level Synthesis
Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson
(Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p86-p doi:10.1145/3485494
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "The Semantics of Shared Memory ..."
The Semantics of Shared Memory in Intel CPU/FPGA Systems
Dan Iorga, Alastair F. Donaldson, Tyler Sorensen, and John Wickerson
(Imperial College London, UK; University of California at Santa Cruz, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p99-p doi:10.1145/3485497
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Specifying and Testing GPU ..."
Specifying and Testing GPU Workgroup Progress Models
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, and Alastair F. Donaldson
(University of California at Santa Cruz, USA; Princeton University, USA; Google, USA; Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p143-p doi:10.1145/3485508
|
| |
Wies, Thomas |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Verifying Concurrent Multicopy ..."
Verifying Concurrent Multicopy Search Structures
Nisarg Patel, Siddharth Krishna, Dennis Shasha, and Thomas Wies
(New York University, USA; Microsoft Research, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p70-p doi:10.1145/3485490
|
| |
Willsey, Max |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Rewrite Rule Inference Using ..."
Rewrite Rule Inference Using Equality Saturation
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p94-p doi:10.1145/3485496
|
| |
Winterer, Dominik |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Generative Type-Aware Mutation ..."
Generative Type-Aware Mutation for Testing SMT Solvers
Jiwon Park, Dominik Winterer, Chengyu Zhang, and Zhendong Su
(École Polytechnique, France; ETH Zurich, Switzerland; East China Normal University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p264-p doi:10.1145/3485529
|
| |
Wolff, Fabian |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Modular Specification and ..."
Modular Specification and Verification of Closures in Rust
Fabian Wolff, Aurel Bílý, Christoph Matheja, Peter Müller, and Alexander J. Summers
(ETH Zurich, Switzerland; University of British Columbia, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p215-p doi:10.1145/3485522
|
| |
Xia, Jingtao
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Generalizable Synthesis through ..."
Generalizable Synthesis through Unification
Ruyi Ji, Jingtao Xia, Yingfei Xiong, and Zhenjiang Hu
(Peking University, China)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p542-p doi:10.1145/3485544
|
| |
Xie, Tao |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Synthesizing Contracts Correct ..."
Synthesizing Contracts Correct Modulo a Test Generator
Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; Tufts University, USA; Peking University, China)
Publisher's Version
Article: oopsla21main-p30-p doi:10.1145/3485481
|
| |
Xiong, Yiheng |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Fully Automated Functional ..."
Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, and Zhendong Su
(East China Normal University, China; Nanjing University, China; Visa Research, USA; ETH Zurich, Switzerland)
Publisher's Version
Article: oopsla21main-p344-p doi:10.1145/3485533
|
| |
Xiong, Yingfei |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Generalizable Synthesis through ..."
Generalizable Synthesis through Unification
Ruyi Ji, Jingtao Xia, Yingfei Xiong, and Zhenjiang Hu
(Peking University, China)
Publisher's Version
Published Artifact
Artifacts Available
Article: oopsla21main-p542-p doi:10.1145/3485544
|
| |
Xu, Chang |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Making Pointer Analysis More ..."
Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity
Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, and Yannis Smaragdakis
(Nanjing University, China; University of Athens, Greece)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p223-p doi:10.1145/3485524
|
| |
Xu, Haoran |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Copy-and-Patch Compilation: ..."
Copy-and-Patch Compilation: A Fast Compilation Algorithm for High-Level Languages and Bytecode
Haoran Xu and Fredrik Kjolstad
(Stanford University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p169-p doi:10.1145/3485513
|
| |
Xu, Tianyin |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Static Detection of Silent ..."
Static Detection of Silent Misconfigurations with Deep Interaction Analysis
Jialu Zhang, Ruzica Piskac, Ennan Zhai, and Tianyin Xu
(Yale University, USA; Alibaba Group, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Artifacts Functional
Article: oopsla21main-p183-p doi:10.1145/3485517
|
| |
Xu, Yuanchao |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "UDF to SQL Translation through ..."
UDF to SQL Translation through Compositional Lazy Inductive Synthesis
Guoqiang Zhang, Yuanchao Xu, Xipeng Shen, and Işıl Dillig
(North Carolina State University, USA; University of Texas at Austin, USA)
Publisher's Version
Article: oopsla21main-p66-p doi:10.1145/3485489
|
| |
Xu, Ziyang |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Safer at Any Speed: Automatic ..."
Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David I. August, and Amit Levy
(Princeton University, USA; Google, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p27-p doi:10.1145/3485480
|
| |
Yacavone, Matthew
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Type System for Extracting ..."
A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Ştefănescu, Aaron Tomb, Adam Wick, Matthew Yacavone, and Steve Zdancewic
(University of Pennsylvania, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p161-p doi:10.1145/3485512
|
| |
Yadav, Rohan |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Compilation of Sparse Array ..."
Compilation of Sparse Array Programming Models
Rawn Henry, Olivia Hsu, Rohan Yadav, Stephen Chou, Kunle Olukotun, Saman Amarasinghe, and Fredrik Kjolstad
(Massachusetts Institute of Technology, USA; Stanford University, USA)
Publisher's Version
Article: oopsla21main-p133-p doi:10.1145/3485505
|
| |
Yamaguchi, Masaomi |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Synbit: Synthesizing Bidirectional ..."
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, and Meng Wang
(Tohoku University, Japan; University of Bristol, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p32-p doi:10.1145/3485482
|
| |
Yan, Pengbo |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "SecRSL: Security Separation ..."
SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency
Pengbo Yan and Toby Murray
(University of Melbourne, Australia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p14-p doi:10.1145/3485476
|
| |
Yan, Yichen |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Fully Automated Functional ..."
Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, and Zhendong Su
(East China Normal University, China; Nanjing University, China; Visa Research, USA; ETH Zurich, Switzerland)
Publisher's Version
Article: oopsla21main-p344-p doi:10.1145/3485533
|
| |
Yang, Shannon |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Coarsening Optimization for ..."
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang
(North Carolina State University, USA; Facebook, USA)
Publisher's Version
Article: oopsla21main-p142-p doi:10.1145/3485507
|
| |
Yao, Peisen |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Program Analysis via Efficient ..."
Program Analysis via Efficient Symbolic Abstraction
Peisen Yao, Qingkai Shi, Heqing Huang, and Charles Zhang
(Hong Kong University of Science and Technology, China; Ant Group, China)
Publisher's Version
Article: oopsla21main-p90-p doi:10.1145/3485495
|
| |
Yuan, Charles |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Statically Bounded-Memory ..."
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, and Michael Carbin
(Massachusetts Institute of Technology, USA; Inria, France; ENS, France; PSL University, France; IBM Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p81-p doi:10.1145/3485492
|
| |
Zdancewic, Steve
|
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Type System for Extracting ..."
A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Ştefănescu, Aaron Tomb, Adam Wick, Matthew Yacavone, and Steve Zdancewic
(University of Pennsylvania, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla21main-p161-p doi:10.1145/3485512
|
| |
Zhai, Ennan |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Static Detection of Silent ..."
Static Detection of Silent Misconfigurations with Deep Interaction Analysis
Jialu Zhang, Ruzica Piskac, Ennan Zhai, and Tianyin Xu
(Yale University, USA; Alibaba Group, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Artifacts Functional
Article: oopsla21main-p183-p doi:10.1145/3485517
|
| |
Zhang, Charles |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Program Analysis via Efficient ..."
Program Analysis via Efficient Symbolic Abstraction
Peisen Yao, Qingkai Shi, Heqing Huang, and Charles Zhang
(Hong Kong University of Science and Technology, China; Ant Group, China)
Publisher's Version
Article: oopsla21main-p90-p doi:10.1145/3485495
|
| |
Zhang, Chengyu |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Generative Type-Aware Mutation ..."
Generative Type-Aware Mutation for Testing SMT Solvers
Jiwon Park, Dominik Winterer, Chengyu Zhang, and Zhendong Su
(École Polytechnique, France; ETH Zurich, Switzerland; East China Normal University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p264-p doi:10.1145/3485529
|
| |
Zhang, Danfeng |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "SpecSafe: Detecting Cache ..."
SpecSafe: Detecting Cache Side Channels in a Speculative World
Robert Brotzman, Danfeng Zhang, Mahmut Taylan Kandemir, and Gang Tan
(Pennsylvania State University, USA)
Publisher's Version
Article: oopsla21main-p141-p doi:10.1145/3485506
|
| |
Zhang, Guoqiang |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "UDF to SQL Translation through ..."
UDF to SQL Translation through Compositional Lazy Inductive Synthesis
Guoqiang Zhang, Yuanchao Xu, Xipeng Shen, and Işıl Dillig
(North Carolina State University, USA; University of Texas at Austin, USA)
Publisher's Version
Article: oopsla21main-p66-p doi:10.1145/3485489
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Coarsening Optimization for ..."
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang
(North Carolina State University, USA; Facebook, USA)
Publisher's Version
Article: oopsla21main-p142-p doi:10.1145/3485507
|
| |
Zhang, Jialu |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Static Detection of Silent ..."
Static Detection of Silent Misconfigurations with Deep Interaction Analysis
Jialu Zhang, Ruzica Piskac, Ennan Zhai, and Tianyin Xu
(Yale University, USA; Alibaba Group, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Artifacts Functional
Article: oopsla21main-p183-p doi:10.1145/3485517
|
| |
Zhou, Zhe |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Data-Driven Abductive Inference ..."
Data-Driven Abductive Inference of Library Specifications
Zhe Zhou, Robert Dickerson, Benjamin Delaware, and Suresh Jagannathan
(Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p83-p doi:10.1145/3485493
|
| |
Zhou, Ziqiao |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Interpretable Noninterference ..."
Interpretable Noninterference Measurement and Its Application to Processor Designs
Ziqiao Zhou and Michael K. Reiter
(Microsoft Research, USA; Duke University, USA)
Publisher's Version
Article: oopsla21main-p184-p doi:10.1145/3485518
|
| |
Zhu, Amy |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "Rewrite Rule Inference Using ..."
Rewrite Rule Inference Using Equality Saturation
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p94-p doi:10.1145/3485496
|
| |
Ziarek, Lukasz |
Proc. ACM Program. Lang., vol. 5, issue OOPSLA: "A Multiparty Session Typing ..."
A Multiparty Session Typing Discipline for Fault-Tolerant Event-Driven Distributed Programming
Malte Viering, Raymond Hu, Patrick Eugster, and Lukasz Ziarek
(TU Darmstadt, Germany; Queen Mary University of London, UK; USI Lugano, Switzerland; Purdue University, USA; University at Buffalo, USA)
Publisher's Version
Artifacts Reusable
Artifacts Functional
Article: oopsla21main-p119-p doi:10.1145/3485501
|