OOPSLA 2014

52 papers

1. ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM · Keval Vora, Sai Charan Koduru, Rajiv Gupta
2. Abstract semantic differencing via speculative correlation · Nimrod Partush, Eran Yahav
3. Accelerating iterators in optimizing AST interpreters · Wei Zhang, Per Larsen, Stefan Brunthaler, Michael Franz
4. Adaptive LL(*) parsing: the power of dynamic analysis · Terence Parr, Sam Harwell, Kathleen Fisher
5. Alembic: automatic locality extraction via migration · Brandon Holt, Preston Briggs, Luis Ceze, Mark Oskin
6. An experimental survey of energy management across the stack · Melanie Kambadur, Martha A. Kim
7. Atlas: leveraging locks for non-volatile memory consistency · Dhruva R. Chakrabarti, Hans-Juergen Boehm, Kumud Bhandari
8. Automated migration of build scripts using dynamic analysis and search-based refactoring · Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits
9. Bounded exhaustive test input generation from hybrid invariants · Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias + 1 more
10. Call sequence prediction through probabilistic calling automata · Zhijia Zhao, Bo Wu, Mingzhou Zhou, Yufei Ding, Jianhua Sun, Xipeng Shen + 1 more
11. CheckCell: data debugging for spreadsheets · Daniel W. Barowy, Dimitar Gochev, Emery D. Berger
12. Checking correctness of TypeScript interfaces for JavaScript libraries · Asger Feldthaus, Anders Møller
13. Chisel: reliability- and accuracy-aware optimization of approximate computational kernels · Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard
14. Compiler verification meets cross-language linking via data abstraction · Peng Wang, Santiago Cuéllar, Adam Chlipala
15. Confined gradual typing · Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter
16. Continuously measuring critical section pressure with the free-lunch profiler · Florian David, Gaël Thomas, Julia Lawall, Gilles Muller
17. Cybertron: pushing the limit on I/O reduction in data-parallel programs · Tian Xiao, Zhenyu Guo, Hucheng Zhou, Jiaxing Zhang, Xu Zhao, Chencheng Ye + 4 more
18. Determinacy in static analysis for jQuery · Esben Andreasen, Anders Møller
19. Distributed REScala: an update algorithm for distributed reactive programming · Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini
20. Efficient subcubic alias analysis for C · Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su
21. EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation · Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen
22. Fast conservative garbage collection · Rifat Shahriyar, Stephen M. Blackburn, Kathryn S. McKinley
23. Fast splittable pseudorandom number generators · Guy L. Steele Jr., Doug Lea, Christine H. Flood
24. Finding minimum type error sources · Zvonimir Pavlinovic, Tim King, Thomas Wies
25. Flint: fixing linearizability violations · Peng Liu, Omer Tripp, Xiangyu Zhang
26. Foundations of path-dependent types · Nada Amin, Tiark Rompf, Martin Odersky
27. From object algebras to attribute grammars · Tillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann
28. GPS: navigating weak memory with ghosts, protocols, and separation · Aaron Turon, Viktor Vafeiadis, Derek Dreyer
29. Late data layout: unifying data representation transformations · Vlad Ureche, Eugene Burmako, Martin Odersky
30. MIX10: compiling MATLAB to X10 for high performance · Vineet Kumar, Laurie J. Hendren
31. Multithreaded test synthesis for deadlock detection · Malavika Samak, Murali Krishna Ramanathan
32. Natural proofs for asynchronous programs using almost-synchronous reductions · Ankush Desai, Pranav Garg, P. Madhusudan
33. Phosphor: illuminating dynamic data flow in commodity jvms · Jonathan Bell, Gail E. Kaiser
34. Rate types for stream programs · Thomas Bartenstein, Yu David Liu
35. Refactoring Java generics by inferring wildcards, in practice · John Altidor, Yannis Smaragdakis
36. Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host · Eric Holk, Ryan Newton, Jeremy G. Siek, Andrew Lumsdaine
37. Rubah: DSU for Java on a stock JVM · Luís Pina, Luís Veiga, Michael W. Hicks
38. Smten with satisfiability-based search · Richard Uhler, Nirav Dave
39. Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations · Mingzhou Zhou, Xipeng Shen, Yaoqing Gao, Graham Yiu
40. Staged parser combinators for efficient data processing · Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky
41. Static analysis for independent app developers · Lucas Brutschy, Pietro Ferrara, Peter Müller
42. Statistical debugging for real-world performance problems · Linhai Song, Shan Lu
43. StreamJIT: a commensal compiler for high-performance stream programming · Jeffrey Bosboom, Sumanaruban Rajadurai, Weng-Fai Wong, Saman P. Amarasinghe
44. SurveyMan: programming and automatically debugging surveys · Emma Tosch, Emery D. Berger
45. Symbolic execution of multithreaded programs from arbitrary program contexts · Tom Bergan, Dan Grossman, Luis Ceze
46. Tardis: affordable time-travel debugging in managed runtimes · Earl T. Barr, Mark Marron
47. The hiphop virtual machine · Keith Adams, Jason Evans, Bertrand Maher, Guilherme Ottoni, Andrew Paroski, Brett Simmers + 2 more
48. Translating imperative code to MapReduce · Cosmin Radoi, Stephen J. Fink, Rodric M. Rabbah, Manu Sridharan
49. Understanding energy behaviors of thread management constructs · Gustavo Pinto, Fernando Castor, Yu David Liu
50. Using web corpus statistics for program analysis · Chun-Hung Hsiao, Michael J. Cafarella, Satish Narayanasamy
51. Validation of memory accesses through symbolic analyses · Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira
52. i3QL: language-integrated live data views · Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi