Program - PLDI 2016

Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States

Filter

Mon 13 Jun

08:00 - 08:45: Catering - Breakfast at Rosa/Cruz Foyer

08:00 - 08:45

08:50 - 09:00: LCTES - Opening Remarks at Sierra Madre North

08:50 - 09:00
Day opening

Opening Remarks

09:00 - 10:00: Tutorials - How Should We Program Non-volatile Memory? at Santa Cruz East

09:00 - 10:00
Talk

How Should We Program Non-volatile Memory?

Dhruva Chakrabarti, Haris Volos, Indrajit Roy

09:00 - 10:00: FMS - Invited Talks Session I at Santa Rosa East

09:00 - 09:15
Day opening

Opening remarks

09:15 - 10:00
Talk

Privacy and Algorithmic Accountability

09:00 - 10:00: LCTES - LCTES Keynote #1 at Sierra Madre North
Chair(s): Tei-Wei Kuo

09:00 - 10:00
Talk

Smart Embedded Computing through Self-Awareness

09:00 - 10:00: Tutorials - RyuJIT: Open Source JIT Compiler for .NET at Santa Cruz West

09:00 - 10:00
Talk

RyuJIT: Open Source JIT Compiler for .NET

Link to publication

10:30 - 12:00: Tutorials - How Should We Program Non-volatile Memory? at Santa Cruz East

10:30 - 12:00
Talk

How Should We Program Non-volatile Memory?

Dhruva Chakrabarti, Haris Volos, Indrajit Roy

10:30 - 12:00: FMS - Invited Talks Session II at Santa Rosa East

10:30 - 11:15
Talk

Report on the NSF Workshop on Formal Methods for Security

Stephen Chong, Joshua Guttman

11:15 - 12:00
Talk

Ironclad: Full Verification of Complex Systems

10:30 - 12:00: Tutorials - RyuJIT: Open Source JIT Compiler for .NET at Santa Cruz West

10:30 - 12:00
Talk

RyuJIT: Open Source JIT Compiler for .NET

Link to publication

10:30 - 12:00: LCTES - Session 1: Dynamic Translation and Iterative Compilation at Sierra Madre North
Chair(s): Alastair Reid

10:30 - 11:00
Talk

Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator

Tom Spink, Harry Wagstaff, Björn Franke

11:00 - 11:30
Talk

Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems

Forrest Robinson, Michael Jantz, Prasad Kulkarni

11:30 - 12:00
Talk

A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach

Ricardo Nobre, João M. P. Cardoso, Luiz G. A. Martins

12:00 - 13:30: Catering - Lunch at Plaza del Sol

12:00 - 13:30

13:30 - 15:00: FMS - Invited Talks Session III at Santa Rosa East

13:30 - 14:15
Talk

Scalable Security Analysis of Android Apps

Gogul Balakrishnan

14:15 - 15:00
Talk

Verifying Constant-Time Implementations

13:30 - 15:00: Tutorials - One VM to Rule Them All, One VM to Bind Them at Santa Cruz West

13:30 - 15:00
Talk

One VM to Rule Them All, One VM to Bind Them

Christian Wimmer

Link to publication

13:30 - 15:00: LCTES - Session 2: Loop and Dataflow Analysis at Sierra Madre North
Chair(s): Che-Wei Chang

13:30 - 14:00
Talk

Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences

Kunal Banerjee, Chittaranjan Mandal, Dipankar Sarkar

14:00 - 14:30
Talk

Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization

Yulei Sui, Xiaokang Fan, Hao Zhou, Jingling Xue

14:30 - 15:00
Talk

Generalized Cache Tiling for Dataflow Programs

Lukasz Domagala, Duco van Amstel, Fabrice Rastello

13:30 - 15:00: Tutorials - String Analysis for Vulnerability Detection and Repair at Santa Cruz East

13:30 - 15:00
Talk

String Analysis for Vulnerability Detection and Repair

Tevfik Bultan, Abdulbaki Aydin, Lucas Bang

15:30 - 17:00: FMS - Breakout sessions and Panel Discussions at Santa Rosa East

15:30 - 16:15
Other

Breakout Sessions

16:15 - 17:00
Other

Panel Discussion

15:30 - 17:00: Tutorials - One VM to Rule Them All, One VM to Bind Them at Santa Cruz West

15:30 - 17:00
Talk

One VM to Rule Them All, One VM to Bind Them

Christian Wimmer

Link to publication

15:30 - 17:00: LCTES - Session 3: Presentations of Posters at Sierra Madre North
Chair(s): Michael Jantz

15:30 - 15:40
Talk

The LARA-based Compiler Toolsuite

Tiago Carvalho, João Bispo, Pedro Pinto, Luís Reis, Ricardo Nobre, João M. P. Cardoso

15:40 - 15:50
Talk

Energy-Saving Designs for Mobile Devices with Non-Volatile Memory

15:50 - 16:00
Talk

Pseudo-preemptive Threads for Reliable and Maintainable Multitasking Software

Benjamin Ylvisaker

16:00 - 16:10
Talk

On Compiling MATLAB to C: Recent Achievements, Challenges and Open Issues

Luís Reis, João Bispo, João M. P. Cardoso

16:10 - 16:20
Talk

The Scheduling of Parallel Tasks in Heterogeneous Real-Time Systems

16:20 - 16:30
Talk

Improving Energy-Bound Application Effectiveness through Redundancy and Approximation

Liu Liu, Timothy Yong, Jonathan Risinger, Sibren Isaacman, Abhishek Bhattacharjee, Ulrich Kremer

16:30 - 16:40
Talk

Compiling with the Regionalized Value State Dependence Graph

Nico Reissmann, Helge Bahmann, Magnus Jahre

15:30 - 17:00: Tutorials - String Analysis for Vulnerability Detection and Repair at Santa Cruz East

15:30 - 17:00
Talk

String Analysis for Vulnerability Detection and Repair

Tevfik Bultan, Abdulbaki Aydin, Lucas Bang

Tue 14 Jun

08:00 - 08:45: Catering - Breakfast at Sierra Madre Foyer

08:00 - 08:45

08:30 - 10:00: PLMW@PLDI 2016 - Welcome and Keynote at Grand Ballroom Santa Ynez

08:30 - 08:45
Day opening

Welcome message

08:45 - 09:15
Talk

Research is a Social Process

Kathryn S McKinley

09:15 - 10:00
Talk

Keynote: “Love, Marriage, and Happiness”

Matthias Felleisen

08:50 - 10:10: ISMM - Keynote at Sierra Madre South
Chair(s): Zheng Zhang

08:50 - 09:00
Talk

Opening Remarks

Christine H. Flood

09:00 - 10:10
Talk

Keynote talk: Rethinking Memory System Design

09:00 - 10:00: LCTES - Keynote #2 at Sierra Madre North
Chair(s): David B. Whalley

09:00 - 10:00
Talk

Achieving Yield, Density and Performance Effective DRAM

09:00 - 10:00: Tutorials - PROSE: Programming using Examples at Santa Cruz West

09:00 - 10:00
Talk

PROSE: Programming using Examples

Sumit Gulwani, Oleksandr Polozov

09:00 - 10:00: ARRAY - Session 1 at Santa Rosa West

