OOPSLA

Publications

2016

Kumud Bhandari, Dhruva R. Chakrabarti, Hans-Juergen Boehm
Makalu: fast recoverable allocation of non-volatile memory. OOPSLA (2016)
Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric
Portable inter-workgroup barrier synchronisation for GPUs. OOPSLA (2016)
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
Type inference for static compilation of JavaScript. OOPSLA (2016)
Stephen Kell, Dominic P. Mulligan, Peter Sewell
The missing link: explaining ELF static linking, semantically. OOPSLA (2016)
Ben Blum, Garth A. Gibson
Stateless model checking with data-race preemption points. OOPSLA (2016)
Dmitry Petrashko, Vlad Ureche, Ondrej Lhoták, Martin Odersky
Call graphs for languages with parametric polymorphism. OOPSLA (2016)
Kyndylan Nienhuis, Kayvan Memarian, Peter Sewell
An operational semantics for C/C++11 concurrency. OOPSLA (2016)
Dohyeong Kim, Yonghwi Kwon, Peng Liu, I Luk Kim, David Mitchel Perry, Xiangyu Zhang, Gustavo Rodriguez-Rivera
Apex: automatic programming assignment error explanation. OOPSLA (2016)
Veselin Raychev, Pavol Bielik, Martin T. Vechev
Probabilistic model for code with decision trees. OOPSLA (2016)
Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik
Accelerating program analyses by cross-program training. OOPSLA (2016)
Keith Chapman, Antony L. Hosking, J. Eliot B. Moss
Hybrid STM/HTM for nested transactions on OpenJDK. OOPSLA (2016)
Rohan Bavishi, Awanish Pandey, Subhajit Roy
To be precise: regression aware debugging. OOPSLA (2016)
Sreepathi Pai, Keshav Pingali
A compiler for throughput optimization of graph algorithms on GPUs. OOPSLA (2016)
Venkatesh Srinivasan, Tushar Sharma, Thomas W. Reps
Speeding up machine-code synthesis. OOPSLA (2016)
Diogenes Nunez, Samuel Z. Guyer, Emery D. Berger
Prioritized garbage collection: explicit GC support for software caches. OOPSLA (2016)
Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken
Dependent partitioning. OOPSLA (2016)
Oliver Hanappi, Waldemar Hummer, Schahram Dustdar
Asserting reliable convergence for configuration management scripts. OOPSLA (2016)
Arthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook
OrcO: a concurrency-first approach to objects. OOPSLA (2016)
Daniele Bonetta, Luca Salucci, Stefan Marr, Walter Binder
GEMs: shared-memory parallel programming for Node.js. OOPSLA (2016)
Andrei Marian Dan, Patrick Lam, Torsten Hoefler, Martin T. Vechev
Modeling and analysis of remote memory access programming. OOPSLA (2016)
Anitha Gollamudi, Stephen Chong
Automatic enforcement of expressive security policies using enclaves. OOPSLA (2016)
Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock
Scalable verification of border gateway protocol configurations with an SMT solver. OOPSLA (2016)
Benoit Daloze, Stefan Marr, Daniele Bonetta, Hanspeter Mössenböck
Efficient and thread-safe objects for dynamically-typed languages. OOPSLA (2016)
Friedrich Steimann, Jörg Hagemann, Bastian Ulke
Computing repair alternatives for malformed programs using constraint attribute grammars. OOPSLA (2016)
Santiago Perez De Rosso, Daniel Jackson
Purposes, concepts, misfits, and a redesign of git. OOPSLA (2016)
Tiark Rompf, Nada Amin
Type soundness for dependent object types (DOT). OOPSLA (2016)
Malavika Samak, Omer Tripp, Murali Krishna Ramanathan
Directed synthesis of failing concurrent executions. OOPSLA (2016)
Stephen Kell
Dynamically diagnosing type errors in unsafe code. OOPSLA (2016)
Alexei Colin, Brandon Lucia
Chain: tasks and channels for reliable intermittent programs. OOPSLA (2016)
Yuheng Long, Yu David Liu, Hridesh Rajan
First-class effect reflection for effect-guided programming. OOPSLA (2016)
Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan
A practical framework for type inference error explanation. OOPSLA (2016)
Chengnian Sun, Vu Le, Zhendong Su
Finding compiler bugs via live code mutation. OOPSLA (2016)
Sébastien Doeraene, Tobias Schlatter
Parallel incremental whole-program optimizations for Scala.js. OOPSLA (2016)
Pavel Panchekha, Emina Torlak
Automated reasoning for web page layout. OOPSLA (2016)
Zhiyong Shan, Tanzirul Azim, Iulian Neamtiu
Finding resume and restart errors in Android applications. OOPSLA (2016)
Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco
Hoare-style specifications as correctness conditions for non-linearizable concurrent objects. OOPSLA (2016)
Philipp Haller, Alexander Loiko
LaCasa: lightweight affinity and object capabilities in Scala. OOPSLA (2016)
Xinyu Wang, Sumit Gulwani, Rishabh Singh
FIDEX: filtering spreadsheet data using examples. OOPSLA (2016)
Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong
Extensible access control with authorization contracts. OOPSLA (2016)
Nada Amin, Ross Tate
Java and scala's type systems are unsound: the existential crisis of null pointers. OOPSLA (2016)
Jonathan Immanuel Brachthäuser, Tillmann Rendel, Klaus Ostermann
Parsing with first-class derivatives. OOPSLA (2016)
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016 OOPSLA (2016)
Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu
Low-overhead and fully automated statistical debugging with abstraction refinement. OOPSLA (2016)
Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster
Incremental forest: a DSL for efficiently managing filestores. OOPSLA (2016)
Shiyou Huang, Jeff Huang
Maximal causality reduction for TSO and PSO. OOPSLA (2016)
Venkatesh Srinivasan, Thomas W. Reps
An improved algorithm for slicing machine code. OOPSLA (2016)
Shaon Barman, Sarah E. Chasins, Rastislav Bodík, Sumit Gulwani
Ringer: web automation by demonstration. OOPSLA (2016)
Leo Osvald, Grégory M. Essertel, Xilun Wu, Lilliam I. González Alayón, Tiark Rompf
Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect. OOPSLA (2016)
Jeff Huang, Arun K. Rajagopalan
Precise and maximal race detection from incomplete traces. OOPSLA (2016)
Davide Ancona, Andrea Corradi
Semantic subtyping for imperative object-oriented languages. OOPSLA (2016)