PLDI 2016
Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States
PLDI 2016 (series) / The Fess Parker, Santa Barbara, CA /

Room information: Grand Ballroom Santa Ynez

VenueThe Fess Parker, Santa Barbara, CA
Room nameGrand Ballroom Santa Ynez
Floor0
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

Tue 14 Jun

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Welcome and KeynotePLMW@PLDI at Grand Ballroom Santa Ynez
08:30
15m
Day opening
Welcome message
PLMW@PLDI

08:45
30m
Talk
Research is a Social Process
PLMW@PLDI
S: Kathryn S McKinley Microsoft Research
Media Attached
09:15
45m
Talk
Keynote: “Love, Marriage, and Happiness”
PLMW@PLDI
S: Matthias Felleisen Northeastern University
Media Attached
10:30 - 12:00
Technical TalksPLMW@PLDI at Grand Ballroom Santa Ynez
10:30
25m
Talk
Fighting Software Inefficiency Through Automated Bug Detection
PLMW@PLDI
Shan Lu University of Chicago
Media Attached
10:55
25m
Talk
The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations
PLMW@PLDI
Steve Blackburn Australian National University
Media Attached
11:20
25m
Talk
Approximate Computing: it's better than good, it's good enough!
PLMW@PLDI
Michael Carbin MIT
Media Attached
12:45 - 13:30
MentoringPLMW@PLDI at Grand Ballroom Santa Ynez
12:45
45m
Social Event
Mentoring
PLMW@PLDI

13:30 - 15:00
Professional DevelopmentPLMW@PLDI at Grand Ballroom Santa Ynez
13:30
15m
Talk
Professional Communication
PLMW@PLDI
Matthew Might University of Utah, USA
Media Attached
13:45
15m
Talk
The Secrets
PLMW@PLDI
Jason Mars University of Michigan
Media Attached
14:00
15m
Talk
Getting People to Listen
PLMW@PLDI
Mary Hall University of Utah
Media Attached
14:15
45m
Other
Panel: Career Paths
PLMW@PLDI
M: Mary Hall University of Utah, John Davis Pure Storage Inc, Shan Shan Huang Logicblox, Milind Kulkarni Purdue University
Media Attached
15:30 - 17:00
Technical TalksPLMW@PLDI at Grand Ballroom Santa Ynez
15:30
25m
Talk
 What’s Next for Program Synthesis
PLMW@PLDI
Armando Solar-Lezama MIT
Media Attached
15:55
25m
Talk
Programming-language Runtime Systems in Datacenters
PLMW@PLDI
Lingjia Tang University of Michigan
Media Attached
16:20
25m
Talk
Programming with Estimates
PLMW@PLDI
James Bornholt University of Washington
Media Attached
17:00 - 17:45
PanelPLMW@PLDI at Grand Ballroom Santa Ynez
17:00
45m
Other
Panel: What I Wish I Knew When I Started Grad School
PLMW@PLDI
M: Ben Wiedermann Harvey Mudd College, Sam Blackshear Facebook, Alvin Cheung University of Washington, Ravi Chugh University of Chicago, Cindy Rubio-González University of California, Davis, Jean Yang Carnegie Mellon University
Media Attached