09:00 - 10:00
Talk

Invited talk: Lessons Learned in Array Programming: from ZPL to Chapel

Brad Chamberlain

09:00 - 10:00: SOAP - Session I at San Miguel East
Chair(s): Charles Zhang

09:00 - 09:10
Day opening

Opening Remarks

09:10 - 10:00
Talk

Invited Talk: Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution

09:00 - 10:00: Tutorials - Using PinPlay for Reproducible Analysis and Replay Debugging at Santa Cruz East

09:00 - 10:00
Talk

Using PinPlay for Reproducible Analysis and Replay Debugging

Harish Patil, Ady Tal, Ariel Slonim, Singh Vineet

Link to publication

09:00 - 10:00: X10 - Welcome and Tutorial at Santa Rosa East

09:00 - 09:10
Day opening

Opening and Welcome

Claudia Fohry, Olivier Tardieu

09:10 - 10:00
Talk

Introduction to (Resilient) X10 and APGAS -- slides are attached

Olivier Tardieu

10:30 - 12:10: ISMM - Concurrent Memory Management at Sierra Madre South
Chair(s): Ben Titzer

10:30 - 10:55
Talk

Block-Free Concurrent GC: Stack Scanning and Copying

Erik Österlund, Welf Löwe

10:55 - 11:20
Talk

Characterizing Emerging Heterogeneous Memory

Du Shen, Xu Liu, Felix Lin

11:20 - 11:45
Talk

Hardware Support for Protective and Collaborative Cache Sharing

Raj Parihar, Jacob Brock, Chen Ding, Michael Huang

11:45 - 12:10
Talk

Fast Non-intrusive Memory Reclamation for Highly-Concurrent Data Structures

Dave Dice, Maurice Herlihy, Alex Kogan

10:30 - 12:00: Tutorials - PROSE: Programming using Examples at Santa Cruz West

10:30 - 12:00
Talk

PROSE: Programming using Examples

Sumit Gulwani, Oleksandr Polozov

10:30 - 12:00: X10 - Research Papers at Santa Rosa East

10:30 - 11:00
Talk

Control Structure Overloading in X10

Louis Mandel, Josh Milthorpe, Olivier Tardieu

Link to publication DOI File Attached

11:00 - 11:30
Talk

A Memory Model for X10

Andreas Zwinkau

Link to publication DOI File Attached

11:30 - 12:00
Talk

Cooperation vs. Coordination for Lifeline-Based Global Load Balancing in APGAS

Jonas Posner, Claudia Fohry

Link to publication DOI File Attached

10:30 - 12:00: ARRAY - Session 2 at Santa Rosa West

10:30 - 10:55
Talk

Array Program Transformation with Loo.py by Example: High-Order Finite Elements

Andreas Kloeckner, Lucas Wilcox, Tim Warburton

10:55 - 11:20
Talk

Data-Race Detection: The Missing Piece for an End-to-end Semantic Equivalence Checker for Parallelizing Transformations of Array-Intensive Programs

Kunal Banerjee, Soumyadip Bandyopadhyay, Santonu Sarkar

11:20 - 11:45
Talk

Design and GPGPU Performance of Futhark's Redomap Construct

Troels Henriksen, Ken Friis Larsen, Cosmin Oancea

11:45 - 12:00
Talk

Object Support in an Array-based GPGPU Extension for Ruby

Matthias Springer, Hidehiko Masuhara

10:30 - 12:00: LCTES - Session 4: Worst-Case Analysis and Error Handling at Sierra Madre North
Chair(s): João M. P. Cardoso

10:30 - 11:00
Talk

Symbolic Execution for Memory Consumption Analysis

Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh

11:00 - 11:30
Talk

TIC: A Scalable Model Checking Based Approach to WCET Estimation

Ravindra Metta, Martin Becker, Prasad Bokil, R. Venkatesh, Samarjit Chakraborty

11:30 - 12:00
Talk

Compensate or Ignore? Meeting control robustness requirements through adaptive Soft-Error Handling

Kuan-Hsun Chen, Björn Bönninghoff, Jian-Jia Chen, Peter Marwedel

10:30 - 12:00: SOAP - Session II at San Miguel East
Chair(s): Charles Zhang

10:30 - 10:50
Talk

Towards Cross-Platform Cross-Language Analysis with Soot

Steven Arzt, Tobias Kussmaul, Eric Bodden

10:50 - 11:10
Talk

Iceberg: A Tool for Static Analysis of Java Critical Sections

Michael D. Shah, Sam Guyer

11:10 - 11:30
Talk

Toward an Automated Benchmark Management System

Lisa Nguyen Quang Do, Michael Eichberg, Eric Bodden

11:30 - 12:00
Talk

Invited Talk: Probabilistic Learning from Big Code

10:30 - 12:00: PLMW@PLDI 2016 - Technical Talks at Grand Ballroom Santa Ynez

10:30 - 10:55
Talk

Fighting Software Inefficiency Through Automated Bug Detection

10:55 - 11:20
Talk

The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations

Steve Blackburn

11:20 - 11:45
Talk

Approximate Computing: it's better than good, it's good enough!

10:30 - 12:00: Tutorials - Using PinPlay for Reproducible Analysis and Replay Debugging at Santa Cruz East

10:30 - 12:00
Talk

Using PinPlay for Reproducible Analysis and Replay Debugging

Harish Patil, Ady Tal, Ariel Slonim, Singh Vineet

Link to publication

12:00 - 13:30: Catering - Lunch at Plaza del Sol

12:00 - 13:30

12:45 - 13:30: PLMW@PLDI 2016 - Mentoring at Grand Ballroom Santa Ynez

12:45 - 13:30
Social Event

13:30 - 15:00: Tutorials - Cross-platform analysis of mobile apps using the WALA framework at Santa Cruz West

13:30 - 15:00
Talk

Cross-platform analysis of mobile apps using the WALA framework

Julian Dolby, Omer Tripp, Sukyoung Ryu

13:30 - 15:00: Tutorials - Dynamic analysis of JavaScript with Jalangi at Santa Cruz East

13:30 - 15:00
Talk

Dynamic analysis of JavaScript with Jalangi

Manu Sridharan, Koushik Sen, Liang Gong

13:30 - 15:00: X10 - Keynote and Research Paper at Santa Rosa East

13:30 - 14:30
Talk

Keynote: Tracking and Constraining Work Stealing Schedulers

Sriram Krishnamoorthy

14:30 - 15:00
Talk

Resilient X10 over MPI User Level Failure Mitigation

Sara S. Hamouda, Benjamin Herta, Josh Milthorpe, David Grove, Olivier Tardieu

Link to publication DOI Pre-print File Attached

13:30 - 15:10: ISMM - Non-traditional and Datacenter Scale Memory System at Sierra Madre South
Chair(s): Steve Heller

13:30 - 13:55
Talk

Understanding and Improving JVM GC Work Stealing at the Data Center Scale

Wessam Hassanein

13:55 - 14:20
Talk

Persistence Programming Models for Non-Volatile Memory

Hans-J. Boehm, Dhruva Chakrabarti

14:20 - 14:45
Talk

CBufs: Efficient, System-Wide Memory Management and Sharing

Yuxin Ren, Gabriel Parmer, Gedare Bloom, Teo Georgiev

