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
12:45 - 13:30
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
17:00 - 17:45
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
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, Isil 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
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 C. 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

Thu 16 Jun

Displayed time zone: Tijuana, Baja California change