Wed 15 Jun

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Down to the Metal IResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Stephen McCamant University of Minnesota
10:30
30m
Talk
Into the depths of C: elaborating the de facto standards
Research Papers
Kayvan Memarian University of Cambridge, Justus Matthiesen University of Cambridge, James Lingard University of Cambridge (when this work was done), Kyndylan Nienhuis University of Cambridge, David Chisnall University of Cambridge, Robert N. M. Watson University of Cambridge, Peter Sewell University of Cambridge
Link to publication Media Attached
11:00
30m
Talk
Living on the edge: Rapid-toggling probes with cross modification on x86
Research Papers
Buddhika Chamith , Bo Joel Svensson Indiana University, Luke Dalessandro Indiana University, Ryan R. Newton Indiana University
Pre-print Media Attached
11:30
30m
Talk
Polymorphic Type Inference for Machine Code
Research Papers
Matt Noonan GrammaTech, Inc, Alexey Loginov GrammaTech, Inc, David Cok GrammaTech, Inc
Pre-print Media Attached
13:30 - 15:00
Testing & DebuggingResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Benjamin Zorn Microsoft Research
13:30
30m
Talk
Coverage-Directed Differential Testing of JVM Implementations
Research Papers
Yuting Chen Shanghai Jiao Tong University, Ting Su East China Normal University, Chengnian Sun University of California at Davis, USA, Zhendong Su University of California, Davis, Jianjun Zhao Shanghai Jiao Tong University
Media Attached
14:00
30m
Talk
Exposing Errors Related to Weak Memory in GPU Applications
Research Papers
Tyler Sorensen University College London, Alastair F. Donaldson Imperial College London
Pre-print Media Attached
14:30
30m
Talk
Lightweight Computation Tree Tracing for Lazy Functional Languages
Research Papers
Maarten Faddegon University of Kent, UK, Olaf Chitil University of Kent, UK
Media Attached
15:30 - 17:00
New LanguagesResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Michael Carbin MIT
15:30
30m
Talk
Configuration Synthesis for Programmable Analog Devices with Arco
Research Papers
Sara Achour Massachusetts Institute of Technology, USA, Rahul Sarpeshkar MIT, Martin C. Rinard Massachusetts Institute of Technology, USA
Media Attached
16:00
30m
Talk
From Datalog to Flix: A Declarative Language for Fixed Points on Lattices
Research Papers
Magnus Madsen University of Waterloo, Ming-Ho Yee University of Waterloo, Ondřej Lhoták University of Waterloo
DOI Media Attached
16:30
30m
Talk
Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks
Research Papers
Leonard Truong UC Berkeley / Intel Labs, Raj Barik Intel Labs, Ehsan Totoni Intel Labs, Hai Liu Intel Labs, Chick Markley UC Berkeley, Armando Fox UC Berkeley, Tatiana Shpeisman Intel Labs
Media Attached
17:00 - 18:00
Program Chair's Report and SIGPLAN Town Hall MeetingInvited Speakers at Grand Ballroom Santa Ynez
17:00
60m
Meeting
Program Chair's Report and SIGPLAN Town Hall Meeting
Invited Speakers