14:45 - 15:10
Talk

A bounded memory allocator for software-defined global address spaces

Fabrice Rastello, Albert Cohen, Francois Gindraud, Francois Broquedis

13:30 - 15:00: PLMW@PLDI 2016 - Professional Development at Grand Ballroom Santa Ynez

13:30 - 13:45
Talk

Professional Communication

13:45 - 14:00
Talk

14:00 - 14:15
Talk

Getting People to Listen

14:15 - 15:00
Other

Panel: Career Paths

Mary Hall, John Davis, Shan Shan Huang, Milind Kulkarni

13:30 - 15:00: ARRAY - Session 3 at Santa Rosa West

13:30 - 14:30
Talk

Invited talk: Notation for Parallel Thoughts

Morten Kromberg

14:30 - 14:55
Talk

The Key to a Data Parallel Compiler

13:30 - 15:00: LCTES - Session 5: Computation Partitioning at Sierra Madre North
Chair(s): Joxan Jaffar

13:30 - 14:00
Talk

Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems

Prasenjit Chakraborty, Gautam Doshi, Vikrant Kumar, Shashank Shekhar

14:00 - 14:30
Talk

Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture

Phitchaya Mangpo Phothilimthana, Michael Schuldt, Rastislav Bodik

14:30 - 15:00
Talk

A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors

Paul-Jules Micolet, Christophe Dubach, Aaron Smith

13:30 - 15:00: SOAP - Session III at San Miguel East
Chair(s): Eric Bodden

13:30 - 14:20
Talk

Invited Talk: Machine-code analysis and transformation at GrammaTech

14:20 - 14:40
Talk

On The Unsoundness of Static Analysis for Android GUIs

Yan Wang, Hailong Zhang, Atanas Rountev

14:40 - 15:00
Talk

Verifying Precise Floating-Point Optimizations in LLVM

andres Notzli, Fraser Brown

15:30 - 17:00: Tutorials - Cross-platform analysis of mobile apps using the WALA framework at Santa Cruz West

15:30 - 17:00
Talk

Cross-platform analysis of mobile apps using the WALA framework

Julian Dolby, Omer Tripp, Sukyoung Ryu

15:30 - 17:00: Tutorials - Dynamic analysis of JavaScript with Jalangi at Santa Cruz East

15:30 - 17:00
Talk

Dynamic analysis of JavaScript with Jalangi

Manu Sridharan, Koushik Sen, Liang Gong

15:30 - 17:10: ISMM - Modeling, Characterization, and Tools at Sierra Madre South
Chair(s): Hans-J. Boehm

15:30 - 15:55
Talk

Rust as a Language for High Performance GC Implementation

Yi Lin, Steve Blackburn, Tony Hosking, Michael Norrish

15:55 - 16:20
Talk

Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future

Man Cao, Jake Roemer, Aritra Sengupta, Michael Bond

16:20 - 16:45
Talk

Rethinking a Heap Hierarchy as a Cache Hierarchy: A Higher-Order Theory of Memory Demand (HOTM)

Pengcheng Li, Hao Luo, Chen Ding

16:45 - 17:10
Talk

Liveness-Based Garbage Collection for Lazy Languages

Prasanna Kumar, Amitabha Sanyal, Amey Karkare

15:30 - 17:00: X10 - Research Papers at Santa Rosa East

15:30 - 16:00
Talk

ActorX10: An Actor Library for X10

Sascha Roloff, Alexander Pöppl, Tobias Schwarzer, Stefan Wildermann, Michael Bader, Michael Glaß, Frank Hannig, Jürgen Teich

Link to publication DOI File Attached

16:00 - 16:20
Talk

SWE-X10: An Actor-Based and Locally Coordinated Solver for the Shallow Water Equations

Alexander Pöppl, Michael Bader

Link to publication DOI File Attached

16:20 - 16:40
Talk

A Case for Distributed Work-Stealing in Regular Applications

Brendan Sheridan, Jeremy Fineman

Link to publication DOI File Attached

16:40 - 17:00
Day closing

Closing Remarks

Claudia Fohry, Olivier Tardieu

15:30 - 17:00: ARRAY - Session 4 at Santa Rosa West

15:30 - 15:55
Talk

Automatic Generation of Parallel C Code for Stencil Applications written in MATLAB

Johannes Spazier, Steffen Christgau, Bettina Schnor

15:55 - 16:20
Talk

Extending C++ with Co-Array semantics

Antoine Tran Tan, Hartmut Kaiser

16:20 - 16:45
Talk

SSA-based MATLAB-to-C Compilation and Optimization

Luís Reis, João Bispo, João Cardoso

16:45 - 17:00
Talk

TTC: A Tensor Transposition Compiler for Multiple Architectures

Paul Springer, Aravind Sankaran, Paolo Bientinesi

15:30 - 17:00: LCTES - Session 6: Poster Session at Sierra Madre North

15:30 - 17:00: SOAP - Session IV at San Miguel East

15:30 - 16:15
Talk

Invited Talk: Toward Gamification of Proofs about Programs

16:15 - 17:00
Talk

Invited Talk: Falcon: Towards an industrial strength heap analyzer

15:30 - 17:00: PLMW@PLDI 2016 - Technical Talks at Grand Ballroom Santa Ynez

15:30 - 15:55
Talk

What’s Next for Program Synthesis

Armando Solar-Lezama

15:55 - 16:20
Talk

Programming-language Runtime Systems in Datacenters

16:20 - 16:45
Talk

Programming with Estimates

17:00 - 17:45: PLMW@PLDI 2016 - Panel at Grand Ballroom Santa Ynez

17:00 - 17:45
Other

Panel: What I Wish I Knew When I Started Grad School

Ben Wiedermann, Sam Blackshear, Alvin Cheung, Ravi Chugh, Cindy Rubio-Gonzalez, Jean Yang

Wed 15 Jun

08:00 - 08:45: Catering - Breakfast at Rafael/Ynez Foyer

08:00 - 08:45

08:45 - 09:00: Invited Speakers - Chair's Welcome and Distinguished Paper Announcements at Grand Ballroom San Rafael & Santa Ynez
Chair(s): Emery Berger, Chandra Krintz

09:00 - 10:00: Invited Speakers - Keynote #1 at Grand Ballroom San Rafael & Santa Ynez

09:00 - 10:00
Talk

Programming Languages and Technical Disruption

10:30 - 12:00: Research Papers - Down to the Metal I at Grand Ballroom Santa Ynez
Chair(s): Stephen McCamant

10:30 - 11:00
Talk

Into the depths of C: elaborating the de facto standards

Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. Watson, Peter Sewell

Link to publication Media Attached

11:00 - 11:30
Talk

Living on the edge: Rapid-toggling probes with cross modification on x86

Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton

Pre-print Media Attached

11:30 - 12:00
Talk

Polymorphic Type Inference for Machine Code

Matt Noonan, Alexey Loginov, David Cok

Pre-print Media Attached

10:30 - 12:00: Research Papers - Verification I at Grand Ballroom San Rafael
Chair(s): Isil Dillig

10:30 - 11:00
Talk

Data-Driven Precondition Inference with Learned Features

Saswat Padhi, Rahul Sharma, Todd Millstein

