OOPSLA 2016

52 papers

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