PLDI 2016
Mon 13 - Fri 17 June 2016
Santa Barbara, California, United States
Toggle navigation
Attending
Venue: The Fess Parker, Santa Barbara, CA
Travel, Accommodations and Child Care
Visas
Registration
Student Travel Support
Student Volunteers
Code of Conduct
Program
Complete Program
Your Program
Mon 13 Jun
Tue 14 Jun
Wed 15 Jun
Thu 16 Jun
Fri 17 Jun
Tracks
PLDI 2016
Co-Located Conferences and Symposia
Invited Speakers
Artifact Evaluation
Research Papers
Student Posters
Student Research Competition
Tutorials
Co-hosted Conferences
LCTES
LCTES
LCTES
Workshops
ARRAY
FMS
PLMW@PLDI
SOAP
X10
Co-hosted Symposia
ISMM
ISMM
ISMM
Organization
PLDI 2016 Committees
Artifact Evaluation Committee
External Program Committee
External Review Committee
Organizing Committee
Program Committee
Distinguished Paper Committee
Track Committees
Artifact Evaluation
Student Posters
Contributors
People Index
Co-hosted Conferences
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Programme Committee
FMS
Organizing Committee
PLMW@PLDI
Organizing Committee
SOAP
Organizing Committee
Program Committee
X10
Organizing Committee
Program Committee
Co-hosted Symposia
ISMM
External Review Committee
Organizing Committee
Program Committee
Steering Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2016
(
series
) /
The Fess Parker, Santa Barbara, CA
/
Room information: Grand Ballroom Santa Ynez
Venue
The Fess Parker, Santa Barbara, CA
Room name
Grand Ballroom Santa Ynez
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 Keynote
PLMW@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 Talks
PLMW@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
Mentoring
PLMW@PLDI
at
Grand Ballroom Santa Ynez
12:45
45m
Social Event
Mentoring
PLMW@PLDI
13:30 - 15:00
Professional Development
PLMW@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 Talks
PLMW@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
Panel
PLMW@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 I
Research 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 & Debugging
Research 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 Languages
Research 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 Meeting
Invited 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 II
Research 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 I
Research 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 Systems
Research 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 II
Research 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 Introduction
Invited Speakers
at
Grand Ballroom Santa Ynez
Chair(s):
Albert Cohen
INRIA
,
Ben Hardekopf
UC Santa Barbara
09:00 - 10:00
Memory Management
Research 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
Security
Research 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
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
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
Room
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
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
Room
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
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
Room
8:00
30
9:00
30
10:00
30
11:00
30
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
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
Wed 15 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
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
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
Room
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
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
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
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
x
Thu 7 Nov 16:59