11:00 - 11:30
Talk

Cartesian Hoare Logic for Verifying k-Safety Properties

Marcelo Sousa, Isil Dillig

11:30 - 12:00
Talk

Verifying Bit Manipulations of Floating-Point

Wonyeol Lee, Rahul Sharma, Alex Aiken

12:00 - 13:30: Catering - Lunch at Plaza del Sol

12:00 - 13:30

13:30 - 15:00: Research Papers - Energy & Performance at Grand Ballroom San Rafael
Chair(s): Manuel Hermenegildo

13:30 - 14:00
Talk

Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses

Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noel Pouchet, J. Ramanujam, Fabrice Rastello, P. (Saday) Sadayappan

14:00 - 14:30
Talk

GreenWeb: Language Extensions for Energy-Efficient Mobile Web Computing

Yuhao Zhu, Vijay J. Reddi

Link to publication Media Attached

14:30 - 15:00
Talk

Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation

Michael A. Laurenzano, Parker Hill, Mehrzad Samadi, Scott Mahlke, Jason Mars, Lingjia Tang

13:30 - 15:00: Research Papers - Testing & Debugging at Grand Ballroom Santa Ynez
Chair(s): Benjamin Zorn

13:30 - 14:00
Talk

Coverage-Directed Differential Testing of JVM Implementations

Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao

14:00 - 14:30
Talk

Exposing Errors Related to Weak Memory in GPU Applications

Tyler Sorensen, Alastair Donaldson

Pre-print Media Attached

14:30 - 15:00
Talk

Lightweight Computation Tree Tracing for Lazy Functional Languages

Maarten Faddegon, Olaf Chitil

15:30 - 17:00: Research Papers - New Languages at Grand Ballroom Santa Ynez
Chair(s): Michael Carbin

15:30 - 16:00
Talk

Configuration Synthesis for Programmable Analog Devices with Arco

Sara Achour, Rahul Sarpeshkar, Martin Rinard

16:00 - 16:30
Talk

From Datalog to Flix: A Declarative Language for Fixed Points on Lattices

Magnus Madsen, Ming-Ho Yee, Ondřej Lhoták

DOI Media Attached

16:30 - 17:00
Talk

Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks

Leonard Truong, Rajkishore Barik, Ehsan Totoni, Hai Liu, Chick Markley, Armando Fox, Tatiana Shpeisman

15:30 - 17:00: Research Papers - Parsing & Compilation at Grand Ballroom San Rafael
Chair(s): Michelle Strout

15:30 - 16:00
Talk

Automatic Storage Optimization for Arrays [TOPLAS]

Somashekaracharya G Bhaskaracharya, Uday Bondhugula, Albert Cohen

16:00 - 16:30
Talk

Polyhedral AST generation is more than scanning polyhedra [TOPLAS]

Tobias Grosser, Sven Verdoolaege, Albert Cohen

16:30 - 17:00
Talk

On the Complexity and Performance of Parsing with Derivatives

Michael D. Adams, Celeste Hollenbeck, Matthew Might

Pre-print Media Attached

17:00 - 18:00: Invited Speakers - Program Chair's Report and SIGPLAN Town Hall Meeting at Grand Ballroom Santa Ynez

17:00 - 18:00
Meeting

Program Chair's Report and SIGPLAN Town Hall Meeting

18:00 - 20:00: Catering - Poster Reception at Plaza del Sol

18:00 - 20:00

Poster Reception

Thu 16 Jun

08:00 - 08:45: Catering - Breakfast at Plaza del Sol

08:00 - 08:45

09:00 - 10:00: Invited Speakers - Keynote #2 at Grand Ballroom San Rafael & Santa Ynez

09:00 - 10:00
Talk

Programming a Warehouse-scale Computer

Luiz André Barroso

10:30 - 12:00: Research Papers - Down to the Metal II at Grand Ballroom Santa Ynez
Chair(s): Hans-J. Boehm

10:30 - 11:00
Talk

Stratified Synthesis: Automatically Learning the x86-64 Instruction Set

Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken

DOI Pre-print Media Attached

11:00 - 11:30
Talk

Remix: Online Detection and Repair of Cache Contention for the JVM

Ariel Eizenberg, Shiliang Hu, Gilles Pokam, Joseph Devietti

11:30 - 12:00
Talk

Statistical Similarity of Binaries

Yaniv David, Nimrod Partush, Eran Yahav

10:30 - 12:00: Research Papers - Types I at Grand Ballroom San Rafael
Chair(s): David Walker

10:30 - 11:00
Talk

Accepting Blame for Safe Tunneled Exceptions

Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew Myers

Link to publication DOI Media Attached

11:00 - 11:30
Talk

Occurrence Typing Modulo Theories

Andrew Kent, David Kempe II, Sam Tobin-Hochstadt

Pre-print Media Attached

11:30 - 12:00
Talk

Refinement Types for TypeScript

Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala

12:00 - 13:30: Catering - Lunch at Plaza del Sol

12:00 - 13:30

13:30 - 15:00: Student Research Competition - Session 1 at Sierra Madre South

13:30 - 15:00
Talk

Presentation Session

13:30 - 15:00: Research Papers - Software-Defined Networking at Grand Ballroom San Rafael
Chair(s): Todd Millstein

13:30 - 14:00
Talk

Event-driven Network Programming

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerny

Pre-print Media Attached

14:00 - 14:30
Talk

Temporal NetKAT

Ryan Beckett, Michael Greenberg, David Walker

14:30 - 15:00
Talk

SDNRacer: Concurrency Analysis for Software-Defined Networks

Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin Vechev

13:30 - 15:00: Research Papers - Synthesis I at Grand Ballroom Santa Ynez
Chair(s): Eran Yahav

13:30 - 14:00
Talk

MapReduce Program Synthesis

Calvin Smith, Aws Albarghouthi

14:00 - 14:30
Talk

Programmatic and Direct Manipulation, Together at Last

Ravi Chugh, Brian Hempel, Mitchell Spradlin, Jacob Albers

Pre-print Media Attached

14:30 - 15:00
Talk

Fast Synthesis of Fast Collections

Calvin Loncaric, Emina Torlak, Michael D. Ernst

15:30 - 17:00: Student Research Competition - Session 2 at Sierra Madre South

15:30 - 17:00
Talk

Presentation Session

15:30 - 17:00: Research Papers - Types II at Grand Ballroom San Rafael
Chair(s): Jean Yang

15:30 - 16:00
Talk

Just-in-Time Static Type Checking for Dynamic Languages

Brianna M. Ren, Jeffrey S. Foster

16:00 - 16:30
Talk

Types from data: Making structured data first-class citizens in F#

Tomas Petricek, Don Syme, Gustavo Guerra

Pre-print Media Attached

16:30 - 17:00
Talk

Automatically Learning Shape Specifications

He Zhu, Gustavo Petri, Suresh Jagannathan

15:30 - 17:00: Research Papers - Verifying Systems at Grand Ballroom Santa Ynez
Chair(s): Santosh Nagarakatte

15:30 - 16:00
Talk

Rehearsal: A Configuration Verification Tool for Puppet

Rian Shambaugh, Aaron Weiss, Arjun Guha

16:00 - 16:30
Talk