Thu 16 Jun

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Down to the Metal IIResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Hans-J. Boehm Google
10:30
30m
Talk
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
Research Papers
Stefan Heule Stanford University, Eric Schkufza VMware Research Group, Rahul Sharma Stanford University, Alex Aiken Stanford University
DOI Pre-print Media Attached
11:00
30m
Talk
Remix: Online Detection and Repair of Cache Contention for the JVM
Research Papers
Ariel Eizenberg University of Pennsylvania, Shiliang Hu Intel Corporation, Gilles Pokam Intel Corporation, Joseph Devietti University of Pennsylvania
Media Attached
11:30
30m
Talk
Statistical Similarity of Binaries
Research Papers
Yaniv David Technion, Nimrod Partush Technion, Eran Yahav Technion
Media Attached
13:30 - 15:00
Synthesis IResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Eran Yahav Technion
13:30
30m
Talk
MapReduce Program Synthesis
Research Papers
Calvin Smith University of Wisconsin - Madison, Aws Albarghouthi University of Wisconsin–Madison
Media Attached
14:00
30m
Talk
Programmatic and Direct Manipulation, Together at Last
Research Papers
Ravi Chugh University of Chicago, Brian Hempel University of Chicago, Mitchell Spradlin University of Chicago, Jacob Albers University of Chicago
Pre-print Media Attached
14:30
30m
Talk
Fast Synthesis of Fast Collections
Research Papers
Calvin Loncaric University of Washington, Emina Torlak University of Washington, Michael D. Ernst University of Washington
Media Attached
15:30 - 17:00
Verifying SystemsResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Santosh Nagarakatte Rutgers University
15:30
30m
Talk
Rehearsal: A Configuration Verification Tool for Puppet
Research Papers
Rian Shambaugh University of Massachusetts Amherst, Aaron Weiss University of Massachusetts Amherst, Arjun Guha University of Massachusetts, Amherst
Pre-print Media Attached
16:00
30m
Talk
Toward Compositional Verification of Interruptible OS Kernels and Device Drivers
Research Papers
Hao Chen Yale University, Xiongnan (Newman) Wu Yale University, Zhong Shao Yale University, Joshua Lockerman Yale University, Ronghui Gu Yale University
Pre-print Media Attached
16:30
30m
Talk
Verified Peephole Optimizations for CompCert
Research Papers
Eric Mullen University of Washington, Daryl Zuniga University of Washington, Zachary Tatlock University of Washington, Seattle, Dan Grossman University of Washington, USA
Pre-print Media Attached
17:00 - 18:00
Synthesis IIResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Martin Vechev ETH Zurich
17:00
30m
Talk
Synthesizing Transformations on Hierarchically Structured Data
Research Papers
Navid Yaghmazadeh University of Texas, Austin, Christian Klinger University of Texas, Austin, Işıl Dillig University of Texas, Austin, Swarat Chaudhuri Rice University
Media Attached
17:30
30m
Talk
Program Synthesis from Polymorphic Refinement Types
Research Papers
Nadia Polikarpova MIT CSAIL, USA, Ivan Kuraj MIT CSAIL, USA, Armando Solar-Lezama MIT
Media Attached

Fri 17 Jun

Displayed time zone: Tijuana, Baja California change

08:45 - 09:00
SRC Awards, PLDI’17 IntroductionInvited Speakers at Grand Ballroom Santa Ynez
Chair(s): Albert Cohen INRIA, Ben Hardekopf UC Santa Barbara
09:00 - 10:00
Memory ManagementResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Sam Guyer Tufts University
09:00
30m
Talk
Idle Time Garbage Collection Scheduling
Research Papers
Ulan Degenbaev Google, Jochen Eisinger Google, Manfred Ernst Google, Ross McIlroy Google, Hannes Payer Google
Media Attached
09:30
30m
Talk
Assessing the Limits of Program-Specific Garbage Collection Performance
Research Papers
Nicholas Jacek UMass Amherst, Meng-Chieh Chiu UMass Amherst, Benjamin Marlin UMass Amherst, Eliot Moss University of Massachusetts Amherst
Media Attached
10:30 - 12:00
SecurityResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Andrew Myers Cornell University
10:30
30m
Talk
Precise, Dynamic Information Flow for Database-Backed Applications
Research Papers
Jean Yang Carnegie Mellon University, Travis Hance Dropbox, Thomas H. Austin , Armando Solar-Lezama MIT, Cormac Flanagan UC Santa Cruz, Stephen Chong Harvard University
Link to publication Media Attached
11:00
30m
Talk
End-to-End Verification of Information-Flow Security for C and Assembly Programs
Research Papers
David Costanzo Yale University, Zhong Shao Yale University, Ronghui Gu Yale University
Pre-print Media Attached
11:30
30m
Talk
A Design and Verification Methodology for Secure Isolated Regions
Research Papers
Rohit Sinha University of California, Berkeley, Manuel Costa Microsoft Research, Akash Lal Microsoft Research India, Nuno P. Lopes Microsoft Research, Sriram Rajamani Microsoft Research, Sanjit Seshia UC Berkeley, Kapil Vaswani Microsoft Research
Media Attached

Tue 14 Jun

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Ballroom Santa Ynez

PLMW@PLDI

Welcome and Keynote

PLMW@PLDI

Technical Talks

