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
Times are displayed in 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 McKinleyMicrosoft Research
Media Attached
09:15
45m
Talk
Keynote: “Love, Marriage, and Happiness”
PLMW@PLDI
S: Matthias FelleisenNortheastern 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 MightUniversity of Utah, USA
Media Attached
13:45
15m
Talk
The Secrets
PLMW@PLDI
Jason MarsUniversity of Michigan
Media Attached
14:00
15m
Talk
Getting People to Listen
PLMW@PLDI
Mary HallUniversity of Utah
Media Attached
14:15
45m
Other
Panel: Career Paths
PLMW@PLDI
M: Mary HallUniversity of Utah, John DavisPure Storage Inc, Shan Shan HuangLogicblox, Milind KulkarniPurdue 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 WiedermannHarvey Mudd College, Sam BlackshearFacebook, Alvin CheungUniversity of Washington, Ravi ChughUniversity of Chicago, Cindy Rubio-GonzálezUniversity of California, Davis, Jean YangCarnegie Mellon University
Media Attached

Wed 15 Jun
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00
Down to the Metal IResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Stephen McCamantUniversity of Minnesota
10:30
30m
Talk
Into the depths of C: elaborating the de facto standards
Research Papers
Kayvan MemarianUniversity of Cambridge, Justus MatthiesenUniversity of Cambridge, James LingardUniversity of Cambridge (when this work was done), Kyndylan NienhuisUniversity of Cambridge, David ChisnallUniversity of Cambridge, Robert N. M. WatsonUniversity of Cambridge, Peter SewellUniversity 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 SvenssonIndiana University, Luke DalessandroIndiana University, Ryan R. NewtonIndiana University
Pre-print Media Attached
11:30
30m
Talk
Polymorphic Type Inference for Machine Code
Research Papers
Matt NoonanGrammaTech, Inc, Alexey LoginovGrammaTech, Inc, David CokGrammaTech, Inc
Pre-print Media Attached
13:30 - 15:00
Testing & DebuggingResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Benjamin ZornMicrosoft Research
13:30
30m
Talk
Coverage-Directed Differential Testing of JVM Implementations
Research Papers
Yuting ChenShanghai Jiao Tong University, Ting SuEast China Normal University, Chengnian SunUniversity of California at Davis, USA, Zhendong SuUniversity of California, Davis, Jianjun ZhaoShanghai Jiao Tong University
Media Attached
14:00
30m
Talk
Exposing Errors Related to Weak Memory in GPU Applications
Research Papers
Tyler SorensenUniversity College London, Alastair DonaldsonImperial College London
Pre-print Media Attached
14:30
30m
Talk
Lightweight Computation Tree Tracing for Lazy Functional Languages
Research Papers
Maarten FaddegonUniversity of Kent, UK, Olaf ChitilUniversity of Kent, UK
Media Attached
15:30 - 17:00
15:30
30m
Talk
Configuration Synthesis for Programmable Analog Devices with Arco
Research Papers
Sara AchourMassachusetts Institute of Technology, USA, Rahul SarpeshkarMIT, Martin RinardMassachusetts 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 MadsenUniversity of Waterloo, Ming-Ho YeeUniversity of Waterloo, Ondřej LhotákUniversity 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 TruongUC Berkeley / Intel Labs, Raj BarikIntel Labs, Ehsan TotoniIntel Labs, Hai LiuIntel Labs, Chick MarkleyUC Berkeley, Armando FoxUC Berkeley, Tatiana ShpeismanIntel 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
Times are displayed in 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. BoehmGoogle
10:30
30m
Talk
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
Research Papers
Stefan HeuleStanford University, Eric SchkufzaVMware Research Group, Rahul SharmaStanford University, Alex AikenStanford University
DOI Pre-print Media Attached
11:00
30m
Talk
Remix: Online Detection and Repair of Cache Contention for the JVM
Research Papers
Ariel EizenbergUniversity of Pennsylvania, Shiliang HuIntel Corporation, Gilles PokamIntel Corporation, Joseph DeviettiUniversity of Pennsylvania
Media Attached
11:30
30m
Talk
Statistical Similarity of Binaries
Research Papers
Yaniv DavidTechnion, Nimrod PartushTechnion, Eran YahavTechnion
Media Attached
13:30 - 15:00
Synthesis IResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Eran YahavTechnion
13:30
30m
Talk
MapReduce Program Synthesis
Research Papers
Calvin SmithUniversity of Wisconsin - Madison, Aws AlbarghouthiUniversity of Wisconsin–Madison
Media Attached
14:00
30m
Talk
Programmatic and Direct Manipulation, Together at Last
Research Papers
Ravi ChughUniversity of Chicago, Brian HempelUniversity of Chicago, Mitchell SpradlinUniversity of Chicago, Jacob AlbersUniversity of Chicago
Pre-print Media Attached
14:30
30m
Talk
Fast Synthesis of Fast Collections
Research Papers
Calvin LoncaricUniversity of Washington, Emina TorlakUniversity of Washington, Michael D. ErnstUniversity of Washington
Media Attached
15:30 - 17:00
Verifying SystemsResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Santosh NagarakatteRutgers University
15:30
30m
Talk
Rehearsal: A Configuration Verification Tool for Puppet
Research Papers
Rian ShambaughUniversity of Massachusetts Amherst, Aaron WeissUniversity of Massachusetts Amherst, Arjun GuhaUniversity of Massachusetts, Amherst
Pre-print Media Attached
16:00
30m
Talk
Toward Compositional Verification of Interruptible OS Kernels and Device Drivers
Research Papers
Hao ChenYale University, Xiongnan (Newman) WuYale University, Zhong ShaoYale University, Joshua LockermanYale University, Ronghui GuYale University
Pre-print Media Attached
16:30
30m
Talk
Verified Peephole Optimizations for CompCert
Research Papers
Eric MullenUniversity of Washington, Daryl ZunigaUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle, Dan GrossmanUniversity of Washington, USA
Pre-print Media Attached
17:00 - 18:00
Synthesis IIResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Martin VechevETH Zurich
17:00
30m
Talk
Synthesizing Transformations on Hierarchically Structured Data
Research Papers
Navid YaghmazadehUniversity of Texas, Austin, Christian KlingerUniversity of Texas, Austin, Isil DilligUniversity of Texas, Austin, Swarat ChaudhuriRice University
Media Attached
17:30
30m
Talk
Program Synthesis from Polymorphic Refinement Types
Research Papers
Nadia PolikarpovaMIT CSAIL, USA, Ivan KurajMIT CSAIL, USA, Armando Solar-LezamaMIT
Media Attached

