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 Mezini
(TU Darmstadt, Germany)
Publisher's Version Article Search Artifacts Available Artifacts Reusable Artifacts Functional
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 Search
Virtual Machine Design for Parallel Dynamic Programming Languages
Remigius Meier, Armin Rigo, and Thomas R. Gross
(ETH Zurich, Switzerland)
Publisher's Version Article Search Artifacts Available Artifacts Reusable Artifacts Functional
goSLP: Globally Optimized Superword Level Parallelism Framework
Charith Mendis and Saman Amarasinghe
(Massachusetts Institute of Technology, USA)
Publisher's Version Article Search Artifacts Functional
Effect Handlers for the Masses
Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
(University of Tübingen, Germany)
Publisher's Version Article Search
Empowering Union and Intersection Types with Integrated Subtyping
Fabian Muehlboeck and Ross Tate
(Cornell University, USA)
Publisher's Version Article Search Video Info Artifacts Available Artifacts Reusable Artifacts Functional
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 Article Search Artifacts Available Artifacts Reusable Artifacts Functional
Scopes as Types
Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser
(Delft University of Technology, Netherlands)
Publisher's Version Article Search Artifacts Available Artifacts Reusable Artifacts Functional
A Derivation Framework for Dependent Security Label Inference
Peixuan Li and Danfeng Zhang
(Pennsylvania State University, USA)
Publisher's Version Article Search Artifacts Available Artifacts Reusable Artifacts Functional
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 Search Info
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 Search Info
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 Search
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 Search
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 Search
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 Article Search Artifacts Available Artifacts Functional
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 Article Search Info Artifacts Available Artifacts Functional
Format Abstraction for Sparse Tensor Algebra Compilers
Stephen Chou, Fredrik Kjolstad, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA)
Publisher's Version Article Search 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 Article Search
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 Article Search 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 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 Search
Bidirectional Evaluation with Direct Manipulation
Mikaël Mayer, Viktor Kuncak, and Ravi Chugh
(University of Chicago, USA; EPFL, Switzerland)
Publisher's Version Article Search Info Artifacts Available Artifacts Reusable Artifacts Functional
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 Search
Distributed System Development with ScalaLoci
Pascal Weisenburger, Mirko Köhler, and Guido Salvaneschi
(TU Darmstadt, Germany)
Publisher's Version Article Search Info Artifacts Available Artifacts Functional
Concurrency-Aware Object-Oriented Programming with Roles
Michael Faes and Thomas R. Gross
(ETH Zurich, Switzerland)
Publisher's Version Article Search Artifacts Functional
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 Article Search Artifacts Available Artifacts Functional
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 Article Search Artifacts Reusable Artifacts Functional
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 Article Search Artifacts Available Artifacts Reusable Artifacts Functional
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 Article Search Artifacts Available Artifacts Reusable Artifacts Functional
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 Article Search Artifacts Available Artifacts Reusable Artifacts Functional
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 Search
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 Search Info
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Jyothi Vedurada and V. Krishna Nandivada
(IIT Madras, India)
Publisher's Version Article Search Video Info Artifacts Available Artifacts Reusable Artifacts Functional
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 Article Search Artifacts Available 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 Article Search Artifacts Available Artifacts Functional
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 Article Search Artifacts Available 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 Article Search
Every Data Structure Deserves Lock-Free Memory Reclamation
Nachshon Cohen
(EPFL, Switzerland)
Publisher's Version Article Search
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 Search Info
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 Search
Sound Deadlock Prediction
Christian Gram Kalhauge and Jens Palsberg
(University of California at Los Angeles, USA)
Publisher's Version Article Search Artifacts Available Artifacts Functional
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 Article Search Info
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 Article Search Artifacts Available Artifacts Reusable Artifacts Functional
Finding Code That Explodes under Symbolic Evaluation
James Bornholt and Emina Torlak
(University of Washington, USA)
Publisher's Version Article Search Info Artifacts Available Artifacts Reusable Artifacts Functional
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 Article Search Info Artifacts Available 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 Article Search Artifacts Available 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 Article Search
Object-Oriented Recovery for Non-volatile Memory
Nachshon Cohen, David T. Aksun, and James R. Larus
(EPFL, Switzerland)
Publisher's Version Article Search Artifacts Available Artifacts Functional
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 Search
Relational Program Synthesis
Yuepeng Wang, Xinyu Wang, and Isil Dillig
(University of Texas at Austin, USA)
Publisher's Version Article Search
Robust Relational Layout Synthesis from Examples for Android
Pavol Bielik, Marc Fischer, and Martin Vechev
(ETH Zurich, Switzerland)
Publisher's Version Article Search
Speeding up Symbolic Reasoning for Relational Queries
Chenglong Wang, Alvin Cheung, and Rastislav Bodik
(University of Washington, USA)
Publisher's Version Article Search Artifacts Available Artifacts Functional
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 Article Search Artifacts Available 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 Article Search Info
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 Search
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 Article Search Artifacts Available Artifacts Functional
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 Article Search Info Artifacts Available Artifacts Functional
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 Article Search Artifacts Available Artifacts Functional
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 Search
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 Search
Conflict Resolution for Structured Merge via Version Space Algebra
Fengmin Zhu and Fei He
(Tsinghua University, China)
Publisher's Version Article Search Artifacts Functional

proc time: 4.19