Toward Compositional Verification of Interruptible OS Kernels and Device Drivers

Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu

Pre-print Media Attached

16:30 - 17:00
Talk

Verified Peephole Optimizations for CompCert

Eric Mullen, Daryl Zuniga, Zachary Tatlock, Dan Grossman

Pre-print Media Attached

17:00 - 18:00: Research Papers - Parallelism I at Grand Ballroom San Rafael
Chair(s): Tony Hosking

17:00 - 17:30
Talk

Higher-Order and Tuple-Based Massively-Parallel Prefix Sums

Sepideh Maleki, Annie Yang, Martin Burtscher

Pre-print Media Attached

17:30 - 18:00
Talk

A Distributed OpenCL Framework using Redundant Computation and Data Replication

Junghyun Kim, Gangwon Jo, Jaehoon Jung, Jungwon Kim, Jaejin Lee

17:00 - 18:00: Research Papers - Synthesis II at Grand Ballroom Santa Ynez
Chair(s): Martin Vechev

17:00 - 17:30
Talk

Synthesizing Transformations on Hierarchically Structured Data

Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri

17:30 - 18:00
Talk

Program Synthesis from Polymorphic Refinement Types

Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama

18:15 - 21:30: Catering - Banquet at Santa Barbara Maritime Museum

18:15 - 21:30

Fri 17 Jun

08:00 - 08:45: Catering - Breakfast at Plaza del Sol

08:00 - 08:45

08:45 - 09:00: Invited Speakers - SRC Awards, PLDI’17 Introduction at Grand Ballroom Santa Ynez
Chair(s): Ben Hardekopf, Albert Cohen

09:00 - 10:00: Research Papers - Memory Management at Grand Ballroom Santa Ynez
Chair(s): Sam Guyer

09:00 - 09:30
Talk

Idle Time Garbage Collection Scheduling

Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer

09:30 - 10:00
Talk

Assessing the Limits of Program-Specific Garbage Collection Performance

Nicholas Jacek, Meng-Chieh Chiu, Benjamin Marlin, Eliot Moss

09:00 - 10:00: Research Papers - Verification II at Grand Ballroom San Rafael
Chair(s): Armando Solar-Lezama

09:00 - 09:30
Talk

Cardinalities and Universal Quantifiers for Verifying Parameterized Systems

Nikolaj Bjørner, Klaus Gleissenthall, Andrey Rybalchenko

09:30 - 10:00
Talk

Ivy: Safety Verification by Interactive Generalization

Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, Sharon Shoham

10:30 - 12:00: Research Papers - Parallelism II at Grand Ballroom San Rafael
Chair(s): Albert Cohen

10:30 - 11:00
Talk

Transactional Data Structure Libraries

Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar

11:00 - 11:30
Talk

FlexVec: Auto-Vectorization for Irregular Loops

Sara Baghsorkhi, Nalini Vasudevan, Youfeng Wu

11:30 - 12:00
Talk

Verified Lifting of Stencil Computations

Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama

10:30 - 12:00: Research Papers - Security at Grand Ballroom Santa Ynez
Chair(s): Andrew Myers

10:30 - 11:00
Talk

Precise, Dynamic Information Flow for Database-Backed Applications

Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong

Link to publication Media Attached

11:00 - 11:30
Talk

End-to-End Verification of Information-Flow Security for C and Assembly Programs

David Costanzo, Zhong Shao, Ronghui Gu

Pre-print Media Attached

11:30 - 12:00
Talk

A Design and Verification Methodology for Secure Isolated Regions

Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram Rajamani, Sanjit Seshia, Kapil Vaswani

Mon 13 Jun 2016


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Plaza del Sol																																																	Catering Lunch 12:00 - 13:30
Rosa/Cruz Foyer	Catering Breakfast 08:00 - 08:45
Santa Cruz East													Tutorials How Should We Program Non-volatile Memory? 09:00 - 10:00																		Tutorials How Should We Program Non-volatile Memory? 10:30 - 12:00
Santa Cruz East																																																																	Tutorials String Analysis for Vulnerability Detection and Repair 13:30 - 15:00																								Tutorials String Analysis for Vulnerability Detection and Repair 15:30 - 17:00
Santa Cruz West													Tutorials RyuJIT: Open Source JIT Compiler for .NET 09:00 - 10:00																		Tutorials RyuJIT: Open Source JIT Compiler for .NET 10:30 - 12:00
Santa Cruz West																																																																	Tutorials One VM to Rule Them All, One VM to Bind Them 13:30 - 15:00																								Tutorials One VM to Rule Them All, One VM to Bind Them 15:30 - 17:00
Santa Rosa East													FMS Invited Talks Session I 09:00 - 10:00																		FMS Invited Talks Session II 10:30 - 12:00																																				FMS Invited Talks Session III 13:30 - 15:00																								FMS Breakout sessions and Panel Discussions 15:30 - 17:00
Sierra Madre North											LCTES Opening Remarks 08:50 - 09:00		LCTES LCTES Keynote #1 09:00 - 10:00																		LCTES Session 1: Dynamic Translation and Iterative Compilation 10:30 - 12:00																																				LCTES Session 2: Loop and Dataflow Analysis 13:30 - 15:00																								LCTES Session 3: Presentations of Posters 15:30 - 17:00

Tue 14 Jun 2016


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Grand Ballroom Santa Ynez							PLMW@PLDI 2016 Welcome and Keynote 08:30 - 10:00																								PLMW@PLDI 2016 Technical Talks 10:30 - 12:00																											PLMW@PLDI 2016 Mentoring 12:45 - 13:30									PLMW@PLDI 2016 Professional Development 13:30 - 15:00																								PLMW@PLDI 2016 Technical Talks 15:30 - 17:00																		PLMW@PLDI 2016 Panel 17:00 - 17:45
Plaza del Sol																																																	Catering Lunch 12:00 - 13:30
San Miguel East													SOAP Session I 09:00 - 10:00																		SOAP Session II 10:30 - 12:00																																				SOAP Session III 13:30 - 15:00																								SOAP Session IV 15:30 - 17:00
Santa Cruz East													Tutorials Using PinPlay for Reproducible Analysis and Replay Debugging 09:00 - 10:00																		Tutorials Using PinPlay for Reproducible Analysis and Replay Debugging 10:30 - 12:00
Santa Cruz East																																																																	Tutorials Dynamic analysis of JavaScript with Jalangi 13:30 - 15:00																								Tutorials Dynamic analysis of JavaScript with Jalangi 15:30 - 17:00
Santa Cruz West													Tutorials PROSE: Programming using Examples 09:00 - 10:00																		Tutorials PROSE: Programming using Examples 10:30 - 12:00
Santa Cruz West																																																																	Tutorials Cross-platform analysis of mobile apps using the WALA framework 13:30 - 15:00																								Tutorials Cross-platform analysis of mobile apps using the WALA framework 15:30 - 17:00
Santa Rosa East													X10 Welcome and Tutorial 09:00 - 10:00																		X10 Research Papers 10:30 - 12:00																																				X10 Keynote and Research Paper 13:30 - 15:00																								X10 Research Papers 15:30 - 17:00
Santa Rosa West													ARRAY Session 1 09:00 - 10:00																		ARRAY Session 2 10:30 - 12:00																																				ARRAY Session 3 13:30 - 15:00																								ARRAY Session 4 15:30 - 17:00
Sierra Madre Foyer	Catering Breakfast 08:00 - 08:45
Sierra Madre North													LCTES Keynote #2 09:00 - 10:00																		LCTES Session 4: Worst-Case Analysis and Error Handling 10:30 - 12:00																																				LCTES Session 5: Computation Partitioning 13:30 - 15:00																								LCTES Session 6: Poster Session 15:30 - 17:00
Sierra Madre South											ISMM Keynote 08:50 - 10:10																				ISMM Concurrent Memory Management 10:30 - 12:10																																				ISMM Non-traditional and Datacenter Scale Memory System 13:30 - 15:10																								ISMM Modeling, Characterization, and Tools 15:30 - 17:10

