Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 13 Jun

Displayed time zone: Tijuana, Baja California change

08:15 - 09:00
Saturday BreakfastCatering at Pre-function A
08:15
45m
Break
Breakfast
Catering

09:00 - 11:00
Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor GraphicsTutorials at A103-104
09:00
2h
Talk
Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics
Tutorials
Link to publication
09:00 - 11:00
A Semantics-Directed Approach to Program Termination Tutorials at B112
09:00
2h
Talk
A Semantics-Directed Approach to Program Termination
Tutorials
Link to publication
09:00 - 11:00
Invited Talk and Paper Session 1ARRAY at C122
Chair(s): Laurie Hendren McGill University
09:00
60m
Talk
INVITED TALK: Array Notation for Everybody
ARRAY
David Padua University of Illinois at Urbana-Champaign
10:00
30m
Talk
Loo.py: From Fortran to performance via transformation and substitution rules
ARRAY
Andreas Kloeckner University of Illinois at Urbana-Champaign
10:30
30m
Talk
Techniques for Efficient MATLAB-to-C Compilation
ARRAY
João Bispo FEUP, Universidade do Porto, Luís Reis , João Cardoso
09:30 - 11:00
9:30am: Opening and Papers Session 1WAX at C120-C121
11:00 - 11:20
Saturday AM BreakCatering at Pre-function A
11:00
20m
Coffee break
Morning Break
Catering

11:20 - 12:30
Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor GraphicsTutorials at A103-104
11:20
70m
Talk
Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics
Tutorials
Link to publication
11:20 - 12:30
A Semantics-Directed Approach to Program TerminationTutorials at B112
11:20
70m
Talk
A Semantics-Directed Approach to Program Termination
Tutorials
Link to publication
11:20 - 12:30
Lightning Talks and Discussion PrepWAX at C120-C121
12:30 - 14:00
Saturday LunchCatering at Pre-function A
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
CANCELLED: System-level Program Analysis and Architectural Evaluation with SimicsTutorials at A103-104
14:00
90m
Talk
CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics
Tutorials
14:00 - 15:30
RASCAL: Program Analysis and Transformation with RascalTutorials at B112
14:00
90m
Talk
RASCAL: Program Analysis and Transformation with Rascal
Tutorials
Mark Hills East Carolina University, Paul Klint , Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
Link to publication
14:00 - 15:30
Report-Outs and Papers Session 2WAX at C120-C121
15:30 - 16:00
Saturday PM BreakCatering at Pre-function A
15:30
30m
Break
Afternoon Break
Catering

16:00 - 18:00
CANCELLED: System-level Program Analysis and Architectural Evaluation with SimicsTutorials at A103-104
16:00
2h
Talk
CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics
Tutorials
16:00 - 18:00
RASCAL: Program Analysis and Transformation with RascalTutorials at B112
16:00
2h
Talk
RASCAL: Program Analysis and Transformation with Rascal
Tutorials
Mark Hills East Carolina University, Paul Klint , Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
Link to publication
16:00 - 18:00
Papers Session 3 and ClosingWAX at C120-C121

Sun 14 Jun

Displayed time zone: Tijuana, Baja California change

08:15 - 09:00
Sunday BreakfastCatering at Pre-function A
08:15
45m
Break
Breakfast
Catering

09:00 - 11:00
PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging Tutorials at A103-104
09:00
2h
Talk
PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging
Tutorials
Link to publication
09:00 - 11:00
Programming in X10X10 at B112
09:00
15m
Day opening
Opening and Welcome
X10
Jose Nelson Amaral University of Alberta, Olivier Tardieu IBM Research
09:15
75m
Talk
Introduction to X10
X10
Olivier Tardieu IBM Research
Link to publication
10:30
30m
Talk
The X10 Global Matrix Library: A Resilient Framework for Linear Algebra Applications
X10
Sara S. Hamouda Australian National University, Josh Milthorpe IBM Research, Peter Strazdins Australian National University, Vijay Saraswat IBM TJ Watson Research Center
Link to publication
09:00 - 11:00
Session1PLOOC at C120-C121
09:00
5m
Talk
Opening and Welcome
PLOOC
P: Armando Solar-Lezama MIT, P: Rishabh Singh Microsoft Research
09:05
40m
Talk
Bug Localization with Statistical Models
PLOOC
Pavol Bielik ETH Zurich, Svetoslav Karaivanov ETH Zurich, P: Veselin Raychev ETH Zurich, Martin Vechev ETH Zurich, Christine Zeller ETH Zurich
09:45
40m
Talk
AutomataTutor and what I learned from building an online teaching tool
PLOOC
P: Loris D'Antoni University of Pennsylvania, Rajeev Alur University of Pennsylvania, Dileep Kini University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign, Sumit Gulwani Microsoft Research, Bjoern Hartmann UC Berkeley, Matthew Weaver University of Pennsylvania
10:25
35m
Talk
Touchdevelop on the BBC’s microbit Going from a blocks programming language to 16kB of RAM
PLOOC
P: Jonathan Protzenko Microsoft Research
11:00 - 11:20
Sunday AM BreakCatering at Pre-function A
11:00
20m
Coffee break
Morning Break
Catering

