Write a Blog >>

Welcome to the site describing the submission instructions for ACM PLDI’17. ACM PLDI’17 will take place June 19-21. Workshops and tutorials will take place June18, 22-23.

Accepted Papers

Title
Achieving High Coverage for Floating-point Code via Unconstrained Programming
PLDI Research Papers
Media Attached
A Formally Verified Compiler for Lustre
PLDI Research Papers
Media Attached
ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM
PLDI Research Papers
Media Attached
Automatic Program Inversion using Symbolic Transducers
PLDI Research Papers
Media Attached
BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
PLDI Research Papers
BigFoot: Static Check Placement for Dynamic Race Detection
PLDI Research Papers
Bringing the Web up to Speed with WebAssembly
PLDI Research Papers
Media Attached
Cache Locality Optimization for Recursive Programs
PLDI Research Papers
Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
PLDI Research Papers
Media Attached
Compiling without continuations
PLDI Research Papers
Media Attached
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
PLDI Research Papers
Media Attached
Compositional Recurrence Analysis Revisited
PLDI Research Papers
Media Attached
Context Transformations for Pointer Analysis
PLDI Research Papers
Media Attached
Control-Flow Recovery from Partial Failure Reports
PLDI Research Papers
Pre-print Media Attached
Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
PLDI Research Papers
Media Attached
DemoMatch: API Discovery from Demonstrations
PLDI Research Papers
Media Attached
Dynamic Race Prediction in Linear Time
PLDI Research Papers
Media Attached
Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata
PLDI Research Papers
Pre-print Media Attached
Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
PLDI Research Papers
Media Attached
FunTAL: Reasonably Mixing a Functional Language with Assembly
PLDI Research Papers
Media Attached
Fusing Effectful Comprehensions
PLDI Research Papers
Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
PLDI Research Papers
Media Attached
Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
PLDI Research Papers
Media Attached
Gradual Synthesis for Static Parallelization
PLDI Research Papers
Pre-print Media Attached
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
PLDI Research Papers
Media Attached
Instruction Punning: Lightweight Instrumentation for x86-64
PLDI Research Papers
Media Attached
Levity Polymorphism
PLDI Research Papers
Media Attached
Low Overhead Dynamic Binary Translation on ARM
PLDI Research Papers
Media Attached
Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes
PLDI Research Papers
Media Attached
Miniphases: Compilation using Modular and Efficient Tree Transformations
PLDI Research Papers
Media Attached
Network Configuration Synthesis with Abstract Topologies
PLDI Research Papers
Media Attached
Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
PLDI Research Papers
Media Attached
Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
PLDI Research Papers
Media Attached
Repairing Sequential Consistency in C/C++11
PLDI Research Papers
Media Attached
Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
PLDI Research Papers
Media Attached
Rigorous Analysis of Software Countermeasures against Cache Attacks
PLDI Research Papers
Media Attached
Similarity of Binaries through re-Optimization
PLDI Research Papers
Simple, fast and safe manual memory management
PLDI Research Papers
Media Attached
Skeletal Program Enumeration for Rigorous Compiler Testing
PLDI Research Papers
Media Attached
Static Deadlock Detection for Asynchronous C# Programs
PLDI Research Papers
Media Attached
StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
PLDI Research Papers
Media Attached
Synthesis of Divide and Conquer Parallelism for Loops
PLDI Research Papers
Media Attached
Synthesizing Highly Expressive SQL Queries from Input-Output Examples
PLDI Research Papers
Media Attached
Synthesizing Memory Models from Framework Sketches and Litmus Tests
PLDI Research Papers
Pre-print Media Attached
Synthesizing Program Input Grammars
PLDI Research Papers
Media Attached
Systematic Black-Box Analysis of Collaborative Web Applications
PLDI Research Papers
Media Attached
Taming Undefined Behavior in LLVM
PLDI Research Papers
Pre-print Media Attached
Verifying invariants of lock-free data structures with rely-guarantee and refinement type
PLDI Research Papers
Pre-print Media Attached