Wed 15 Jun 2016


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30
Grand Ballroom San Rafael																															Research Papers Verification I 10:30 - 12:00																																				Research Papers Energy & Performance 13:30 - 15:00																								Research Papers Parsing & Compilation 15:30 - 17:00
Grand Ballroom San Rafael & Santa Ynez										Invited Speakers Chair's Welcome and Distinguished Paper Announcements 08:45 - 09:00			Invited Speakers Keynote #1 09:00 - 10:00
Grand Ballroom Santa Ynez																															Research Papers Down to the Metal I 10:30 - 12:00																																				Research Papers Testing & Debugging 13:30 - 15:00																								Research Papers New Languages 15:30 - 17:00																		Invited Speakers Program Chair's Report and SIGPLAN Town Hall Meeting 17:00 - 18:00
Plaza del Sol																																																	Catering Lunch 12:00 - 13:30																																																																								Catering Poster Reception 18:00 - 20:00
Rafael/Ynez Foyer	Catering Breakfast 08:00 - 08:45

Thu 16 Jun 2016


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30
Grand Ballroom San Rafael																															Research Papers Types I 10:30 - 12:00																																				Research Papers Software-Defined Networking 13:30 - 15:00																								Research Papers Types II 15:30 - 17:00																		Research Papers Parallelism I 17:00 - 18:00
Grand Ballroom San Rafael & Santa Ynez													Invited Speakers Keynote #2 09:00 - 10:00
Grand Ballroom Santa Ynez																															Research Papers Down to the Metal II 10:30 - 12:00																																				Research Papers Synthesis I 13:30 - 15:00																								Research Papers Verifying Systems 15:30 - 17:00																		Research Papers Synthesis II 17:00 - 18:00
Plaza del Sol	Catering Breakfast 08:00 - 08:45																																																Catering Lunch 12:00 - 13:30
Santa Barbara Maritime Museum																																																																	Catering Banquet 18:15 - 21:30
Sierra Madre South																																																																	Student Research Competition Session 1 13:30 - 15:00																								Student Research Competition Session 2 15:30 - 17:00

Fri 17 Jun 2016


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30
Grand Ballroom San Rafael													Research Papers Verification II 09:00 - 10:00																		Research Papers Parallelism II 10:30 - 12:00
Grand Ballroom Santa Ynez										Invited Speakers SRC Awards, PLDI’17 Introduction 08:45 - 09:00			Research Papers Memory Management 09:00 - 10:00																		Research Papers Security 10:30 - 12:00
Plaza del Sol	Catering Breakfast 08:00 - 08:45

Mon 13 Jun 2016


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Plaza del Sol																																																	PLDI 2016 Catering Lunch 12:00 - 13:30
Rosa/Cruz Foyer	PLDI 2016 Catering Breakfast 08:00 - 08:45
Santa Cruz East													PLDI 2016 Tutorials How Should We Program Non-volatile Memory? 09:00 - 10:00																		PLDI 2016 Tutorials How Should We Program Non-volatile Memory? 10:30 - 12:00
Santa Cruz East																																																																	PLDI 2016 Tutorials String Analysis for Vulnerability Detection and Repair 13:30 - 15:00																								PLDI 2016 Tutorials String Analysis for Vulnerability Detection and Repair 15:30 - 17:00
Santa Cruz West													PLDI 2016 Tutorials RyuJIT: Open Source JIT Compiler for .NET 09:00 - 10:00																		PLDI 2016 Tutorials RyuJIT: Open Source JIT Compiler for .NET 10:30 - 12:00
Santa Cruz West																																																																	PLDI 2016 Tutorials One VM to Rule Them All, One VM to Bind Them 13:30 - 15:00																								PLDI 2016 Tutorials One VM to Rule Them All, One VM to Bind Them 15:30 - 17:00
Santa Rosa East													FMS Opening remarks 09:00 - 09:15			FMS Privacy and Algorithmic Accountability 09:15 - 10:00															FMS Report on the NSF Workshop on Formal Methods for Security 10:30 - 11:15									FMS Ironclad: Full Verification of Complex Systems 11:15 - 12:00																											FMS Scalable Security Analysis of Android Apps 13:30 - 14:15									FMS Verifying Constant-Time Implementations 14:15 - 15:00															FMS Breakout Sessions 15:30 - 16:15									FMS Panel Discussion 16:15 - 17:00
Sierra Madre North											LCTES 2016 Opening Remarks 08:50 - 09:00		LCTES 2016 Smart Embedded Computing through Self-Awareness 09:00 - 10:00																		LCTES 2016 Efficient Asynchronous Interrupt Handling in a Full-System Instruction ... 10:30 - 11:00						LCTES 2016 Code Cache Management in Managed Language VMs to Reduce Memory Consumpt ... 11:00 - 11:30						LCTES 2016 A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach 11:30 - 12:00																								LCTES 2016 Translation Validation of Loop and Arithmetic Transformations in the Pr ... 13:30 - 14:00						LCTES 2016 Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic ... 14:00 - 14:30						LCTES 2016 Generalized Cache Tiling for Dataflow Programs 14:30 - 15:00												LCTES 2016 The LARA-based Compiler Toolsuite 15:30 - 15:40		LCTES 2016 Energy-Saving Designs for Mobile Devices with Non-Volatile Memory 15:40 - 15:50		LCTES 2016 Pseudo-preemptive Threads for Reliable and Maintainable Multitasking So ... 15:50 - 16:00		LCTES 2016 On Compiling MATLAB to C: Recent Achievements, Challenges and Open Issues 16:00 - 16:10		LCTES 2016 The Scheduling of Parallel Tasks in Heterogeneous Real-Time Systems 16:10 - 16:20		LCTES 2016 Improving Energy-Bound Application Effectiveness through Redundancy and ... 16:20 - 16:30		LCTES 2016 Compiling with the Regionalized Value State Dependence Graph 16:30 - 16:40