11:20 - 12:30
PINPLAY:Using PinPlay for Reproducible Analysis and Replay DebuggingTutorials at A103-104
11:20
70m
Talk
PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging
Tutorials
Link to publication
11:20 - 12:30
session 2SOAP at B110-B11
Chair(s): Mayur Naik Georgia Tech
11:20
60m
Talk
Static Analysis of JavaScript: Insights and Challenges
SOAP
Ben Hardekopf UC Santa Barbara
11:20 - 12:30
Session2PLOOC at C120-C121
11:30
40m
Talk
The Hint Mechanism in Code Hunt
PLOOC
P: Daniel Perelman University of Washington, USA, Judith Bishop Microsoft Research, Sumit Gulwani Microsoft Research, Dan Grossman University of Washington
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
Machine Learning for Code AnalyticsTutorials at A103-104
14:00
90m
Talk
Machine Learning for Code Analytics
Tutorials
Veselin Raychev ETH Zurich, Martin Vechev ETH Zurich
Link to publication
14:00 - 15:30
Doop Framework 101Tutorials at A107-A108
14:00
90m
Talk
Doop Framework 101
Tutorials
George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
Link to publication
14:00 - 15:30
Compilers and RuntimesX10 at B112
14:00
30m
Talk
Cutting Out the Middleman: OS-Level Support for X10 Activities
X10
Manuel Mohr Karlsruhe Institute of Technology, Sebastian Buchwald Karlsruhe Institute of Technology, Andreas Zwinkau Karlsruhe Institute of Technology, Christoph Erhardt Friedrich-Alexander University of Erlangen-Nürnberg, Benjamin Oechslein Friedrich-Alexander University of Erlangen-Nürnberg, Jens Schedel Friedrich-Alexander University of Erlangen-Nürnberg, Daniel Lohmann Friedrich-Alexander University of Erlangen-Nürnberg
Link to publication
14:30
30m
Talk
Optimization of X10 Programs with ROSE Compiler Infrastructure
X10
Michihiro Horie IBM Research - Tokyo, Mikio Takeuchi IBM Research - Tokyo, Kiyokuni Kawachiya IBM Research - Tokyo, David Grove IBM Research
Link to publication
15:00
30m
Talk
The APGAS Library: Resilient Parallel and Distributed Programming in Java 8
X10
Olivier Tardieu IBM Research
Link to publication
14:00 - 15:30
Session3PLOOC at C120-C121
14:00
40m
Talk
Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
PLOOC
P: Heather Miller Ecole Polytechnique Federale de Lausanne, Philipp Haller KTH Royal Institute of Technology, Lukas Rytz Typesafe, Martin Odersky Ecole Polytechnique Federale de Lausanne
14:40
40m
Talk
CPSGrader: Formal Methods for Lab-Based MOOCs
PLOOC
P: Sanjit Seshia UC Berkeley, Alexandre Donze University of California, Berkeley, Jeff Jensen Momentum Machines, Garvit Juniwal UC Berkeley
14:00 - 15:30
AutoTune:Autotuning programs with OpenTunerTutorials at C122
14:00
90m
Talk
AutoTune:Autotuning programs with OpenTuner
Tutorials
Saman Amarasinghe MIT, Jason Ansel Massachusetts Institute of Technology, Kalyan Veeramachaneni Massachusetts Institute of Technology, Jeffrey Bosboom MIT CSAIL, Shoaib Kamil MIT CSAIL, USA
Link to publication
15:30 - 16:00
Sunday PM BreakCatering at Exhibit Halls A1-B
15:30
30m
Break
Afternoon Break
Catering