Call for papers

PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. PLDI welcomes outstanding research which clearly advances the field and has the potential to make a lasting contribution. The kind of research valued by PLDI includes but is not limited to:

  • new and well motivated theoretical results
  • inter-disciplinary work which connects programming languages with other fields
  • concepts and generalizations that lead to better understanding of current developments
  • thorough experimental studies which result in new insights
  • well designed systems that solve a difficult practical challenge

Evaluation of PLDI submissions

PLDI submissions will be evaluated based on their technical merit and accessibility. Submissions should clearly motivate the importance of the problem being addressed, compare to the existing body of work on the topic, and precisely state the paper’s key contributions and results towards addressing the problem. Submissions should strive to be accessible to both, broad audiences, as well as experts in the area.

General advice on writing research papers can be found here: http://www.sigplan.org/Resources/Author/

PLDI submissions will be evaluated by the Program Committee (PC), External Program Committee (EPC) and the larger External Review Committee (ERC). The PC will meet physically to make the final selection. The main purpose of the ERC is to assist the PC in reviewing all non-PC submissions. PC and ERC members will not review PC submissions. The main purpose of the EPC is to review PC submissions.

Submission Guidelines

Below are several guidelines to help prepare your submission to PLDI.

Double-Blind Reviewing

PLDI will employ double-blind reviewing. This means that author names and affiliations must be omitted from the submission. If the submission refers to work done by the authors, that reference should be made in third person. If you have issues in making your paper double blind, please contact the PC chair. Submissions which are not double-blind (e.g., author names are shown in the submission) will be rejected procedurally. Any supplementary material should also be anonymized.

Submission Site and Information

The submission site is: https://pldi17.hotcrp.com

One can submit multiple times prior to the deadline. Only the last submission will be reviewed. There is no abstract deadline. The submission site requires filling the author names and affiliations, relevant topics and potential conflicts.

Addition or removal of authors after the paper is accepted will need to be approved by the PC chair (as this potentially undermines the goal of eliminating conflicts during paper assignment).

The submission deadline expires at midnight anywhere on earth: https://en.wikipedia.org/wiki/Anywhere_on_Earth

Declaring Conflicts

When submitting the paper, you will need to declare potential conflicts. Conflicts should be declared between an adviser and an advisee (e.g., PhD, post-doc). Other conflicts include institutional conflicts, financial conflicts of interest, friends or relatives, or any recent co-authors on papers and proposals (last 2 years).

Please do not declare spurious conflicts: declaration of spurious conflicts that aims to exclude potential reviewers is especially harmful and will lead to rejection. If you are unsure about a conflict, please consult the PC chair.

Formatting

Papers should be formatted according to the two-column ACM proceedings format. Each paper should have no more than 12 pages of text, excluding bibliography, in 10 pt font. There is no limit on the page count for references. Each reference must list all authors of the paper. The citations should be in numerical style, e.g., [52].

Appendices should not be part of the paper, but should be submitted as supplementary material (this material should also be anonymized). Papers that exceed the length requirement or deviate from the expected format will be rejected. Make sure that figures and tables are legible, even after the paper is printed in gray-scale.

Templates for ACM format are available for Microsoft Word and LaTeX at http://www.sigplan.org/Resources/Author The preprint template should be set to use 10pt font and `numbers’ to ensure numerical style citations, that is:

      \documentclass[preprint, 10pt, numbers]{sigplanconf}

Submissions should be in PDF format and printable on US Letter and A4 sized paper.

Supplementary Material

Authors are free to provide supplementary material if that material supports the claims in the paper. Such material may include proofs, experimental results, or data sets. This material should be uploaded at the same time as the submission. Reviewers are not required to look into the supplementary material but may refer to it if they would like to find further evidence supporting the claims in the paper.

Plagiarism and Concurrent Work

Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by the SIGPLAN Republication Policy: http://www.sigplan.org/Resources/Policies/Republication/. Authors should also be aware of the ACM Policy on Plagiarism: http://www.acm.org/publications/policies/policies/plagiarism_policy/.