Fri 17 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:45 - 09:00
SRC Awards, PLDI’17 IntroductionInvited Speakers at Grand Ballroom Santa Ynez
Chair(s): Ben HardekopfUC Santa Barbara, Albert CohenINRIA
09:00 - 10:00
Memory ManagementResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Sam GuyerTufts 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 JacekUMass Amherst, Meng-Chieh ChiuUMass Amherst, Benjamin MarlinUMass Amherst, Eliot MossUniversity of Massachusetts Amherst
Media Attached
10:30 - 12:00
SecurityResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Andrew C. MyersCornell University
10:30
30m
Talk
Precise, Dynamic Information Flow for Database-Backed Applications
Research Papers
Jean YangCarnegie Mellon University, Travis HanceDropbox, Thomas H. Austin, Armando Solar-LezamaMIT, Cormac FlanaganUC Santa Cruz, Stephen ChongHarvard 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 CostanzoYale University, Zhong ShaoYale University, Ronghui GuYale University
Pre-print Media Attached
11:30
30m
Talk
A Design and Verification Methodology for Secure Isolated Regions
Research Papers
Rohit SinhaUniversity of California, Berkeley, Manuel CostaMicrosoft Research, Akash LalMicrosoft Research India, Nuno P. LopesMicrosoft Research, Sriram RajamaniMicrosoft Research, Sanjit SeshiaUC Berkeley, Kapil VaswaniMicrosoft Research
Media Attached

Tue 14 Jun
Times are displayed in time zone: Tijuana, Baja California change

Wed 15 Jun
Times are displayed in time zone: Tijuana, Baja California change

Thu 16 Jun
Times are displayed in time zone: Tijuana, Baja California change

Fri 17 Jun
Times are displayed in time zone: Tijuana, Baja California change