OOPSLA 2015

53 papers

1. A co-contextual formulation of type rules and its application to incremental type checking · Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini
2. A sound and optimal incremental build system with dynamic dependencies · Sebastian Erdweg, Moritz Lichter, Manuel Weiel
3. Accurate profiling in the presence of dynamic compilation · Yudi Zheng, Lubomír Bulej, Walter Binder
4. Approximate computation with outlier detection in Topaz · Sara Achour, Martin C. Rinard
5. AutoMO: automatic inference of memory order parameters for C/C++11 · Peizhao Ou, Brian Demsky
6. Automated backward error analysis for numerical code · Zhoulai Fu, Zhaojun Bai, Zhendong Su
7. Automatic memory reclamation for lock-free data structures · Nachshon Cohen, Erez Petrank
8. Automating ad hoc data representation transformations · Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, Martin Odersky
9. Automating grammar comparison · Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak
10. Checks and balances: constraint solving without surprises in object-constraint programming languages · Tim Felgentreff, Todd D. Millstein, Alan Borning, Robert Hirschfeld
11. Conditionally correct superoptimization · Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken
12. Cross-layer memory management for managed language applications · Michael R. Jantz, Forrest J. Robinson, Prasad A. Kulkarni, Kshitij A. Doshi
13. Customizable gradual polymorphic effects for Scala · Matías Toro, Éric Tanter
14. Declarative fence insertion · John Bender, Mohsen Lesani, Jens Palsberg
15. Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach · Matthew Hague, Anthony Widjaja Lin, C.-H. Luke Ong
16. Disjointness domains for fine-grained aliasing · Stephan Brandauer, Dave Clarke, Tobias Wrigstad
17. EXPLORER : query- and demand-driven exploration of interprocedural control flow properties · Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin
18. Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine · Ganesha Upadhyaya, Hridesh Rajan
19. Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures · Martin Aigner, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova
20. Finding deep compiler bugs via guided stochastic program mutation · Vu Le, Chengnian Sun, Zhendong Su
21. FlashMeta: a framework for inductive program synthesis · Oleksandr Polozov, Sumit Gulwani
22. Galois transformers and modular abstract interpreters: reusable metatheory for program analysis · David Darais, Matthew Might, David Van Horn
23. Giga-scale exhaustive points-to analysis for Java in under a minute · Jens Dietrich, Nicholas Hollingum, Bernhard Scholz
24. How scale affects structure in Java programs · Cristina V. Lopes, Joel Ossher
25. Incremental computation with names · Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks + 1 more
26. Interactively verifying absence of explicit information flows in Android apps · Osbert Bastani, Saswat Anand, Alex Aiken
27. Learning a strategy for adapting a program analysis via bayesian optimisation · Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
28. Optimizing hash-array mapped tries for fast and lean immutable JVM collections · Michael J. Steindorfer, Jurgen J. Vinju
29. Partial evaluation of machine code · Venkatesh Srinivasan, Thomas W. Reps
30. Performance problems you can fix: a dynamic analysis of memoization opportunities · Luca Della Toffola, Michael Pradel, Thomas R. Gross
31. Probability type inference for flexible approximate programming · Brett Boston, Adrian Sampson, Dan Grossman, Luis Ceze
32. Programming with enumerable sets of structures · Ivan Kuraj, Viktor Kuncak, Daniel Jackson
33. Protocol-based verification of message-passing parallel programs · Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos + 1 more
34. RAIVE: runtime assessment of floating-point instability by vectorization · Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang, Keval Vora, Rajiv Gupta
35. Reasoning about the POSIX file system: local update and global pathnames · Gian Ntzik, Philippa Gardner
36. Remote-scope promotion: clarified, rectified, and verified · John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson
37. Runtime pointer disambiguation · Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello + 1 more
38. SATCheck: SAT-directed stateless model checking for SC and TSO · Brian Demsky, Patrick Lam
39. Scalable race detection for Android applications · Pavol Bielik, Veselin Raychev, Martin T. Vechev
40. Scrap your boilerplate with object algebras · Haoyuan Zhang, Zewei Chu, Bruno C. d. S. Oliveira, Tijs van der Storm
41. Selective control-flow abstraction via jumping · Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan
42. ShamDroid: gracefully degrading functionality in the presence of limited resource access · Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia
43. Stateless model checking of event-driven applications · Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, Martin T. Vechev
44. Static analysis of event-driven Node.js JavaScript applications · Magnus Madsen, Frank Tip, Ondrej Lhoták
45. Synthesis of layout engines from relational constraints · Thibaud Hottelier, Rastislav Bodík
46. Synthesizing Java expressions from free-form queries · Tihomir Gvero, Viktor Kuncak
47. The chemical approach to typestate-oriented programming · Silvia Crafa, Luca Padovani
48. Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters · Stefan Marr, Stéphane Ducasse
49. Use at your own risk: the Java unsafe API in the wild · Luis Mastrangelo, Luca Ponzanelli, Andrea Mocci, Michele Lanza, Matthias Hauswirth, Nathaniel Nystrom
50. Using C language extensions for developing embedded software: a case study · Markus Voelter, Arie van Deursen, Bernd Kolb, Stephan Eberle
51. Valor: efficient, software-only region conflict exceptions · Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Brandon Lucia
52. Vectorization of apply to reduce interpretation overhead of R · Haichuan Wang, David A. Padua, Peng Wu
53. Versatile yet lightweight record-and-replay for Android · Yongjian Hu, Tanzirul Azim, Iulian Neamtiu