X10
Mon 13 - Fri 17 June 2016
Santa Barbara, California, United States
co-located with
PLDI 2016
Toggle navigation
Attending
Venue: The Fess Parker, Santa Barbara, CA
Program
X10 Program
Your Program
Mon 13 Jun
Tue 14 Jun
Wed 15 Jun
Thu 16 Jun
Fri 17 Jun
Track/Call
Organization
X10 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
X10
X10 2015
Sign in
Sign up
PLDI 2016
(
series
) /
X10 (
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
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
Matt Noonan
GrammaTech, Inc
,
Alexey Loginov
GrammaTech, Inc
,
David Cok
GrammaTech, Inc
Pre-print
Media Attached
13:30 - 15:00
Testing & Debugging
PLDI Research Papers
at
Grand Ballroom Santa Ynez
Chair(s):
Benjamin Zorn
Microsoft Research
13:30
30m
Talk
Coverage-Directed Differential Testing of JVM Implementations
PLDI 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
PLDI 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
PLDI Research Papers
Maarten Faddegon
University of Kent, UK
,
Olaf Chitil
University of Kent, UK
Media Attached
15:30 - 17:00
New Languages
PLDI Research Papers
at
Grand Ballroom Santa Ynez
Chair(s):
Michael Carbin
MIT
15:30
30m
Talk
Configuration Synthesis for Programmable Analog Devices with Arco
PLDI 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
PLDI 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
PLDI 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
PLDI Invited Speakers
at
Grand Ballroom Santa Ynez
17:00
60m
Meeting
Program Chair's Report and SIGPLAN Town Hall Meeting
PLDI Invited Speakers
Thu 16 Jun
Displayed time zone:
Tijuana, Baja California
change
10:30 - 12:00
Down to the Metal II
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
Yaniv David
Technion
,
Nimrod Partush
Technion
,
Eran Yahav
Technion
Media Attached
13:30 - 15:00
Synthesis I
PLDI Research Papers
at
Grand Ballroom Santa Ynez
Chair(s):
Eran Yahav
Technion
13:30
30m
Talk
MapReduce Program Synthesis
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
at
Grand Ballroom Santa Ynez
Chair(s):
Santosh Nagarakatte
Rutgers University
15:30
30m
Talk
Rehearsal: A Configuration Verification Tool for Puppet
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
at
Grand Ballroom Santa Ynez
Chair(s):
Martin Vechev
ETH Zurich
17:00
30m
Talk
Synthesizing Transformations on Hierarchically Structured Data
PLDI 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
PLDI 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
PLDI Invited Speakers
at
Grand Ballroom Santa Ynez
Chair(s):
Albert Cohen
INRIA
,
Ben Hardekopf
UC Santa Barbara
09:00 - 10:00
Memory Management
PLDI Research Papers
at
Grand Ballroom Santa Ynez
Chair(s):
Sam Guyer
Tufts University
09:00
30m
Talk
Idle Time Garbage Collection Scheduling
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
Down to the Metal I
PLDI Research Papers
Testing & Debugging
PLDI Research Papers
New Languages
PLDI 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
PLDI Research Papers
Down to the Metal II
PLDI Research Papers
Synthesis I
PLDI Research Papers
Verifying Systems
PLDI 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
PLDI Invited Speakers
SRC Awards, PLDI’17 Introduction
PLDI Research Papers
Memory Management
PLDI 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
Sun 22 Dec 09:28