Concurrent submissions to other conferences, workshops, journals, or similar venues of publication are disallowed. If you have further questions, please contact the PC chair.

Artifact Evaluation for Accepted Papers

For an accepted PLDI paper, the authors will be invited to submit supporting materials to the Artifact Evaluation process (AEC). Artifact Evaluation is run by a separate committee whose task is to assess how the artifacts support the work described in the papers.

This submission is voluntary and will not influence the final decision regarding the papers. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Authors of accepted papers are encouraged to make these materials publicly available upon publication of the proceedings, by including them as “source materials” in the ACM Digital Library.

Accepted papers

The PLDI’17 technical papers will be made available (once the conference starts and for one month following) via 1-click download from the ACM Digital Library.

Publication date note

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.)

Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 19 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 10:30
10:00
30m
Other
1' Pitches of Monday
PLDI Research Papers

10:50 - 12:30
Learning and ProbabilisticPLDI Research Papers at Actes, Civil Engineering
Chair(s): Swarat Chaudhuri Rice University
10:50
25m
Talk
DemoMatch: API Discovery from Demonstrations
PLDI Research Papers
Kuat Yessenov MIT, Ivan Kuraj MIT CSAIL, USA, Armando Solar-Lezama MIT CSAIL
Media Attached
11:15
25m
Talk
Similarity of Binaries through re-Optimization
PLDI Research Papers
Yaniv David Technion, Nimrod Partush Technion, Eran Yahav Technion
11:40
25m
Talk
Synthesizing Program Input Grammars
PLDI Research Papers
Osbert Bastani Stanford University, Rahul Sharma Microsoft Research, Alex Aiken Stanford University, Percy Liang Stanford University
Media Attached
12:05
25m
Talk
Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
PLDI Research Papers
Daniel Huang Harvard University, Jean-Baptiste Tristan Oracle Labs, Greg Morrisett Cornell University
Media Attached
10:50 - 12:30
Compiler OptimizationsPLDI Research Papers at Aula Master
Chair(s): Uday Bondhugula Indian Institute of Science
10:50
25m
Talk
Cache Locality Optimization for Recursive Programs
PLDI Research Papers
Jonathan Lifflander , Sriram Krishnamoorthy Pacific Northwest National Laboratories
11:15
25m
Talk
Fusing Effectful Comprehensions
PLDI Research Papers
Olli Saarikivi , Margus Veanes Microsoft Research, Todd Mytkowicz , Madan Musuvathi Microsoft Research
11:40
25m
Talk
Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
PLDI Research Papers
Yufei Ding North Carolina State University, Lin Ning North Carolina State University, Hui Guan North Carolina State University, Xipeng Shen North Carolina State University
Media Attached
12:05
25m
Talk
ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM
PLDI Research Papers
David Menendez Rutgers University, Santosh Nagarakatte Rutgers University, USA
Media Attached
14:00 - 15:40
Language ImplementationPLDI Research Papers at Actes, Civil Engineering
Chair(s): David F. Bacon Google
14:00
25m
Talk
Bringing the Web up to Speed with WebAssembly
PLDI Research Papers
Andreas Haas Google, Andreas Rossberg Google, Derek Schuff Google, Ben L. Titzer Google, Dan Gohman Mozilla, Luke Wagner Mozilla, Alon Zakai Mozilla, JF Bastien Apple, Michael Holman Microsoft
Media Attached
14:25
25m
Talk
Miniphases: Compilation using Modular and Efficient Tree Transformations
PLDI Research Papers
Dmytro Petrashko EPFL, Ondřej Lhoták University of Waterloo, Canada, Martin Odersky EPFL, Switzerland
Media Attached
14:50
25m
Talk
Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
PLDI Research Papers
Anthony Canino SUNY Binghamton, Yu David Liu State University of New York (SUNY) Binghamton
Media Attached
15:15
25m
Talk
Simple, fast and safe manual memory management
PLDI Research Papers
Piyus Kedia Indian Institute of Technology Delhi, Manuel Costa Microsoft Research, Matthew J. Parkinson Microsoft Research, UK, Kapil Vaswani Microsoft Research, Dimitrios Vytiniotis Microsoft Research, Cambridge
Media Attached
14:00 - 15:40
Concurrency AnalysisPLDI Research Papers at Aula Master
Chair(s): Jeff Huang Texas A&M University
14:00
25m
Talk
BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
PLDI Research Papers
Ariel Eizenberg University of Pennsylvania, Yuanfeng Peng University of Pennsylvania, Toma Pigli University of Pennsylvania, William Mansky Princeton University, Joseph Devietti University of Pennsylvania
14:25
25m
Talk
BigFoot: Static Check Placement for Dynamic Race Detection
PLDI Research Papers
Dustin Rhodes , Cormac Flanagan University of California, Santa Cruz, Stephen N. Freund Williams College
14:50
25m
Talk
Dynamic Race Prediction in Linear Time
PLDI Research Papers
Dileep Kini University of Illinois at Urbana-Champaign, Umang Mathur University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign
Media Attached
15:15
25m
Talk
Systematic Black-Box Analysis of Collaborative Web Applications
PLDI Research Papers
Marina Billes TU Darmstadt, Anders Møller Aarhus University, Michael Pradel TU Darmstadt
Media Attached
16:10 - 17:50
Dynamic Analysis and TestingPLDI Research Papers at Actes, Civil Engineering
Chair(s): Michael Pradel TU Darmstadt
16:10
25m
Talk
Achieving High Coverage for Floating-point Code via Unconstrained Programming
PLDI Research Papers
Zhoulai Fu University of California, Davis, Zhendong Su University of California, Davis
Media Attached
16:35
25m
Talk
Instruction Punning: Lightweight Instrumentation for x86-64
PLDI Research Papers
Buddhika Chamith Indiana University, Luke Dalessandro Indiana University, Bo Joel Svensson Chalmers University of Technology, Sweden, Ryan R. Newton Indiana University
Media Attached
17:00
25m
Talk
Low Overhead Dynamic Binary Translation on ARM
PLDI Research Papers
Amanieu d'Antras University of Manchester, Cosmin Gorgovan University of Manchester, Jim Garside University of Manchester, Mikel Luján
Media Attached
17:25
25m
Talk
Skeletal Program Enumeration for Rigorous Compiler Testing
PLDI Research Papers
Qirun Zhang University of California, Davis, Chengnian Sun University of California, Davis, Zhendong Su University of California, Davis
Media Attached
16:10 - 17:50
Static AnalysisPLDI Research Papers at Aula Master
Chair(s): Loris D'Antoni University of Wisconsin–Madison
16:10
25m
Talk
Compositional Recurrence Analysis Revisited
PLDI Research Papers
Zachary Kincaid Princeton University, Jason Breck University of Wisconsin-Madison, Ashkan Forouhi Boroujeni University of Wisconsin-Madison, Thomas Reps University of Wisconsin - Madison and Grammatech Inc.
Media Attached
16:35
25m
Talk
Context Transformations for Pointer Analysis
PLDI Research Papers
Rei Thiessen University of Waterloo, Ondřej Lhoták University of Waterloo, Canada
Media Attached
17:00
25m
Talk
Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata
PLDI Research Papers
Tian Tan UNSW Australia, Yue Li UNSW Australia, Jingling Xue UNSW Australia
Pre-print Media Attached
17:25
25m
Talk
Static Deadlock Detection for Asynchronous C# Programs
PLDI Research Papers
Anirudh Santhiar Indian Institute of Science, Aditya Kanade Indian Institute of Science, Bangalore
Media Attached

