OOPSLA 2018
Proceedings of the ACM on Programming Languages, Volume 2, Number OOPSLA
Powered by
Conference Publishing Consulting

Proceedings of the ACM on Programming Languages, Volume 2, Number OOPSLA, November 7–9, 2018, Boston, MA, USA

OOPSLA – Journal Issue

Contents - Abstracts - Authors
Title Page

Papers

Thread-Safe Reactive Programming
Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, and Mira MeziniORCID logo
(TU Darmstadt, Germany)
Publisher's Version Artifacts Reusable Artifacts Functional
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Benoit Daloze, Arie Tal, Stefan Marr ORCID logo, Hanspeter Mössenböck, and Erez Petrank ORCID logo
(JKU Linz, Austria; Technion, Israel; University of Kent, UK)
Publisher's Version
Virtual Machine Design for Parallel Dynamic Programming Languages
Remigius Meier, Armin Rigo, and Thomas R. Gross
(ETH Zurich, Switzerland)
Publisher's Version Artifacts Reusable Artifacts Functional
goSLP: Globally Optimized Superword Level Parallelism Framework
Charith Mendis and Saman AmarasingheORCID logo
(Massachusetts Institute of Technology, USA)
Publisher's Version Artifacts Functional
Effect Handlers for the Masses
Jonathan Immanuel Brachthäuser ORCID logo, Philipp Schuster ORCID logo, and Klaus Ostermann ORCID logo
(University of Tübingen, Germany)
Publisher's Version
Empowering Union and Intersection Types with Integrated Subtyping
Fabian Muehlboeck and Ross TateORCID logo
(Cornell University, USA)
Publisher's Version Video Info Artifacts Reusable Artifacts Functional
Julia Subtyping: A Rational Reconstruction
Francesco Zappa Nardelli, Julia BelyakovaORCID logo, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, and Jan Vitek ORCID logo
(Inria, France; Northeastern University, USA; Czech Technical University, Czechia; Julia Computing, USA)
Publisher's Version Artifacts Reusable Artifacts Functional
Scopes as Types
Hendrik van Antwerpen ORCID logo, Casper Bach Poulsen ORCID logo, Arjen Rouvoet ORCID logo, and Eelco Visser ORCID logo
(Delft University of Technology, Netherlands)
Publisher's Version Artifacts Reusable Artifacts Functional
A Derivation Framework for Dependent Security Label Inference
Peixuan Li ORCID logo and Danfeng Zhang
(Pennsylvania State University, USA)
Publisher's Version Artifacts Reusable Artifacts Functional
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard ScholzORCID logo, and Yannis Smaragdakis
(University of Athens, Greece; University of Malta, Malta; University of Sydney, Australia)
Publisher's Version Info
Faster Variational Execution with Transparent Bytecode Transformation
Chu-Pan Wong, Jens Meinicke, Lukas Lazarek, and Christian KästnerORCID logo
(Carnegie Mellon University, USA; University of Magdeburg, Germany; Northwestern University, USA)
Publisher's Version Info
Secure Serverless Computing using Dynamic Information Flow Control
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv ORCID logo, Thomas Schmitz, and Keith Winstein
(Tel Aviv University, Israel; VMware, USA; University of California at Santa Cruz, USA; Stanford University, USA)
Publisher's Version
AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Roland Leißa, Klaas Boesche, Sebastian HackORCID logo, 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
Julia: Dynamism and Performance Reconciled by Design
Jeff Bezanson, Jiahao Chen, Benjamin Chung ORCID logo, Stefan Karpinski, Viral B. Shah, Jan Vitek ORCID logo, and Lionel Zoubritzky
(Julia Computing, USA; Capital One, USA; Northeastern University, USA; Czech Technical University, Czechia; ENS, France)
Publisher's Version
GraphIt: A High-Performance Graph DSL
Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi, Shoaib Kamil, Julian Shun, and Saman AmarasingheORCID logo
(Massachusetts Institute of Technology, USA; Adobe Research, USA)
Publisher's Version Artifacts Functional
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
James Koppel ORCID logo, Varot Premtoon, and Armando Solar-Lezama ORCID logo
(Massachusetts Institute of Technology, USA)
Publisher's Version Info Artifacts Functional
Format Abstraction for Sparse Tensor Algebra Compilers
Stephen ChouORCID logo, Fredrik Kjolstad, and Saman AmarasingheORCID logo
(Massachusetts Institute of Technology, USA)
Publisher's Version Info Artifacts Functional
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
Reconciling High-Level Optimizations and Low-Level Code in LLVM
Juneyoung Lee, Chung-Kil Hur ORCID logo, Ralf JungORCID logo, Zhengyang Liu, John Regehr ORCID logo, and Nuno P. Lopes
(Seoul National University, South Korea; MPI-SWS, Germany; University of Utah, USA; Microsoft Research, UK)
Publisher's Version Artifacts Functional
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 MalekiORCID logo, 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
Bidirectional Evaluation with Direct Manipulation
Mikaël Mayer, Viktor Kuncak ORCID logo, and Ravi ChughORCID logo
(University of Chicago, USA; EPFL, Switzerland)
Publisher's Version Info Artifacts Reusable Artifacts Functional
BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
Jason Ott, Tyson Loveless, Chris Curtis, Mohsen Lesani ORCID logo, and Philip Brisk ORCID logo
(University of California at Riverside, USA)
Publisher's Version
Distributed System Development with ScalaLoci
Pascal WeisenburgerORCID logo, Mirko Köhler ORCID logo, and Guido Salvaneschi
(TU Darmstadt, Germany)
Publisher's Version Info Artifacts Functional
Concurrency-Aware Object-Oriented Programming with Roles
Michael Faes and Thomas R. Gross
(ETH Zurich, Switzerland)
Publisher's Version Artifacts Functional
Horn-ICE Learning for Synthesizing Invariants and Contracts
P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, and P. MadhusudanORCID logo
(IISc Bangalore, India; MPI-SWS, Germany; Amazon, India; University of Illinois at Urbana-Champaign, USA)
Publisher's Version Artifacts Functional
Gradual Liquid Type Inference
Niki Vazou, Éric TanterORCID logo, and David Van HornORCID logo
(IMDEA Software Institute, Spain; University of Chile, Chile; University of Maryland, USA)
Publisher's Version Artifacts Reusable Artifacts Functional
Collapsible Contracts: Fixing a Pathology of Gradual Typing
Daniel Feltey, Ben Greenman ORCID logo, Christophe Scholliers ORCID logo, Robert Bruce Findler, and Vincent St-Amour
(Northwestern University, USA; Northeastern University, USA; Ghent University, Belgium)
Publisher's Version Artifacts Reusable Artifacts Functional
The Root Cause of Blame: Contracts for Intersection and Union Types
Jack Williams, J. Garrett Morris, and Philip Wadler ORCID logo
(University of Edinburgh, UK; University of Kansas, USA)
Publisher's Version Artifacts Reusable Artifacts Functional
Optimal Stateless Model Checking under the Release-Acquire Semantics
Parosh Aziz Abdulla ORCID logo, Mohamed Faouzi Atig, Bengt Jonsson, and Tuan Phong Ngo
(Uppsala University, Sweden)
Publisher's Version Artifacts Reusable Artifacts Functional
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Peizhao Ou and Brian Demsky ORCID logo
(University of California at Irvine, USA)
Publisher's Version
Persistence Semantics for Weak Memory: Integrating Epoch Persistency with the TSO Memory Model
Azalea Raad and Viktor VafeiadisORCID logo
(MPI-SWS, Germany)
Publisher's Version Info
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Jyothi Vedurada and V. Krishna Nandivada
(IIT Madras, India)
Publisher's Version Video Info Artifacts Reusable Artifacts Functional
Incrementalizing Lattice-Based Program Analyses in Datalog
Tamás Szabó, Gábor BergmannORCID logo, 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 Artifacts Functional
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 Artifacts Functional
Precision-Guided Context Sensitivity for Pointer Analysis
Yue Li, Tian Tan, Anders MøllerORCID logo, and Yannis Smaragdakis
(Aarhus University, Denmark; University of Athens, Greece)
Publisher's Version Artifacts Reusable Artifacts Functional
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
Every Data Structure Deserves Lock-Free Memory Reclamation
Nachshon Cohen
(EPFL, Switzerland)
Publisher's Version
RacerD: Compositional Static Race Detection
Sam Blackshear, Nikos Gorogiannis, Peter W. O'Hearn ORCID logo, and Ilya Sergey
(Facebook, USA; Facebook, UK; Middlesex University, UK; University College London, UK; Yale-NUS College, Singapore)
Publisher's Version Info
What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection
Umang MathurORCID logo, Dileep Kini, and Mahesh Viswanathan ORCID logo
(University of Illinois at Urbana-Champaign, USA; Akuna Capital, USA)
Publisher's Version
Sound Deadlock Prediction
Christian Gram Kalhauge ORCID logo and Jens PalsbergORCID logo
(University of California at Los Angeles, USA)
Publisher's Version Artifacts Functional
DeepBugs: A Learning Approach to Name-Based Bug Detection
Michael Pradel ORCID logo and Koushik Sen
(TU Darmstadt, Germany; University of California at Berkeley, USA)
Publisher's Version Info Results Replicated
ExceLint: Automatically Finding Spreadsheet Formula Errors
Daniel W. Barowy, Emery D. Berger ORCID logo, and Benjamin Zorn
(Williams College, USA; University of Massachusetts at Amherst, USA; Microsoft Research, USA)
Publisher's Version Artifacts Reusable Artifacts Functional
Finding Code That Explodes under Symbolic Evaluation
James Bornholt and Emina Torlak ORCID logo
(University of Washington, USA)
Publisher's Version Info Artifacts Reusable Artifacts Functional
FlashProfile: A Framework for Synthesizing Data Profiles
Saswat Padhi, Prateek Jain, Daniel Perelman ORCID logo, Oleksandr Polozov, Sumit GulwaniORCID logo, and Todd Millstein ORCID logo
(University of California at Los Angeles, USA; Microsoft Research Lab, India; Microsoft, USA; Microsoft Research, USA)
Publisher's Version Info Artifacts Functional
Cross-Component Garbage Collection
Ulan Degenbaev, Jochen Eisinger, Kentaro Hara, Marcel Hlopko, Michael Lippautz, and Hannes Payer
(Google, Germany; Google, Japan)
Publisher's Version Artifacts Reusable Artifacts Functional
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
Object-Oriented Recovery for Non-volatile Memory
Nachshon Cohen, David T. Aksun, and James R. Larus
(EPFL, Switzerland)
Publisher's Version Artifacts Functional
Software Multiplexing: Share Your Libraries and Statically Link Them Too
Will DietzORCID logo and Vikram AdveORCID logo
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
Relational Program Synthesis
Yuepeng Wang, Xinyu Wang, and Isil Dillig ORCID logo
(University of Texas at Austin, USA)
Publisher's Version
Robust Relational Layout Synthesis from Examples for Android
Pavol Bielik, Marc Fischer, and Martin VechevORCID logo
(ETH Zurich, Switzerland)
Publisher's Version
Speeding up Symbolic Reasoning for Relational Queries
Chenglong Wang, Alvin Cheung, and Rastislav Bodik
(University of Washington, USA)
Publisher's Version Artifacts Functional
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Junho Lee, Dowon Song, Sunbeom So ORCID logo, and Hakjoo Oh
(Korea University, South Korea)
Publisher's Version Artifacts Functional
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 Info
Randomized Testing of Distributed Systems with Probabilistic Guarantees
Burcu Kulahcioglu Ozkan, Rupak Majumdar ORCID logo, Filip Niksic, Mitra Tabaei Befrouei, and Georg Weissenbacher
(MPI-SWS, Germany; Vienna University of Technology, Austria)
Publisher's Version
Test Generation for Higher-Order Functions in Dynamic Languages
Marija Selakovic ORCID logo, Michael Pradel ORCID logo, Rezwana Karim, and Frank Tip ORCID logo
(TU Darmstadt, Germany; Northeastern University, USA)
Publisher's Version Artifacts Functional
Finding Broken Promises in Asynchronous JavaScript Programs
Saba Alimadadi, Di Zhong, Magnus Madsen, and Frank Tip ORCID logo
(Northeastern University, USA; Aalborg University, Denmark)
Publisher's Version Info Artifacts Functional
Leto: Verifying Application-Specific Hardware Fault Tolerance with Programmable Execution Models
Brett Boston, Zoe Gong, and Michael CarbinORCID logo
(Massachusetts Institute of Technology, USA)
Publisher's Version Artifacts Functional
Safe Replication through Bounded Concurrency Verification
Gowtham Kaki, Kapil Earanky, KC Sivaramakrishnan, and Suresh Jagannathan ORCID logo
(Purdue University, USA; Cambridge University, UK)
Publisher's Version
Verified Three-Way Program Merge
Marcelo Sousa, Isil Dillig ORCID logo, and Shuvendu K. LahiriORCID logo
(University of Oxford, UK; University of Texas at Austin, USA; Microsoft Research, USA)
Publisher's Version
Conflict Resolution for Structured Merge via Version Space Algebra
Fengmin Zhu and Fei HeORCID logo
(Tsinghua University, China)
Publisher's Version Artifacts Functional

proc time: 9.17