PLMW@PLDI

Mentoring

PLMW@PLDI

Professional Development

PLMW@PLDI

Technical Talks

PLMW@PLDI

Panel

Wed 15 Jun

Displayed time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Grand Ballroom Santa Ynez

Research Papers

Down to the Metal I

Research Papers

Testing & Debugging

Research Papers

New Languages

Invited Speakers

Program Chair's Report and SIGPLAN Town Hall Meeting

Thu 16 Jun

Displayed time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Grand Ballroom Santa Ynez

Research Papers

Down to the Metal II

Research Papers

Synthesis I

Research Papers

Verifying Systems

Research Papers

Synthesis II

Fri 17 Jun

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:0030
Grand Ballroom Santa Ynez

Invited Speakers

SRC Awards, PLDI’17 Introduction

Research Papers

Memory Management

Research Papers

Security

Tue 14 Jun

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Wed 15 Jun

Displayed time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grand Ballroom Santa Ynez
PLDI Research Papers
Into the depths of C: elaborating the de facto standards
10:30 - 11:00
PLDI Research Papers
Living on the edge: Rapid-toggling probes with cross modification on x86
11:00 - 11:30
PLDI Research Papers
Polymorphic Type Inference for Machine Code
11:30 - 12:00
PLDI Research Papers
Coverage-Directed Differential Testing of JVM Implementations
13:30 - 14:00
PLDI Research Papers
Exposing Errors Related to Weak Memory in GPU Applications
14:00 - 14:30
PLDI Research Papers
Lightweight Computation Tree Tracing for Lazy Functional Languages
14:30 - 15:00
PLDI Research Papers
Configuration Synthesis for Programmable Analog Devices with Arco
15:30 - 16:00
PLDI Research Papers
From Datalog to Flix: A Declarative Language for Fixed Points on Lattices
16:00 - 16:30
PLDI Research Papers
Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep ...
16:30 - 17:00
PLDI Invited Speakers
Program Chair's Report and SIGPLAN Town Hall Meeting
17:00 - 18:00

Thu 16 Jun

Displayed time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grand Ballroom Santa Ynez
PLDI Research Papers
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
10:30 - 11:00
PLDI Research Papers
Remix: Online Detection and Repair of Cache Contention for the JVM
11:00 - 11:30
PLDI Research Papers
Statistical Similarity of Binaries
11:30 - 12:00
PLDI Research Papers
MapReduce Program Synthesis
13:30 - 14:00
PLDI Research Papers
Programmatic and Direct Manipulation, Together at Last
14:00 - 14:30
PLDI Research Papers
Fast Synthesis of Fast Collections
14:30 - 15:00
PLDI Research Papers
Rehearsal: A Configuration Verification Tool for Puppet
15:30 - 16:00
PLDI Research Papers
Toward Compositional Verification of Interruptible OS Kernels and Devic ...
16:00 - 16:30
PLDI Research Papers
Verified Peephole Optimizations for CompCert
16:30 - 17:00
PLDI Research Papers
Synthesizing Transformations on Hierarchically Structured Data
17:00 - 17:30
PLDI Research Papers
Program Synthesis from Polymorphic Refinement Types
17:30 - 18:00

Fri 17 Jun

Displayed time zone: Tijuana, Baja California change

Room9:0015304510:0015304511:00153045
Grand Ballroom Santa Ynez
PLDI Research Papers
Idle Time Garbage Collection Scheduling
09:00 - 09:30
PLDI Research Papers
Assessing the Limits of Program-Specific Garbage Collection Performance
09:30 - 10:00
PLDI Research Papers
Precise, Dynamic Information Flow for Database-Backed Applications
10:30 - 11:00
PLDI Research Papers
End-to-End Verification of Information-Flow Security for C and Assembly ...
11:00 - 11:30
PLDI Research Papers
A Design and Verification Methodology for Secure Isolated Regions
11:30 - 12:00