PLDI 2015
PLDI 2015 is the 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation.
The full PLDI 2015 proceedings are freely available at http://sigplan.org/OpenTOC/pldi16.html.
PLDI is a premier forum for all areas of programming language research, including the design, implementation, theory, and efficient use of languages. PLDI’s emphases include innovative and creative approaches to compile-time and runtime technology, novel language designs and features, and results from implementations.
PLDI 2015 is part of FCRC 2015, a spectrum of affiliated research conferences and workshops organized into a week long coordinated meeting that will be held June 12-20, 2015 in Portland Oregon.
PLDI Distinguished Papers
![Pavel Panchekha](https://conf.researchr.org/getProfileImage/pavelpanchekha/753789c0-fdc3-4d20-8d3c-f11a571aba45/avatar.jpg?1713278642000)
Automatically Improving Accuracy for Floating Point Expressions
Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock
![Danfeng Zhang](https://conf.researchr.org/getProfileImage/danfengzhang/6eb87743-0994-4ff3-be1e-dbfb34429946/avatar.jpg?1714676265000)
Diagnosing Type Errors with Class
Danfeng Zhang, Andrew Myers, Dimitrios Vytiniotis, Simon Peyton Jones
![Nuno P. Lopes](https://conf.researchr.org/getProfileImage/nunoplopes/51903af2-1afa-498e-95d4-72829128f32c/avatar.jpg?1711464469000)
Provably Correct Peephole Optimizations with Alive
Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
Student Research Competition Winners
Congratulations to the Student Research Competition Winners!
Graduate
- Swarnendu Biswas, Ohio State: Low Overhead Region Conflict Detection
- Jake Roemer, Ohio State: Effective Scheduling for Adversarial Memory
- Adarsh Yoga, Rutgers: Precise Detection of Atomicity Violations
Undergraduate
- Jeevana Inala, MIT: Type Assisted Synthesis of Programs with Algebraic Data types
- Alex Reinking, Yale: A type-directed approach to program repair
- Jack Feser, Rice: Unification and Partial Eval. For Component-Based Synthesis
Video Talk Abstracts
Binge watch PLDI’15 video talk abstracts! Compilations are available for:
Special Events at PLDI
In addition to technical talks, there are several special events happening at PLDI.
- Welcome Reception and Poster Session (Sunday 19:30-21:00).
- SIGPLAN Awards Luncheon (Monday: 12:30-14:00)
- SIGPLAN Townhall Meeting (Tuesday 16:30-17:30)
- PLDI Banquet (Tuesday 18:30-22:00; Banquet ticket required).
Practices of PLDI
SIGPLAN solicits feedback on the Practices of PLDI, a report that documents the salient features of running the PLDI conference and evaluating submitted papers. A link to the document in PDF (https://goo.gl/ROVOGr) and to an editable GDOC (http://goo.gl/XGJwZA).
Author and Reviewer Surveys
We are using surveys to help us improve PLDI. Results of the surveys given to authors and reviewers are now available at https://conf.researchr.org/track/pldi2015/pldi2015-papers#Surveys