OOPSLA 2013

50 papers

1. Ball-Larus path profiling across multiple loop iterations · Daniele Cono D'Elia, Camil Demetrescu
2. Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels · Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer
3. Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications · Kristof Du Bois, Jennifer B. Sartor, Stijn Eyerman, Lieven Eeckhout
4. Bounded partial-order reduction · Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley
5. CDSchecker: checking concurrent data structures written with C/C++ atomics · Brian Norris, Brian Demsky
6. Class hierarchy complementation: soundly completing a partial type graph · George Balatsouras, Yannis Smaragdakis
7. Code optimizations using formally verified properties · Yao Shi, Bernard Blackham, Gernot Heiser
8. Combining concern input with program analysis for bloat detection · Suparna Bhattacharya, Kanchi Gopinath, Mangala Gowri Nanda
9. Data-driven equivalence checking · Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken
10. Detecting API documentation errors · Hao Zhong, Zhendong Su
11. Do developers benefit from generic types?: an empirical comparison of generic and raw types in java · Michael Hoppe, Stefan Hanenberg
12. Effective race detection for event-driven programs · Veselin Raychev, Martin T. Vechev, Manu Sridharan
13. Efficient concurrency-bug detection across inputs · Dongdong Deng, Wei Zhang, Shan Lu
14. Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management · Jipeng Huang, Michael D. Bond
15. Empirical analysis of programming language adoption · Leo A. Meyerovich, Ariel S. Rabkin
16. Flexible access control for javascript · Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek
17. Forsaking inheritance: supercharged delegation in DelphJ · Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis
18. Fully concurrent garbage collection of actors on many-core machines · Sylvan Clebsch, Sophia Drossopoulou
19. Guided GUI testing of android apps with minimal restart and approximate learning · Wontae Choi, George C. Necula, Koushik Sen
20. Inductive invariant generation via abductive inference · Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan
21. Injecting mechanical faults to localize developer faults for evolving software · Lingming Zhang, Lu Zhang, Sarfraz Khurshid
22. Input-covering schedules for multithreaded programs · Tom Bergan, Luis Ceze, Dan Grossman
23. Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization · Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky
24. Interacting with dead objects · Robin Salkeld, Gregor Kiczales
25. Ironclad C++: a library-augmented type-safe subset of c++ · Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic
26. Isolation for nested task parallelism · Jisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar
27. Language support for dynamic, hierarchical data partitioning · Sean Treichler, Michael Bauer, Alex Aiken
28. Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations · Vlad Ureche, Cristian Talau, Martin Odersky
29. MrCrypt: static analysis for secure cloud computations · Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein
30. Multiverse: efficiently supporting distributed high-level speculation · Kaushik Ravichandran, Santosh Pande
31. OCTET: capturing and controlling cross-thread dependences efficiently · Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas + 2 more
32. On-the-fly capacity planning · Nick Mitchell, Peter F. Sweeney
33. On-the-fly detection of instability problems in floating-point program execution · Tao Bao, Xiangyu Zhang
34. Online feedback-directed optimizations for parallel Java code · Albert Noll, Thomas R. Gross
35. Option contracts · Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen
36. Python: the full monty · Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li + 2 more
37. Refactoring with synthesis · Veselin Raychev, Max Schäfer, Manu Sridharan, Martin T. Vechev
38. Relaxed separation logic: a program logic for C11 concurrency · Viktor Vafeiadis, Chinmay Narayan
39. Resurrector: a tunable object lifetime profiling technique for optimizing real-world programs · Guoqing Xu
40. River trail: a path to parallelism in JavaScript · Stephan Herhut, Richard L. Hudson, Tatiana Shpeisman, Jaswanth Sreeram
41. Semi-automatic rename refactoring for JavaScript · Asger Feldthaus, Anders Møller
42. Set-based pre-processing for points-to analysis · Yannis Smaragdakis, George Balatsouras, George Kastrinis
43. Steering symbolic execution to less traveled paths · You Li, Zhendong Su, Linzhang Wang, Xuandong Li
44. Storage strategies for collections in dynamically typed languages · Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt
45. Synthesis modulo recursive functions · Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter
46. Taking off the gloves with reference counting Immix · Rifat Shahriyar, Stephen M. Blackburn, Xi Yang, Kathryn S. McKinley
47. Targeted and depth-first exploration for systematic testing of android apps · Tanzirul Azim, Iulian Neamtiu
48. The latency, accuracy, and battery (LAB) abstraction: programmer productivity and energy efficiency for continuous mobile context sensing · Aman Kansal, T. Scott Saponas, A. J. Bernheim Brush, Kathryn S. McKinley, Todd Mytkowicz, Ryder Ziola
49. Turning nondeterminism into parallelism · Omer Tripp, Eric Koskinen, Mooly Sagiv
50. Verifying quantitative reliability for programs that execute on unreliable hardware · Michael Carbin, Sasa Misailovic, Martin C. Rinard