16:00 - 18:00
Machine Learning for Code AnalyticsTutorials at A103-104
16:00
2h
Talk
Machine Learning for Code Analytics
Tutorials
Veselin Raychev ETH Zurich, Martin Vechev ETH Zurich
Link to publication
16:00 - 18:00
Doop Framework 101Tutorials at A107-A108
16:00
2h
Talk
Doop Framework 101
Tutorials
George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
Link to publication
16:00 - 18:00
session 4SOAP at B110-B11
Chair(s): Anders Møller Aarhus University
16:00
60m
Talk
Jalangi: A Dynamic Analyses Framework for JavaScript
SOAP
Koushik Sen University of California, Berkeley
16:00 - 18:00
Global Load BalancingX10 at B112
16:00
30m
Talk
Towards an Efficient Fault-Tolerance Scheme for GLB
X10
Marco Bungart Universität Kassel, Claudia Fohry Universität Kassel, Jonas Posner Universität Kassel
Link to publication
16:30
30m
Talk
Scalable Parallel Numerical Constraint Solver Using Global Load Balancing
X10
Daisuke Ishii Tokyo Institute of Technology, Kazuki Yoshizoe Japan Science and Technology Agency, Toyotaro Suzumura IBM Research / University College Dublin / JST
Link to publication
16:00 - 18:00
Session4PLOOC at C120-C121
16:00
40m
Talk
Personalized Mathematical Word Problem Generation
PLOOC
P: Alex Polozov University of Washington, Eleanor O'Rourke University of Washington, Adam Smith University of Washington, Luke Zettlemoyer University of Washington, Sumit Gulwani Microsoft Research, Zoran Popovic University of Washington
16:40
40m
Talk
Making Proof Tutors out of Proof Assistants
PLOOC
P: Peter-Michael Osera University of Pennsylvania, Steve Zdancewic
17:20
40m
Talk
OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale
PLOOC
Elena Glassman MIT, Jeremy Scott MIT, P: Rishabh Singh Microsoft Research, Philip Guo University of Rochester, Robert Miller MIT
16:00 - 18:00
AutoTune:Autotuning programs with OpenTunerTutorials at C122
16:00
2h
Talk
AutoTune:Autotuning programs with OpenTuner
Tutorials
Saman Amarasinghe MIT, Jason Ansel Massachusetts Institute of Technology, Kalyan Veeramachaneni Massachusetts Institute of Technology, Jeffrey Bosboom MIT CSAIL, Shoaib Kamil MIT CSAIL, USA
Link to publication
18:00 - 19:15
18:00
75m
Talk
Turing Lecture
FCRC Plenary Speakers
19:30 - 21:00
19:30
90m
Welcome Reception and Poster Session
Research Papers

Mon 15 Jun

Displayed time zone: Tijuana, Baja California change

08:15 - 09:00
08:15
45m
Break
Breakfast
Catering

09:00 - 11:00
Distinguished PapersResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Steve Blackburn Australian National University
09:00
15m
Day opening
Opening and Welcome
Research Papers
Steve Blackburn Australian National University , David Grove IBM Research
09:15
25m
Talk
Automatically Improving Accuracy for Floating Point Expressions
Research Papers
Pavel Panchekha University of Washington, Alex Sanchez-Stern University of Washington, James R. Wilcox University of Washington, Zachary Tatlock University of Washington, Seattle
Media Attached
09:40
25m
Talk
Diagnosing Type Errors with Class
Research Papers
Danfeng Zhang Cornell University, Andrew C. Myers , Dimitrios Vytiniotis Microsoft Research, Cambridge, Simon Peyton Jones Microsoft Research, Cambridge
Media Attached
10:05
25m
Talk
Provably Correct Peephole Optimizations with Alive
Research Papers
Nuno P. Lopes Microsoft Research, David Menendez Rutgers University, Santosh Nagarakatte Rutgers University, John Regehr University of Utah
Pre-print Media Attached
10:30
20m
Talk
One Minute Madness
Research Papers

11:00 - 11:20
Monday AM BreakCatering at Exhibit Halls A1-B
11:00
20m
Coffee break
Morning Break
Catering