Tue 20 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:50 - 10:25
1' pitches of the day and the next dayPLDI Research Papers at Auditorium, Vertex Building
09:50
35m
Other
1' Pitches of Tuesday and Wednesday
PLDI Research Papers

10:50 - 12:30
SynthesisPLDI Research Papers at Actes, Civil Engineering
Chair(s): Sasa Misailovic University of Illinois at Urbana-Champaign
10:50
25m
Talk
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
PLDI Research Papers
Yu Feng University of Texas at Austin, USA, Ruben Martins , Jacob Van Geffen UT Austin, Işıl Dillig UT Austin, Swarat Chaudhuri Rice University
Media Attached
11:15
25m
Talk
Network Configuration Synthesis with Abstract Topologies
PLDI Research Papers
Ryan Beckett Princeton University, Ratul Mahajan Microsoft, Todd Millstein University of California, Los Angeles, Jitendra Padhye Microsoft, David Walker Princeton University
Media Attached
11:40
25m
Talk
Synthesizing Highly Expressive SQL Queries from Input-Output Examples
PLDI Research Papers
Chenglong Wang University of Washington, USA, Alvin Cheung University of Washington, Rastislav Bodík University of Washington
Media Attached
12:05
25m
Talk
Synthesizing Memory Models from Framework Sketches and Litmus Tests
PLDI Research Papers
James Bornholt University of Washington, Emina Torlak University of Washington, USA
Pre-print Media Attached
10:50 - 12:30
Static Analysis and SecurityPLDI Research Papers at Aula Master
Chair(s): Mayur Naik Georgia Tech
10:50
25m
Talk
Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
PLDI Research Papers
Timos Antonopoulos Yale University, Paul Gazzillo Yale University, Michael Hicks University of Maryland, College Park, Eric Koskinen Yale University, Tachio Terauchi JAIST, Shiyi Wei University of Maryland, College Park
Media Attached
11:15
25m
Talk
Automatic Program Inversion using Symbolic Transducers
PLDI Research Papers
Qinheping Hu University of Wisconsin-Madison, Loris D'Antoni University of Wisconsin–Madison
Media Attached
11:40
25m
Talk
Control-Flow Recovery from Partial Failure Reports
PLDI Research Papers
Peter Ohmann University of Wisconsin - Madison, Alexander L. Brooks University of Wisconsin, Madison, Loris D'Antoni University of Wisconsin–Madison, Ben Liblit University of Wisconsin–Madison
Pre-print Media Attached
12:05
25m
Talk
Rigorous Analysis of Software Countermeasures against Cache Attacks
PLDI Research Papers
Goran Doychev IMDEA Software Institute, Boris Köpf IMDEA Software Institute, Spain
Media Attached
14:00 - 15:40
Parallelization and ConcurrencyPLDI Research Papers at Actes, Civil Engineering
Chair(s): Milind Kulkarni Purdue University
14:00
25m
Talk
Synthesis of Divide and Conquer Parallelism for Loops
PLDI Research Papers
Azadeh Farzan University of Toronto, Victor Nicolet University of Toronto
Media Attached
14:25
25m
Talk
Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
PLDI Research Papers
Troels Henriksen DIKU, University of Copenhagen, Niels G. W. Serup DIKU, University of Copenhagen, Martin Elsman Department of Computer Science, University of Copenhagen, Fritz Henglein DIKU, Denmark, Cosmin Oancea DIKU, University of Copenhagen
Media Attached
14:50
25m
Talk
Gradual Synthesis for Static Parallelization
PLDI Research Papers
Grigory Fedyukovich UW CSE, Maaz Bin Safeer Ahmad UW / CSE, Rastislav Bodík University of Washington
Pre-print Media Attached
15:15
25m
Talk
Verifying invariants of lock-free data structures with rely-guarantee and refinement type
PLDI Research Papers
Colin Gordon Drexel University, Michael D. Ernst University of Washington, USA, Dan Grossman University of Washington, Matthew J. Parkinson Microsoft Research, UK
Pre-print Media Attached
14:00 - 15:40
Functional Programming and CorrectnessPLDI Research Papers at Aula Master
Chair(s): Francesco Logozzo Facebook
14:00
25m
Talk
Compiling without continuations
PLDI Research Papers
Luke Maurer University of Oregon, USA, Paul Downen University of Oregon, USA, Zena M. Ariola University of Oregon, USA, Simon Peyton Jones Microsoft Research, Cambridge
Media Attached
14:25
25m
Talk
FunTAL: Reasonably Mixing a Functional Language with Assembly
PLDI Research Papers
Daniel Patterson Northeastern University, Jamie Perconti Northeastern University, Christos Dimoulas Harvard University, USA, Amal Ahmed Northeastern University, USA
Media Attached
14:50
25m
Talk
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
PLDI Research Papers
Shumo Chu University of Washington, USA, Konstantin Weitz University of Washington, USA, Alvin Cheung University of Washington, Dan Suciu University of Washington
Media Attached
15:15
25m
Talk
Levity Polymorphism
PLDI Research Papers
Richard A. Eisenberg Bryn Mawr College, USA, Simon Peyton Jones Microsoft Research, Cambridge
Media Attached
16:10 - 17:00
CorrectnessPLDI Research Papers at Actes, Civil Engineering
Chair(s): Joseph Devietti University of Pennsylvania
16:10
25m
Talk
Repairing Sequential Consistency in C/C++11
PLDI Research Papers
Ori Lahav MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany, Jeehoon Kang Seoul National University, Chung-Kil Hur Seoul National University, Derek Dreyer MPI-SWS
Media Attached
16:35
25m
Talk
Taming Undefined Behavior in LLVM
PLDI Research Papers
Juneyoung Lee Seoul National University, Yoonseung Kim Seoul National University (South Korea), Youngju Song Seoul National University, Chung-Kil Hur Seoul National University, Sanjoy Das Azul Systems, David Majnemer Google, John Regehr University of Utah, Nuno P. Lopes Microsoft Research
Pre-print Media Attached
16:10 - 17:00
Verified ComputationPLDI Research Papers at Aula Master
Chair(s): Alvin Cheung University of Washington
16:10
25m
Talk
A Formally Verified Compiler for Lustre
PLDI Research Papers
Timothy Bourke INRIA, Lelio Brun ENS/Inria, Pierre-Evariste Dagand LIP6/CNRS , Xavier Leroy Inria, Marc Pouzet École normale supérieure, Lionel Rieg Collège de France
Media Attached
16:35
25m
Talk
Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
PLDI Research Papers
Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Bui Phi Diep Uppsala University, Yu-Fang Chen , Lukáš Holík , Ahmed Rezine , Philipp Ruemmer Uppsala University
Media Attached