Tue 14 Jun 2016


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Grand Ballroom Santa Ynez							PLMW@PLDI Welcome message 08:30 - 08:45			PLMW@PLDI Research is a Social Process 08:45 - 09:15						PLMW@PLDI Keynote: “Love, Marriage, and Happiness” 09:15 - 10:00															PLMW@PLDI Fighting Software Inefficiency Through Automated Bug Detection 10:30 - 10:55					PLMW@PLDI The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guid ... 10:55 - 11:20					PLMW@PLDI Approximate Computing: it's better than good, it's good enough! 11:20 - 11:45																	PLMW@PLDI Mentoring 12:45 - 13:30									PLMW@PLDI Professional Communication 13:30 - 13:45			PLMW@PLDI The Secrets 13:45 - 14:00			PLMW@PLDI Getting People to Listen 14:00 - 14:15			PLMW@PLDI Panel: Career Paths 14:15 - 15:00															PLMW@PLDI What’s Next for Program Synthesis 15:30 - 15:55					PLMW@PLDI Programming-language Runtime Systems in Datacenters 15:55 - 16:20					PLMW@PLDI Programming with Estimates 16:20 - 16:45								PLMW@PLDI Panel: What I Wish I Knew When I Started Grad School 17:00 - 17:45
Plaza del Sol																																																	PLDI 2016 Catering Lunch 12:00 - 13:30
San Miguel East													SOAP Opening Remarks 09:00 - 09:10		SOAP Invited Talk: Side Channel Analysis Using a Model Counting Constraint S ... 09:10 - 10:00																SOAP Towards Cross-Platform Cross-Language Analysis with Soot 10:30 - 10:50				SOAP Iceberg: A Tool for Static Analysis of Java Critical Sections 10:50 - 11:10				SOAP Toward an Automated Benchmark Management System 11:10 - 11:30				SOAP Invited Talk: Probabilistic Learning from Big Code 11:30 - 12:00																								SOAP Invited Talk: Machine-code analysis and transformation at GrammaTech 13:30 - 14:20										SOAP On The Unsoundness of Static Analysis for Android GUIs 14:20 - 14:40				SOAP Verifying Precise Floating-Point Optimizations in LLVM 14:40 - 15:00										SOAP Invited Talk: Toward Gamification of Proofs about Programs 15:30 - 16:15									SOAP Invited Talk: Falcon: Towards an industrial strength heap analyzer 16:15 - 17:00
Santa Cruz East													PLDI 2016 Tutorials Using PinPlay for Reproducible Analysis and Replay Debugging 09:00 - 10:00																		PLDI 2016 Tutorials Using PinPlay for Reproducible Analysis and Replay Debugging 10:30 - 12:00
Santa Cruz East																																																																	PLDI 2016 Tutorials Dynamic analysis of JavaScript with Jalangi 13:30 - 15:00																								PLDI 2016 Tutorials Dynamic analysis of JavaScript with Jalangi 15:30 - 17:00
Santa Cruz West													PLDI 2016 Tutorials PROSE: Programming using Examples 09:00 - 10:00																		PLDI 2016 Tutorials PROSE: Programming using Examples 10:30 - 12:00
Santa Cruz West																																																																	PLDI 2016 Tutorials Cross-platform analysis of mobile apps using the WALA framework 13:30 - 15:00																								PLDI 2016 Tutorials Cross-platform analysis of mobile apps using the WALA framework 15:30 - 17:00
Santa Rosa East													X10 Opening and Welcome 09:00 - 09:10		X10 Introduction to (Resilient) X10 and APGAS -- slides are attached 09:10 - 10:00																X10 Control Structure Overloading in X10 10:30 - 11:00						X10 A Memory Model for X10 11:00 - 11:30						X10 Cooperation vs. Coordination for Lifeline-Based Global Load Balancing i ... 11:30 - 12:00																								X10 Keynote: Tracking and Constraining Work Stealing Schedulers 13:30 - 14:30												X10 Resilient X10 over MPI User Level Failure Mitigation 14:30 - 15:00												X10 ActorX10: An Actor Library for X10 15:30 - 16:00						X10 SWE-X10: An Actor-Based and Locally Coordinated Solver for the Shallow ... 16:00 - 16:20				X10 A Case for Distributed Work-Stealing in Regular Applications 16:20 - 16:40				X10 Closing Remarks 16:40 - 17:00
Santa Rosa West													ARRAY Invited talk: Lessons Learned in Array Programming: from ZPL to Chapel 09:00 - 10:00																		ARRAY Array Program Transformation with Loo.py by Example: High-Order Finite ... 10:30 - 10:55					ARRAY Data-Race Detection: The Missing Piece for an End-to-end Semantic Equiv ... 10:55 - 11:20					ARRAY Design and GPGPU Performance of Futhark's Redomap Construct 11:20 - 11:45					ARRAY Object Support in an Array-based GPGPU Extension for Ruby 11:45 - 12:00																					ARRAY Invited talk: Notation for Parallel Thoughts 13:30 - 14:30												ARRAY The Key to a Data Parallel Compiler 14:30 - 14:55												ARRAY Automatic Generation of Parallel C Code for Stencil Applications writte ... 15:30 - 15:55					ARRAY Extending C++ with Co-Array semantics 15:55 - 16:20					ARRAY SSA-based MATLAB-to-C Compilation and Optimization 16:20 - 16:45					ARRAY TTC: A Tensor Transposition Compiler for Multiple Architectures 16:45 - 17:00
Sierra Madre Foyer	PLDI 2016 Catering Breakfast 08:00 - 08:45
Sierra Madre North													LCTES 2016 Achieving Yield, Density and Performance Effective DRAM 09:00 - 10:00																		LCTES 2016 Symbolic Execution for Memory Consumption Analysis 10:30 - 11:00						LCTES 2016 TIC: A Scalable Model Checking Based Approach to WCET Estimation 11:00 - 11:30						LCTES 2016 Compensate or Ignore? Meeting control robustness requirements through a ... 11:30 - 12:00																								LCTES 2016 Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Sy ... 13:30 - 14:00						LCTES 2016 Compiling a Gesture Recognition Application for a Low-Power Spatial Arc ... 14:00 - 14:30						LCTES 2016 A Machine Learning Approach to Mapping Streaming Workloads to Dynamic M ... 14:30 - 15:00
Sierra Madre South											ISMM 2016 Opening Remarks 08:50 - 09:00		ISMM 2016 Keynote talk: Rethinking Memory System Design 09:00 - 10:10																		ISMM 2016 Block-Free Concurrent GC: Stack Scanning and Copying 10:30 - 10:55					ISMM 2016 Characterizing Emerging Heterogeneous Memory 10:55 - 11:20					ISMM 2016 Hardware Support for Protective and Collaborative Cache Sharing 11:20 - 11:45					ISMM 2016 Fast Non-intrusive Memory Reclamation for Highly-Concurrent Data Structures 11:45 - 12:10																					ISMM 2016 Understanding and Improving JVM GC Work Stealing at the Data Center Scale 13:30 - 13:55					ISMM 2016 Persistence Programming Models for Non-Volatile Memory 13:55 - 14:20					ISMM 2016 CBufs: Efficient, System-Wide Memory Management and Sharing 14:20 - 14:45					ISMM 2016 A bounded memory allocator for software-defined global address spaces 14:45 - 15:10									ISMM 2016 Rust as a Language for High Performance GC Implementation 15:30 - 15:55					ISMM 2016 Prescient Memory: Exposing Weak Memory Model Behavior by Looking into t ... 15:55 - 16:20					ISMM 2016 Rethinking a Heap Hierarchy as a Cache Hierarchy: A Higher-Order Theory ... 16:20 - 16:45					ISMM 2016 Liveness-Based Garbage Collection for Lazy Languages 16:45 - 17:10