11:20 - 12:30
11:20
70m
Talk
Interdisciplinarity: A View from Theory of Computation
FCRC Plenary Speakers
Andrew Yao Tsinghua University
12:30 - 14:00
SIGPLAN Awards LuncheonResearch Papers at Portland 251,257,258
12:30
90m
Lunch
SIGPLAN Awards Luncheon
Research Papers
Jan Vitek Northeastern University
14:00 - 15:40
VerificationResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Zachary Tatlock University of Washington, Seattle
14:00
25m
Talk
Mechanized Verification of Fine-grained Concurrent Programs
Research Papers
Ilya Sergey IMDEA Software Institute, Aleksandar Nanevski IMDEA Software Institute, Anindya Banerjee IMDEA Software Institute
Link to publication Media Attached
14:25
25m
Talk
Verification of Producer-Consumer Synchronization in GPU Programs
Research Papers
Rahul Sharma Stanford University, Michael Bauer NVIDIA Research, Alex Aiken Stanford University
Media Attached
14:50
25m
Talk
Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO
Research Papers
Peter Gammie NICTA, Tony Hosking Australian National University, Data61, and Purdue University, Kai Engelhardt UNSW and NICTA
Link to publication Media Attached
15:15
25m
Talk
Verifying Read-Copy-Update in a Logic for Weak Memory
Research Papers
Joseph Tassarotti Carnegie Mellon University, Derek Dreyer MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany
Media Attached
14:00 - 15:40
CorrectnessResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Jens Palsberg University of California, Los Angeles
14:00
25m
Talk
Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack
Research Papers
Maarten Faddegon University of Kent, UK, Olaf Chitil University of Kent, UK
Media Attached
14:25
25m
Talk
Automatic Error Elimination by Multi-Application Code Transfer
Research Papers
Media Attached
14:50
25m
Talk
Light: Replay via Tightly Bounded Recording
Research Papers
Peng Liu Purdue University, Xiangyu Zhang Purdue University, Omer Tripp IBM Thomas J. Watson Research Center, Yunhui Zheng IBM Research
Media Attached
15:15
25m
Talk
Many-Core Compiler Fuzzing
Research Papers
Nathan Chong University College London, Alastair F. Donaldson Imperial College London, Andrei Lascu Imperial College London, Christopher Lidbury Imperial College London
Media Attached
15:40 - 16:00
15:40
20m
Break
Afternoon Break
Catering

16:00 - 17:40
Concurrency IResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Santosh Nagarakatte Rutgers University
16:00
25m
Talk
Asynchronous Programming, Analysis and Testing with State Machines
Research Papers
Pantazis Deligiannis Imperial College London, Alastair F. Donaldson Imperial College London, Jeroen Ketema , Akash Lal Microsoft Research India, Paul Thomson Imperial College London
Media Attached
16:25
25m
Talk
Stateless Model Checking Concurrent Programs with Maximal Causality Reduction
Research Papers
Jeff Huang Texas A&M University
Media Attached
16:50
25m
Talk
Synthesizing racy tests
Research Papers
Malavika Samak Indian Institute of Science, Bangalore, Murali Krishna Ramanathan Indian Institute of Science, Bangalore, Suresh Jagannathan Purdue University
Media Attached
17:15
25m
Talk
The Push/Pull model of transactions
Research Papers
Eric Koskinen IBM TJ Watson Research Center, Matthew Parkinson Microsoft Research, UK
Media Attached
16:00 - 17:15
OptimizationResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Michelle Strout Colorado State University
16:00
25m
Talk
LaminarIR: Compile-Time Queues for Structured Streams
Research Papers
Yousun Ko Yonsei University, Bernd Burgstaller Yonsei University, Bernhard Scholz The University of Sydney
Media Attached
16:25
25m
Talk
Optimizing Off-Chip Accesses in Multicores
Research Papers
Wei Ding Pennsylvania State University, Xulong Tang Penn State, Mahmut Taylan Kandemir Pennsylvania State University, Yuanrui Zhang Intel, Emre Kultursay Pennsylvania State University
Media Attached
16:50
25m
Talk
Improving Compiler Scalability: Optimizing Large Programs at Small Price
Research Papers
Sanyam Mehta University of Minnesota, Pen-Chung Yew University of Minnesota
Media Attached
17:15 - 17:40
TOPLASResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Michelle Strout Colorado State University
17:15
25m
Talk
Verification of a Cryptographic Primitive: SHA-256
Research Papers
A: Andrew Appel Princeton

