Write a Blog >>
ISMM 2016
Tue 14 Jun 2016
Santa Barbara, California, United States
co-located with
PLDI 2016
Toggle navigation
Attending
Venue: The Fess Parker, Santa Barbara, CA
Travel, Accommodations, and Child Care
Visa
Registration
Student Travel Support
Student Volunteers
Code of Conduct
Program
ISMM Program
Your Program
Proceedings
Tue 14 Jun
Track/Call
Organization
ISMM 2016 Committees
External Review Committee
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI 2016
(
series
) /
ISMM 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
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 02:02