LCTES 2016
co-located with PLDI 2016
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 IPLDI 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 & DebuggingPLDI 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
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 MeetingPLDI 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 IIPLDI 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
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 SystemsPLDI 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
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, Isil 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 IntroductionPLDI Invited Speakers at Grand Ballroom Santa Ynez
Chair(s): Albert Cohen INRIA, Ben Hardekopf UC Santa Barbara
09:00 - 10:00
Memory ManagementPLDI 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
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
SecurityPLDI Research 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
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