| |
Abdulla, Parosh Aziz
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Optimal Stateless Model Checking ..."
Optimal Stateless Model Checking under the Release-Acquire Semantics
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, and Tuan Phong Ngo
(Uppsala University, Sweden)
 Publisher's Version
 Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p160-p doi:10.1145/3276505
|
| |
Adve, Vikram |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Software Multiplexing: Share ..."
Software Multiplexing: Share Your Libraries and Statically Link Them Too
Will Dietz and Vikram Adve
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Article: oopsla18main-p137-p doi:10.1145/3276524
|
| |
Aksun, David T. |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Object-Oriented Recovery for ..."
Object-Oriented Recovery for Non-volatile Memory
Nachshon Cohen, David T. Aksun, and James R. Larus
(EPFL, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p102-p doi:10.1145/3276523
|
| |
Alimadadi, Saba |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Finding Broken Promises in ..."
Finding Broken Promises in Asynchronous JavaScript Programs
Saba Alimadadi, Di Zhong, Magnus Madsen, and Frank Tip
(Northeastern University, USA; Aalborg University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p154-p doi:10.1145/3276532
|
| |
Alpernas, Kalev |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Secure Serverless Computing ..."
Secure Serverless Computing using Dynamic Information Flow Control
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, and Keith Winstein
(Tel Aviv University, Israel; VMware, USA; University of California at Santa Cruz, USA; Stanford University, USA)
Publisher's Version
Article: oopsla18main-p192-p doi:10.1145/3276488
|
| |
Amarasinghe, Saman |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "goSLP: Globally Optimized ..."
goSLP: Globally Optimized Superword Level Parallelism Framework
Charith Mendis and Saman Amarasinghe
(Massachusetts Institute of Technology, USA)
Publisher's Version
Artifacts Functional
Article: oopsla18main-p83-p doi:10.1145/3276480
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "GraphIt: A High-Performance ..."
GraphIt: A High-Performance Graph DSL
Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi, Shoaib Kamil, Julian Shun, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; Adobe Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p65-p doi:10.1145/3276491
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Format Abstraction for Sparse ..."
Format Abstraction for Sparse Tensor Algebra Compilers
Stephen Chou, Fredrik Kjolstad, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA)
Publisher's Version
Artifacts Functional
Article: oopsla18main-p69-p doi:10.1145/3276493
|
| |
Atig, Mohamed Faouzi |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Optimal Stateless Model Checking ..."
Optimal Stateless Model Checking under the Release-Acquire Semantics
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, and Tuan Phong Ngo
(Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p160-p doi:10.1145/3276505
|
| |
Bach Poulsen, Casper
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Scopes as Types ..."
Scopes as Types
Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser
(Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p49-p doi:10.1145/3276484
|
| |
Baghdadi, Riyadh |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "GraphIt: A High-Performance ..."
GraphIt: A High-Performance Graph DSL
Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi, Shoaib Kamil, Julian Shun, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; Adobe Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p65-p doi:10.1145/3276491
|
| |
Barowy, Daniel W. |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "ExceLint: Automatically Finding ..."
ExceLint: Automatically Finding Spreadsheet Formula Errors
Daniel W. Barowy, Emery D. Berger, and Benjamin Zorn
(Williams College, USA; University of Massachusetts at Amherst, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p66-p doi:10.1145/3276518
|
| |
Befrouei, Mitra Tabaei |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Randomized Testing of Distributed ..."
Randomized Testing of Distributed Systems with Probabilistic Guarantees
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, and Georg Weissenbacher
(MPI-SWS, Germany; Vienna University of Technology, Austria)
Publisher's Version
Article: oopsla18main-p225-p doi:10.1145/3276530
|
| |
Belyakova, Julia |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Julia Subtyping: A Rational ..."
Julia Subtyping: A Rational Reconstruction
Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, and Jan Vitek
(Inria, France; Northeastern University, USA; Czech Technical University, Czechia; Julia Computing, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p201-p doi:10.1145/3276483
|
| |
Berger, Emery D. |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "ExceLint: Automatically Finding ..."
ExceLint: Automatically Finding Spreadsheet Formula Errors
Daniel W. Barowy, Emery D. Berger, and Benjamin Zorn
(Williams College, USA; University of Massachusetts at Amherst, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p66-p doi:10.1145/3276518
|
| |
Bergmann, Gábor |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Incrementalizing Lattice-Based ..."
Incrementalizing Lattice-Based Program Analyses in Datalog
Tamás Szabó, Gábor Bergmann, Sebastian Erdweg, and Markus Voelter
(itemis, Germany; Delft University of Technology, Netherlands; Budapest University of Technology and Economics, Hungary; MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p62-p doi:10.1145/3276509
|
| |
Bezanson, Jeff |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Julia Subtyping: A Rational ..."
Julia Subtyping: A Rational Reconstruction
Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, and Jan Vitek
(Inria, France; Northeastern University, USA; Czech Technical University, Czechia; Julia Computing, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p201-p doi:10.1145/3276483
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Julia: Dynamism and Performance ..."
Julia: Dynamism and Performance Reconciled by Design
Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, and Lionel Zoubritzky
(Julia Computing, USA; Capital One, USA; Northeastern University, USA; Czech Technical University, Czechia; ENS, France)
Publisher's Version
Article: oopsla18main-p214-p doi:10.1145/3276490
|
| |
Bielik, Pavol |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Robust Relational Layout Synthesis ..."
Robust Relational Layout Synthesis from Examples for Android
Pavol Bielik, Marc Fischer, and Martin Vechev
(ETH Zurich, Switzerland)
Publisher's Version
Article: oopsla18main-p215-p doi:10.1145/3276526
|
| |
Blackshear, Sam |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "RacerD: Compositional Static ..."
RacerD: Compositional Static Race Detection
Sam Blackshear, Nikos Gorogiannis, Peter W. O'Hearn, and Ilya Sergey
(Facebook, USA; Facebook, UK; Middlesex University, UK; University College London, UK; Yale-NUS College, Singapore)
Publisher's Version
Article: oopsla18main-p43-p doi:10.1145/3276514
|
| |
Bodik, Rastislav |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Speeding up Symbolic Reasoning ..."
Speeding up Symbolic Reasoning for Relational Queries
Chenglong Wang, Alvin Cheung, and Rastislav Bodik
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p181-p doi:10.1145/3276527
|
| |
Boesche, Klaas |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "AnyDSL: A Partial Evaluation ..."
AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Roland Leißa, Klaas Boesche, Sebastian Hack, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, André Müller, and Bertil Schmidt
(Saarland University, Germany; DFKI, Germany; Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Article: oopsla18main-p133-p doi:10.1145/3276489
|
| |
Bornholt, James |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Finding Code That Explodes ..."
Finding Code That Explodes under Symbolic Evaluation
James Bornholt and Emina Torlak
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p59-p doi:10.1145/3276519
|
| |
Boston, Brett |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Leto: Verifying Application-Specific ..."
Leto: Verifying Application-Specific Hardware Fault Tolerance with Programmable Execution Models
Brett Boston, Zoe Gong, and Michael Carbin
(Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p80-p doi:10.1145/3276533
|
| |
Brachthäuser, Jonathan Immanuel |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Effect Handlers for the Masses ..."
Effect Handlers for the Masses
Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
(University of Tübingen, Germany)
Publisher's Version
Article: oopsla18main-p148-p doi:10.1145/3276481
|
| |
Brent, Lexi |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "MadMax: Surviving Out-of-Gas ..."
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis
(University of Athens, Greece; University of Malta, Malta; University of Sydney, Australia)
Publisher's Version
Article: oopsla18main-p212-p doi:10.1145/3276486
|
| |
Brisk, Philip |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "BioScript: Programming Safe ..."
BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
Jason Ott, Tyson Loveless, Chris Curtis, Mohsen Lesani, and Philip Brisk
(University of California at Riverside, USA)
Publisher's Version
Article: oopsla18main-p10-p doi:10.1145/3276498
|
| |
Brock, Jacob |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "ShareJIT: JIT Code Cache Sharing ..."
ShareJIT: JIT Code Cache Sharing across Processes and Its Practical Implementation
Xiaoran Xu, Keith Cooper, Jacob Brock, Yan Zhang, and Handong Ye
(Rice University, USA; University of Rochester, USA; Futurewei Technologies, USA)
Publisher's Version
Article: oopsla18main-p37-p doi:10.1145/3276494
|
| |
Burckhardt, Sebastian |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Reactive Caching for Composed ..."
Reactive Caching for Composed Services: Polling at the Speed of Push
Sebastian Burckhardt and Tim Coppieters
(Microsoft Research, USA; Vrije Universiteit Brussel, Belgium)
Publisher's Version
Article: oopsla18main-p152-p doi:10.1145/3276522
|
| |
Carbin, Michael
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Leto: Verifying Application-Specific ..."
Leto: Verifying Application-Specific Hardware Fault Tolerance with Programmable Execution Models
Brett Boston, Zoe Gong, and Michael Carbin
(Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p80-p doi:10.1145/3276533
|
| |
Chen, Jiahao |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Julia: Dynamism and Performance ..."
Julia: Dynamism and Performance Reconciled by Design
Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, and Lionel Zoubritzky
(Julia Computing, USA; Capital One, USA; Northeastern University, USA; Czech Technical University, Czechia; ENS, France)
Publisher's Version
Article: oopsla18main-p214-p doi:10.1145/3276490
|
| |
Chen, Zhi |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "An Empirical Study of the ..."
An Empirical Study of the Effect of Source-Level Loop Transformations on Compiler Stability
Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, and Josep Torrellas
(University of Illinois at Urbana-Champaign, USA; University of California at Irvine, USA; Intel, USA; IBM, USA; Microsoft, USA)
Publisher's Version
Article: oopsla18main-p110-p doi:10.1145/3276496
|
| |
Cheung, Alvin |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Speeding up Symbolic Reasoning ..."
Speeding up Symbolic Reasoning for Relational Queries
Chenglong Wang, Alvin Cheung, and Rastislav Bodik
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p181-p doi:10.1145/3276527
|
| |
Chou, Stephen |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Format Abstraction for Sparse ..."
Format Abstraction for Sparse Tensor Algebra Compilers
Stephen Chou, Fredrik Kjolstad, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA)
Publisher's Version
Artifacts Functional
Article: oopsla18main-p69-p doi:10.1145/3276493
|
| |
Chugh, Ravi |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Bidirectional Evaluation with ..."
Bidirectional Evaluation with Direct Manipulation
Mikaël Mayer, Viktor Kuncak, and Ravi Chugh
(University of Chicago, USA; EPFL, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p70-p doi:10.1145/3276497
|
| |
Chung, Benjamin |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Julia Subtyping: A Rational ..."
Julia Subtyping: A Rational Reconstruction
Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, and Jan Vitek
(Inria, France; Northeastern University, USA; Czech Technical University, Czechia; Julia Computing, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p201-p doi:10.1145/3276483
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Julia: Dynamism and Performance ..."
Julia: Dynamism and Performance Reconciled by Design
Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, and Lionel Zoubritzky
(Julia Computing, USA; Capital One, USA; Northeastern University, USA; Czech Technical University, Czechia; ENS, France)
Publisher's Version
Article: oopsla18main-p214-p doi:10.1145/3276490
|
| |
Cohen, Nachshon |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Every Data Structure Deserves ..."
Every Data Structure Deserves Lock-Free Memory Reclamation
Nachshon Cohen
(EPFL, Switzerland)
Publisher's Version
Article: oopsla18main-p179-p doi:10.1145/3276513
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Object-Oriented Recovery for ..."
Object-Oriented Recovery for Non-volatile Memory
Nachshon Cohen, David T. Aksun, and James R. Larus
(EPFL, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p102-p doi:10.1145/3276523
|
| |
Cooper, Keith |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "ShareJIT: JIT Code Cache Sharing ..."
ShareJIT: JIT Code Cache Sharing across Processes and Its Practical Implementation
Xiaoran Xu, Keith Cooper, Jacob Brock, Yan Zhang, and Handong Ye
(Rice University, USA; University of Rochester, USA; Futurewei Technologies, USA)
Publisher's Version
Article: oopsla18main-p37-p doi:10.1145/3276494
|
| |
Coppieters, Tim |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Reactive Caching for Composed ..."
Reactive Caching for Composed Services: Polling at the Speed of Push
Sebastian Burckhardt and Tim Coppieters
(Microsoft Research, USA; Vrije Universiteit Brussel, Belgium)
Publisher's Version
Article: oopsla18main-p152-p doi:10.1145/3276522
|
| |
Curtis, Chris |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "BioScript: Programming Safe ..."
BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
Jason Ott, Tyson Loveless, Chris Curtis, Mohsen Lesani, and Philip Brisk
(University of California at Riverside, USA)
Publisher's Version
Article: oopsla18main-p10-p doi:10.1145/3276498
|
| |
Daloze, Benoit
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Parallelization of Dynamic ..."
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Benoit Daloze, Arie Tal, Stefan Marr, Hanspeter Mössenböck, and Erez Petrank
(JKU Linz, Austria; Technion, Israel; University of Kent, UK)
Publisher's Version
Article: oopsla18main-p21-p doi:10.1145/3276478
|
| |
Degenbaev, Ulan |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Cross-Component Garbage Collection ..."
Cross-Component Garbage Collection
Ulan Degenbaev, Jochen Eisinger, Kentaro Hara, Marcel Hlopko, Michael Lippautz, and Hannes Payer
(Google, Germany; Google, Japan)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p50-p doi:10.1145/3276521
|
| |
Demsky, Brian |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Towards Understanding the ..."
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Peizhao Ou and Brian Demsky
(University of California at Irvine, USA)
Publisher's Version
Article: oopsla18main-p32-p doi:10.1145/3276506
|
| |
Desai, Ankush |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Compositional Programming ..."
Compositional Programming and Testing of Dynamic Distributed Systems
Ankush Desai, Amar Phanishayee, Shaz Qadeer, and Sanjit A. Seshia
(University of California at Berkeley, USA; Microsoft Research, USA)
Publisher's Version
Article: oopsla18main-p35-p doi:10.1145/3276529
|
| |
Dietz, Will |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Software Multiplexing: Share ..."
Software Multiplexing: Share Your Libraries and Statically Link Them Too
Will Dietz and Vikram Adve
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Article: oopsla18main-p137-p doi:10.1145/3276524
|
| |
Dillig, Isil |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Relational Program Synthesis ..."
Relational Program Synthesis
Yuepeng Wang, Xinyu Wang, and Isil Dillig
(University of Texas at Austin, USA)
Publisher's Version
Article: oopsla18main-p89-p doi:10.1145/3276525
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Verified Three-Way Program ..."
Verified Three-Way Program Merge
Marcelo Sousa, Isil Dillig, and Shuvendu K. Lahiri
(University of Oxford, UK; University of Texas at Austin, USA; Microsoft Research, USA)
Publisher's Version
Article: oopsla18main-p64-p doi:10.1145/3276535
|
| |
Drechsler, Joscha |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Thread-Safe Reactive Programming ..."
Thread-Safe Reactive Programming
Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p227-p doi:10.1145/3276477
|
| |
D'Souza, Deepak |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Horn-ICE Learning for Synthesizing ..."
Horn-ICE Learning for Synthesizing Invariants and Contracts
P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, and P. Madhusudan
(IISc Bangalore, India; MPI-SWS, Germany; Amazon, India; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p196-p doi:10.1145/3276501
|
| |
Earanky, Kapil
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Safe Replication through Bounded ..."
Safe Replication through Bounded Concurrency Verification
Gowtham Kaki, Kapil Earanky, KC Sivaramakrishnan, and Suresh Jagannathan
(Purdue University, USA; Cambridge University, UK)
Publisher's Version
Article: oopsla18main-p144-p doi:10.1145/3276534
|
| |
Eisinger, Jochen |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Cross-Component Garbage Collection ..."
Cross-Component Garbage Collection
Ulan Degenbaev, Jochen Eisinger, Kentaro Hara, Marcel Hlopko, Michael Lippautz, and Hannes Payer
(Google, Germany; Google, Japan)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p50-p doi:10.1145/3276521
|
| |
Erdweg, Sebastian |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Incrementalizing Lattice-Based ..."
Incrementalizing Lattice-Based Program Analyses in Datalog
Tamás Szabó, Gábor Bergmann, Sebastian Erdweg, and Markus Voelter
(itemis, Germany; Delft University of Technology, Netherlands; Budapest University of Technology and Economics, Hungary; MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p62-p doi:10.1145/3276509
|
| |
Ezudheen, P. |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Horn-ICE Learning for Synthesizing ..."
Horn-ICE Learning for Synthesizing Invariants and Contracts
P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, and P. Madhusudan
(IISc Bangalore, India; MPI-SWS, Germany; Amazon, India; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p196-p doi:10.1145/3276501
|
| |
Faes, Michael
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Concurrency-Aware Object-Oriented ..."
Concurrency-Aware Object-Oriented Programming with Roles
Michael Faes and Thomas R. Gross
(ETH Zurich, Switzerland)
Publisher's Version
Artifacts Functional
Article: oopsla18main-p82-p doi:10.1145/3276500
|
| |
Feltey, Daniel |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Collapsible Contracts: Fixing ..."
Collapsible Contracts: Fixing a Pathology of Gradual Typing
Daniel Feltey, Ben Greenman, Christophe Scholliers, Robert Bruce Findler, and Vincent St-Amour
(Northwestern University, USA; Northeastern University, USA; Ghent University, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p143-p doi:10.1145/3276503
|
| |
Findler, Robert Bruce |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Collapsible Contracts: Fixing ..."
Collapsible Contracts: Fixing a Pathology of Gradual Typing
Daniel Feltey, Ben Greenman, Christophe Scholliers, Robert Bruce Findler, and Vincent St-Amour
(Northwestern University, USA; Northeastern University, USA; Ghent University, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p143-p doi:10.1145/3276503
|
| |
Fischer, Marc |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Robust Relational Layout Synthesis ..."
Robust Relational Layout Synthesis from Examples for Android
Pavol Bielik, Marc Fischer, and Martin Vechev
(ETH Zurich, Switzerland)
Publisher's Version
Article: oopsla18main-p215-p doi:10.1145/3276526
|
| |
Flanagan, Cormac |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Secure Serverless Computing ..."
Secure Serverless Computing using Dynamic Information Flow Control
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, and Keith Winstein
(Tel Aviv University, Israel; VMware, USA; University of California at Santa Cruz, USA; Stanford University, USA)
Publisher's Version
Article: oopsla18main-p192-p doi:10.1145/3276488
|
| |
Fouladi, Sadjad |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Secure Serverless Computing ..."
Secure Serverless Computing using Dynamic Information Flow Control
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, and Keith Winstein
(Tel Aviv University, Israel; VMware, USA; University of California at Santa Cruz, USA; Stanford University, USA)
Publisher's Version
Article: oopsla18main-p192-p doi:10.1145/3276488
|
| |
Garg, Pranav
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Horn-ICE Learning for Synthesizing ..."
Horn-ICE Learning for Synthesizing Invariants and Contracts
P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, and P. Madhusudan
(IISc Bangalore, India; MPI-SWS, Germany; Amazon, India; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p196-p doi:10.1145/3276501
|
| |
Gong, Zhangxiaowen |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "An Empirical Study of the ..."
An Empirical Study of the Effect of Source-Level Loop Transformations on Compiler Stability
Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, and Josep Torrellas
(University of Illinois at Urbana-Champaign, USA; University of California at Irvine, USA; Intel, USA; IBM, USA; Microsoft, USA)
Publisher's Version
Article: oopsla18main-p110-p doi:10.1145/3276496
|
| |
Gong, Zoe |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Leto: Verifying Application-Specific ..."
Leto: Verifying Application-Specific Hardware Fault Tolerance with Programmable Execution Models
Brett Boston, Zoe Gong, and Michael Carbin
(Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p80-p doi:10.1145/3276533
|
| |
Gorogiannis, Nikos |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "RacerD: Compositional Static ..."
RacerD: Compositional Static Race Detection
Sam Blackshear, Nikos Gorogiannis, Peter W. O'Hearn, and Ilya Sergey
(Facebook, USA; Facebook, UK; Middlesex University, UK; University College London, UK; Yale-NUS College, Singapore)
Publisher's Version
Article: oopsla18main-p43-p doi:10.1145/3276514
|
| |
Grech, Neville |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "MadMax: Surviving Out-of-Gas ..."
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis
(University of Athens, Greece; University of Malta, Malta; University of Sydney, Australia)
Publisher's Version
Article: oopsla18main-p212-p doi:10.1145/3276486
|
| |
Greenman, Ben |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Collapsible Contracts: Fixing ..."
Collapsible Contracts: Fixing a Pathology of Gradual Typing
Daniel Feltey, Ben Greenman, Christophe Scholliers, Robert Bruce Findler, and Vincent St-Amour
(Northwestern University, USA; Northeastern University, USA; Ghent University, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p143-p doi:10.1145/3276503
|
| |
Gross, Thomas R. |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Virtual Machine Design for ..."
Virtual Machine Design for Parallel Dynamic Programming Languages
Remigius Meier, Armin Rigo, and Thomas R. Gross
(ETH Zurich, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p111-p doi:10.1145/3276479
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Concurrency-Aware Object-Oriented ..."
Concurrency-Aware Object-Oriented Programming with Roles
Michael Faes and Thomas R. Gross
(ETH Zurich, Switzerland)
Publisher's Version
Artifacts Functional
Article: oopsla18main-p82-p doi:10.1145/3276500
|
| |
Gulwani, Sumit |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "FlashProfile: A Framework ..."
FlashProfile: A Framework for Synthesizing Data Profiles
Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, and Todd Millstein
(University of California at Los Angeles, USA; Microsoft Research Lab, India; Microsoft, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p40-p doi:10.1145/3276520
|
| |
Hack, Sebastian
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "AnyDSL: A Partial Evaluation ..."
AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Roland Leißa, Klaas Boesche, Sebastian Hack, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, André Müller, and Bertil Schmidt
(Saarland University, Germany; DFKI, Germany; Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Article: oopsla18main-p133-p doi:10.1145/3276489
|
| |
Hara, Kentaro |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Cross-Component Garbage Collection ..."
Cross-Component Garbage Collection
Ulan Degenbaev, Jochen Eisinger, Kentaro Hara, Marcel Hlopko, Michael Lippautz, and Hannes Payer
(Google, Germany; Google, Japan)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p50-p doi:10.1145/3276521
|
| |
He, Fei |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Conflict Resolution for Structured ..."
Conflict Resolution for Structured Merge via Version Space Algebra
Fengmin Zhu and Fei He
(Tsinghua University, China)
Publisher's Version
Artifacts Functional
Article: oopsla18main-p60-p doi:10.1145/3276536
|
| |
Hlopko, Marcel |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Cross-Component Garbage Collection ..."
Cross-Component Garbage Collection
Ulan Degenbaev, Jochen Eisinger, Kentaro Hara, Marcel Hlopko, Michael Lippautz, and Hannes Payer
(Google, Germany; Google, Japan)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p50-p doi:10.1145/3276521
|
| |
Hur, Chung-Kil |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Reconciling High-Level Optimizations ..."
Reconciling High-Level Optimizations and Low-Level Code in LLVM
Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, and Nuno P. Lopes
(Seoul National University, South Korea; MPI-SWS, Germany; University of Utah, USA; Microsoft Research, UK)
Publisher's Version
Artifacts Functional
Article: oopsla18main-p26-p doi:10.1145/3276495
|
| |
Jagannathan, Suresh
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Safe Replication through Bounded ..."
Safe Replication through Bounded Concurrency Verification
Gowtham Kaki, Kapil Earanky, KC Sivaramakrishnan, and Suresh Jagannathan
(Purdue University, USA; Cambridge University, UK)
Publisher's Version
Article: oopsla18main-p144-p doi:10.1145/3276534
|
| |
Jain, Prateek |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "FlashProfile: A Framework ..."
FlashProfile: A Framework for Synthesizing Data Profiles
Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, and Todd Millstein
(University of California at Los Angeles, USA; Microsoft Research Lab, India; Microsoft, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p40-p doi:10.1145/3276520
|
| |
Jeon, Minseok |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Precise and Scalable Points-to ..."
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Minseok Jeon, Sehun Jeong, and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p175-p doi:10.1145/3276510
|
| |
Jeong, Sehun |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Precise and Scalable Points-to ..."
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Minseok Jeon, Sehun Jeong, and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p175-p doi:10.1145/3276510
|
| |
Jonsson, Bengt |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Optimal Stateless Model Checking ..."
Optimal Stateless Model Checking under the Release-Acquire Semantics
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, and Tuan Phong Ngo
(Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p160-p doi:10.1145/3276505
|
| |
Jung, Ralf |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Reconciling High-Level Optimizations ..."
Reconciling High-Level Optimizations and Low-Level Code in LLVM
Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, and Nuno P. Lopes
(Seoul National University, South Korea; MPI-SWS, Germany; University of Utah, USA; Microsoft Research, UK)
Publisher's Version
Artifacts Functional
Article: oopsla18main-p26-p doi:10.1145/3276495
|
| |
Jurisevic, Anton |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "MadMax: Surviving Out-of-Gas ..."
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis
(University of Athens, Greece; University of Malta, Malta; University of Sydney, Australia)
Publisher's Version
Article: oopsla18main-p212-p doi:10.1145/3276486
|
| |
Kaki, Gowtham
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Safe Replication through Bounded ..."
Safe Replication through Bounded Concurrency Verification
Gowtham Kaki, Kapil Earanky, KC Sivaramakrishnan, and Suresh Jagannathan
(Purdue University, USA; Cambridge University, UK)
Publisher's Version
Article: oopsla18main-p144-p doi:10.1145/3276534
|
| |
Kalhauge, Christian Gram |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Sound Deadlock Prediction ..."
Sound Deadlock Prediction
Christian Gram Kalhauge and Jens Palsberg
(University of California at Los Angeles, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p136-p doi:10.1145/3276516
|
| |
Kamil, Shoaib |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "GraphIt: A High-Performance ..."
GraphIt: A High-Performance Graph DSL
Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi, Shoaib Kamil, Julian Shun, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; Adobe Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p65-p doi:10.1145/3276491
|
| |
Karim, Rezwana |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Test Generation for Higher-Order ..."
Test Generation for Higher-Order Functions in Dynamic Languages
Marija Selakovic, Michael Pradel, Rezwana Karim, and Frank Tip
(TU Darmstadt, Germany; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p208-p doi:10.1145/3276531
|
| |
Karpinski, Stefan |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Julia: Dynamism and Performance ..."
Julia: Dynamism and Performance Reconciled by Design
Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, and Lionel Zoubritzky
(Julia Computing, USA; Capital One, USA; Northeastern University, USA; Czech Technical University, Czechia; ENS, France)
Publisher's Version
Article: oopsla18main-p214-p doi:10.1145/3276490
|
| |
Kästner, Christian |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Faster Variational Execution ..."
Faster Variational Execution with Transparent Bytecode Transformation
Chu-Pan Wong, Jens Meinicke, Lukas Lazarek, and Christian Kästner
(Carnegie Mellon University, USA; University of Magdeburg, Germany; Northwestern University, USA)
Publisher's Version
Article: oopsla18main-p185-p doi:10.1145/3276487
|
| |
Kini, Dileep |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "What Happens-After the First ..."
What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection
Umang Mathur, Dileep Kini, and Mahesh Viswanathan
(University of Illinois at Urbana-Champaign, USA; Akuna Capital, USA)
Publisher's Version
Article: oopsla18main-p126-p doi:10.1145/3276515
|
| |
Kjolstad, Fredrik |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Format Abstraction for Sparse ..."
Format Abstraction for Sparse Tensor Algebra Compilers
Stephen Chou, Fredrik Kjolstad, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA)
Publisher's Version
Artifacts Functional
Article: oopsla18main-p69-p doi:10.1145/3276493
|
| |
Köhler, Mirko |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Distributed System Development ..."
Distributed System Development with ScalaLoci
Pascal Weisenburger, Mirko Köhler, and Guido Salvaneschi
(TU Darmstadt, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p146-p doi:10.1145/3276499
|
| |
Komondoor, Raghavan |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Refinement in Object-Sensitivity ..."
Refinement in Object-Sensitivity Points-To Analysis via Slicing
Girish Maskeri Rama, Raghavan Komondoor, and Himanshu Sharma
(Infosys, India; IISc Bangalore, India)
Publisher's Version
Article: oopsla18main-p125-p doi:10.1145/3276512
|
| |
Kong, Michael |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "MadMax: Surviving Out-of-Gas ..."
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis
(University of Athens, Greece; University of Malta, Malta; University of Sydney, Australia)
Publisher's Version
Article: oopsla18main-p212-p doi:10.1145/3276486
|
| |
Koppel, James |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "One Tool, Many Languages: ..."
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
James Koppel, Varot Premtoon, and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p221-p doi:10.1145/3276492
|
| |
Kuncak, Viktor |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Bidirectional Evaluation with ..."
Bidirectional Evaluation with Direct Manipulation
Mikaël Mayer, Viktor Kuncak, and Ravi Chugh
(University of Chicago, USA; EPFL, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p70-p doi:10.1145/3276497
|
| |
Lahiri, Shuvendu K.
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Verified Three-Way Program ..."
Verified Three-Way Program Merge
Marcelo Sousa, Isil Dillig, and Shuvendu K. Lahiri
(University of Oxford, UK; University of Texas at Austin, USA; Microsoft Research, USA)
Publisher's Version
Article: oopsla18main-p64-p doi:10.1145/3276535
|
| |
Larus, James R. |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Object-Oriented Recovery for ..."
Object-Oriented Recovery for Non-volatile Memory
Nachshon Cohen, David T. Aksun, and James R. Larus
(EPFL, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p102-p doi:10.1145/3276523
|
| |
Lazarek, Lukas |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Faster Variational Execution ..."
Faster Variational Execution with Transparent Bytecode Transformation
Chu-Pan Wong, Jens Meinicke, Lukas Lazarek, and Christian Kästner
(Carnegie Mellon University, USA; University of Magdeburg, Germany; Northwestern University, USA)
Publisher's Version
Article: oopsla18main-p185-p doi:10.1145/3276487
|
| |
Lee, Juneyoung |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Reconciling High-Level Optimizations ..."
Reconciling High-Level Optimizations and Low-Level Code in LLVM
Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, and Nuno P. Lopes
(Seoul National University, South Korea; MPI-SWS, Germany; University of Utah, USA; Microsoft Research, UK)
Publisher's Version
Artifacts Functional
Article: oopsla18main-p26-p doi:10.1145/3276495
|
| |
Lee, Junho |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Automatic Diagnosis and Correction ..."
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Junho Lee, Dowon Song, Sunbeom So, and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p234-p doi:10.1145/3276528
|
| |
Leißa, Roland |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "AnyDSL: A Partial Evaluation ..."
AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Roland Leißa, Klaas Boesche, Sebastian Hack, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, André Müller, and Bertil Schmidt
(Saarland University, Germany; DFKI, Germany; Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Article: oopsla18main-p133-p doi:10.1145/3276489
|
| |
Lesani, Mohsen |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "BioScript: Programming Safe ..."
BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
Jason Ott, Tyson Loveless, Chris Curtis, Mohsen Lesani, and Philip Brisk
(University of California at Riverside, USA)
Publisher's Version
Article: oopsla18main-p10-p doi:10.1145/3276498
|
| |
Li, Peixuan |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "A Derivation Framework for ..."
A Derivation Framework for Dependent Security Label Inference
Peixuan Li and Danfeng Zhang
(Pennsylvania State University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p19-p doi:10.1145/3276485
|
| |
Li, Yue |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Precision-Guided Context Sensitivity ..."
Precision-Guided Context Sensitivity for Pointer Analysis
Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis
(Aarhus University, Denmark; University of Athens, Greece)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p61-p doi:10.1145/3276511
|
| |
Lippautz, Michael |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Cross-Component Garbage Collection ..."
Cross-Component Garbage Collection
Ulan Degenbaev, Jochen Eisinger, Kentaro Hara, Marcel Hlopko, Michael Lippautz, and Hannes Payer
(Google, Germany; Google, Japan)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p50-p doi:10.1145/3276521
|
| |
Liu, Zhengyang |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Reconciling High-Level Optimizations ..."
Reconciling High-Level Optimizations and Low-Level Code in LLVM
Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, and Nuno P. Lopes
(Seoul National University, South Korea; MPI-SWS, Germany; University of Utah, USA; Microsoft Research, UK)
Publisher's Version
Artifacts Functional
Article: oopsla18main-p26-p doi:10.1145/3276495
|
| |
Lopes, Nuno P. |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Reconciling High-Level Optimizations ..."
Reconciling High-Level Optimizations and Low-Level Code in LLVM
Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, and Nuno P. Lopes
(Seoul National University, South Korea; MPI-SWS, Germany; University of Utah, USA; Microsoft Research, UK)
Publisher's Version
Artifacts Functional
Article: oopsla18main-p26-p doi:10.1145/3276495
|
| |
Loveless, Tyson |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "BioScript: Programming Safe ..."
BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
Jason Ott, Tyson Loveless, Chris Curtis, Mohsen Lesani, and Philip Brisk
(University of California at Riverside, USA)
Publisher's Version
Article: oopsla18main-p10-p doi:10.1145/3276498
|
| |
Madhusudan, P.
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Horn-ICE Learning for Synthesizing ..."
Horn-ICE Learning for Synthesizing Invariants and Contracts
P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, and P. Madhusudan
(IISc Bangalore, India; MPI-SWS, Germany; Amazon, India; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p196-p doi:10.1145/3276501
|
| |
Madsen, Magnus |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Finding Broken Promises in ..."
Finding Broken Promises in Asynchronous JavaScript Programs
Saba Alimadadi, Di Zhong, Magnus Madsen, and Frank Tip
(Northeastern University, USA; Aalborg University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p154-p doi:10.1145/3276532
|
| |
Majumdar, Rupak |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Randomized Testing of Distributed ..."
Randomized Testing of Distributed Systems with Probabilistic Guarantees
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, and Georg Weissenbacher
(MPI-SWS, Germany; Vienna University of Technology, Austria)
Publisher's Version
Article: oopsla18main-p225-p doi:10.1145/3276530
|
| |
Maleki, Saeed |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "An Empirical Study of the ..."
An Empirical Study of the Effect of Source-Level Loop Transformations on Compiler Stability
Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, and Josep Torrellas
(University of Illinois at Urbana-Champaign, USA; University of California at Irvine, USA; Intel, USA; IBM, USA; Microsoft, USA)
Publisher's Version
Article: oopsla18main-p110-p doi:10.1145/3276496
|
| |
Marr, Stefan |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Parallelization of Dynamic ..."
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Benoit Daloze, Arie Tal, Stefan Marr, Hanspeter Mössenböck, and Erez Petrank
(JKU Linz, Austria; Technion, Israel; University of Kent, UK)
Publisher's Version
Article: oopsla18main-p21-p doi:10.1145/3276478
|
| |
Mathur, Umang |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "What Happens-After the First ..."
What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection
Umang Mathur, Dileep Kini, and Mahesh Viswanathan
(University of Illinois at Urbana-Champaign, USA; Akuna Capital, USA)
Publisher's Version
Article: oopsla18main-p126-p doi:10.1145/3276515
|
| |
Mayer, Mikaël |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Bidirectional Evaluation with ..."
Bidirectional Evaluation with Direct Manipulation
Mikaël Mayer, Viktor Kuncak, and Ravi Chugh
(University of Chicago, USA; EPFL, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p70-p doi:10.1145/3276497
|
| |
Meier, Remigius |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Virtual Machine Design for ..."
Virtual Machine Design for Parallel Dynamic Programming Languages
Remigius Meier, Armin Rigo, and Thomas R. Gross
(ETH Zurich, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p111-p doi:10.1145/3276479
|
| |
Meinicke, Jens |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Faster Variational Execution ..."
Faster Variational Execution with Transparent Bytecode Transformation
Chu-Pan Wong, Jens Meinicke, Lukas Lazarek, and Christian Kästner
(Carnegie Mellon University, USA; University of Magdeburg, Germany; Northwestern University, USA)
Publisher's Version
Article: oopsla18main-p185-p doi:10.1145/3276487
|
| |
Membarth, Richard |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "AnyDSL: A Partial Evaluation ..."
AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Roland Leißa, Klaas Boesche, Sebastian Hack, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, André Müller, and Bertil Schmidt
(Saarland University, Germany; DFKI, Germany; Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Article: oopsla18main-p133-p doi:10.1145/3276489
|
| |
Mendis, Charith |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "goSLP: Globally Optimized ..."
goSLP: Globally Optimized Superword Level Parallelism Framework
Charith Mendis and Saman Amarasinghe
(Massachusetts Institute of Technology, USA)
Publisher's Version
Artifacts Functional
Article: oopsla18main-p83-p doi:10.1145/3276480
|
| |
Mezini, Mira |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Thread-Safe Reactive Programming ..."
Thread-Safe Reactive Programming
Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p227-p doi:10.1145/3276477
|
| |
Millstein, Todd |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "FlashProfile: A Framework ..."
FlashProfile: A Framework for Synthesizing Data Profiles
Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, and Todd Millstein
(University of California at Los Angeles, USA; Microsoft Research Lab, India; Microsoft, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p40-p doi:10.1145/3276520
|
| |
Møller, Anders |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Precision-Guided Context Sensitivity ..."
Precision-Guided Context Sensitivity for Pointer Analysis
Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis
(Aarhus University, Denmark; University of Athens, Greece)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p61-p doi:10.1145/3276511
|
| |
Mogk, Ragnar |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Thread-Safe Reactive Programming ..."
Thread-Safe Reactive Programming
Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p227-p doi:10.1145/3276477
|
| |
Morris, J. Garrett |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "The Root Cause of Blame: Contracts ..."
The Root Cause of Blame: Contracts for Intersection and Union Types
Jack Williams, J. Garrett Morris, and Philip Wadler
(University of Edinburgh, UK; University of Kansas, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p149-p doi:10.1145/3276504
|
| |
Mössenböck, Hanspeter |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Parallelization of Dynamic ..."
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Benoit Daloze, Arie Tal, Stefan Marr, Hanspeter Mössenböck, and Erez Petrank
(JKU Linz, Austria; Technion, Israel; University of Kent, UK)
Publisher's Version
Article: oopsla18main-p21-p doi:10.1145/3276478
|
| |
Muehlboeck, Fabian |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Empowering Union and Intersection ..."
Empowering Union and Intersection Types with Integrated Subtyping
Fabian Muehlboeck and Ross Tate
(Cornell University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p131-p doi:10.1145/3276482
|
| |
Müller, André |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "AnyDSL: A Partial Evaluation ..."
AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Roland Leißa, Klaas Boesche, Sebastian Hack, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, André Müller, and Bertil Schmidt
(Saarland University, Germany; DFKI, Germany; Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Article: oopsla18main-p133-p doi:10.1145/3276489
|
| |
Nandivada, V. Krishna
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Identifying Refactoring Opportunities ..."
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Jyothi Vedurada and V. Krishna Nandivada
(IIT Madras, India)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p241-p doi:10.1145/3276508
|
| |
Neider, Daniel |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Horn-ICE Learning for Synthesizing ..."
Horn-ICE Learning for Synthesizing Invariants and Contracts
P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, and P. Madhusudan
(IISc Bangalore, India; MPI-SWS, Germany; Amazon, India; University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p196-p doi:10.1145/3276501
|
| |
Ngo, Tuan Phong |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Optimal Stateless Model Checking ..."
Optimal Stateless Model Checking under the Release-Acquire Semantics
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, and Tuan Phong Ngo
(Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p160-p doi:10.1145/3276505
|
| |
Nicolau, Alexandru |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "An Empirical Study of the ..."
An Empirical Study of the Effect of Source-Level Loop Transformations on Compiler Stability
Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, and Josep Torrellas
(University of Illinois at Urbana-Champaign, USA; University of California at Irvine, USA; Intel, USA; IBM, USA; Microsoft, USA)
Publisher's Version
Article: oopsla18main-p110-p doi:10.1145/3276496
|
| |
Niksic, Filip |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Randomized Testing of Distributed ..."
Randomized Testing of Distributed Systems with Probabilistic Guarantees
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, and Georg Weissenbacher
(MPI-SWS, Germany; Vienna University of Technology, Austria)
Publisher's Version
Article: oopsla18main-p225-p doi:10.1145/3276530
|
| |
Oh, Hakjoo
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Precise and Scalable Points-to ..."
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Minseok Jeon, Sehun Jeong, and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p175-p doi:10.1145/3276510
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Automatic Diagnosis and Correction ..."
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Junho Lee, Dowon Song, Sunbeom So, and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p234-p doi:10.1145/3276528
|
| |
O'Hearn, Peter W. |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "RacerD: Compositional Static ..."
RacerD: Compositional Static Race Detection
Sam Blackshear, Nikos Gorogiannis, Peter W. O'Hearn, and Ilya Sergey
(Facebook, USA; Facebook, UK; Middlesex University, UK; University College London, UK; Yale-NUS College, Singapore)
Publisher's Version
Article: oopsla18main-p43-p doi:10.1145/3276514
|
| |
Ostermann, Klaus |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Effect Handlers for the Masses ..."
Effect Handlers for the Masses
Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
(University of Tübingen, Germany)
Publisher's Version
Article: oopsla18main-p148-p doi:10.1145/3276481
|
| |
Ott, Jason |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "BioScript: Programming Safe ..."
BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
Jason Ott, Tyson Loveless, Chris Curtis, Mohsen Lesani, and Philip Brisk
(University of California at Riverside, USA)
Publisher's Version
Article: oopsla18main-p10-p doi:10.1145/3276498
|
| |
Ou, Peizhao |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Towards Understanding the ..."
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Peizhao Ou and Brian Demsky
(University of California at Irvine, USA)
Publisher's Version
Article: oopsla18main-p32-p doi:10.1145/3276506
|
| |
Ozkan, Burcu Kulahcioglu |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Randomized Testing of Distributed ..."
Randomized Testing of Distributed Systems with Probabilistic Guarantees
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, and Georg Weissenbacher
(MPI-SWS, Germany; Vienna University of Technology, Austria)
Publisher's Version
Article: oopsla18main-p225-p doi:10.1145/3276530
|
| |
Padhi, Saswat
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "FlashProfile: A Framework ..."
FlashProfile: A Framework for Synthesizing Data Profiles
Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, and Todd Millstein
(University of California at Los Angeles, USA; Microsoft Research Lab, India; Microsoft, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p40-p doi:10.1145/3276520
|
| |
Padua, David |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "An Empirical Study of the ..."
An Empirical Study of the Effect of Source-Level Loop Transformations on Compiler Stability
Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, and Josep Torrellas
(University of Illinois at Urbana-Champaign, USA; University of California at Irvine, USA; Intel, USA; IBM, USA; Microsoft, USA)
Publisher's Version
Article: oopsla18main-p110-p doi:10.1145/3276496
|
| |
Palsberg, Jens |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Sound Deadlock Prediction ..."
Sound Deadlock Prediction
Christian Gram Kalhauge and Jens Palsberg
(University of California at Los Angeles, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p136-p doi:10.1145/3276516
|
| |
Payer, Hannes |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Cross-Component Garbage Collection ..."
Cross-Component Garbage Collection
Ulan Degenbaev, Jochen Eisinger, Kentaro Hara, Marcel Hlopko, Michael Lippautz, and Hannes Payer
(Google, Germany; Google, Japan)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p50-p doi:10.1145/3276521
|
| |
Pelenitsyn, Artem |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Julia Subtyping: A Rational ..."
Julia Subtyping: A Rational Reconstruction
Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, and Jan Vitek
(Inria, France; Northeastern University, USA; Czech Technical University, Czechia; Julia Computing, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p201-p doi:10.1145/3276483
|
| |
Pérard-Gayot, Arsène |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "AnyDSL: A Partial Evaluation ..."
AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Roland Leißa, Klaas Boesche, Sebastian Hack, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, André Müller, and Bertil Schmidt
(Saarland University, Germany; DFKI, Germany; Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Article: oopsla18main-p133-p doi:10.1145/3276489
|
| |
Perelman, Daniel |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "FlashProfile: A Framework ..."
FlashProfile: A Framework for Synthesizing Data Profiles
Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, and Todd Millstein
(University of California at Los Angeles, USA; Microsoft Research Lab, India; Microsoft, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p40-p doi:10.1145/3276520
|
| |
Petrank, Erez |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Parallelization of Dynamic ..."
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Benoit Daloze, Arie Tal, Stefan Marr, Hanspeter Mössenböck, and Erez Petrank
(JKU Linz, Austria; Technion, Israel; University of Kent, UK)
Publisher's Version
Article: oopsla18main-p21-p doi:10.1145/3276478
|
| |
Phanishayee, Amar |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Compositional Programming ..."
Compositional Programming and Testing of Dynamic Distributed Systems
Ankush Desai, Amar Phanishayee, Shaz Qadeer, and Sanjit A. Seshia
(University of California at Berkeley, USA; Microsoft Research, USA)
Publisher's Version
Article: oopsla18main-p35-p doi:10.1145/3276529
|
| |
Polozov, Oleksandr |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "FlashProfile: A Framework ..."
FlashProfile: A Framework for Synthesizing Data Profiles
Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, and Todd Millstein
(University of California at Los Angeles, USA; Microsoft Research Lab, India; Microsoft, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p40-p doi:10.1145/3276520
|
| |
Pradel, Michael |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "DeepBugs: A Learning Approach ..."
DeepBugs: A Learning Approach to Name-Based Bug Detection
Michael Pradel and Koushik Sen
(TU Darmstadt, Germany; University of California at Berkeley, USA)
Publisher's Version
Results Replicated
Article: oopsla18main-p209-p doi:10.1145/3276517
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Test Generation for Higher-Order ..."
Test Generation for Higher-Order Functions in Dynamic Languages
Marija Selakovic, Michael Pradel, Rezwana Karim, and Frank Tip
(TU Darmstadt, Germany; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p208-p doi:10.1145/3276531
|
| |
Premtoon, Varot |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "One Tool, Many Languages: ..."
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
James Koppel, Varot Premtoon, and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p221-p doi:10.1145/3276492
|
| |
Qadeer, Shaz
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Compositional Programming ..."
Compositional Programming and Testing of Dynamic Distributed Systems
Ankush Desai, Amar Phanishayee, Shaz Qadeer, and Sanjit A. Seshia
(University of California at Berkeley, USA; Microsoft Research, USA)
Publisher's Version
Article: oopsla18main-p35-p doi:10.1145/3276529
|
| |
Raad, Azalea
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Persistence Semantics for ..."
Persistence Semantics for Weak Memory: Integrating Epoch Persistency with the TSO Memory Model
Azalea Raad and Viktor Vafeiadis
(MPI-SWS, Germany)
Publisher's Version
Article: oopsla18main-p101-p doi:10.1145/3276507
|
| |
Rama, Girish Maskeri |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Refinement in Object-Sensitivity ..."
Refinement in Object-Sensitivity Points-To Analysis via Slicing
Girish Maskeri Rama, Raghavan Komondoor, and Himanshu Sharma
(Infosys, India; IISc Bangalore, India)
Publisher's Version
Article: oopsla18main-p125-p doi:10.1145/3276512
|
| |
Regehr, John |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Reconciling High-Level Optimizations ..."
Reconciling High-Level Optimizations and Low-Level Code in LLVM
Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, and Nuno P. Lopes
(Seoul National University, South Korea; MPI-SWS, Germany; University of Utah, USA; Microsoft Research, UK)
Publisher's Version
Artifacts Functional
Article: oopsla18main-p26-p doi:10.1145/3276495
|
| |
Rigo, Armin |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Virtual Machine Design for ..."
Virtual Machine Design for Parallel Dynamic Programming Languages
Remigius Meier, Armin Rigo, and Thomas R. Gross
(ETH Zurich, Switzerland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p111-p doi:10.1145/3276479
|
| |
Rouvoet, Arjen |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Scopes as Types ..."
Scopes as Types
Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser
(Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p49-p doi:10.1145/3276484
|
| |
Ryzhyk, Leonid |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Secure Serverless Computing ..."
Secure Serverless Computing using Dynamic Information Flow Control
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, and Keith Winstein
(Tel Aviv University, Israel; VMware, USA; University of California at Santa Cruz, USA; Stanford University, USA)
Publisher's Version
Article: oopsla18main-p192-p doi:10.1145/3276488
|
| |
Sagiv, Mooly
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Secure Serverless Computing ..."
Secure Serverless Computing using Dynamic Information Flow Control
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, and Keith Winstein
(Tel Aviv University, Israel; VMware, USA; University of California at Santa Cruz, USA; Stanford University, USA)
Publisher's Version
Article: oopsla18main-p192-p doi:10.1145/3276488
|
| |
Salvaneschi, Guido |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Thread-Safe Reactive Programming ..."
Thread-Safe Reactive Programming
Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p227-p doi:10.1145/3276477
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Distributed System Development ..."
Distributed System Development with ScalaLoci
Pascal Weisenburger, Mirko Köhler, and Guido Salvaneschi
(TU Darmstadt, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p146-p doi:10.1145/3276499
|
| |
Schmidt, Bertil |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "AnyDSL: A Partial Evaluation ..."
AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Roland Leißa, Klaas Boesche, Sebastian Hack, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, André Müller, and Bertil Schmidt
(Saarland University, Germany; DFKI, Germany; Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Article: oopsla18main-p133-p doi:10.1145/3276489
|
| |
Schmitz, Thomas |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Secure Serverless Computing ..."
Secure Serverless Computing using Dynamic Information Flow Control
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, and Keith Winstein
(Tel Aviv University, Israel; VMware, USA; University of California at Santa Cruz, USA; Stanford University, USA)
Publisher's Version
Article: oopsla18main-p192-p doi:10.1145/3276488
|
| |
Scholliers, Christophe |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Collapsible Contracts: Fixing ..."
Collapsible Contracts: Fixing a Pathology of Gradual Typing
Daniel Feltey, Ben Greenman, Christophe Scholliers, Robert Bruce Findler, and Vincent St-Amour
(Northwestern University, USA; Northeastern University, USA; Ghent University, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p143-p doi:10.1145/3276503
|
| |
Scholz, Bernhard |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "MadMax: Surviving Out-of-Gas ..."
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis
(University of Athens, Greece; University of Malta, Malta; University of Sydney, Australia)
Publisher's Version
Article: oopsla18main-p212-p doi:10.1145/3276486
|
| |
Schuster, Philipp |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Effect Handlers for the Masses ..."
Effect Handlers for the Masses
Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
(University of Tübingen, Germany)
Publisher's Version
Article: oopsla18main-p148-p doi:10.1145/3276481
|
| |
Selakovic, Marija |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Test Generation for Higher-Order ..."
Test Generation for Higher-Order Functions in Dynamic Languages
Marija Selakovic, Michael Pradel, Rezwana Karim, and Frank Tip
(TU Darmstadt, Germany; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p208-p doi:10.1145/3276531
|
| |
Sen, Koushik |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "DeepBugs: A Learning Approach ..."
DeepBugs: A Learning Approach to Name-Based Bug Detection
Michael Pradel and Koushik Sen
(TU Darmstadt, Germany; University of California at Berkeley, USA)
Publisher's Version
Results Replicated
Article: oopsla18main-p209-p doi:10.1145/3276517
|
| |
Sergey, Ilya |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "RacerD: Compositional Static ..."
RacerD: Compositional Static Race Detection
Sam Blackshear, Nikos Gorogiannis, Peter W. O'Hearn, and Ilya Sergey
(Facebook, USA; Facebook, UK; Middlesex University, UK; University College London, UK; Yale-NUS College, Singapore)
Publisher's Version
Article: oopsla18main-p43-p doi:10.1145/3276514
|
| |
Seshia, Sanjit A. |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Compositional Programming ..."
Compositional Programming and Testing of Dynamic Distributed Systems
Ankush Desai, Amar Phanishayee, Shaz Qadeer, and Sanjit A. Seshia
(University of California at Berkeley, USA; Microsoft Research, USA)
Publisher's Version
Article: oopsla18main-p35-p doi:10.1145/3276529
|
| |
Shah, Viral B. |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Julia: Dynamism and Performance ..."
Julia: Dynamism and Performance Reconciled by Design
Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, and Lionel Zoubritzky
(Julia Computing, USA; Capital One, USA; Northeastern University, USA; Czech Technical University, Czechia; ENS, France)
Publisher's Version
Article: oopsla18main-p214-p doi:10.1145/3276490
|
| |
Sharma, Himanshu |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Refinement in Object-Sensitivity ..."
Refinement in Object-Sensitivity Points-To Analysis via Slicing
Girish Maskeri Rama, Raghavan Komondoor, and Himanshu Sharma
(Infosys, India; IISc Bangalore, India)
Publisher's Version
Article: oopsla18main-p125-p doi:10.1145/3276512
|
| |
Shun, Julian |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "GraphIt: A High-Performance ..."
GraphIt: A High-Performance Graph DSL
Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi, Shoaib Kamil, Julian Shun, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; Adobe Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p65-p doi:10.1145/3276491
|
| |
Sivaramakrishnan, KC |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Safe Replication through Bounded ..."
Safe Replication through Bounded Concurrency Verification
Gowtham Kaki, Kapil Earanky, KC Sivaramakrishnan, and Suresh Jagannathan
(Purdue University, USA; Cambridge University, UK)
Publisher's Version
Article: oopsla18main-p144-p doi:10.1145/3276534
|
| |
Slusallek, Philipp |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "AnyDSL: A Partial Evaluation ..."
AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Roland Leißa, Klaas Boesche, Sebastian Hack, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, André Müller, and Bertil Schmidt
(Saarland University, Germany; DFKI, Germany; Johannes Gutenberg University Mainz, Germany)
Publisher's Version
Article: oopsla18main-p133-p doi:10.1145/3276489
|
| |
Smaragdakis, Yannis |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "MadMax: Surviving Out-of-Gas ..."
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis
(University of Athens, Greece; University of Malta, Malta; University of Sydney, Australia)
Publisher's Version
Article: oopsla18main-p212-p doi:10.1145/3276486
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Precision-Guided Context Sensitivity ..."
Precision-Guided Context Sensitivity for Pointer Analysis
Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis
(Aarhus University, Denmark; University of Athens, Greece)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p61-p doi:10.1145/3276511
|
| |
So, Sunbeom |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Automatic Diagnosis and Correction ..."
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Junho Lee, Dowon Song, Sunbeom So, and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p234-p doi:10.1145/3276528
|
| |
Solar-Lezama, Armando |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "One Tool, Many Languages: ..."
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
James Koppel, Varot Premtoon, and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p221-p doi:10.1145/3276492
|
| |
Song, Dowon |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Automatic Diagnosis and Correction ..."
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Junho Lee, Dowon Song, Sunbeom So, and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p234-p doi:10.1145/3276528
|
| |
Sousa, Marcelo |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Verified Three-Way Program ..."
Verified Three-Way Program Merge
Marcelo Sousa, Isil Dillig, and Shuvendu K. Lahiri
(University of Oxford, UK; University of Texas at Austin, USA; Microsoft Research, USA)
Publisher's Version
Article: oopsla18main-p64-p doi:10.1145/3276535
|
| |
St-Amour, Vincent |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Collapsible Contracts: Fixing ..."
Collapsible Contracts: Fixing a Pathology of Gradual Typing
Daniel Feltey, Ben Greenman, Christophe Scholliers, Robert Bruce Findler, and Vincent St-Amour
(Northwestern University, USA; Northeastern University, USA; Ghent University, Belgium)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p143-p doi:10.1145/3276503
|
| |
Sura, Zehra |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "An Empirical Study of the ..."
An Empirical Study of the Effect of Source-Level Loop Transformations on Compiler Stability
Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, and Josep Torrellas
(University of Illinois at Urbana-Champaign, USA; University of California at Irvine, USA; Intel, USA; IBM, USA; Microsoft, USA)
Publisher's Version
Article: oopsla18main-p110-p doi:10.1145/3276496
|
| |
Szabó, Tamás |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Incrementalizing Lattice-Based ..."
Incrementalizing Lattice-Based Program Analyses in Datalog
Tamás Szabó, Gábor Bergmann, Sebastian Erdweg, and Markus Voelter
(itemis, Germany; Delft University of Technology, Netherlands; Budapest University of Technology and Economics, Hungary; MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p62-p doi:10.1145/3276509
|
| |
Szaday, Justin |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "An Empirical Study of the ..."
An Empirical Study of the Effect of Source-Level Loop Transformations on Compiler Stability
Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, and Josep Torrellas
(University of Illinois at Urbana-Champaign, USA; University of California at Irvine, USA; Intel, USA; IBM, USA; Microsoft, USA)
Publisher's Version
Article: oopsla18main-p110-p doi:10.1145/3276496
|
| |
Tal, Arie
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Parallelization of Dynamic ..."
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Benoit Daloze, Arie Tal, Stefan Marr, Hanspeter Mössenböck, and Erez Petrank
(JKU Linz, Austria; Technion, Israel; University of Kent, UK)
Publisher's Version
Article: oopsla18main-p21-p doi:10.1145/3276478
|
| |
Tan, Tian |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Precision-Guided Context Sensitivity ..."
Precision-Guided Context Sensitivity for Pointer Analysis
Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis
(Aarhus University, Denmark; University of Athens, Greece)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p61-p doi:10.1145/3276511
|
| |
Tanter, Éric |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Gradual Liquid Type Inference ..."
Gradual Liquid Type Inference
Niki Vazou, Éric Tanter, and David Van Horn
(IMDEA Software Institute, Spain; University of Chile, Chile; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p124-p doi:10.1145/3276502
|
| |
Tate, Ross |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Empowering Union and Intersection ..."
Empowering Union and Intersection Types with Integrated Subtyping
Fabian Muehlboeck and Ross Tate
(Cornell University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p131-p doi:10.1145/3276482
|
| |
Tip, Frank |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Test Generation for Higher-Order ..."
Test Generation for Higher-Order Functions in Dynamic Languages
Marija Selakovic, Michael Pradel, Rezwana Karim, and Frank Tip
(TU Darmstadt, Germany; Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p208-p doi:10.1145/3276531
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Finding Broken Promises in ..."
Finding Broken Promises in Asynchronous JavaScript Programs
Saba Alimadadi, Di Zhong, Magnus Madsen, and Frank Tip
(Northeastern University, USA; Aalborg University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p154-p doi:10.1145/3276532
|
| |
Torlak, Emina |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Finding Code That Explodes ..."
Finding Code That Explodes under Symbolic Evaluation
James Bornholt and Emina Torlak
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p59-p doi:10.1145/3276519
|
| |
Torrellas, Josep |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "An Empirical Study of the ..."
An Empirical Study of the Effect of Source-Level Loop Transformations on Compiler Stability
Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, and Josep Torrellas
(University of Illinois at Urbana-Champaign, USA; University of California at Irvine, USA; Intel, USA; IBM, USA; Microsoft, USA)
Publisher's Version
Article: oopsla18main-p110-p doi:10.1145/3276496
|
| |
Vafeiadis, Viktor
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Persistence Semantics for ..."
Persistence Semantics for Weak Memory: Integrating Epoch Persistency with the TSO Memory Model
Azalea Raad and Viktor Vafeiadis
(MPI-SWS, Germany)
Publisher's Version
Article: oopsla18main-p101-p doi:10.1145/3276507
|
| |
Van Antwerpen, Hendrik |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Scopes as Types ..."
Scopes as Types
Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser
(Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p49-p doi:10.1145/3276484
|
| |
Van Horn, David |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Gradual Liquid Type Inference ..."
Gradual Liquid Type Inference
Niki Vazou, Éric Tanter, and David Van Horn
(IMDEA Software Institute, Spain; University of Chile, Chile; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p124-p doi:10.1145/3276502
|
| |
Vazou, Niki |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Gradual Liquid Type Inference ..."
Gradual Liquid Type Inference
Niki Vazou, Éric Tanter, and David Van Horn
(IMDEA Software Institute, Spain; University of Chile, Chile; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p124-p doi:10.1145/3276502
|
| |
Vechev, Martin |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Robust Relational Layout Synthesis ..."
Robust Relational Layout Synthesis from Examples for Android
Pavol Bielik, Marc Fischer, and Martin Vechev
(ETH Zurich, Switzerland)
Publisher's Version
Article: oopsla18main-p215-p doi:10.1145/3276526
|
| |
Vedurada, Jyothi |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Identifying Refactoring Opportunities ..."
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Jyothi Vedurada and V. Krishna Nandivada
(IIT Madras, India)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p241-p doi:10.1145/3276508
|
| |
Veidenbaum, Alexander |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "An Empirical Study of the ..."
An Empirical Study of the Effect of Source-Level Loop Transformations on Compiler Stability
Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, and Josep Torrellas
(University of Illinois at Urbana-Champaign, USA; University of California at Irvine, USA; Intel, USA; IBM, USA; Microsoft, USA)
Publisher's Version
Article: oopsla18main-p110-p doi:10.1145/3276496
|
| |
Visser, Eelco |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Scopes as Types ..."
Scopes as Types
Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser
(Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p49-p doi:10.1145/3276484
|
| |
Viswanathan, Mahesh |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "What Happens-After the First ..."
What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection
Umang Mathur, Dileep Kini, and Mahesh Viswanathan
(University of Illinois at Urbana-Champaign, USA; Akuna Capital, USA)
Publisher's Version
Article: oopsla18main-p126-p doi:10.1145/3276515
|
| |
Vitek, Jan |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Julia Subtyping: A Rational ..."
Julia Subtyping: A Rational Reconstruction
Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, and Jan Vitek
(Inria, France; Northeastern University, USA; Czech Technical University, Czechia; Julia Computing, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p201-p doi:10.1145/3276483
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Julia: Dynamism and Performance ..."
Julia: Dynamism and Performance Reconciled by Design
Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, and Lionel Zoubritzky
(Julia Computing, USA; Capital One, USA; Northeastern University, USA; Czech Technical University, Czechia; ENS, France)
Publisher's Version
Article: oopsla18main-p214-p doi:10.1145/3276490
|
| |
Voelter, Markus |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Incrementalizing Lattice-Based ..."
Incrementalizing Lattice-Based Program Analyses in Datalog
Tamás Szabó, Gábor Bergmann, Sebastian Erdweg, and Markus Voelter
(itemis, Germany; Delft University of Technology, Netherlands; Budapest University of Technology and Economics, Hungary; MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p62-p doi:10.1145/3276509
|
| |
Wadler, Philip
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "The Root Cause of Blame: Contracts ..."
The Root Cause of Blame: Contracts for Intersection and Union Types
Jack Williams, J. Garrett Morris, and Philip Wadler
(University of Edinburgh, UK; University of Kansas, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p149-p doi:10.1145/3276504
|
| |
Wang, Chenglong |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Speeding up Symbolic Reasoning ..."
Speeding up Symbolic Reasoning for Relational Queries
Chenglong Wang, Alvin Cheung, and Rastislav Bodik
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p181-p doi:10.1145/3276527
|
| |
Wang, Xinyu |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Relational Program Synthesis ..."
Relational Program Synthesis
Yuepeng Wang, Xinyu Wang, and Isil Dillig
(University of Texas at Austin, USA)
Publisher's Version
Article: oopsla18main-p89-p doi:10.1145/3276525
|
| |
Wang, Yuepeng |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Relational Program Synthesis ..."
Relational Program Synthesis
Yuepeng Wang, Xinyu Wang, and Isil Dillig
(University of Texas at Austin, USA)
Publisher's Version
Article: oopsla18main-p89-p doi:10.1145/3276525
|
| |
Watkinson, Neftali |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "An Empirical Study of the ..."
An Empirical Study of the Effect of Source-Level Loop Transformations on Compiler Stability
Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, and Josep Torrellas
(University of Illinois at Urbana-Champaign, USA; University of California at Irvine, USA; Intel, USA; IBM, USA; Microsoft, USA)
Publisher's Version
Article: oopsla18main-p110-p doi:10.1145/3276496
|
| |
Weisenburger, Pascal |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Distributed System Development ..."
Distributed System Development with ScalaLoci
Pascal Weisenburger, Mirko Köhler, and Guido Salvaneschi
(TU Darmstadt, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p146-p doi:10.1145/3276499
|
| |
Weissenbacher, Georg |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Randomized Testing of Distributed ..."
Randomized Testing of Distributed Systems with Probabilistic Guarantees
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, and Georg Weissenbacher
(MPI-SWS, Germany; Vienna University of Technology, Austria)
Publisher's Version
Article: oopsla18main-p225-p doi:10.1145/3276530
|
| |
Williams, Jack |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "The Root Cause of Blame: Contracts ..."
The Root Cause of Blame: Contracts for Intersection and Union Types
Jack Williams, J. Garrett Morris, and Philip Wadler
(University of Edinburgh, UK; University of Kansas, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p149-p doi:10.1145/3276504
|
| |
Winstein, Keith |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Secure Serverless Computing ..."
Secure Serverless Computing using Dynamic Information Flow Control
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, and Keith Winstein
(Tel Aviv University, Israel; VMware, USA; University of California at Santa Cruz, USA; Stanford University, USA)
Publisher's Version
Article: oopsla18main-p192-p doi:10.1145/3276488
|
| |
Wong, Chu-Pan |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Faster Variational Execution ..."
Faster Variational Execution with Transparent Bytecode Transformation
Chu-Pan Wong, Jens Meinicke, Lukas Lazarek, and Christian Kästner
(Carnegie Mellon University, USA; University of Magdeburg, Germany; Northwestern University, USA)
Publisher's Version
Article: oopsla18main-p185-p doi:10.1145/3276487
|
| |
Wong, David |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "An Empirical Study of the ..."
An Empirical Study of the Effect of Source-Level Loop Transformations on Compiler Stability
Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, and Josep Torrellas
(University of Illinois at Urbana-Champaign, USA; University of California at Irvine, USA; Intel, USA; IBM, USA; Microsoft, USA)
Publisher's Version
Article: oopsla18main-p110-p doi:10.1145/3276496
|
| |
Xu, Xiaoran
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "ShareJIT: JIT Code Cache Sharing ..."
ShareJIT: JIT Code Cache Sharing across Processes and Its Practical Implementation
Xiaoran Xu, Keith Cooper, Jacob Brock, Yan Zhang, and Handong Ye
(Rice University, USA; University of Rochester, USA; Futurewei Technologies, USA)
Publisher's Version
Article: oopsla18main-p37-p doi:10.1145/3276494
|
| |
Yang, Mengjiao
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "GraphIt: A High-Performance ..."
GraphIt: A High-Performance Graph DSL
Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi, Shoaib Kamil, Julian Shun, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; Adobe Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p65-p doi:10.1145/3276491
|
| |
Ye, Handong |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "ShareJIT: JIT Code Cache Sharing ..."
ShareJIT: JIT Code Cache Sharing across Processes and Its Practical Implementation
Xiaoran Xu, Keith Cooper, Jacob Brock, Yan Zhang, and Handong Ye
(Rice University, USA; University of Rochester, USA; Futurewei Technologies, USA)
Publisher's Version
Article: oopsla18main-p37-p doi:10.1145/3276494
|
| |
Zappa Nardelli, Francesco
|
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Julia Subtyping: A Rational ..."
Julia Subtyping: A Rational Reconstruction
Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, and Jan Vitek
(Inria, France; Northeastern University, USA; Czech Technical University, Czechia; Julia Computing, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p201-p doi:10.1145/3276483
|
| |
Zhang, Danfeng |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "A Derivation Framework for ..."
A Derivation Framework for Dependent Security Label Inference
Peixuan Li and Danfeng Zhang
(Pennsylvania State University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p19-p doi:10.1145/3276485
|
| |
Zhang, Yan |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "ShareJIT: JIT Code Cache Sharing ..."
ShareJIT: JIT Code Cache Sharing across Processes and Its Practical Implementation
Xiaoran Xu, Keith Cooper, Jacob Brock, Yan Zhang, and Handong Ye
(Rice University, USA; University of Rochester, USA; Futurewei Technologies, USA)
Publisher's Version
Article: oopsla18main-p37-p doi:10.1145/3276494
|
| |
Zhang, Yunming |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "GraphIt: A High-Performance ..."
GraphIt: A High-Performance Graph DSL
Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi, Shoaib Kamil, Julian Shun, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; Adobe Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p65-p doi:10.1145/3276491
|
| |
Zhong, Di |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Finding Broken Promises in ..."
Finding Broken Promises in Asynchronous JavaScript Programs
Saba Alimadadi, Di Zhong, Magnus Madsen, and Frank Tip
(Northeastern University, USA; Aalborg University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: oopsla18main-p154-p doi:10.1145/3276532
|
| |
Zhu, Fengmin |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Conflict Resolution for Structured ..."
Conflict Resolution for Structured Merge via Version Space Algebra
Fengmin Zhu and Fei He
(Tsinghua University, China)
Publisher's Version
Artifacts Functional
Article: oopsla18main-p60-p doi:10.1145/3276536
|
| |
Zorn, Benjamin |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "ExceLint: Automatically Finding ..."
ExceLint: Automatically Finding Spreadsheet Formula Errors
Daniel W. Barowy, Emery D. Berger, and Benjamin Zorn
(Williams College, USA; University of Massachusetts at Amherst, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: oopsla18main-p66-p doi:10.1145/3276518
|
| |
Zoubritzky, Lionel |
Proc. ACM Program. Lang., vol. 2, issue OOPSLA: "Julia: Dynamism and Performance ..."
Julia: Dynamism and Performance Reconciled by Design
Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, and Lionel Zoubritzky
(Julia Computing, USA; Capital One, USA; Northeastern University, USA; Czech Technical University, Czechia; ENS, France)
Publisher's Version
Article: oopsla18main-p214-p doi:10.1145/3276490
|