Tue 16 Jun

Displayed time zone: Tijuana, Baja California change

08:15 - 09:00
08:15
45m
Break
Breakfast
Catering

08:45 - 09:10
08:45
25m
Talk
One Minute Madness
Research Papers

09:15 - 10:55
Concurrency IIResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Suresh Jagannathan Purdue University
09:15
25m
Talk
Composing Concurrency Control
Research Papers
Ofri Ziv Tel Aviv University, Alex Aiken Stanford University, Guy Golan-Gueta Yahoo Labs, G. Ramalingam Microsoft Research, Mooly Sagiv Tel Aviv University
Media Attached
09:40
25m
Talk
Dynamic Partial Order Reduction for Relaxed Memory Models
Research Papers
Naling Zhang Virginia Tech, Markus Kusano Virginia Tech, Chao Wang Virginia Tech
Media Attached
10:05
25m
Talk
Monitoring Refinement via Symbolic Reasoning
Research Papers
Michael Emmi , Constantin Enea LIAFA, Université Paris Diderot, Jad Hamza LIAFA, Université Paris Diderot
Media Attached
10:30
25m
Talk
Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications
Research Papers
Stephen Longfield Cornell University, Brittany Nkounkou Cornell University, Rajit Manohar Cornell University, Ross Tate Cornell University
Media Attached
09:15 - 10:55
Synthesis IResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Kathleen Fisher Tufts University
09:15
25m
Talk
Efficient Synthesis of Network Updates
Research Papers
Jedidiah McClurg University of Colorado Boulder, Hossein Hojjat Cornell University, Pavol Cerny University of Colorado Boulder, Nate Foster Cornell University
Pre-print Media Attached
09:40
25m
Talk
Efficient Synthesis of Probabilistic Programs
Research Papers
Aditya Nori Microsoft Research, UK, Sherjil Ozair IIT Delhi, Sriram Rajamani Microsoft Research, Deepak Vijaykeerthy Microsoft Research
Media Attached
10:05
25m
Talk
FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples
Research Papers
Dan Barowy University of Massachusetts Amherst, Sumit Gulwani Microsoft Research, Ted Hart Microsoft Research, Benjamin Zorn Microsoft Research
Media Attached
10:30
25m
Talk
Synthesizing Data Structure Transformations from Input-Output Examples
Research Papers
John Feser Rice University, Swarat Chaudhuri Rice University, Isil Dillig University of Texas, Austin
Media Attached
11:00 - 11:20
Tuesday AM BreakCatering at Exhibit Halls A1-B
11:00
20m
Coffee break
Morning Break
Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:40
AnalysisResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Yannis Smaragdakis University of Athens
14:00
25m
Talk
DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
Research Papers
Akash Lal Microsoft Research India, Shaz Qadeer Microsoft Research
Media Attached File Attached
14:25
25m
Talk
Exploring and Enforcing Security Guarantees via Program Dependence Graphs
Research Papers
Andrew Johnson Harvard University, Lucas Waye Harvard University, Scott Moore Harvard University, Stephen Chong Harvard University
Media Attached
14:50
25m
Talk
Making Numerical Program Analysis Fast
Research Papers
Gagandeep Singh ETH Zurich, Switzerland, Markus Püschel ETH Zurich, Martin Vechev ETH Zurich
Media Attached
15:15
25m
Talk
Tree Dependence Analysis
Research Papers
Yusheng Weijiang Purdue University, Shruthi Balakrishna Purdue University, Jianqiao Liu Purdue University, Milind Kulkarni Purdue University
Media Attached
14:00 - 15:40
14:00
25m
Talk
A Formal C Memory Model Supporting Integer-Pointer Casts
Research Papers
Jeehoon Kang Seoul National University, Chung-Kil Hur Seoul National University, William Mansky University of Pennsylvania, Dmitri Garbuzov University of Pennsylvania, Steve Zdancewic , Viktor Vafeiadis MPI-SWS, Germany
Media Attached
14:25
25m
Talk
Defining the undefinedness of C
Research Papers
Chris Hathhorn University of Missouri, Chucky Ellison University of Illinois, Grigore Roşu University of Illinois at Urbana-Champaign
Media Attached
14:50
25m
Talk
KJS: A Complete Formal Semantics of JavaScript
Research Papers
Daejun Park University of Illinois at Urbana-Champaign, Andrei Stefanescu University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign
Media Attached
15:15
25m
Talk
Verdi: A Framework for Formally Verifying Distributed System Implementations
Research Papers
James R. Wilcox University of Washington, Doug Woos University of Washington, Pavel Panchekha University of Washington, Zachary Tatlock University of Washington, Seattle, Xi Wang University of Washington, Michael D. Ernst University of Washington, Thomas Anderson University of Washington
Media Attached
15:40 - 16:00
15:40
20m
Break
Afternoon Break
Catering

