| |
Abdulla, Parosh Aziz
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimal Stateless Model Checking ..."
Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas
(Uppsala University, Sweden)
 Publisher's Version
 Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p130-p doi:10.1145/3360576
|
| |
Abuah, Chike |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..."
Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song
(University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p271-p doi:10.1145/3360598
|
| |
Adams, Ulf |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Ryū Revisited: Printf Floating ..."
Ryū Revisited: Printf Floating Point Conversion
Ulf Adams
(Google, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p251-p doi:10.1145/3360595
|
| |
Adve, Sarita |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..."
ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve
(University of Illinois at Urbana-Champaign, USA; Cornell University, USA)
Publisher's Version
Article: oopsla19main-p488-p doi:10.1145/3360612
|
| |
Adve, Vikram S. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..."
ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve
(University of Illinois at Urbana-Champaign, USA; Cornell University, USA)
Publisher's Version
Article: oopsla19main-p488-p doi:10.1145/3360612
|
| |
Amarasinghe, Saman |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Seq: A High-Performance Language ..."
Seq: A High-Performance Language for Bioinformatics
Ariya Shajii, Ibrahim Numanagić, Riyadh Baghdadi, Bonnie Berger, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p34-p doi:10.1145/3360551
|
| |
Antonopoulos, Timos |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Specification and Inference ..."
Specification and Inference of Trace Refinement Relations
Timos Antonopoulos, Eric Koskinen, and Ton Chanh Le
(Yale University, USA; Stevens Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p370-p doi:10.1145/3360604
|
| |
Astrauskas, Vytautas |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Leveraging Rust Types for ..."
Leveraging Rust Types for Modular Specification and Verification
Vytautas Astrauskas, Peter Müller, Federico Poli, and Alexander J. Summers
(ETH Zurich, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p120-p doi:10.1145/3360573
|
| |
Atig, Mohamed Faouzi |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimal Stateless Model Checking ..."
Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas
(Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p130-p doi:10.1145/3360576
|
| |
Bader, Johannes
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Getafix: Learning to Fix Bugs ..."
Getafix: Learning to Fix Bugs Automatically
Johannes Bader, Andrew Scott, Michael Pradel, and Satish Chandra
(Facebook, USA)
Publisher's Version
Article: oopsla19main-p189-p doi:10.1145/3360585
|
| |
Baghdadi, Riyadh |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Seq: A High-Performance Language ..."
Seq: A High-Performance Language for Bioinformatics
Ariya Shajii, Ibrahim Numanagić, Riyadh Baghdadi, Bonnie Berger, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p34-p doi:10.1145/3360551
|
| |
Bakshy, Eytan |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "PlanAlyzer: Assessing Threats ..."
PlanAlyzer: Assessing Threats to the Validity of Online Experiments
Emma Tosch, Eytan Bakshy, Emery D. Berger, David D. Jensen, and J. Eliot B. Moss
(University of Massachusetts Amherst, USA; Facebook, USA)
Publisher's Version
Article: oopsla19main-p400-p doi:10.1145/3360608
|
| |
Banerjee, Anindya |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Specifying Concurrent Programs ..."
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, and Ignacio Fábregas
(IMDEA Software Institute, Spain; IRIF, France; University of Paris, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p193-p doi:10.1145/3360587
|
| |
Barik, Rajkishore |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimization of Swift Protocols ..."
Optimization of Swift Protocols
Rajkishore Barik, Manu Sridharan, Murali Krishna Ramanathan, and Milind Chabbi
(Uber Technologies, USA; University of California at Riverside, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p206-p doi:10.1145/3360590
|
| |
Barnaby, Celeste |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Aroma: Code Recommendation ..."
Aroma: Code Recommendation via Structural Code Search
Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, and Satish Chandra
(Facebook, USA; University of California at Irvine, USA; University of California at Berkeley, USA)
Publisher's Version
Published Artifact
Article: oopsla19main-p136-p doi:10.1145/3360578
|
| |
Bastani, Osbert |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Probabilistic Verification ..."
Probabilistic Verification of Fairness Properties via Concentration
Osbert Bastani, Xin Zhang, and Armando Solar-Lezama
(University of Pennsylvania, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Article: oopsla19main-p8-p doi:10.1145/3360544
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Relational Verification using ..."
Relational Verification using Reinforcement Learning
Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, and Isil Dillig
(University of Texas at Austin, USA; University of California at Santa Barbara, USA; University of Pennsylvania, USA)
Publisher's Version
Article: oopsla19main-p96-p doi:10.1145/3360567
|
| |
Bastian, Théophile |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reliable and Fast DWARF-Based ..."
Reliable and Fast DWARF-Based Stack Unwinding
Théophile Bastian, Stephen Kell, and Francesco Zappa Nardelli
(ENS, France; University of Kent, UK; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p111-p doi:10.1145/3360572
|
| |
Bavishi, Rohan |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "AutoPandas: Neural-Backed ..."
AutoPandas: Neural-Backed Generators for Program Synthesis
Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, and Ion Stoica
(University of California at Berkeley, USA; University of California at Irvine, USA)
Publisher's Version
Article: oopsla19main-p249-p doi:10.1145/3360594
|
| |
Benavides, Zachary |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "DProf: Distributed Profiler ..."
DProf: Distributed Profiler with Strong Guarantees
Zachary Benavides, Keval Vora, and Rajiv Gupta
(University of California at Riverside, USA; Simon Fraser University, Canada)
Publisher's Version
Article: oopsla19main-p153-p doi:10.1145/3360582
|
| |
Bender, John |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Formalization of Java’s ..."
A Formalization of Java’s Concurrent Access Modes
John Bender and Jens Palsberg
(University of California at Los Angeles, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p98-p doi:10.1145/3360568
|
| |
Berger, Bonnie |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Seq: A High-Performance Language ..."
Seq: A High-Performance Language for Bioinformatics
Ariya Shajii, Ibrahim Numanagić, Riyadh Baghdadi, Bonnie Berger, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p34-p doi:10.1145/3360551
|
| |
Berger, Emery D. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "PlanAlyzer: Assessing Threats ..."
PlanAlyzer: Assessing Threats to the Validity of Online Experiments
Emma Tosch, Eytan Bakshy, Emery D. Berger, David D. Jensen, and J. Eliot B. Moss
(University of Massachusetts Amherst, USA; Facebook, USA)
Publisher's Version
Article: oopsla19main-p400-p doi:10.1145/3360608
|
| |
Bilardi, Gianfranco |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Derivative Grammars: A Symbolic ..."
Derivative Grammars: A Symbolic Approach to Parsing with Derivatives
Ian Henriksen, Gianfranco Bilardi, and Keshav Pingali
(University of Texas at Austin, USA; University of Padua, Italy)
Publisher's Version
Article: oopsla19main-p47-p doi:10.1145/3360553
|
| |
Biswas, Ranadeep |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Complexity of Checking ..."
On the Complexity of Checking Transactional Consistency
Ranadeep Biswas and Constantin Enea
(University of Paris, France; IRIF, France; CNRS, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p214-p doi:10.1145/3360591
|
| |
Bond, Michael D. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Dependence-Aware, Unbounded ..."
Dependence-Aware, Unbounded Sound Predictive Race Detection
Kaan Genç, Jake Roemer, Yufan Xu, and Michael D. Bond
(Ohio State University, USA)
Publisher's Version
Article: oopsla19main-p381-p doi:10.1145/3360605
|
| |
Brun, Yuriy |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Formal Foundations of Serverless ..."
Formal Foundations of Serverless Computing
Abhinav Jangda, Donald Pinckney, Yuriy Brun, and Arjun Guha
(University of Massachusetts Amherst, USA)
Publisher's Version
Article: oopsla19main-p127-p doi:10.1145/3360575
|
| |
Cadar, Cristian
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Compiler Fuzzing: How Much ..."
Compiler Fuzzing: How Much Does It Matter?
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, and Cristian Cadar
(Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p150-p doi:10.1145/3360581
|
| |
Caires, Luís |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Refinement Kinds: Type-Safe ..."
Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation
Luís Caires and Bernardo Toninho
(Nova University of Lisbon, Portugal; NOVA-LINCS, Portugal)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p62-p doi:10.1145/3360557
|
| |
Cambronero, José P. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "AL: Autogenerating Supervised ..."
AL: Autogenerating Supervised Learning Programs
José P. Cambronero and Martin C. Rinard
(Massachusetts Institute of Technology, USA)
Publisher's Version
Article: oopsla19main-p318-p doi:10.1145/3360601
|
| |
Campora III, John Peter |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating Precise Error Specifications ..."
Generating Precise Error Specifications for C: A Zero Shot Learning Approach
Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, and Sheng Chen
(University of Louisiana at Lafayette, USA)
Publisher's Version
Article: oopsla19main-p192-p doi:10.1145/3360586
|
| |
Cao, Qinxiang |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Certifying Graph-Manipulating ..."
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Shengyi Wang, Qinxiang Cao, Anshuman Mohan, and Aquinas Hobor
(National University of Singapore, Singapore; Shanghai Jiao Tong University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p268-p doi:10.1145/3360597
|
| |
Celik, Ahmet |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Design, Implementation, and ..."
Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters
Ahmet Celik, Pengyu Nie, Christopher J. Rossbach, and Milos Gligoric
(University of Texas at Austin, USA; VMware, USA)
Publisher's Version
Artifacts Functional
Article: oopsla19main-p345-p doi:10.1145/3360603
|
| |
Chabbi, Milind |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimization of Swift Protocols ..."
Optimization of Swift Protocols
Rajkishore Barik, Manu Sridharan, Murali Krishna Ramanathan, and Milind Chabbi
(Uber Technologies, USA; University of California at Riverside, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p206-p doi:10.1145/3360590
|
| |
Chandra, Satish |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Aroma: Code Recommendation ..."
Aroma: Code Recommendation via Structural Code Search
Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, and Satish Chandra
(Facebook, USA; University of California at Irvine, USA; University of California at Berkeley, USA)
Publisher's Version
Published Artifact
Article: oopsla19main-p136-p doi:10.1145/3360578
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Getafix: Learning to Fix Bugs ..."
Getafix: Learning to Fix Bugs Automatically
Johannes Bader, Andrew Scott, Michael Pradel, and Satish Chandra
(Facebook, USA)
Publisher's Version
Article: oopsla19main-p189-p doi:10.1145/3360585
|
| |
Chang, Bor-Yuh Evan |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Static Analysis with Demand-Driven ..."
Static Analysis with Demand-Driven Value Refinement
Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, and Anders Møller
(University of Colorado Boulder, USA; Aarhus University, Denmark)
Publisher's Version
Article: oopsla19main-p95-p doi:10.1145/3360566
|
| |
Chatterjee, Krishnendu |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Value-Centric Dynamic Partial ..."
Value-Centric Dynamic Partial Order Reduction
Krishnendu Chatterjee, Andreas Pavlogiannis, and Viktor Toman
(IST Austria, Austria; EPFL, Switzerland)
Publisher's Version
Article: oopsla19main-p31-p doi:10.1145/3360550
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification for Almost-Sure ..."
Modular Verification for Almost-Sure Termination of Probabilistic Programs
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady
(Shanghai Jiao Tong University, China; East China Normal University, China; IST Austria, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p53-p doi:10.1145/3360555
|
| |
Chen, Jia |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Relational Verification using ..."
Relational Verification using Reinforcement Learning
Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, and Isil Dillig
(University of Texas at Austin, USA; University of California at Santa Barbara, USA; University of Pennsylvania, USA)
Publisher's Version
Article: oopsla19main-p96-p doi:10.1145/3360567
|
| |
Chen, Sheng |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating Precise Error Specifications ..."
Generating Precise Error Specifications for C: A Zero Shot Learning Approach
Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, and Sheng Chen
(University of Louisiana at Lafayette, USA)
Publisher's Version
Article: oopsla19main-p192-p doi:10.1145/3360586
|
| |
Chen, Yuxuan |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Staged Abstract Interpreters: ..."
Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming
Guannan Wei, Yuxuan Chen, and Tiark Rompf
(Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p41-p doi:10.1145/3360552
|
| |
Chiba, Shigeru |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating a Fluent API with ..."
Generating a Fluent API with Syntax Checking from an LR Grammar
Tetsuro Yamazaki, Tomoki Nakamaru, Kazuhiro Ichikawa, and Shigeru Chiba
(University of Tokyo, Japan)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p82-p doi:10.1145/3360560
|
| |
Cohen, Nachshon |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Efficient Lock-Free Durable ..."
Efficient Lock-Free Durable Sets
Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank
(Technion, Israel; Amazon, Israel)
Publisher's Version
Article: oopsla19main-p50-p doi:10.1145/3360554
|
| |
Collange, Caroline |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Qubit Allocation as a Combination ..."
Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping
Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil; Inria, France; University of Rennes, France; CNRS, France; IRISA, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p16-p doi:10.1145/3360546
|
| |
D'Antoni, Loris
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Automatic Repair of Regular ..."
Automatic Repair of Regular Expressions
Rong Pan, Qinheping Hu, Gaowei Xu, and Loris D'Antoni
(University of Texas at Austin, USA; University of Wisconsin-Madison, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p94-p doi:10.1145/3360565
|
| |
Darais, David |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..."
Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song
(University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p271-p doi:10.1145/3360598
|
| |
Delaware, Benjamin |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "CLOTHO: Directed Test Generation ..."
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan
(Purdue University, USA)
Publisher's Version
Article: oopsla19main-p6-p doi:10.1145/3360543
|
| |
Delbianco, Germán Andrés |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Specifying Concurrent Programs ..."
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, and Ignacio Fábregas
(IMDEA Software Institute, Spain; IRIF, France; University of Paris, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p193-p doi:10.1145/3360587
|
| |
Dillig, Isil |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Relational Verification using ..."
Relational Verification using Reinforcement Learning
Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, and Isil Dillig
(University of Texas at Austin, USA; University of California at Santa Barbara, USA; University of Pennsylvania, USA)
Publisher's Version
Article: oopsla19main-p96-p doi:10.1145/3360567
|
| |
Dimoulas, Christos |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Complete Monitors for Gradual ..."
Complete Monitors for Gradual Types
Ben Greenman, Matthias Felleisen, and Christos Dimoulas
(Northeastern University, USA; Northwestern University, USA)
Publisher's Version
Article: oopsla19main-p23-p doi:10.1145/3360548
|
| |
Donaldson, Alastair F. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Compiler Fuzzing: How Much ..."
Compiler Fuzzing: How Much Does It Matter?
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, and Cristian Cadar
(Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p150-p doi:10.1145/3360581
|
| |
Drechsler, Joscha |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Fault-Tolerant Programming ..."
A Fault-Tolerant Programming Model for Distributed Interactive Applications
Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version
Article: oopsla19main-p101-p doi:10.1145/3360570
|
| |
Enea, Constantin
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Complexity of Checking ..."
On the Complexity of Checking Transactional Consistency
Ranadeep Biswas and Constantin Enea
(University of Paris, France; IRIF, France; CNRS, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p214-p doi:10.1145/3360591
|
| |
Erdweg, Sebastian |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Language-Integrated Privacy-Aware ..."
Language-Integrated Privacy-Aware Distributed Queries
Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, and Mira Mezini
(TU Darmstadt, Germany; KTH, Sweden; Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Article: oopsla19main-p247-p doi:10.1145/3360593
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Sound and Reusable Components ..."
Sound and Reusable Components for Abstract Interpretation
Sven Keidel and Sebastian Erdweg
(Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p331-p doi:10.1145/3360602
|
| |
Ernst, Michael D. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification of Web ..."
Modular Verification of Web Page Layout
Pavel Panchekha, Michael D. Ernst, Zachary Tatlock, and Shoaib Kamil
(University of Utah, USA; University of Washington, USA; Adobe, USA)
Publisher's Version
Article: oopsla19main-p133-p doi:10.1145/3360577
|
| |
Essertel, Grégory M. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Precise Reasoning with Structured ..."
Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations
Grégory M. Essertel, Guannan Wei, and Tiark Rompf
(Purdue University, USA)
Publisher's Version
Article: oopsla19main-p164-p doi:10.1145/3360583
|
| |
Esteves-Veríssimo, Paulo |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Asphalion: Trustworthy Shielding ..."
Asphalion: Trustworthy Shielding against Byzantine Faults
Ivana Vukotic, Vincent Rahli, and Paulo Esteves-Veríssimo
(University of Luxembourg, Luxembourg; University of Birmingham, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p90-p doi:10.1145/3360564
|
| |
Fábregas, Ignacio
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Specifying Concurrent Programs ..."
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, and Ignacio Fábregas
(IMDEA Software Institute, Spain; IRIF, France; University of Paris, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p193-p doi:10.1145/3360587
|
| |
Felleisen, Matthias |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Complete Monitors for Gradual ..."
Complete Monitors for Gradual Types
Ben Greenman, Matthias Felleisen, and Christos Dimoulas
(Northeastern University, USA; Northwestern University, USA)
Publisher's Version
Article: oopsla19main-p23-p doi:10.1145/3360548
|
| |
Feng, Yu |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Relational Verification using ..."
Relational Verification using Reinforcement Learning
Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, and Isil Dillig
(University of Texas at Austin, USA; University of California at Santa Barbara, USA; University of Pennsylvania, USA)
Publisher's Version
Article: oopsla19main-p96-p doi:10.1145/3360567
|
| |
Fernando, Vimuth |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Verifying Safety and Accuracy ..."
Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization
Vimuth Fernando, Keyur Joshi, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Article: oopsla19main-p13-p doi:10.1145/3360545
|
| |
Foster, Jeffrey S. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Program Synthesis with Algebraic ..."
Program Synthesis with Algebraic Library Specifications
Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama
(University of Maryland at College Park, USA; Purdue University, USA; University of Nebraska-Lincoln, USA; Tufts University, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p75-p doi:10.1145/3360558
|
| |
Fox, Roy |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "AutoPandas: Neural-Backed ..."
AutoPandas: Neural-Backed Generators for Program Synthesis
Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, and Ion Stoica
(University of California at Berkeley, USA; University of California at Irvine, USA)
Publisher's Version
Article: oopsla19main-p249-p doi:10.1145/3360594
|
| |
Friedman, Michal |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Efficient Lock-Free Durable ..."
Efficient Lock-Free Durable Sets
Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank
(Technion, Israel; Amazon, Israel)
Publisher's Version
Article: oopsla19main-p50-p doi:10.1145/3360554
|
| |
Fu, Hongfei |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification for Almost-Sure ..."
Modular Verification for Almost-Sure Termination of Probabilistic Programs
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady
(Shanghai Jiao Tong University, China; East China Normal University, China; IST Austria, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p53-p doi:10.1145/3360555
|
| |
Gaddamadugu, Pranav
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..."
Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song
(University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p271-p doi:10.1145/3360598
|
| |
Genç, Kaan |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Dependence-Aware, Unbounded ..."
Dependence-Aware, Unbounded Sound Predictive Race Detection
Kaan Genç, Jake Roemer, Yufan Xu, and Michael D. Bond
(Ohio State University, USA)
Publisher's Version
Article: oopsla19main-p381-p doi:10.1145/3360605
|
| |
Gligoric, Milos |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Design, Implementation, and ..."
Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters
Ahmet Celik, Pengyu Nie, Christopher J. Rossbach, and Milos Gligoric
(University of Texas at Austin, USA; VMware, USA)
Publisher's Version
Artifacts Functional
Article: oopsla19main-p345-p doi:10.1145/3360603
|
| |
Goel, Aviral |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Design, Implementation, ..."
On the Design, Implementation, and Use of Laziness in R
Aviral Goel and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p138-p doi:10.1145/3360579
|
| |
Goharshady, Amir Kafshdar |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification for Almost-Sure ..."
Modular Verification for Almost-Sure Termination of Probabilistic Programs
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady
(Shanghai Jiao Tong University, China; East China Normal University, China; IST Austria, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p53-p doi:10.1145/3360555
|
| |
Greenman, Ben |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Complete Monitors for Gradual ..."
Complete Monitors for Gradual Types
Ben Greenman, Matthias Felleisen, and Christos Dimoulas
(Northeastern University, USA; Northwestern University, USA)
Publisher's Version
Article: oopsla19main-p23-p doi:10.1145/3360548
|
| |
Guha, Arjun |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Formal Foundations of Serverless ..."
Formal Foundations of Serverless Computing
Abhinav Jangda, Donald Pinckney, Yuriy Brun, and Arjun Guha
(University of Massachusetts Amherst, USA)
Publisher's Version
Article: oopsla19main-p127-p doi:10.1145/3360575
|
| |
Gulwani, Sumit |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..."
On the Fly Synthesis of Edit Suggestions
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa
(Princeton University, USA; Microsoft, USA)
Publisher's Version
Artifacts Functional
Article: oopsla19main-p99-p doi:10.1145/3360569
|
| |
Gupta, Rajiv |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "DProf: Distributed Profiler ..."
DProf: Distributed Profiler with Strong Guarantees
Zachary Benavides, Keval Vora, and Rajiv Gupta
(University of California at Riverside, USA; Simon Fraser University, Canada)
Publisher's Version
Article: oopsla19main-p153-p doi:10.1145/3360582
|
| |
Hadzi-Tanovic, Milica
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reflection-Aware Static Regression ..."
Reflection-Aware Static Regression Test Selection
August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, and Owolabi Legunsen
(University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA)
Publisher's Version
Article: oopsla19main-p489-p doi:10.1145/3360613
|
| |
Haller, Philipp |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Language-Integrated Privacy-Aware ..."
Language-Integrated Privacy-Aware Distributed Queries
Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, and Mira Mezini
(TU Darmstadt, Germany; KTH, Sweden; Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Article: oopsla19main-p247-p doi:10.1145/3360593
|
| |
Hamza, Jad |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "System FR: Formalized Foundations ..."
System FR: Formalized Foundations for the Stainless Verifier
Jad Hamza, Nicolas Voirol, and Viktor Kunčak
(EPFL, Switzerland)
Publisher's Version
Article: oopsla19main-p229-p doi:10.1145/3360592
|
| |
Hao, Ken Chan Guan |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Safer Smart Contract Programming ..."
Safer Smart Contract Programming with Scilla
Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, and Ken Chan Guan Hao
(Yale-NUS College, Singapore; National University of Singapore, Singapore; Zilliqa Research, India; Zilliqa Research, Denmark; Zilliqa Research, UK; Zilliqa Research, Russia; Zilliqa Research, Malaysia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p467-p doi:10.1145/3360611
|
| |
Hauswirth, Matthias |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Casting about in the Dark: ..."
Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs
Luis Mastrangelo, Matthias Hauswirth, and Nathaniel Nystrom
(USI Lugano, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p170-p doi:10.1145/3360584
|
| |
He, Yi |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating Precise Error Specifications ..."
Generating Precise Error Specifications for C: A Zero Shot Learning Approach
Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, and Sheng Chen
(University of Louisiana at Lafayette, USA)
Publisher's Version
Article: oopsla19main-p192-p doi:10.1145/3360586
|
| |
Henriksen, Ian |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Derivative Grammars: A Symbolic ..."
Derivative Grammars: A Symbolic Approach to Parsing with Derivatives
Ian Henriksen, Gianfranco Bilardi, and Keshav Pingali
(University of Texas at Austin, USA; University of Padua, Italy)
Publisher's Version
Article: oopsla19main-p47-p doi:10.1145/3360553
|
| |
Hicks, Michael |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Coverage Guided, Property ..."
Coverage Guided, Property Based Testing
Leonidas Lampropoulos, Michael Hicks, and Benjamin C. Pierce
(University of Maryland, USA; University of Pennsylvania, USA)
Publisher's Version
Article: oopsla19main-p398-p doi:10.1145/3360607
|
| |
Hobor, Aquinas |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Certifying Graph-Manipulating ..."
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Shengyi Wang, Qinxiang Cao, Anshuman Mohan, and Aquinas Hobor
(National University of Singapore, Singapore; Shanghai Jiao Tong University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p268-p doi:10.1145/3360597
|
| |
Hofer, Peter |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..."
Initialize Once, Start Fast: Application Initialization at Build Time
Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger
(Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland)
Publisher's Version
Article: oopsla19main-p432-p doi:10.1145/3360610
|
| |
Hu, Qinheping |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Automatic Repair of Regular ..."
Automatic Repair of Regular Expressions
Rong Pan, Qinheping Hu, Gaowei Xu, and Loris D'Antoni
(University of Texas at Austin, USA; University of Wisconsin-Madison, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p94-p doi:10.1145/3360565
|
| |
Hu, Xu-Qiang |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IVT: An Efficient Method for ..."
IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
Yu-Ping Wang, Xu-Qiang Hu, Zi-Xin Zou, Wende Tan, and Gang Tan
(Tsinghua University, China; Pennsylvania State University, USA)
Publisher's Version
Article: oopsla19main-p56-p doi:10.1145/3360556
|
| |
Huang, Mingzhang |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification for Almost-Sure ..."
Modular Verification for Almost-Sure Termination of Probabilistic Programs
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady
(Shanghai Jiao Tong University, China; East China Normal University, China; IST Austria, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p53-p doi:10.1145/3360555
|
| |
Huzaifa, Muhammad |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..."
ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve
(University of Illinois at Urbana-Champaign, USA; Cornell University, USA)
Publisher's Version
Article: oopsla19main-p488-p doi:10.1145/3360612
|
| |
Ichikawa, Kazuhiro
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating a Fluent API with ..."
Generating a Fluent API with Syntax Checking from an LR Grammar
Tetsuro Yamazaki, Tomoki Nakamaru, Kazuhiro Ichikawa, and Shigeru Chiba
(University of Tokyo, Japan)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p82-p doi:10.1145/3360560
|
| |
Jagannathan, Suresh
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "CLOTHO: Directed Test Generation ..."
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan
(Purdue University, USA)
Publisher's Version
Article: oopsla19main-p6-p doi:10.1145/3360543
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Mergeable Replicated Data ..."
Mergeable Replicated Data Types
Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan
(Purdue University, USA; IIT Madras, India)
Publisher's Version
Article: oopsla19main-p149-p doi:10.1145/3360580
|
| |
Jangda, Abhinav |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Formal Foundations of Serverless ..."
Formal Foundations of Serverless Computing
Abhinav Jangda, Donald Pinckney, Yuriy Brun, and Arjun Guha
(University of Massachusetts Amherst, USA)
Publisher's Version
Article: oopsla19main-p127-p doi:10.1145/3360575
|
| |
Jensen, David D. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "PlanAlyzer: Assessing Threats ..."
PlanAlyzer: Assessing Threats to the Validity of Online Experiments
Emma Tosch, Eytan Bakshy, Emery D. Berger, David D. Jensen, and J. Eliot B. Moss
(University of Massachusetts Amherst, USA; Facebook, USA)
Publisher's Version
Article: oopsla19main-p400-p doi:10.1145/3360608
|
| |
Jia, Limin |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "I/O Dependent Idempotence ..."
I/O Dependent Idempotence Bugs in Intermittent Systems
Milijana Surbatovich, Limin Jia, and Brandon Lucia
(Carnegie Mellon University, USA)
Publisher's Version
Article: oopsla19main-p401-p doi:10.1145/3360609
|
| |
Jin, Zhi |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IntelliMerge: A Refactoring-Aware ..."
IntelliMerge: A Refactoring-Aware Software Merging Technique
Bo Shen, Wei Zhang, Haiyan Zhao, Guangtai Liang, Zhi Jin, and Qianxiang Wang
(Peking University, China; Huawei Technologies, China)
Publisher's Version
Published Artifact
Article: oopsla19main-p254-p doi:10.1145/3360596
|
| |
Johannsen, Jacob |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Safer Smart Contract Programming ..."
Safer Smart Contract Programming with Scilla
Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, and Ken Chan Guan Hao
(Yale-NUS College, Singapore; National University of Singapore, Singapore; Zilliqa Research, India; Zilliqa Research, Denmark; Zilliqa Research, UK; Zilliqa Research, Russia; Zilliqa Research, Malaysia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p467-p doi:10.1145/3360611
|
| |
Jonsson, Bengt |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimal Stateless Model Checking ..."
Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas
(Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p130-p doi:10.1145/3360576
|
| |
Joshi, Keyur |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Verifying Safety and Accuracy ..."
Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization
Vimuth Fernando, Keyur Joshi, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Article: oopsla19main-p13-p doi:10.1145/3360545
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..."
ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve
(University of Illinois at Urbana-Champaign, USA; Cornell University, USA)
Publisher's Version
Article: oopsla19main-p488-p doi:10.1145/3360612
|
| |
Jovanovic, Vojin |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..."
Initialize Once, Start Fast: Application Initialization at Build Time
Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger
(Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland)
Publisher's Version
Article: oopsla19main-p432-p doi:10.1145/3360610
|
| |
Kaki, Gowtham
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Mergeable Replicated Data ..."
Mergeable Replicated Data Types
Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan
(Purdue University, USA; IIT Madras, India)
Publisher's Version
Article: oopsla19main-p149-p doi:10.1145/3360580
|
| |
Kamil, Shoaib |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification of Web ..."
Modular Verification of Web Page Layout
Pavel Panchekha, Michael D. Ernst, Zachary Tatlock, and Shoaib Kamil
(University of Utah, USA; University of Washington, USA; Adobe, USA)
Publisher's Version
Article: oopsla19main-p133-p doi:10.1145/3360577
|
| |
Keidel, Sven |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Sound and Reusable Components ..."
Sound and Reusable Components for Abstract Interpretation
Sven Keidel and Sebastian Erdweg
(Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p331-p doi:10.1145/3360602
|
| |
Kell, Stephen |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reliable and Fast DWARF-Based ..."
Reliable and Fast DWARF-Based Stack Unwinding
Théophile Bastian, Stephen Kell, and Francesco Zappa Nardelli
(ENS, France; University of Kent, UK; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p111-p doi:10.1145/3360572
|
| |
Kessler, Peter B. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..."
Initialize Once, Start Fast: Application Initialization at Build Time
Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger
(Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland)
Publisher's Version
Article: oopsla19main-p432-p doi:10.1145/3360610
|
| |
Köhler, Mirko |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Language-Integrated Privacy-Aware ..."
Language-Integrated Privacy-Aware Distributed Queries
Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, and Mira Mezini
(TU Darmstadt, Germany; KTH, Sweden; Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Article: oopsla19main-p247-p doi:10.1145/3360593
|
| |
Kokologiannakis, Michalis |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Effective Lock Handling in ..."
Effective Lock Handling in Stateless Model Checking
Michalis Kokologiannakis, Azalea Raad, and Viktor Vafeiadis
(MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p281-p doi:10.1145/3360599
|
| |
Konnov, Igor |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "TLA+ Model Checking Made Symbolic ..."
TLA+ Model Checking Made Symbolic
Igor Konnov, Jure Kukovec, and Thanh-Hai Tran
(Inria, France; LORIA, France; University of Lorraine, France; CNRS, France; TU Vienna, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p25-p doi:10.1145/3360549
|
| |
Koskinen, Eric |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Specification and Inference ..."
Specification and Inference of Trace Refinement Relations
Timos Antonopoulos, Eric Koskinen, and Ton Chanh Le
(Yale University, USA; Stevens Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p370-p doi:10.1145/3360604
|
| |
Kotsifakou, Maria |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..."
ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve
(University of Illinois at Urbana-Champaign, USA; Cornell University, USA)
Publisher's Version
Article: oopsla19main-p488-p doi:10.1145/3360612
|
| |
Křikava, Filip |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Scala Implicits Are Everywhere: ..."
Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild
Filip Křikava, Heather Miller, and Jan Vitek
(Czech Technical University, Czechia; Carnegie Mellon University, USA; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p204-p doi:10.1145/3360589
|
| |
Kukovec, Jure |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "TLA+ Model Checking Made Symbolic ..."
TLA+ Model Checking Made Symbolic
Igor Konnov, Jure Kukovec, and Thanh-Hai Tran
(Inria, France; LORIA, France; University of Lorraine, France; CNRS, France; TU Vienna, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p25-p doi:10.1145/3360549
|
| |
Kumar, Amrit |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Safer Smart Contract Programming ..."
Safer Smart Contract Programming with Scilla
Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, and Ken Chan Guan Hao
(Yale-NUS College, Singapore; National University of Singapore, Singapore; Zilliqa Research, India; Zilliqa Research, Denmark; Zilliqa Research, UK; Zilliqa Research, Russia; Zilliqa Research, Malaysia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p467-p doi:10.1145/3360611
|
| |
Kunčak, Viktor |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "System FR: Formalized Foundations ..."
System FR: Formalized Foundations for the Stainless Verifier
Jad Hamza, Nicolas Voirol, and Viktor Kunčak
(EPFL, Switzerland)
Publisher's Version
Article: oopsla19main-p229-p doi:10.1145/3360592
|
| |
Kwon, Yonghwi |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "BDA: Practical Dependence ..."
BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation
Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, and Xiangyu Zhang
(Purdue University, USA; Renmin University of China, China; University of Virginia, USA)
Publisher's Version
Article: oopsla19main-p89-p doi:10.1145/3360563
|
| |
Lång, Magnus
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimal Stateless Model Checking ..."
Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas
(Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p130-p doi:10.1145/3360576
|
| |
Lampropoulos, Leonidas |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Coverage Guided, Property ..."
Coverage Guided, Property Based Testing
Leonidas Lampropoulos, Michael Hicks, and Benjamin C. Pierce
(University of Maryland, USA; University of Pennsylvania, USA)
Publisher's Version
Article: oopsla19main-p398-p doi:10.1145/3360607
|
| |
Le, Ton Chanh |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Specification and Inference ..."
Specification and Inference of Trace Refinement Relations
Timos Antonopoulos, Eric Koskinen, and Ton Chanh Le
(Yale University, USA; Stevens Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p370-p doi:10.1145/3360604
|
| |
Le, Vu |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..."
On the Fly Synthesis of Edit Suggestions
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa
(Princeton University, USA; Microsoft, USA)
Publisher's Version
Artifacts Functional
Article: oopsla19main-p99-p doi:10.1145/3360569
|
| |
Lee, Myungho |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Automatic and Scalable Detection ..."
Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
Dowon Song, Myungho Lee, and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p562-p doi:10.1145/3360614
|
| |
Legunsen, Owolabi |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reflection-Aware Static Regression ..."
Reflection-Aware Static Regression Test Selection
August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, and Owolabi Legunsen
(University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA)
Publisher's Version
Article: oopsla19main-p489-p doi:10.1145/3360613
|
| |
Lemieux, Caroline |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "AutoPandas: Neural-Backed ..."
AutoPandas: Neural-Backed Generators for Program Synthesis
Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, and Ion Stoica
(University of California at Berkeley, USA; University of California at Irvine, USA)
Publisher's Version
Article: oopsla19main-p249-p doi:10.1145/3360594
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "FuzzFactory: Domain-Specific ..."
FuzzFactory: Domain-Specific Fuzzing with Waypoints
Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, and Hayawardh Vijayakumar
(University of California at Berkeley, USA; Samsung Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p295-p doi:10.1145/3360600
|
| |
Leung, Alan |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..."
On the Fly Synthesis of Edit Suggestions
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa
(Princeton University, USA; Microsoft, USA)
Publisher's Version
Artifacts Functional
Article: oopsla19main-p99-p doi:10.1145/3360569
|
| |
Lhoták, Ondřej |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Path to DOT: Formalizing ..."
A Path to DOT: Formalizing Fully Path-Dependent Types
Marianna Rapoport and Ondřej Lhoták
(University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p110-p doi:10.1145/3360571
|
| |
Li, Yi |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Improving Bug Detection via ..."
Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks
Yi Li, Shaohua Wang, Tien N. Nguyen, and Son Van Nguyen
(New Jersey Institute of Technology, USA; University of Texas at Dallas, USA)
Publisher's Version
Article: oopsla19main-p201-p doi:10.1145/3360588
|
| |
Liang, Guangtai |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IntelliMerge: A Refactoring-Aware ..."
IntelliMerge: A Refactoring-Aware Software Merging Technique
Bo Shen, Wei Zhang, Haiyan Zhao, Guangtai Liang, Zhi Jin, and Qianxiang Wang
(Peking University, China; Huawei Technologies, China)
Publisher's Version
Published Artifact
Article: oopsla19main-p254-p doi:10.1145/3360596
|
| |
Lu, Jingbo |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Precision-Preserving Yet Fast ..."
Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity
Jingbo Lu and Jingling Xue
(UNSW, Australia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p126-p doi:10.1145/3360574
|
| |
Luan, Sifei |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Aroma: Code Recommendation ..."
Aroma: Code Recommendation via Structural Code Search
Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, and Satish Chandra
(Facebook, USA; University of California at Irvine, USA; University of California at Berkeley, USA)
Publisher's Version
Published Artifact
Article: oopsla19main-p136-p doi:10.1145/3360578
|
| |
Lucia, Brandon |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "I/O Dependent Idempotence ..."
I/O Dependent Idempotence Bugs in Intermittent Systems
Milijana Surbatovich, Limin Jia, and Brandon Lucia
(Carnegie Mellon University, USA)
Publisher's Version
Article: oopsla19main-p401-p doi:10.1145/3360609
|
| |
Majumdar, Rupak
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Trace Aware Random Testing ..."
Trace Aware Random Testing for Distributed Systems
Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Simin Oraee
(MPI-SWS, Germany)
Publisher's Version
Article: oopsla19main-p387-p doi:10.1145/3360606
|
| |
Marcozzi, Michaël |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Compiler Fuzzing: How Much ..."
Compiler Fuzzing: How Much Does It Matter?
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, and Cristian Cadar
(Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p150-p doi:10.1145/3360581
|
| |
Mariano, Benjamin |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Program Synthesis with Algebraic ..."
Program Synthesis with Algebraic Library Specifications
Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama
(University of Maryland at College Park, USA; Purdue University, USA; University of Nebraska-Lincoln, USA; Tufts University, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p75-p doi:10.1145/3360558
|
| |
Marinov, Darko |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reflection-Aware Static Regression ..."
Reflection-Aware Static Regression Test Selection
August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, and Owolabi Legunsen
(University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA)
Publisher's Version
Article: oopsla19main-p489-p doi:10.1145/3360613
|
| |
Mastrangelo, Luis |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Casting about in the Dark: ..."
Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs
Luis Mastrangelo, Matthias Hauswirth, and Nathaniel Nystrom
(USI Lugano, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p170-p doi:10.1145/3360584
|
| |
Mezini, Mira |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Fault-Tolerant Programming ..."
A Fault-Tolerant Programming Model for Distributed Interactive Applications
Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version
Article: oopsla19main-p101-p doi:10.1145/3360570
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Language-Integrated Privacy-Aware ..."
Language-Integrated Privacy-Aware Distributed Queries
Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, and Mira Mezini
(TU Darmstadt, Germany; KTH, Sweden; Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Article: oopsla19main-p247-p doi:10.1145/3360593
|
| |
Miller, Heather |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Scala Implicits Are Everywhere: ..."
Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild
Filip Křikava, Heather Miller, and Jan Vitek
(Czech Technical University, Czechia; Carnegie Mellon University, USA; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p204-p doi:10.1145/3360589
|
| |
Miltner, Anders |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..."
On the Fly Synthesis of Edit Suggestions
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa
(Princeton University, USA; Microsoft, USA)
Publisher's Version
Artifacts Functional
Article: oopsla19main-p99-p doi:10.1145/3360569
|
| |
Misailovic, Sasa |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Verifying Safety and Accuracy ..."
Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization
Vimuth Fernando, Keyur Joshi, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Article: oopsla19main-p13-p doi:10.1145/3360545
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..."
ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve
(University of Illinois at Urbana-Champaign, USA; Cornell University, USA)
Publisher's Version
Article: oopsla19main-p488-p doi:10.1145/3360612
|
| |
Møller, Anders |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Static Analysis with Demand-Driven ..."
Static Analysis with Demand-Driven Value Refinement
Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, and Anders Møller
(University of Colorado Boulder, USA; Aarhus University, Denmark)
Publisher's Version
Article: oopsla19main-p95-p doi:10.1145/3360566
|
| |
Mogk, Ragnar |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Fault-Tolerant Programming ..."
A Fault-Tolerant Programming Model for Distributed Interactive Applications
Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version
Article: oopsla19main-p101-p doi:10.1145/3360570
|
| |
Mohan, Anshuman |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Certifying Graph-Manipulating ..."
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Shengyi Wang, Qinxiang Cao, Anshuman Mohan, and Aquinas Hobor
(National University of Singapore, Singapore; Shanghai Jiao Tong University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p268-p doi:10.1145/3360597
|
| |
Moss, J. Eliot B. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "PlanAlyzer: Assessing Threats ..."
PlanAlyzer: Assessing Threats to the Validity of Online Experiments
Emma Tosch, Eytan Bakshy, Emery D. Berger, David D. Jensen, and J. Eliot B. Moss
(University of Massachusetts Amherst, USA; Facebook, USA)
Publisher's Version
Article: oopsla19main-p400-p doi:10.1145/3360608
|
| |
Müller, Peter |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification of Heap ..."
Modular Verification of Heap Reachability Properties in Separation Logic
Arshavir Ter-Gabrielyan, Alexander J. Summers, and Peter Müller
(ETH Zurich, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p17-p doi:10.1145/3360547
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Leveraging Rust Types for ..."
Leveraging Rust Types for Modular Specification and Verification
Vytautas Astrauskas, Peter Müller, Federico Poli, and Alexander J. Summers
(ETH Zurich, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p120-p doi:10.1145/3360573
|
| |
Nagar, Kartik
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "CLOTHO: Directed Test Generation ..."
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan
(Purdue University, USA)
Publisher's Version
Article: oopsla19main-p6-p doi:10.1145/3360543
|
| |
Nagaraj, Vaivaswatha |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Safer Smart Contract Programming ..."
Safer Smart Contract Programming with Scilla
Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, and Ken Chan Guan Hao
(Yale-NUS College, Singapore; National University of Singapore, Singapore; Zilliqa Research, India; Zilliqa Research, Denmark; Zilliqa Research, UK; Zilliqa Research, Russia; Zilliqa Research, Malaysia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p467-p doi:10.1145/3360611
|
| |
Nakamaru, Tomoki |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating a Fluent API with ..."
Generating a Fluent API with Syntax Checking from an LR Grammar
Tetsuro Yamazaki, Tomoki Nakamaru, Kazuhiro Ichikawa, and Shigeru Chiba
(University of Tokyo, Japan)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p82-p doi:10.1145/3360560
|
| |
Nanevski, Aleksandar |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Specifying Concurrent Programs ..."
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, and Ignacio Fábregas
(IMDEA Software Institute, Spain; IRIF, France; University of Paris, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p193-p doi:10.1145/3360587
|
| |
Near, Joseph P. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..."
Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song
(University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p271-p doi:10.1145/3360598
|
| |
Ngo, Tuan Phong |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimal Stateless Model Checking ..."
Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas
(Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p130-p doi:10.1145/3360576
|
| |
Nguyen, ThanhVu |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Program Synthesis with Algebraic ..."
Program Synthesis with Algebraic Library Specifications
Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama
(University of Maryland at College Park, USA; Purdue University, USA; University of Nebraska-Lincoln, USA; Tufts University, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p75-p doi:10.1145/3360558
|
| |
Nguyen, Tien N. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Improving Bug Detection via ..."
Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks
Yi Li, Shaohua Wang, Tien N. Nguyen, and Son Van Nguyen
(New Jersey Institute of Technology, USA; University of Texas at Dallas, USA)
Publisher's Version
Article: oopsla19main-p201-p doi:10.1145/3360588
|
| |
Nie, Pengyu |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Design, Implementation, and ..."
Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters
Ahmet Celik, Pengyu Nie, Christopher J. Rossbach, and Milos Gligoric
(University of Texas at Austin, USA; VMware, USA)
Publisher's Version
Artifacts Functional
Article: oopsla19main-p345-p doi:10.1145/3360603
|
| |
Nielsen, Benjamin Barslev |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Static Analysis with Demand-Driven ..."
Static Analysis with Demand-Driven Value Refinement
Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, and Anders Møller
(University of Colorado Boulder, USA; Aarhus University, Denmark)
Publisher's Version
Article: oopsla19main-p95-p doi:10.1145/3360566
|
| |
Numanagić, Ibrahim |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Seq: A High-Performance Language ..."
Seq: A High-Performance Language for Bioinformatics
Ariya Shajii, Ibrahim Numanagić, Riyadh Baghdadi, Bonnie Berger, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p34-p doi:10.1145/3360551
|
| |
Nystrom, Nathaniel |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Casting about in the Dark: ..."
Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs
Luis Mastrangelo, Matthias Hauswirth, and Nathaniel Nystrom
(USI Lugano, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p170-p doi:10.1145/3360584
|
| |
Oh, Hakjoo
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Automatic and Scalable Detection ..."
Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
Dowon Song, Myungho Lee, and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p562-p doi:10.1145/3360614
|
| |
Oraee, Simin |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Trace Aware Random Testing ..."
Trace Aware Random Testing for Distributed Systems
Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Simin Oraee
(MPI-SWS, Germany)
Publisher's Version
Article: oopsla19main-p387-p doi:10.1145/3360606
|
| |
Ozkan, Burcu Kulahcioglu |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Trace Aware Random Testing ..."
Trace Aware Random Testing for Distributed Systems
Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Simin Oraee
(MPI-SWS, Germany)
Publisher's Version
Article: oopsla19main-p387-p doi:10.1145/3360606
|
| |
Padhye, Rohan
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "FuzzFactory: Domain-Specific ..."
FuzzFactory: Domain-Specific Fuzzing with Waypoints
Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, and Hayawardh Vijayakumar
(University of California at Berkeley, USA; Samsung Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p295-p doi:10.1145/3360600
|
| |
Palsberg, Jens |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Formalization of Java’s ..."
A Formalization of Java’s Concurrent Access Modes
John Bender and Jens Palsberg
(University of California at Los Angeles, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p98-p doi:10.1145/3360568
|
| |
Pan, Rong |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Automatic Repair of Regular ..."
Automatic Repair of Regular Expressions
Rong Pan, Qinheping Hu, Gaowei Xu, and Loris D'Antoni
(University of Texas at Austin, USA; University of Wisconsin-Madison, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p94-p doi:10.1145/3360565
|
| |
Panchekha, Pavel |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification of Web ..."
Modular Verification of Web Page Layout
Pavel Panchekha, Michael D. Ernst, Zachary Tatlock, and Shoaib Kamil
(University of Utah, USA; University of Washington, USA; Adobe, USA)
Publisher's Version
Article: oopsla19main-p133-p doi:10.1145/3360577
|
| |
Pavlogiannis, Andreas |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Value-Centric Dynamic Partial ..."
Value-Centric Dynamic Partial Order Reduction
Krishnendu Chatterjee, Andreas Pavlogiannis, and Viktor Toman
(IST Austria, Austria; EPFL, Switzerland)
Publisher's Version
Article: oopsla19main-p31-p doi:10.1145/3360550
|
| |
Pereira, Fernando Magno Quintão |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Qubit Allocation as a Combination ..."
Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping
Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil; Inria, France; University of Rennes, France; CNRS, France; IRISA, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p16-p doi:10.1145/3360546
|
| |
Petrank, Erez |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Efficient Lock-Free Durable ..."
Efficient Lock-Free Durable Sets
Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank
(Technion, Israel; Amazon, Israel)
Publisher's Version
Article: oopsla19main-p50-p doi:10.1145/3360554
|
| |
Pichon-Pharabod, Jean |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Weakening WebAssembly ..."
Weakening WebAssembly
Conrad Watt, Andreas Rossberg, and Jean Pichon-Pharabod
(University of Cambridge, UK; Dfinity Stiftung, Germany)
Publisher's Version
Article: oopsla19main-p76-p doi:10.1145/3360559
|
| |
Pierce, Benjamin C. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Coverage Guided, Property ..."
Coverage Guided, Property Based Testing
Leonidas Lampropoulos, Michael Hicks, and Benjamin C. Pierce
(University of Maryland, USA; University of Pennsylvania, USA)
Publisher's Version
Article: oopsla19main-p398-p doi:10.1145/3360607
|
| |
Pinckney, Donald |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Formal Foundations of Serverless ..."
Formal Foundations of Serverless Computing
Abhinav Jangda, Donald Pinckney, Yuriy Brun, and Arjun Guha
(University of Massachusetts Amherst, USA)
Publisher's Version
Article: oopsla19main-p127-p doi:10.1145/3360575
|
| |
Pingali, Keshav |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Derivative Grammars: A Symbolic ..."
Derivative Grammars: A Symbolic Approach to Parsing with Derivatives
Ian Henriksen, Gianfranco Bilardi, and Keshav Pingali
(University of Texas at Austin, USA; University of Padua, Italy)
Publisher's Version
Article: oopsla19main-p47-p doi:10.1145/3360553
|
| |
Pliss, Oleg |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..."
Initialize Once, Start Fast: Application Initialization at Build Time
Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger
(Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland)
Publisher's Version
Article: oopsla19main-p432-p doi:10.1145/3360610
|
| |
Poli, Federico |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Leveraging Rust Types for ..."
Leveraging Rust Types for Modular Specification and Verification
Vytautas Astrauskas, Peter Müller, Federico Poli, and Alexander J. Summers
(ETH Zurich, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p120-p doi:10.1145/3360573
|
| |
Pradel, Michael |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Getafix: Learning to Fix Bugs ..."
Getafix: Learning to Fix Bugs Automatically
Johannes Bader, Andrew Scott, Michael Pradel, and Satish Chandra
(Facebook, USA)
Publisher's Version
Article: oopsla19main-p189-p doi:10.1145/3360585
|
| |
Priya, Swarn |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Mergeable Replicated Data ..."
Mergeable Replicated Data Types
Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan
(Purdue University, USA; IIT Madras, India)
Publisher's Version
Article: oopsla19main-p149-p doi:10.1145/3360580
|
| |
Qiu, Xiaokang
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Program Synthesis with Algebraic ..."
Program Synthesis with Algebraic Library Specifications
Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama
(University of Maryland at College Park, USA; Purdue University, USA; University of Nebraska-Lincoln, USA; Tufts University, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p75-p doi:10.1145/3360558
|
| |
Raad, Azalea
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Weak Persistency Semantics ..."
Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models
Azalea Raad, John Wickerson, and Viktor Vafeiadis
(MPI-SWS, Germany; Imperial College London, UK)
Publisher's Version
Article: oopsla19main-p83-p doi:10.1145/3360561
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Effective Lock Handling in ..."
Effective Lock Handling in Stateless Model Checking
Michalis Kokologiannakis, Azalea Raad, and Viktor Vafeiadis
(MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p281-p doi:10.1145/3360599
|
| |
Radhakrishna, Arjun |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..."
On the Fly Synthesis of Edit Suggestions
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa
(Princeton University, USA; Microsoft, USA)
Publisher's Version
Artifacts Functional
Article: oopsla19main-p99-p doi:10.1145/3360569
|
| |
Rahli, Vincent |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Asphalion: Trustworthy Shielding ..."
Asphalion: Trustworthy Shielding against Byzantine Faults
Ivana Vukotic, Vincent Rahli, and Paulo Esteves-Veríssimo
(University of Luxembourg, Luxembourg; University of Birmingham, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p90-p doi:10.1145/3360564
|
| |
Rahmani, Kia |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "CLOTHO: Directed Test Generation ..."
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan
(Purdue University, USA)
Publisher's Version
Article: oopsla19main-p6-p doi:10.1145/3360543
|
| |
Ramanathan, Murali Krishna |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimization of Swift Protocols ..."
Optimization of Swift Protocols
Rajkishore Barik, Manu Sridharan, Murali Krishna Ramanathan, and Milind Chabbi
(Uber Technologies, USA; University of California at Riverside, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p206-p doi:10.1145/3360590
|
| |
Rapoport, Marianna |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Path to DOT: Formalizing ..."
A Path to DOT: Formalizing Fully Path-Dependent Types
Marianna Rapoport and Ondřej Lhoták
(University of Waterloo, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p110-p doi:10.1145/3360571
|
| |
Reese, Josh |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Program Synthesis with Algebraic ..."
Program Synthesis with Algebraic Library Specifications
Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama
(University of Maryland at College Park, USA; Purdue University, USA; University of Nebraska-Lincoln, USA; Tufts University, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p75-p doi:10.1145/3360558
|
| |
Rinard, Martin C. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "AL: Autogenerating Supervised ..."
AL: Autogenerating Supervised Learning Programs
José P. Cambronero and Martin C. Rinard
(Massachusetts Institute of Technology, USA)
Publisher's Version
Article: oopsla19main-p318-p doi:10.1145/3360601
|
| |
Roemer, Jake |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Dependence-Aware, Unbounded ..."
Dependence-Aware, Unbounded Sound Predictive Race Detection
Kaan Genç, Jake Roemer, Yufan Xu, and Michael D. Bond
(Ohio State University, USA)
Publisher's Version
Article: oopsla19main-p381-p doi:10.1145/3360605
|
| |
Rompf, Tiark |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Staged Abstract Interpreters: ..."
Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming
Guannan Wei, Yuxuan Chen, and Tiark Rompf
(Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p41-p doi:10.1145/3360552
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Precise Reasoning with Structured ..."
Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations
Grégory M. Essertel, Guannan Wei, and Tiark Rompf
(Purdue University, USA)
Publisher's Version
Article: oopsla19main-p164-p doi:10.1145/3360583
|
| |
Rossbach, Christopher J. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Design, Implementation, and ..."
Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters
Ahmet Celik, Pengyu Nie, Christopher J. Rossbach, and Milos Gligoric
(University of Texas at Austin, USA; VMware, USA)
Publisher's Version
Artifacts Functional
Article: oopsla19main-p345-p doi:10.1145/3360603
|
| |
Rossberg, Andreas |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Weakening WebAssembly ..."
Weakening WebAssembly
Conrad Watt, Andreas Rossberg, and Jean Pichon-Pharabod
(University of Cambridge, UK; Dfinity Stiftung, Germany)
Publisher's Version
Article: oopsla19main-p76-p doi:10.1145/3360559
|
| |
Sagonas, Konstantinos
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimal Stateless Model Checking ..."
Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas
(Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p130-p doi:10.1145/3360576
|
| |
Salvaneschi, Guido |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Fault-Tolerant Programming ..."
A Fault-Tolerant Programming Model for Distributed Interactive Applications
Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version
Article: oopsla19main-p101-p doi:10.1145/3360570
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Language-Integrated Privacy-Aware ..."
Language-Integrated Privacy-Aware Distributed Queries
Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, and Mira Mezini
(TU Darmstadt, Germany; KTH, Sweden; Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Article: oopsla19main-p247-p doi:10.1145/3360593
|
| |
Sang, Yuyang |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "DeepSEA: A Language for Certified ..."
DeepSEA: A Language for Certified System Software
Vilhelm Sjöberg, Yuyang Sang, Shu-chun Weng, and Zhong Shao
(Yale University, USA; CertiK, USA)
Publisher's Version
Article: oopsla19main-p84-p doi:10.1145/3360562
|
| |
Santos, Vinícius Fernandes dos |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Qubit Allocation as a Combination ..."
Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping
Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil; Inria, France; University of Rennes, France; CNRS, France; IRISA, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p16-p doi:10.1145/3360546
|
| |
Sarita, Yasmin |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..."
ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve
(University of Illinois at Urbana-Champaign, USA; Cornell University, USA)
Publisher's Version
Article: oopsla19main-p488-p doi:10.1145/3360612
|
| |
Schlecht, Alexander |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating Precise Error Specifications ..."
Generating Precise Error Specifications for C: A Zero Shot Learning Approach
Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, and Sheng Chen
(University of Louisiana at Lafayette, USA)
Publisher's Version
Article: oopsla19main-p192-p doi:10.1145/3360586
|
| |
Scott, Andrew |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Getafix: Learning to Fix Bugs ..."
Getafix: Learning to Fix Bugs Automatically
Johannes Bader, Andrew Scott, Michael Pradel, and Satish Chandra
(Facebook, USA)
Publisher's Version
Article: oopsla19main-p189-p doi:10.1145/3360585
|
| |
Sen, Koushik |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Aroma: Code Recommendation ..."
Aroma: Code Recommendation via Structural Code Search
Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, and Satish Chandra
(Facebook, USA; University of California at Irvine, USA; University of California at Berkeley, USA)
Publisher's Version
Published Artifact
Article: oopsla19main-p136-p doi:10.1145/3360578
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "AutoPandas: Neural-Backed ..."
AutoPandas: Neural-Backed Generators for Program Synthesis
Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, and Ion Stoica
(University of California at Berkeley, USA; University of California at Irvine, USA)
Publisher's Version
Article: oopsla19main-p249-p doi:10.1145/3360594
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "FuzzFactory: Domain-Specific ..."
FuzzFactory: Domain-Specific Fuzzing with Waypoints
Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, and Hayawardh Vijayakumar
(University of California at Berkeley, USA; Samsung Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p295-p doi:10.1145/3360600
|
| |
Sergey, Ilya |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Safer Smart Contract Programming ..."
Safer Smart Contract Programming with Scilla
Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, and Ken Chan Guan Hao
(Yale-NUS College, Singapore; National University of Singapore, Singapore; Zilliqa Research, India; Zilliqa Research, Denmark; Zilliqa Research, UK; Zilliqa Research, Russia; Zilliqa Research, Malaysia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p467-p doi:10.1145/3360611
|
| |
Shajii, Ariya |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Seq: A High-Performance Language ..."
Seq: A High-Performance Language for Bioinformatics
Ariya Shajii, Ibrahim Numanagić, Riyadh Baghdadi, Bonnie Berger, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p34-p doi:10.1145/3360551
|
| |
Shan, Alex |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..."
Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song
(University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p271-p doi:10.1145/3360598
|
| |
Shao, Zhong |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "DeepSEA: A Language for Certified ..."
DeepSEA: A Language for Certified System Software
Vilhelm Sjöberg, Yuyang Sang, Shu-chun Weng, and Zhong Shao
(Yale University, USA; CertiK, USA)
Publisher's Version
Article: oopsla19main-p84-p doi:10.1145/3360562
|
| |
Sharif, Hashim |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..."
ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve
(University of Illinois at Urbana-Champaign, USA; Cornell University, USA)
Publisher's Version
Article: oopsla19main-p488-p doi:10.1145/3360612
|
| |
Sharma, Nikhil |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..."
Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song
(University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p271-p doi:10.1145/3360598
|
| |
Sheffi, Gali |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Efficient Lock-Free Durable ..."
Efficient Lock-Free Durable Sets
Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank
(Technion, Israel; Amazon, Israel)
Publisher's Version
Article: oopsla19main-p50-p doi:10.1145/3360554
|
| |
Shen, Bo |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IntelliMerge: A Refactoring-Aware ..."
IntelliMerge: A Refactoring-Aware Software Merging Technique
Bo Shen, Wei Zhang, Haiyan Zhao, Guangtai Liang, Zhi Jin, and Qianxiang Wang
(Peking University, China; Huawei Technologies, China)
Publisher's Version
Published Artifact
Article: oopsla19main-p254-p doi:10.1145/3360596
|
| |
Shi, August |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reflection-Aware Static Regression ..."
Reflection-Aware Static Regression Test Selection
August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, and Owolabi Legunsen
(University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA)
Publisher's Version
Article: oopsla19main-p489-p doi:10.1145/3360613
|
| |
Simon, Laurent |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "FuzzFactory: Domain-Specific ..."
FuzzFactory: Domain-Specific Fuzzing with Waypoints
Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, and Hayawardh Vijayakumar
(University of California at Berkeley, USA; Samsung Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p295-p doi:10.1145/3360600
|
| |
Siraichi, Marcos Yukio |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Qubit Allocation as a Combination ..."
Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping
Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil; Inria, France; University of Rennes, France; CNRS, France; IRISA, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p16-p doi:10.1145/3360546
|
| |
Sivaramakrishnan, KC |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Mergeable Replicated Data ..."
Mergeable Replicated Data Types
Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan
(Purdue University, USA; IIT Madras, India)
Publisher's Version
Article: oopsla19main-p149-p doi:10.1145/3360580
|
| |
Sjöberg, Vilhelm |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "DeepSEA: A Language for Certified ..."
DeepSEA: A Language for Certified System Software
Vilhelm Sjöberg, Yuyang Sang, Shu-chun Weng, and Zhong Shao
(Yale University, USA; CertiK, USA)
Publisher's Version
Article: oopsla19main-p84-p doi:10.1145/3360562
|
| |
Soares, Gustavo |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..."
On the Fly Synthesis of Edit Suggestions
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa
(Princeton University, USA; Microsoft, USA)
Publisher's Version
Artifacts Functional
Article: oopsla19main-p99-p doi:10.1145/3360569
|
| |
Sokolowski, Daniel |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Language-Integrated Privacy-Aware ..."
Language-Integrated Privacy-Aware Distributed Queries
Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, and Mira Mezini
(TU Darmstadt, Germany; KTH, Sweden; Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Article: oopsla19main-p247-p doi:10.1145/3360593
|
| |
Solar-Lezama, Armando |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Probabilistic Verification ..."
Probabilistic Verification of Fairness Properties via Concentration
Osbert Bastani, Xin Zhang, and Armando Solar-Lezama
(University of Pennsylvania, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Article: oopsla19main-p8-p doi:10.1145/3360544
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Program Synthesis with Algebraic ..."
Program Synthesis with Algebraic Library Specifications
Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama
(University of Maryland at College Park, USA; Purdue University, USA; University of Nebraska-Lincoln, USA; Tufts University, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p75-p doi:10.1145/3360558
|
| |
Somani, Neel |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..."
Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song
(University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p271-p doi:10.1145/3360598
|
| |
Song, Dawn |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..."
Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song
(University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p271-p doi:10.1145/3360598
|
| |
Song, Dowon |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Automatic and Scalable Detection ..."
Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
Dowon Song, Myungho Lee, and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p562-p doi:10.1145/3360614
|
| |
Sridharan, Manu |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimization of Swift Protocols ..."
Optimization of Swift Protocols
Rajkishore Barik, Manu Sridharan, Murali Krishna Ramanathan, and Milind Chabbi
(Uber Technologies, USA; University of California at Riverside, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p206-p doi:10.1145/3360590
|
| |
Srivastava, Prakalp |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..."
ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve
(University of Illinois at Urbana-Champaign, USA; Cornell University, USA)
Publisher's Version
Article: oopsla19main-p488-p doi:10.1145/3360612
|
| |
Stancu, Codrut |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..."
Initialize Once, Start Fast: Application Initialization at Build Time
Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger
(Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland)
Publisher's Version
Article: oopsla19main-p432-p doi:10.1145/3360610
|
| |
Stein, Benno |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Static Analysis with Demand-Driven ..."
Static Analysis with Demand-Driven Value Refinement
Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, and Anders Møller
(University of Colorado Boulder, USA; Aarhus University, Denmark)
Publisher's Version
Article: oopsla19main-p95-p doi:10.1145/3360566
|
| |
Stevens, Tim |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..."
Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song
(University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p271-p doi:10.1145/3360598
|
| |
Stoica, Ion |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "AutoPandas: Neural-Backed ..."
AutoPandas: Neural-Backed Generators for Program Synthesis
Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, and Ion Stoica
(University of California at Berkeley, USA; University of California at Irvine, USA)
Publisher's Version
Article: oopsla19main-p249-p doi:10.1145/3360594
|
| |
Su, Zhendong |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Detecting Nondeterministic ..."
Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts
Shuai Wang, Chengyu Zhang, and Zhendong Su
(Hong Kong University of Science and Technology, China; East China Normal University, China; ETH Zurich, Switzerland)
Publisher's Version
Article: oopsla19main-p592-p doi:10.1145/3360615
|
| |
Summers, Alexander J. |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification of Heap ..."
Modular Verification of Heap Reachability Properties in Separation Logic
Arshavir Ter-Gabrielyan, Alexander J. Summers, and Peter Müller
(ETH Zurich, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p17-p doi:10.1145/3360547
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Leveraging Rust Types for ..."
Leveraging Rust Types for Modular Specification and Verification
Vytautas Astrauskas, Peter Müller, Federico Poli, and Alexander J. Summers
(ETH Zurich, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p120-p doi:10.1145/3360573
|
| |
Surbatovich, Milijana |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "I/O Dependent Idempotence ..."
I/O Dependent Idempotence Bugs in Intermittent Systems
Milijana Surbatovich, Limin Jia, and Brandon Lucia
(Carnegie Mellon University, USA)
Publisher's Version
Article: oopsla19main-p401-p doi:10.1145/3360609
|
| |
Tan, Gang
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IVT: An Efficient Method for ..."
IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
Yu-Ping Wang, Xu-Qiang Hu, Zi-Xin Zou, Wende Tan, and Gang Tan
(Tsinghua University, China; Pennsylvania State University, USA)
Publisher's Version
Article: oopsla19main-p56-p doi:10.1145/3360556
|
| |
Tan, Wende |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IVT: An Efficient Method for ..."
IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
Yu-Ping Wang, Xu-Qiang Hu, Zi-Xin Zou, Wende Tan, and Gang Tan
(Tsinghua University, China; Pennsylvania State University, USA)
Publisher's Version
Article: oopsla19main-p56-p doi:10.1145/3360556
|
| |
Tang, Qiyi |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Compiler Fuzzing: How Much ..."
Compiler Fuzzing: How Much Does It Matter?
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, and Cristian Cadar
(Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p150-p doi:10.1145/3360581
|
| |
Tao, Guanhong |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "BDA: Practical Dependence ..."
BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation
Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, and Xiangyu Zhang
(Purdue University, USA; Renmin University of China, China; University of Virginia, USA)
Publisher's Version
Article: oopsla19main-p89-p doi:10.1145/3360563
|
| |
Tatlock, Zachary |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification of Web ..."
Modular Verification of Web Page Layout
Pavel Panchekha, Michael D. Ernst, Zachary Tatlock, and Shoaib Kamil
(University of Utah, USA; University of Washington, USA; Adobe, USA)
Publisher's Version
Article: oopsla19main-p133-p doi:10.1145/3360577
|
| |
Ter-Gabrielyan, Arshavir |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification of Heap ..."
Modular Verification of Heap Reachability Properties in Separation Logic
Arshavir Ter-Gabrielyan, Alexander J. Summers, and Peter Müller
(ETH Zurich, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p17-p doi:10.1145/3360547
|
| |
Tiwari, Ashish |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..."
On the Fly Synthesis of Edit Suggestions
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa
(Princeton University, USA; Microsoft, USA)
Publisher's Version
Artifacts Functional
Article: oopsla19main-p99-p doi:10.1145/3360569
|
| |
Toman, Viktor |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Value-Centric Dynamic Partial ..."
Value-Centric Dynamic Partial Order Reduction
Krishnendu Chatterjee, Andreas Pavlogiannis, and Viktor Toman
(IST Austria, Austria; EPFL, Switzerland)
Publisher's Version
Article: oopsla19main-p31-p doi:10.1145/3360550
|
| |
Toninho, Bernardo |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Refinement Kinds: Type-Safe ..."
Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation
Luís Caires and Bernardo Toninho
(Nova University of Lisbon, Portugal; NOVA-LINCS, Portugal)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p62-p doi:10.1145/3360557
|
| |
Tosch, Emma |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "PlanAlyzer: Assessing Threats ..."
PlanAlyzer: Assessing Threats to the Validity of Online Experiments
Emma Tosch, Eytan Bakshy, Emery D. Berger, David D. Jensen, and J. Eliot B. Moss
(University of Massachusetts Amherst, USA; Facebook, USA)
Publisher's Version
Article: oopsla19main-p400-p doi:10.1145/3360608
|
| |
Tran, Thanh-Hai |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "TLA+ Model Checking Made Symbolic ..."
TLA+ Model Checking Made Symbolic
Igor Konnov, Jure Kukovec, and Thanh-Hai Tran
(Inria, France; LORIA, France; University of Lorraine, France; CNRS, France; TU Vienna, Austria)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p25-p doi:10.1145/3360549
|
| |
Trunov, Anton |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Safer Smart Contract Programming ..."
Safer Smart Contract Programming with Scilla
Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, and Ken Chan Guan Hao
(Yale-NUS College, Singapore; National University of Singapore, Singapore; Zilliqa Research, India; Zilliqa Research, Denmark; Zilliqa Research, UK; Zilliqa Research, Russia; Zilliqa Research, Malaysia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p467-p doi:10.1145/3360611
|
| |
Udupa, Abhishek
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..."
On the Fly Synthesis of Edit Suggestions
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa
(Princeton University, USA; Microsoft, USA)
Publisher's Version
Artifacts Functional
Article: oopsla19main-p99-p doi:10.1145/3360569
|
| |
Vafeiadis, Viktor
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Weak Persistency Semantics ..."
Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models
Azalea Raad, John Wickerson, and Viktor Vafeiadis
(MPI-SWS, Germany; Imperial College London, UK)
Publisher's Version
Article: oopsla19main-p83-p doi:10.1145/3360561
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Effective Lock Handling in ..."
Effective Lock Handling in Stateless Model Checking
Michalis Kokologiannakis, Azalea Raad, and Viktor Vafeiadis
(MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p281-p doi:10.1145/3360599
|
| |
Van Nguyen, Son |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Improving Bug Detection via ..."
Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks
Yi Li, Shaohua Wang, Tien N. Nguyen, and Son Van Nguyen
(New Jersey Institute of Technology, USA; University of Texas at Dallas, USA)
Publisher's Version
Article: oopsla19main-p201-p doi:10.1145/3360588
|
| |
Vijayakumar, Hayawardh |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "FuzzFactory: Domain-Specific ..."
FuzzFactory: Domain-Specific Fuzzing with Waypoints
Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, and Hayawardh Vijayakumar
(University of California at Berkeley, USA; Samsung Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p295-p doi:10.1145/3360600
|
| |
Vitek, Jan |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Design, Implementation, ..."
On the Design, Implementation, and Use of Laziness in R
Aviral Goel and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p138-p doi:10.1145/3360579
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Scala Implicits Are Everywhere: ..."
Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild
Filip Křikava, Heather Miller, and Jan Vitek
(Czech Technical University, Czechia; Carnegie Mellon University, USA; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p204-p doi:10.1145/3360589
|
| |
Voirol, Nicolas |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "System FR: Formalized Foundations ..."
System FR: Formalized Foundations for the Stainless Verifier
Jad Hamza, Nicolas Voirol, and Viktor Kunčak
(EPFL, Switzerland)
Publisher's Version
Article: oopsla19main-p229-p doi:10.1145/3360592
|
| |
Vora, Keval |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "DProf: Distributed Profiler ..."
DProf: Distributed Profiler with Strong Guarantees
Zachary Benavides, Keval Vora, and Rajiv Gupta
(University of California at Riverside, USA; Simon Fraser University, Canada)
Publisher's Version
Article: oopsla19main-p153-p doi:10.1145/3360582
|
| |
Vukotic, Ivana |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Asphalion: Trustworthy Shielding ..."
Asphalion: Trustworthy Shielding against Byzantine Faults
Ivana Vukotic, Vincent Rahli, and Paulo Esteves-Veríssimo
(University of Luxembourg, Luxembourg; University of Birmingham, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p90-p doi:10.1145/3360564
|
| |
Wang, Lun
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..."
Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song
(University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p271-p doi:10.1145/3360598
|
| |
Wang, Qianxiang |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IntelliMerge: A Refactoring-Aware ..."
IntelliMerge: A Refactoring-Aware Software Merging Technique
Bo Shen, Wei Zhang, Haiyan Zhao, Guangtai Liang, Zhi Jin, and Qianxiang Wang
(Peking University, China; Huawei Technologies, China)
Publisher's Version
Published Artifact
Article: oopsla19main-p254-p doi:10.1145/3360596
|
| |
Wang, Shaohua |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Improving Bug Detection via ..."
Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks
Yi Li, Shaohua Wang, Tien N. Nguyen, and Son Van Nguyen
(New Jersey Institute of Technology, USA; University of Texas at Dallas, USA)
Publisher's Version
Article: oopsla19main-p201-p doi:10.1145/3360588
|
| |
Wang, Shengyi |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Certifying Graph-Manipulating ..."
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Shengyi Wang, Qinxiang Cao, Anshuman Mohan, and Aquinas Hobor
(National University of Singapore, Singapore; Shanghai Jiao Tong University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p268-p doi:10.1145/3360597
|
| |
Wang, Shuai |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Detecting Nondeterministic ..."
Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts
Shuai Wang, Chengyu Zhang, and Zhendong Su
(Hong Kong University of Science and Technology, China; East China Normal University, China; ETH Zurich, Switzerland)
Publisher's Version
Article: oopsla19main-p592-p doi:10.1145/3360615
|
| |
Wang, Yu-Ping |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IVT: An Efficient Method for ..."
IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
Yu-Ping Wang, Xu-Qiang Hu, Zi-Xin Zou, Wende Tan, and Gang Tan
(Tsinghua University, China; Pennsylvania State University, USA)
Publisher's Version
Article: oopsla19main-p56-p doi:10.1145/3360556
|
| |
Watt, Conrad |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Weakening WebAssembly ..."
Weakening WebAssembly
Conrad Watt, Andreas Rossberg, and Jean Pichon-Pharabod
(University of Cambridge, UK; Dfinity Stiftung, Germany)
Publisher's Version
Article: oopsla19main-p76-p doi:10.1145/3360559
|
| |
Wei, Guannan |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Staged Abstract Interpreters: ..."
Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming
Guannan Wei, Yuxuan Chen, and Tiark Rompf
(Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p41-p doi:10.1145/3360552
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "BDA: Practical Dependence ..."
BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation
Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, and Xiangyu Zhang
(Purdue University, USA; Renmin University of China, China; University of Virginia, USA)
Publisher's Version
Article: oopsla19main-p89-p doi:10.1145/3360563
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Precise Reasoning with Structured ..."
Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations
Grégory M. Essertel, Guannan Wei, and Tiark Rompf
(Purdue University, USA)
Publisher's Version
Article: oopsla19main-p164-p doi:10.1145/3360583
|
| |
Wei, Jiayi |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Relational Verification using ..."
Relational Verification using Reinforcement Learning
Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, and Isil Dillig
(University of Texas at Austin, USA; University of California at Santa Barbara, USA; University of Pennsylvania, USA)
Publisher's Version
Article: oopsla19main-p96-p doi:10.1145/3360567
|
| |
Weng, Shu-chun |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "DeepSEA: A Language for Certified ..."
DeepSEA: A Language for Certified System Software
Vilhelm Sjöberg, Yuyang Sang, Shu-chun Weng, and Zhong Shao
(Yale University, USA; CertiK, USA)
Publisher's Version
Article: oopsla19main-p84-p doi:10.1145/3360562
|
| |
Wickerson, John |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Weak Persistency Semantics ..."
Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models
Azalea Raad, John Wickerson, and Viktor Vafeiadis
(MPI-SWS, Germany; Imperial College London, UK)
Publisher's Version
Article: oopsla19main-p83-p doi:10.1145/3360561
|
| |
Wimmer, Christian |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..."
Initialize Once, Start Fast: Application Initialization at Build Time
Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger
(Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland)
Publisher's Version
Article: oopsla19main-p432-p doi:10.1145/3360610
|
| |
Wögerer, Paul |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..."
Initialize Once, Start Fast: Application Initialization at Build Time
Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger
(Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland)
Publisher's Version
Article: oopsla19main-p432-p doi:10.1145/3360610
|
| |
Wu, Baijun |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating Precise Error Specifications ..."
Generating Precise Error Specifications for C: A Zero Shot Learning Approach
Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, and Sheng Chen
(University of Louisiana at Lafayette, USA)
Publisher's Version
Article: oopsla19main-p192-p doi:10.1145/3360586
|
| |
Würthinger, Thomas |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..."
Initialize Once, Start Fast: Application Initialization at Build Time
Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger
(Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland)
Publisher's Version
Article: oopsla19main-p432-p doi:10.1145/3360610
|
| |
Xu, Gaowei
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Automatic Repair of Regular ..."
Automatic Repair of Regular Expressions
Rong Pan, Qinheping Hu, Gaowei Xu, and Loris D'Antoni
(University of Texas at Austin, USA; University of Wisconsin-Madison, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p94-p doi:10.1145/3360565
|
| |
Xu, Siyuan |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Program Synthesis with Algebraic ..."
Program Synthesis with Algebraic Library Specifications
Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama
(University of Maryland at College Park, USA; Purdue University, USA; University of Nebraska-Lincoln, USA; Tufts University, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p75-p doi:10.1145/3360558
|
| |
Xu, Yufan |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Dependence-Aware, Unbounded ..."
Dependence-Aware, Unbounded Sound Predictive Race Detection
Kaan Genç, Jake Roemer, Yufan Xu, and Michael D. Bond
(Ohio State University, USA)
Publisher's Version
Article: oopsla19main-p381-p doi:10.1145/3360605
|
| |
Xue, Jingling |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Precision-Preserving Yet Fast ..."
Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity
Jingbo Lu and Jingling Xue
(UNSW, Australia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p126-p doi:10.1145/3360574
|
| |
Yamazaki, Tetsuro
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating a Fluent API with ..."
Generating a Fluent API with Syntax Checking from an LR Grammar
Tetsuro Yamazaki, Tomoki Nakamaru, Kazuhiro Ichikawa, and Shigeru Chiba
(University of Tokyo, Japan)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla19main-p82-p doi:10.1145/3360560
|
| |
Yang, Di |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Aroma: Code Recommendation ..."
Aroma: Code Recommendation via Structural Code Search
Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, and Satish Chandra
(Facebook, USA; University of California at Irvine, USA; University of California at Berkeley, USA)
Publisher's Version
Published Artifact
Article: oopsla19main-p136-p doi:10.1145/3360578
|
| |
You, Wei |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "BDA: Practical Dependence ..."
BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation
Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, and Xiangyu Zhang
(Purdue University, USA; Renmin University of China, China; University of Virginia, USA)
Publisher's Version
Article: oopsla19main-p89-p doi:10.1145/3360563
|
| |
Zappa Nardelli, Francesco
|
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reliable and Fast DWARF-Based ..."
Reliable and Fast DWARF-Based Stack Unwinding
Théophile Bastian, Stephen Kell, and Francesco Zappa Nardelli
(ENS, France; University of Kent, UK; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p111-p doi:10.1145/3360572
|
| |
Zhang, Chengyu |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Detecting Nondeterministic ..."
Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts
Shuai Wang, Chengyu Zhang, and Zhendong Su
(Hong Kong University of Science and Technology, China; East China Normal University, China; ETH Zurich, Switzerland)
Publisher's Version
Article: oopsla19main-p592-p doi:10.1145/3360615
|
| |
Zhang, Lingming |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reflection-Aware Static Regression ..."
Reflection-Aware Static Regression Test Selection
August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, and Owolabi Legunsen
(University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA)
Publisher's Version
Article: oopsla19main-p489-p doi:10.1145/3360613
|
| |
Zhang, Mu |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..."
Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song
(University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla19main-p271-p doi:10.1145/3360598
|
| |
Zhang, Wei |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IntelliMerge: A Refactoring-Aware ..."
IntelliMerge: A Refactoring-Aware Software Merging Technique
Bo Shen, Wei Zhang, Haiyan Zhao, Guangtai Liang, Zhi Jin, and Qianxiang Wang
(Peking University, China; Huawei Technologies, China)
Publisher's Version
Published Artifact
Article: oopsla19main-p254-p doi:10.1145/3360596
|
| |
Zhang, Xiangyu |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "BDA: Practical Dependence ..."
BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation
Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, and Xiangyu Zhang
(Purdue University, USA; Renmin University of China, China; University of Virginia, USA)
Publisher's Version
Article: oopsla19main-p89-p doi:10.1145/3360563
|
| |
Zhang, Xin |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Probabilistic Verification ..."
Probabilistic Verification of Fairness Properties via Concentration
Osbert Bastani, Xin Zhang, and Armando Solar-Lezama
(University of Pennsylvania, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Article: oopsla19main-p8-p doi:10.1145/3360544
|
| |
Zhang, Zhuo |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "BDA: Practical Dependence ..."
BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation
Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, and Xiangyu Zhang
(Purdue University, USA; Renmin University of China, China; University of Virginia, USA)
Publisher's Version
Article: oopsla19main-p89-p doi:10.1145/3360563
|
| |
Zhao, Haiyan |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IntelliMerge: A Refactoring-Aware ..."
IntelliMerge: A Refactoring-Aware Software Merging Technique
Bo Shen, Wei Zhang, Haiyan Zhao, Guangtai Liang, Zhi Jin, and Qianxiang Wang
(Peking University, China; Huawei Technologies, China)
Publisher's Version
Published Artifact
Article: oopsla19main-p254-p doi:10.1145/3360596
|
| |
Zhao, Nathan |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..."
ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve
(University of Illinois at Urbana-Champaign, USA; Cornell University, USA)
Publisher's Version
Article: oopsla19main-p488-p doi:10.1145/3360612
|
| |
Zou, Zi-Xin |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IVT: An Efficient Method for ..."
IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
Yu-Ping Wang, Xu-Qiang Hu, Zi-Xin Zou, Wende Tan, and Gang Tan
(Tsinghua University, China; Pennsylvania State University, USA)
Publisher's Version
Article: oopsla19main-p56-p doi:10.1145/3360556
|
| |
Zuriel, Yoav |
Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Efficient Lock-Free Durable ..."
Efficient Lock-Free Durable Sets
Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank
(Technion, Israel; Amazon, Israel)
Publisher's Version
Article: oopsla19main-p50-p doi:10.1145/3360554
|