PLOOC 2015
Sat 13 - Wed 17 June 2015 Portland, Oregon, United States
co-located with PLDI 2015
VenueOregon Convention Center
Room namePLDI Main BLUE (Portland 254-255)
Floor2
Room numberPortland 254-255
Capacity590
Room InformationNo extra information available
Program

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

Mon 15 Jun

Displayed time zone: Tijuana, Baja California change

09:00 - 11:00
Distinguished PapersPLDI Research Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Steve Blackburn Australian National University
09:00
15m
Day opening
Opening and Welcome
PLDI Research Papers
Steve Blackburn Australian National University , David Grove IBM Research
09:15
25m
Talk
Automatically Improving Accuracy for Floating Point Expressions
PLDI 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
PLDI Research Papers
Danfeng Zhang Cornell University, Andrew Myers , Dimitrios Vytiniotis Microsoft Research, Cambridge, Simon Peyton Jones Microsoft Research, Cambridge
Media Attached
10:05
25m
Talk
Provably Correct Peephole Optimizations with Alive
PLDI 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
PLDI Research Papers

14:00 - 15:40
VerificationPLDI Research 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
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
Joseph Tassarotti Carnegie Mellon University, Derek Dreyer MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany
Media Attached
16:00 - 17:40
16:00
25m
Talk
Asynchronous Programming, Analysis and Testing with State Machines
PLDI 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
PLDI Research Papers
Jeff Huang Texas A&M University
Media Attached
16:50
25m
Talk
Synthesizing racy tests
PLDI 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
PLDI Research Papers
Eric Koskinen IBM TJ Watson Research Center, Matthew J. Parkinson Microsoft Research, UK
Media Attached

Tue 16 Jun

Displayed time zone: Tijuana, Baja California change

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

09:15 - 10:55
09:15
25m
Talk
Composing Concurrency Control
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
Stephen Longfield Cornell University, Brittany Nkounkou Cornell University, Rajit Manohar Cornell University, Ross Tate Cornell University
Media Attached
14:00 - 15:40
14:00
25m
Talk
DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
Yusheng Weijiang Purdue University, Shruthi Balakrishna Purdue University, Jianqiao Liu Purdue University, Milind Kulkarni Purdue University
Media Attached
16:00 - 18:00
PLDI Chairs' Report and SIGPLAN Townhall MeetingPLDI Research Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): David Grove IBM Research
16:00
30m
Talk
PLDI Chairs' Report
PLDI 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
PLDI Research Papers
Jan Vitek Northeastern University

Wed 17 Jun

Displayed time zone: Tijuana, Baja California change

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

09:00 - 09:15
09:00
15m
Awards
Student Research Competition Awards Session
PLDI Student Research Competition
Işıl Dillig University of Texas, Austin
09:15 - 10:55
PerformancePLDI Research 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
PLDI Research Papers
Oswaldo Olivo , Işıl Dillig University of Texas, Austin, Calvin Lin UT Austin
Media Attached
09:40
25m
Talk
Autotuning Algorithmic Choice for Input Sensitivity
PLDI 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
PLDI 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
PLDI 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
14:00 - 15:40
14:00
25m
Talk
Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments
PLDI 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
PLDI 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
PLDI 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
PLDI 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
16:00 - 17:40
Synthesis IIPLDI Research Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Işıl Dillig University of Texas, Austin
16:00
25m
Talk
Concurrency Debugging with Differential Schedule Projections
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
Peter-Michael Osera University of Pennsylvania, Steve Zdancewic
Media Attached