---
title: "Proceedings of the ACM SIGPLAN Conference on Programming"
description: "All 59 papers of Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2015, the most cited…"
canonical: "https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2015/papers/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2015/papers/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [Proceedings of the ACM SIGPLAN…](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/) / [2015](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2015/) / papers

# Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2015: all accepted papers

59 papers · the most cited first · [← Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2015](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2015/)

1. **[Verdi: a framework for implementing and formally verifying distributed systems ↗](https://doi.org/10.1145/2737924.2737958)**James R. Wilcox, Doug Woos, Pavel Panchekha et al.*270 citations*
2. **[Synthesizing data structure transformations from input-output examples ↗](https://doi.org/10.1145/2737924.2737977)**John Feser, Swarat Chaudhuri, Işıl Dillig*251 citations*
3. **[A simpler, safer programming and execution model for intermittent systems ↗](https://doi.org/10.1145/2737924.2737978)**Brandon Lucia, Benjamin Ransford*200 citations*
4. **[Type-and-example-directed program synthesis](https://md.research.elamur.ai/free/en/papers/osera-2015-type-example-directed-program-synthesis/)**Peter-Michael Osera, Steve Zdancewic*185 citations · our summary*
5. **[Automatically improving accuracy for floating point expressions ↗](https://doi.org/10.1145/2737924.2737959)**Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox et al.*168 citations*
6. **[Many-core compiler fuzzing ↗](https://doi.org/10.1145/2737924.2737986)**Christopher Lidbury, Andrei Lascu, Nathan Chong et al.*143 citations*
7. **[Provably correct peephole optimizations with alive ↗](https://doi.org/10.1145/2737924.2737965)**Nuno P. Lopes, David Menendez, Santosh Nagarakatte et al.*129 citations*
8. **[Automatic error elimination by horizontal code transfer across multiple applications ↗](https://doi.org/10.1145/2737924.2737988)**Stelios Sidiroglou, Eric Lahtinen, Fan Long et al.*114 citations*
9. **[KJS: a complete formal semantics of JavaScript ↗](https://doi.org/10.1145/2737924.2737991)**Daejun Park, Andrei R Stefanescu, Grigore Roşu*107 citations*
10. **[Defining the undefinedness of C ↗](https://doi.org/10.1145/2737924.2737979)**Chris Hathhorn, Chucky Ellison, Grigore Roşu*103 citations*
11. **[Mechanized verification of fine-grained concurrent programs ↗](https://doi.org/10.1145/2737924.2737964)**Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee*101 citations*
12. **[FlashRelate: extracting relational data from semi-structured spreadsheets using examples ↗](https://doi.org/10.1145/2737924.2737952)**Daniel W. Barowy, Sumit Gulwani, Ted Hart et al.*100 citations*
13. **[Efficient synthesis of network updates ↗](https://doi.org/10.1145/2737924.2737980)**Jedidiah McClurg, Hossein Hojjat, Pavol Černý et al.*99 citations*
14. **[Compositional certified resource bounds ↗](https://doi.org/10.1145/2737924.2737955)**Quentin Carbonneaux, Jan Hoffmann, Zhong Shao*96 citations*
15. **[Autotuning algorithmic choice for input sensitivity ↗](https://doi.org/10.1145/2737924.2737969)**Yufei Ding, Jason Ansel, Kalyan K. Veeramachaneni et al.*90 citations*
16. **[Loop and data transformations for sparse matrix code ↗](https://doi.org/10.1145/2737924.2738003)**Anand Venkat, Mary W. Hall, Michelle Mills Strout*89 citations*
17. **[Stateless model checking concurrent programs with maximal causality reduction ↗](https://doi.org/10.1145/2737924.2737975)**Jeff Huang*88 citations*
18. **[Dynamic partial order reduction for relaxed memory models ↗](https://doi.org/10.1145/2737924.2737956)**Naling Zhang, Markus Kusano, Chao Wang*85 citations*
19. **[Static detection of asymptotic performance bugs in collection traversals ↗](https://doi.org/10.1145/2737924.2737966)**Oswaldo Olivo, Işıl Dillig, Calvin Lin*83 citations*
20. **[Declarative programming over eventually consistent data stores ↗](https://doi.org/10.1145/2737924.2737981)**KC Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan*82 citations*
21. **[A formal C memory model supporting integer-pointer casts ↗](https://doi.org/10.1145/2737924.2738005)**Jeehoon Kang, Chung-Kil Hur, William Mansky et al.*46 citations*
22. **[Exploring and enforcing security guarantees via program dependence graphs ↗](https://doi.org/10.1145/2737924.2737957)**Andrew Johnson, Lucas Waye, Scott Moore et al.*44 citations*
23. **[Interactive parser synthesis by example ↗](https://doi.org/10.1145/2737924.2738002)**Alan Leung, John Sarracino, Sorin Lerner*42 citations*
24. **[Synthesizing racy tests ↗](https://doi.org/10.1145/2737924.2737998)**Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan*42 citations*
25. **[Blame and coercion: together again for the first time ↗](https://doi.org/10.1145/2737924.2737968)**Jeremy G. Siek, Peter J. Thiemann, Philip L. Wadler*41 citations*
26. **[Termination and non-termination specification inference ↗](https://doi.org/10.1145/2737924.2737993)**Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin*39 citations*
27. **[Verifying read-copy-update in a logic for weak memory ↗](https://doi.org/10.1145/2737924.2737992)**Joseph Tassarotti, Derek R. Dreyer, Viktor Vafeiadis*39 citations*
28. **[Automatic induction proofs of data-structures in imperative programs ↗](https://doi.org/10.1145/2737924.2737984)**Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh*38 citations*
29. **[Asynchronous programming, analysis and testing with state machines ↗](https://doi.org/10.1145/2737924.2737996)**Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema et al.*37 citations*
30. **[Concurrency debugging with differential schedule projections ↗](https://doi.org/10.1145/2737924.2737973)**Nuno Machado, Brandon Lucia, Luı́s Rodrigues*36 citations*
31. **[Relatively complete counterexamples for higher-order programs ↗](https://doi.org/10.1145/2737924.2737971)**Phúc C. Nguyễn, David Van Horn*35 citations*
32. **[Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments ↗](https://doi.org/10.1145/2737924.2737999)**Murali Krishna Emani, Michael O’Boyle*33 citations*
33. **[Efficient synthesis of probabilistic programs ↗](https://doi.org/10.1145/2737924.2737982)**Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani et al.*32 citations*
34. **[Making numerical program analysis fast ↗](https://doi.org/10.1145/2737924.2738000)**Gagandeep Singh, Markus Püschel, Martin Vechev*32 citations*
35. **[Zero-overhead metaprogramming: reflection and metaobject protocols fast and without compromises ↗](https://doi.org/10.1145/2737924.2737963)**Stefan Marr, Chris Seaton, Sté́phane Ducasse*32 citations*
36. **[Diagnosing type errors with class ↗](https://doi.org/10.1145/2737924.2738009)**Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis et al.*31 citations*
37. **[Synthesis of machine code from semantics ↗](https://doi.org/10.1145/2737924.2737960)**Venkatesh Srinivasan, Thomas Reps*30 citations*
38. **[Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code ↗](https://doi.org/10.1145/2737924.2737974)**Charith Mendis, Jeffrey Bosboom, Kevin Wu et al.*29 citations*
39. **[Relaxing safely: verified on-the-fly garbage collection for x86-TSO ↗](https://doi.org/10.1145/2737924.2738006)**Peter Gammie, Antony L. Hosking, Kai Engelhardt*28 citations*
40. **[Efficient execution of recursive programs on commodity vector hardware ↗](https://doi.org/10.1145/2737924.2738004)**Bin Ren, Youngjoon Jo, Sriram Krishnamoorthy et al.*25 citations*
41. **[Optimizing off-chip accesses in multicores ↗](https://doi.org/10.1145/2737924.2737989)**Wei Ding, Xulong Tang, Mahmut Kandemir et al.*23 citations*
42. **[Lightweight, flexible object-oriented generics ↗](https://doi.org/10.1145/2737924.2738008)**Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi et al.*22 citations*
43. **[Synthesizing parallel graph programs via automated planning ↗](https://doi.org/10.1145/2737924.2737953)**Dimitrios Prountzos, Roman Manevich, Keshav K. Pingali*22 citations*
44. **[Monitoring refinement via symbolic reasoning ↗](https://doi.org/10.1145/2737924.2737983)**Michael Emmi, Constantin Enea, Jad Hamza*21 citations*
45. **[Light: replay via tightly bounded recording ↗](https://doi.org/10.1145/2737924.2738001)**Peng Liu, Xiangyu Zhang, Omer Tripp et al.*20 citations*
46. **[Peer-to-peer affine commitment using bitcoin ↗](https://doi.org/10.1145/2737924.2737997)**Karl Crary, Michael J. Sullivan*19 citations*
47. **[Tree dependence analysis ↗](https://doi.org/10.1145/2737924.2737972)**Yusheng Weijiang, Shruthi Balakrishna, Jianqiao Liu et al.*18 citations*
48. **[Synthesis of ranking functions using extremal counterexamples ↗](https://doi.org/10.1145/2737924.2737976)**Laure Gonnord, David P. Monniaux, Gabriel Radanne*17 citations*
49. **[The Push/Pull model of transactions ↗](https://doi.org/10.1145/2737924.2737995)**Eric Koskinen, Matthew Parkinson*17 citations*
50. **[Improving compiler scalability: optimizing large programs at small price ↗](https://doi.org/10.1145/2737924.2737954)**Sanyam Mehta, Pen-Chung Yew*15 citations*
51. **[Verification of producer-consumer synchronization in GPU programs ↗](https://doi.org/10.1145/2737924.2737962)**Rahul R. Sharma, Michael Bauer, Alex Aiken*13 citations*
52. **[Composing concurrency control ↗](https://doi.org/10.1145/2737924.2737970)**Ofri Ziv, Alex Aiken, Guy Golan-Gueta et al.*10 citations*
53. **[Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack ↗](https://doi.org/10.1145/2737924.2737985)**Maarten Faddegon, Olaf Chitil*8 citations*
54. **[Profile-guided meta-programming ↗](https://doi.org/10.1145/2737924.2737990)**William J. Bowman, Swaha Miller, Vincent St-Amour et al.*8 citations*
55. **[Finding counterexamples from parsing conflicts ↗](https://doi.org/10.1145/2737924.2737961)**Chinawat Isradisaikul, Andrew C. Myers*6 citations*
56. **[LaminarIR: compile-time queues for structured streams ↗](https://doi.org/10.1145/2737924.2737994)**Yousun Ko, Bernd Burgstaller, Bernhard Scholz*6 citations*
57. **[Verification of a cryptographic primitive: SHA-256 (abstract) ↗](https://doi.org/10.1145/2737924.2774972)**Andrew W. Appel*6 citations*
58. **[DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs ↗](https://doi.org/10.1145/2737924.2737987)**Akash Lal, Shaz Qadeer*4 citations*
59. **[Preventing glitches and short circuits in high-level self-timed chip specifications ↗](https://doi.org/10.1145/2737924.2737967)**Stephen Longfield, Brittany Nkounkou, Rajit Manohar et al.*1 citation*
- [← back to](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2015/) — Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2015