16:00 - 18:00
PLDI Chairs' Report and SIGPLAN Townhall MeetingResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): David Grove IBM Research
16:00
30m
Talk
PLDI Chairs' Report
Research Papers
David Grove IBM Research, Steve Blackburn Australian National University , Eric Eide University of Utah, John Regehr University of Utah
File Attached
16:30
60m
Meeting
ACM SIGPLAN Townhall Meeting
Research Papers
Jan Vitek Northeastern University
16:00 - 18:00
Student Research Competition TalksStudent Research Competition at PLDI Main RED (Portland 256)
Chair(s): Isil Dillig University of Texas, Austin
18:30 - 22:00
18:30
3h30m
PLDI Banquet
Research Papers

Wed 17 Jun

Displayed time zone: Tijuana, Baja California change

08:15 - 09:00
08:15
45m
Break
Breakfast
Catering

08:30 - 09:00
08:30
30m
Talk
One Minute Madness
Research Papers

09:00 - 09:15
09:00
15m
Awards
Student Research Competition Awards Session
Student Research Competition
Isil Dillig University of Texas, Austin
09:15 - 10:55
PerformanceResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Mary Hall University of Utah
09:15
25m
Talk
Automated Detection of Performance Bugs via Static Analysis
Research Papers
Oswaldo Olivo , Isil Dillig University of Texas, Austin, Calvin Lin UT Austin
Media Attached
09:40
25m
Talk
Autotuning Algorithmic Choice for Input Sensitivity
Research Papers
Yufei Ding North Carolina State University, Jason Ansel Massachusetts Institute of Technology, Kalyan Veeramachaneni Massachusetts Institute of Technology, Xipeng Shen North Carolina State University, Una-May O’Reilly Massachusetts Institute of Technology, Saman Amarasinghe MIT
Link to publication Media Attached
10:05
25m
Talk
Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
Research Papers
Charith Mendis MIT CSAIL, Jeffrey Bosboom MIT CSAIL, Kevin Wu MIT CSAIL, Shoaib Kamil MIT CSAIL, USA, Jonathan Ragan-Kelley Stanford, Sylvain Paris Adobe, Qin Zhao Google, Saman Amarasinghe MIT
Media Attached
10:30
25m
Talk
Profile-Guided Meta-Programming
Research Papers
William J. Bowman Northeastern University, Swaha Miller Cisco Systems, Inc, Vincent St-Amour Northeastern University, R. Kent Dybvig Cisco Systems, Inc
Link to publication Media Attached
09:15 - 10:55
Semantics IIResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Robby Findler Northwestern University
09:15
25m
Talk
Declarative Programming over Eventually Consistent Data Stores
Research Papers
KC Sivaramakrishnan University of Cambridge, Gowtham Kaki Purdue University, Suresh Jagannathan Purdue University
Media Attached
09:40
25m
Talk
Blame and coercion: Together again for the first time
Research Papers
Jeremy G. Siek Indiana University, Peter Thiemann University of Freiburg, Philip Wadler University of Edinburgh
Media Attached
10:05
25m
Talk
Lightweight, Flexible Object-Oriented Generics
Research Papers
Yizhou Zhang Cornell University, Andrew C. Myers , Barbara Liskov MIT, Guido Salvaneschi TU Darmstadt, Matt Loring Cornell University
Media Attached
10:30
25m
Talk
Relatively Complete Counterexamples for Higher-Order Programs
Research Papers
Phúc C. Nguyễn , David Van Horn University of Maryland, College Park
Media Attached
11:00 - 11:20
Wednesday AM BreakCatering at Exhibit Halls A1-B
11:00
20m
Coffee break
Morning Break
Catering

