📰 Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2015 — accepted papers

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2015 is the 2015 edition of the Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. OpenAlex lists 59 papers of it; our library holds 1 with our summaries. Below: the most cited papers, every accepted paper, and ours with their topics, authors and institutions.

Most cited papers

By their OpenAlex citations; a paper with our summary links to its page here, the others to the original.

1. Verdi: a framework for implementing and formally verifying distributed systems ↗James R. Wilcox, Doug Woos, Pavel Panchekha et al.270 citations
2. Synthesizing data structure transformations from input-output examples ↗John Feser, Swarat Chaudhuri, Işıl Dillig251 citations
3. A simpler, safer programming and execution model for intermittent systems ↗Brandon Lucia, Benjamin Ransford200 citations
4. Type-and-example-directed program synthesisPeter-Michael Osera, Steve Zdancewic185 citations · our summary
5. Automatically improving accuracy for floating point expressions ↗Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox et al.168 citations
6. Many-core compiler fuzzing ↗Christopher Lidbury, Andrei Lascu, Nathan Chong et al.143 citations
7. Provably correct peephole optimizations with alive ↗Nuno P. Lopes, David Menendez, Santosh Nagarakatte et al.129 citations
8. Automatic error elimination by horizontal code transfer across multiple applications ↗Stelios Sidiroglou, Eric Lahtinen, Fan Long et al.114 citations
9. KJS: a complete formal semantics of JavaScript ↗Daejun Park, Andrei R Stefanescu, Grigore Roşu107 citations
10. Defining the undefinedness of C ↗Chris Hathhorn, Chucky Ellison, Grigore Roşu103 citations

All accepted papers (59)

The most cited first; 1 with our summary link to their page here, the others to the original.

1. Verdi: a framework for implementing and formally verifying distributed systems ↗James R. Wilcox, Doug Woos, Pavel Panchekha et al.270 citations
2. Synthesizing data structure transformations from input-output examples ↗John Feser, Swarat Chaudhuri, Işıl Dillig251 citations
3. A simpler, safer programming and execution model for intermittent systems ↗Brandon Lucia, Benjamin Ransford200 citations
4. Type-and-example-directed program synthesisPeter-Michael Osera, Steve Zdancewic185 citations · our summary
5. Automatically improving accuracy for floating point expressions ↗Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox et al.168 citations
6. Many-core compiler fuzzing ↗Christopher Lidbury, Andrei Lascu, Nathan Chong et al.143 citations
7. Provably correct peephole optimizations with alive ↗Nuno P. Lopes, David Menendez, Santosh Nagarakatte et al.129 citations
8. Automatic error elimination by horizontal code transfer across multiple applications ↗Stelios Sidiroglou, Eric Lahtinen, Fan Long et al.114 citations
9. KJS: a complete formal semantics of JavaScript ↗Daejun Park, Andrei R Stefanescu, Grigore Roşu107 citations
10. Defining the undefinedness of C ↗Chris Hathhorn, Chucky Ellison, Grigore Roşu103 citations
11. Mechanized verification of fine-grained concurrent programs ↗Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee101 citations
12. FlashRelate: extracting relational data from semi-structured spreadsheets using examples ↗Daniel W. Barowy, Sumit Gulwani, Ted Hart et al.100 citations
13. Efficient synthesis of network updates ↗Jedidiah McClurg, Hossein Hojjat, Pavol Černý et al.99 citations
14. Compositional certified resource bounds ↗Quentin Carbonneaux, Jan Hoffmann, Zhong Shao96 citations
15. Autotuning algorithmic choice for input sensitivity ↗Yufei Ding, Jason Ansel, Kalyan K. Veeramachaneni et al.90 citations
16. Loop and data transformations for sparse matrix code ↗Anand Venkat, Mary W. Hall, Michelle Mills Strout89 citations
17. Stateless model checking concurrent programs with maximal causality reduction ↗Jeff Huang88 citations
18. Dynamic partial order reduction for relaxed memory models ↗Naling Zhang, Markus Kusano, Chao Wang85 citations
19. Static detection of asymptotic performance bugs in collection traversals ↗Oswaldo Olivo, Işıl Dillig, Calvin Lin83 citations
20. Declarative programming over eventually consistent data stores ↗KC Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan82 citations
21. A formal C memory model supporting integer-pointer casts ↗Jeehoon Kang, Chung-Kil Hur, William Mansky et al.46 citations
22. Exploring and enforcing security guarantees via program dependence graphs ↗Andrew Johnson, Lucas Waye, Scott Moore et al.44 citations
23. Interactive parser synthesis by example ↗Alan Leung, John Sarracino, Sorin Lerner42 citations
24. Synthesizing racy tests ↗Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan42 citations
25. Blame and coercion: together again for the first time ↗Jeremy G. Siek, Peter J. Thiemann, Philip L. Wadler41 citations

See all 59 papers in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2015 — accepted papers →

📄 Papers with our summary in our library (1)

The most cited first (OpenAlex citations plus our library's).

1. Type-and-Example-Directed Program SynthesisProceedings of the ACM SIGPLAN Conference on Programming Language Design and ImplementationPeter-Michael Osera, Steve Zdancewic2015 · 198 citations

🧭 Top topics

Topics of its works in our library, with the number of works on each.

💻Code & programming languages (1)

📚 Fields

🖥️Computer Science (1)

🏛️ Top institutions

Institutions on the bylines of its works here, by the number of works.

🎓University of PennsylvaniaPhiladelphia · United States1 work here

works and citations from OpenAlex and our library.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2015/