Wed 21 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:20 - 12:00
Systems and PerformancePLDI Research Papers at Auditorium, Vertex Building
Chair(s): Dan Grossman University of Washington
10:20
25m
Talk
Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes
PLDI Research Papers
Scott Schneider IBM Research, Kun-Lung Wu IBM Research
Media Attached
10:45
25m
Talk
Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
PLDI Research Papers
Thomas Wuerthinger Oracle Labs, Christian Wimmer , Christian Humer Oracle Labs, Switzerland, Andreas Woess Oracle Labs, Lukas Stadler Oracle Labs, Austria, Chris Seaton Oracle Labs, Gilles Duboscq Oracle Labs, Doug Simon Oracle Labs, Matthias Grimmer Oracle Labs, Austria
Media Attached
11:10
25m
Talk
Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
PLDI Research Papers
Stefan K. Muller , Umut A. Acar Carnegie Mellon University, Robert Harper CWI
Media Attached
11:35
25m
Talk
StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
PLDI Research Papers
Konstantinos Mamouras University of Pennsylvania, Mukund Raghothaman University of Pennsylvania, Rajeev Alur University of Pennsylvania, Zachary G. Ives University of Pennsylvania, Sanjeev Khanna University of Pennsylvania
Media Attached
12:00 - 12:30
12:00
15m
Awards
Best Paper, Artifact Evaluation, SIGPLAN Test of Time Awards
PLDI Research Papers

12:15
15m
Day closing
Closing
PLDI Research Papers