11:20 - 12:30
Wednesday Plenary TalkFCRC Plenary Speakers at Exhibit Hall A
11:20
70m
Talk
The F# Path to Relaxation
FCRC Plenary Speakers
Don Syme Microsoft
12:30 - 14:00
Wednesday LunchCatering at Exhibit Halls A1-B
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:40
14:00
25m
Talk
Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments
Research Papers
Murali Krishna Emani The University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh
Media Attached
14:25
25m
Talk
Efficient Execution of Recursive Programs on Commodity Vector Hardware
Research Papers
Bin Ren Pacific Northwest National Laboratories, Youngjoon Jo Purdue University, Sriram Krishnamoorthy Pacific Northwest National Laboratories, Kunal Agrawal Washington University in St. Louis, Milind Kulkarni Purdue University
Media Attached
14:50
25m
Talk
Loop and Data Transformations for Sparse Matrix Code
Research Papers
Anand Venkat University of Utah, Mary Hall University of Utah, Michelle Strout Colorado State University
Media Attached
15:15
25m
Talk
Synthesizing Parallel Graph Programs via Automated Planning
Research Papers
Dimitrios Prountzos The University of Texas at Austin, Texas, USA, Roman Manevich Ben-Gurion University of the Negev, Keshav Pingali University of Texas, Austin
Media Attached
14:00 - 15:40
LogicResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Nate Foster Cornell University
14:00
25m
Talk
Automatic Induction Proofs of Data-Structures in Imperative Programs
Research Papers
Duc-Hiep Chu National University of Singapore, Joxan Jaffar National University of Singapore, Minh-Thai Trinh National University of Singapore
Media Attached
14:25
25m
Talk
Compositional Certified Resource Bounds
Research Papers
Quentin Carbonneaux Yale University, Jan Hoffmann Yale University, Zhong Shao Yale University
Link to publication Media Attached
14:50
25m
Talk
Peer-to-peer Affine Commitment using Bitcoin
Research Papers
Karl Crary Carnegie Mellon University, Michael J. Sullivan
Media Attached
15:15
25m
Talk
Termination and Non-Termination Specification Inference
Research Papers
Ton Chanh Le National University of Singapore, Shengchao Qin Teesside University, Wei-Ngan Chin National University of Singapore
Media Attached
15:40 - 16:00
15:40
20m
Break
Afternoon Break
Catering

16:00 - 17:40
Synthesis IIResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Isil Dillig University of Texas, Austin
16:00
25m
Talk
Concurrency Debugging with Differential Schedule Projections
Research Papers
Nuno Machado INESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Brandon Lucia Carnegie Mellon University, Luís Rodrigues Universidade de Lisboa, Instituto Superior Técnico, INESC-ID
Media Attached
16:25
25m
Talk
Synthesis of Machine Code from Semantics
Research Papers
Venkatesh Srinivasan University of Wisconsin - Madison, Thomas Reps University of Wisconsin - Madison and Grammatech Inc.
Media Attached
16:50
25m
Talk
Synthesis of ranking functions using extremal counterexamples
Research Papers
Laure Gonnord University of Lyon & LIP, France, David Monniaux CNRS, VERIMAG, Gabriel Radanne Université Denis Diderot Paris 7, PPS
Media Attached
17:15
25m
Talk
Type-and-Example-Directed Program Synthesis
Research Papers
Peter-Michael Osera University of Pennsylvania, Steve Zdancewic
Media Attached
16:00 - 17:40
PotpourriResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Tiark Rompf Purdue & Oracle Labs
16:00
25m
Talk
Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises
Research Papers
Stefan Marr Inria, France, Chris Seaton Oracle Labs / University of Manchester, Stéphane Ducasse INRIA Lille
Media Attached
16:25
25m
Talk
Finding Counterexamples from Parsing Conflicts
Research Papers
Media Attached
16:50
25m
Talk
Interactive Parser Synthesis by Example
Research Papers
Alan Leung University of California, San Diego, John Sarracino University of California, San Diego, Sorin Lerner University of California, San Diego
Media Attached
17:15
25m
Talk
A Simpler, Safer Programming and Execution Model for Intermittent Systems
Research Papers
Brandon Lucia Carnegie Mellon University, Benjamin Ransford University of Washington
Media Attached