Wed 15 Jun 2016


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45
Grand Ballroom San Rafael																															PLDI 2016 Research Papers Data-Driven Precondition Inference with Learned Features 10:30 - 11:00						PLDI 2016 Research Papers Cartesian Hoare Logic for Verifying k-Safety Properties 11:00 - 11:30						PLDI 2016 Research Papers Verifying Bit Manipulations of Floating-Point 11:30 - 12:00																								PLDI 2016 Research Papers Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict M ... 13:30 - 14:00						PLDI 2016 Research Papers GreenWeb: Language Extensions for Energy-Efficient Mobile Web Computing 14:00 - 14:30						PLDI 2016 Research Papers Input Responsiveness: Using Canary Inputs to Dynamically Steer Approxim ... 14:30 - 15:00												PLDI 2016 Research Papers Automatic Storage Optimization for Arrays [TOPLAS] 15:30 - 16:00						PLDI 2016 Research Papers Polyhedral AST generation is more than scanning polyhedra [TOPLAS] 16:00 - 16:30						PLDI 2016 Research Papers On the Complexity and Performance of Parsing with Derivatives 16:30 - 17:00
Grand Ballroom San Rafael & Santa Ynez													PLDI 2016 Invited Speakers Programming Languages and Technical Disruption 09:00 - 10:00
Grand Ballroom Santa Ynez																															PLDI 2016 Research Papers Into the depths of C: elaborating the de facto standards 10:30 - 11:00						PLDI 2016 Research Papers Living on the edge: Rapid-toggling probes with cross modification on x86 11:00 - 11:30						PLDI 2016 Research Papers Polymorphic Type Inference for Machine Code 11:30 - 12:00																								PLDI 2016 Research Papers Coverage-Directed Differential Testing of JVM Implementations 13:30 - 14:00						PLDI 2016 Research Papers Exposing Errors Related to Weak Memory in GPU Applications 14:00 - 14:30						PLDI 2016 Research Papers Lightweight Computation Tree Tracing for Lazy Functional Languages 14:30 - 15:00												PLDI 2016 Research Papers Configuration Synthesis for Programmable Analog Devices with Arco 15:30 - 16:00						PLDI 2016 Research Papers From Datalog to Flix: A Declarative Language for Fixed Points on Lattices 16:00 - 16:30						PLDI 2016 Research Papers Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep ... 16:30 - 17:00						PLDI 2016 Invited Speakers Program Chair's Report and SIGPLAN Town Hall Meeting 17:00 - 18:00
Plaza del Sol																																																	PLDI 2016 Catering Lunch 12:00 - 13:30																																																																								PLDI 2016 Catering Poster Reception 18:00 - 20:00
Rafael/Ynez Foyer	PLDI 2016 Catering Breakfast 08:00 - 08:45

Thu 16 Jun 2016


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45
Grand Ballroom San Rafael																															PLDI 2016 Research Papers Accepting Blame for Safe Tunneled Exceptions 10:30 - 11:00						PLDI 2016 Research Papers Occurrence Typing Modulo Theories 11:00 - 11:30						PLDI 2016 Research Papers Refinement Types for TypeScript 11:30 - 12:00																								PLDI 2016 Research Papers Event-driven Network Programming 13:30 - 14:00						PLDI 2016 Research Papers Temporal NetKAT 14:00 - 14:30						PLDI 2016 Research Papers SDNRacer: Concurrency Analysis for Software-Defined Networks 14:30 - 15:00												PLDI 2016 Research Papers Just-in-Time Static Type Checking for Dynamic Languages 15:30 - 16:00						PLDI 2016 Research Papers Types from data: Making structured data first-class citizens in F# 16:00 - 16:30						PLDI 2016 Research Papers Automatically Learning Shape Specifications 16:30 - 17:00						PLDI 2016 Research Papers Higher-Order and Tuple-Based Massively-Parallel Prefix Sums 17:00 - 17:30						PLDI 2016 Research Papers A Distributed OpenCL Framework using Redundant Computation and Data Rep ... 17:30 - 18:00
Grand Ballroom San Rafael & Santa Ynez													PLDI 2016 Invited Speakers Programming a Warehouse-scale Computer 09:00 - 10:00
Grand Ballroom Santa Ynez																															PLDI 2016 Research Papers Stratified Synthesis: Automatically Learning the x86-64 Instruction Set 10:30 - 11:00						PLDI 2016 Research Papers Remix: Online Detection and Repair of Cache Contention for the JVM 11:00 - 11:30						PLDI 2016 Research Papers Statistical Similarity of Binaries 11:30 - 12:00																								PLDI 2016 Research Papers MapReduce Program Synthesis 13:30 - 14:00						PLDI 2016 Research Papers Programmatic and Direct Manipulation, Together at Last 14:00 - 14:30						PLDI 2016 Research Papers Fast Synthesis of Fast Collections 14:30 - 15:00												PLDI 2016 Research Papers Rehearsal: A Configuration Verification Tool for Puppet 15:30 - 16:00						PLDI 2016 Research Papers Toward Compositional Verification of Interruptible OS Kernels and Devic ... 16:00 - 16:30						PLDI 2016 Research Papers Verified Peephole Optimizations for CompCert 16:30 - 17:00						PLDI 2016 Research Papers Synthesizing Transformations on Hierarchically Structured Data 17:00 - 17:30						PLDI 2016 Research Papers Program Synthesis from Polymorphic Refinement Types 17:30 - 18:00
Plaza del Sol	PLDI 2016 Catering Breakfast 08:00 - 08:45																																																PLDI 2016 Catering Lunch 12:00 - 13:30
Santa Barbara Maritime Museum																																																																	PLDI 2016 Catering Banquet 18:15 - 21:30
Sierra Madre South																																																																	PLDI 2016 Student Research Competition Presentation Session 13:30 - 15:00																								PLDI 2016 Student Research Competition Presentation Session 15:30 - 17:00

Fri 17 Jun 2016


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
Grand Ballroom San Rafael													PLDI 2016 Research Papers Cardinalities and Universal Quantifiers for Verifying Parameterized Systems 09:00 - 09:30						PLDI 2016 Research Papers Ivy: Safety Verification by Interactive Generalization 09:30 - 10:00												PLDI 2016 Research Papers Transactional Data Structure Libraries 10:30 - 11:00						PLDI 2016 Research Papers FlexVec: Auto-Vectorization for Irregular Loops 11:00 - 11:30						PLDI 2016 Research Papers Verified Lifting of Stencil Computations 11:30 - 12:00
Grand Ballroom Santa Ynez													PLDI 2016 Research Papers Idle Time Garbage Collection Scheduling 09:00 - 09:30						PLDI 2016 Research Papers Assessing the Limits of Program-Specific Garbage Collection Performance 09:30 - 10:00												PLDI 2016 Research Papers Precise, Dynamic Information Flow for Database-Backed Applications 10:30 - 11:00						PLDI 2016 Research Papers End-to-End Verification of Information-Flow Security for C and Assembly ... 11:00 - 11:30						PLDI 2016 Research Papers A Design and Verification Methodology for Secure Isolated Regions 11:30 - 12:00
Plaza del Sol	PLDI 2016 Catering Breakfast 08:00 - 08:45

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format