Program - PLDI 2018

Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States

Filter

Mon 18 Jun

08:00 - 09:00: Catering - Breakfast at Columbus Ballroom Foyer

08:00 - 09:00
Other

09:00 - 10:30: PLDI Tutorials - Debugging and Profiling Task Parallel Programs with TASKPROF at Innovation

09:00 - 10:30
Other

Debugging and Profiling Task Parallel Programs with TASKPROF

Santosh Nagarakatte, Adarsh Yoga

09:00 - 10:30: DeepSpec 2018 - Deep Specifications at Columbus Ballroom B

09:00 - 10:00
Talk

The Science of Deep Specification

10:00 - 10:30
Talk

CakeML: from functions to machine code with proof all the way

Magnus O. Myreen

09:00 - 09:15: ISMM 2018 - Message from the Chairs at Discovery AB

09:00 - 09:15
Day opening

Message from the Chairs

Jennifer Sartor, Hannes Payer

09:00 - 10:30: FMS 2018 - Morning Session I at Discovery C

09:15 - 10:30
Talk

Designing hardware to be free of covert channels by construction

09:15 - 09:30: MAPL 2018 - Introduction at Columbus Ballroom A
Chair(s): Justin Gottschlich, Alvin Cheung

09:15 - 10:15: ISMM 2018 - Keynote at Discovery AB

09:15 - 10:15
Talk

Richard L. Hudson

09:30 - 10:30: MAPL 2018 - Program Analysis at Columbus Ballroom A

09:30 - 10:00
Talk

Ariadne: Analysis for Machine Learning Programs

Julian Dolby, Avraham Shinnar, Allison Allain, Jenna Reinen

10:00 - 10:30
Talk

Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clone Detection

Hongfa Xue, Guru Venkataramani, Tian Lan

10:30 - 11:00: Catering - Coffee Break at Columbus Ballroom Foyer

10:30 - 11:00
Coffee break

10:45 - 12:15: ISMM 2018 - Reference Counting and Techniques for C-family Languages at Discovery AB
Chair(s): Emery Berger

10:45 - 11:15
Talk

Detailed Heap Profiling

Stuart Byma, Jim Larus

11:15 - 11:45
Talk

FRC: A High-Performance Concurrent Parallel Deferred Reference Counter for C++

Charles Tripp, David Hyde, Benjamin Grossman-Ponemon

11:45 - 12:15
Talk

Distributed Garbage Collection for General Graphs

Steven R. Brandt, Hari Krishnan, Costas Busch, Gokarna Sharma

11:00 - 12:00: MAPL 2018 - Code Search at Columbus Ballroom A

11:00 - 11:30
Talk

Obfuscation Resilient Search through Executable Classification

Fang-Hsiang Su, Jonathan Bell, Gail Kaiser, Baishakhi Ray

11:30 - 12:00
Talk

Retrieval on source code: a neural code search

Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, Satish Chandra

11:00 - 12:15: PLDI Tutorials - Debugging and Profiling Task Parallel Programs with TASKPROF at Innovation

11:00 - 12:15
Other

Debugging and Profiling Task Parallel Programs with TASKPROF

Santosh Nagarakatte, Adarsh Yoga

11:00 - 12:15: DeepSpec 2018 - LLVM at Columbus Ballroom B

11:00 - 11:30
Talk

Vellvm - Modular Semantics via Interaction Trees

Steve Zdancewic

11:30 - 12:00
Talk

11:00 - 12:15: FMS 2018 - Morning Session II at Discovery C

11:00 - 12:15
Talk

Everest: Verifying and Deploying Secure Components in the HTTPS Ecosystem

12:15 - 14:00: Catering - Lunch at Grand Ballroom BCD

12:15 - 14:00
Lunch

14:00 - 15:40: FMS 2018 - Afternoon Session I at Discovery C

14:00 - 15:10
Talk

Modular Verification of Deep Specifications of Security-Critical Components

15:10 - 15:40
Research paper

A Recursive Strategy for Symbolic Execution to Find Exploits in Hardware Designs

Rui Zhang, Cynthia Sturton

14:00 - 15:40: PLDI Tutorials - Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis at Innovation

14:00 - 15:40
Other

Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis

Swarat Chaudhuri, Vijayaraghavan Murali, Chris Jermaine

14:00 - 15:40: DeepSpec 2018 - From Testing to Verification at Columbus Ballroom B

14:00 - 14:30
Talk

Verifiable C, a logic and system for proving C programs correct

14:30 - 15:00
Talk

Progress Report on the DeepSpec Web Server

Benjamin C. Pierce

15:00 - 15:30
Talk

QuickChick: Random Testing in Coq

Leonidas Lampropoulos

14:00 - 15:30: MAPL 2018 - New Languages at Columbus Ballroom A

14:00 - 14:30
Talk

Relay: A New IR for Machine Learning Frameworks

Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, Zachary Tatlock

14:30 - 15:00
Talk

Diesel - DSL for Linear Algebra and Neural Net Computations on GPUs

Venmugil Elango, Norm Rubin, Mahesh Ravishankar, Hari Sandanagobalane, Vinod Grover

15:00 - 15:30
Talk

Gen: probabilistic programming with fast custom inference via code generation

Marco Cusumano-Towner, Vikash Mansingkha

14:00 - 15:30: ISMM 2018 - Optimizing for the Web and the Cloud at Discovery AB
Chair(s): Christine H. Flood

14:00 - 14:30
Talk

Hardware-Software Co-optimization of Memory Management in Dynamic Languages

Mohamed Ismail, G. Edward Suh

14:30 - 15:00
Talk

Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications

Rodrigo Bruno, Paulo Ferreira, Ruslan Synytsky, Tetiana Fydorenchyk, Jia Rao, Hang Huang, Song Wu

15:00 - 15:30
Talk

OMR: Out-of-Core MapReduce for Large Data Sets

Gurneet Kaur, Keval Vora, Sai Charan Koduru, Rajiv Gupta

15:40 - 16:10: Catering - Coffee Break at Columbus Ballroom Foyer

15:40 - 16:10
Coffee break

16:00 - 17:30: ISMM 2018 - Analyzing the Cache and Scheduling at Discovery AB
Chair(s): Michael Bond

16:00 - 16:30
Talk

mPart: Miss-Ratio Curve Guided Partitioning in Key-Value Stores

Daniel Byrne, Nilufer Onder, Zhenlin Wang

16:30 - 17:00
Talk

Prediction and Bounds on Shared Cache Demand from Memory Access Interleaving

Jacob Brock, Chen Ding, Rahman Lavaee, Fangzhou Liu, Liang Yuan

17:00 - 17:30
Talk

Balanced Double Queues for GC Work-Stealing on Weak Memory Models

Michihiro Horie, Hiroshi Horii, Kazunori Ogata, Tamiya Onodera

16:10 - 17:35: PLDI Tutorials - Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis at Innovation

16:10 - 17:35
Other

Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis

Swarat Chaudhuri, Vijayaraghavan Murali, Chris Jermaine

16:10 - 17:25: FMS 2018 - Breakout sessions/Panel at Discovery C

16:10 - 17:10
Meeting

Breakout sessions / Discussion

17:10 - 17:25
Meeting

16:10 - 17:35: DeepSpec 2018 - Hardware and Low-Level OS Verification at Columbus Ballroom B

16:10 - 16:40
Talk

Real-Time CertiKOS: A Step Toward Resource Adaptive Certified OS Kernels

16:40 - 17:10
Talk

Verification Around the Hardware-Software Interface: Instruction Set, Processors, and Side Channels

17:10 - 17:35
Talk

Using Kami in the field - experiences integrating Kami into SiFive's Chisel/Scala-based design flow

Muralidaran Vijayaraghavan

16:10 - 16:40: MAPL 2018 - Programming Methodology at Columbus Ballroom A

16:10 - 16:40
Talk

The Three Pillars of Machine Programming

Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B Tenenbaum, Tim Mattson

16:40 - 17:00: MAPL 2018 - Closing Remarks at Columbus Ballroom A
Chair(s): Justin Gottschlich, Alvin Cheung

17:00 - 18:00: MAPL 2018 - Poster Session at Columbus Ballroom A

18:00 - 19:00: Catering - Social Hour at Grand Ballroom Foyer

Tue 19 Jun

08:00 - 09:00: Catering - Breakfast at Columbus Ballroom Foyer

08:00 - 09:00
Other

08:45 - 10:30: PLMW @ PLDI 2018 - Session A at Columbus Ballroom A
Chair(s): Michael Carbin

08:45 - 08:55
Day opening

Introduction and Welcome

Michael Carbin, Milind Kulkarni, Michelle Strout

08:55 - 09:15
Social Event

Michelle Strout

09:15 - 10:00
Talk

What Programming Language Researchers Do and How to Become One

Kathryn S McKinley

10:00 - 10:30
Talk

Intermittent Computing Systems

09:00 - 10:30: PLDI Tutorials - Declarative Program Analysis with QL at Discovery C

09:00 - 10:30
Other

Declarative Program Analysis with QL

Michael Peyton Jones, Aditya Sharad, Jonas Jensen

09:00 - 10:30: DeepSpec 2018 - Distributed Systems and Cryptography at Columbus Ballroom B

09:00 - 10:00
Talk

Modularity for Decidability: Implementing and Semi-Automatically Verifying Distributed Systems

10:00 - 10:30
Talk

Automation for High-Assurance Cryptography, for Primitives and Protocols

09:00 - 10:00: ARRAY 2018 - Keynote at Grand Ballroom C

09:00 - 10:00
Talk

Tensor Comprehensions: deep learning as a polyhedral compiler's killer app

09:00 - 10:30: PLDI Tutorials - Static Analysis for C++ with Phasar at Admiral's Quarters

09:00 - 10:30
Other

Static Analysis for C++ with Phasar

Eric Bodden, Philipp Dominik Schubert, Ben Hermann

09:00 - 10:30: LCTES 2018 - Welcome & Keynote at Discovery AB

09:00 - 09:15
Day opening

09:15 - 10:30
Talk

Keynote: Blockchain and Embedded Systems

10:00 - 10:35: ARRAY 2018 - Array Language Commonalities at Grand Ballroom C

10:00 - 10:35
Talk

A Rosetta Stone for Array Languages

Artjoms Šinkarovs, Robert Bernecky, Hans-Nikolai Vießmann, Sven-Bodo Scholz

10:30 - 11:00: Catering - Coffee Break at Columbus Ballroom Foyer

10:30 - 11:00
Coffee break

11:00 - 12:15: PLDI Tutorials - Declarative Program Analysis with QL at Discovery C

11:00 - 12:15
Other

Declarative Program Analysis with QL

Michael Peyton Jones, Aditya Sharad, Jonas Jensen

11:00 - 12:10: ARRAY 2018 - Exploiting Dynamic Information at Grand Ballroom C

11:00 - 11:35
Talk

Petalisp: Run Time Code Generation for Operations on Strided Arrays

Marco Heisig, Harald Köstler

11:35 - 12:10
Talk

Profile-Based Vectorization for MATLAB

Patryk Kiepas, Jaroslaw Kozlak, Claude Tadonki, Corinne Ancourt

11:00 - 12:15: LCTES 2018 - Full paper session on Programming Languages at Discovery AB

11:00 - 11:25
Full-paper

MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education

James Devine, Joe Finney, Peli de Halleux, Michał Moskal, Thomas Ball, Steve Hodges

11:25 - 11:50
Full-paper

Compositionality in Scenario-aware Dataflow: A Rendezvous Perspective

Mladen Skelin, Marc Geilen

11:50 - 12:15
Full-paper

A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu

Guilherme F. Lima, Rodrigo C. M. Santos, Edward Hermann Haeusler, Roberto Ierusalimschy, Francisco Sant'Anna

11:00 - 12:15: DeepSpec 2018 - Haskell Core and Debugging Debuggers at Columbus Ballroom B

11:00 - 11:30
Talk

Towards a formal semantics for GHC Core

Stephanie Weirich

11:30 - 12:00
Talk

Debugging Debug Information and Beyond

Francesco Zappa Nardelli

11:00 - 12:15: PLMW @ PLDI 2018 - Session B at Columbus Ballroom A
Chair(s): Milind Kulkarni

11:00 - 11:45
Talk

Crossing the Divide: Becoming a (Programming Languages) Researcher

11:45 - 12:15
Talk

Program verification using abductive reasoning

11:00 - 12:15: PLDI Tutorials - Static Analysis for C++ with Phasar at Admiral's Quarters

11:00 - 12:15
Other

Static Analysis for C++ with Phasar

Eric Bodden, Philipp Dominik Schubert, Ben Hermann

12:15 - 14:00: Catering - Lunch at Grand Ballroom CD

12:15 - 14:00
Lunch

12:50 - 13:50: LCTES 2018 - Poster Session & Lunch at Grand Ballroom Foyer

12:50 - 13:50
Lunch

Poster Session & Lunch

13:15 - 15:30: PLMW @ PLDI 2018 - Session C at Columbus Ballroom A
Chair(s): Michelle Strout

13:15 - 14:30
Other

Panel: "Charting your Path"

Sara Achour, Shoaib Kamil, Jennifer B. Sartor, Zachary Tatlock

14:30 - 15:00
Talk

Evaluating Evaluations

Milind Kulkarni

15:00 - 15:30
Talk

The Importance of Communication

14:00 - 15:40: DeepSpec 2018 - Concurrency and Concurrent Operating Systems at Columbus Ballroom B

14:00 - 14:30
Talk

Multicore and Multithreaded Linking for Concurrent CertiKOS

14:30 - 15:00
Talk

Verifying seL4 towards Concurrency

15:00 - 15:30
Talk

Specifying and Verifying Concurrent Programs with Ghost State

14:00 - 15:40: LCTES 2018 - Full paper session on Adaptation and Hardware at Discovery AB

14:00 - 14:25
Full-paper

Adaptive Deep Learning Model Selection on Embedded Systems

Ben Taylor, Vicent Sanz Marco, Willy Wolff, Yehia Elkhatib, Zheng Wang

14:25 - 14:50
Full-paper

Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-based SSD Array

Lei Han, Zhaoyan Shen, Zili Shao, Tao Li

14:50 - 15:15
Full-paper

Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs

Bernhard Egger, Eunjin Song, Hochan Lee, Daeyoung Shin

15:15 - 15:40
Full-paper

Decoupling Address Generation from Loads and Stores to Improve Data Access Energy Efficiency

Michael Stokes, Ryan Baird, Zhaoxiang Jin, David B. Whalley, Soner Onder

14:00 - 15:40: PLDI Tutorials - Static Analysis for C++ with Phasar at Admiral's Quarters

14:00 - 15:40
Other

Static Analysis for C++ with Phasar

Eric Bodden, Philipp Dominik Schubert, Ben Hermann

14:00 - 15:45: ARRAY 2018 - Types and Correctness at Grand Ballroom C

14:00 - 14:35
Talk

Parallel Programming with Arrays in Kappa

Beatrice Åkerblom, Elias Castegren, Tobias Wrigstad

14:35 - 15:10
Talk

Rank Polymorphism Viewed as a Constraint Problem

Justin Slepak, Panagiotis Manolios, Olin Shivers

15:10 - 15:45
Talk

Proving a Core Code for FDM Correct by 2 + dw Tests

Magne Haveraaen

14:00 - 15:40: PLDI Tutorials - Verified Low-Level Programming in F* at Discovery C

14:00 - 15:40
Other

Verified Low-Level Programming in F*

Jonathan Protzenko, Nikhil Swamy, Tahina Ramananandro

15:40 - 16:10: Catering - Coffee Break at Columbus Ballroom Foyer

15:40 - 16:10
Coffee break

16:00 - 17:15: PLMW @ PLDI 2018 - Session D at Columbus Ballroom A
Chair(s): Milind Kulkarni

16:00 - 17:00
Poster

Milind Kulkarni, Jim Larus, Adrian Sampson, Santosh Nagarakatte, Eva Darulova, Osbert Bastani, Emery Berger, Mayur Naik, Joseph Devietti, Sasa Misailovic, John Wickerson, Xin Zhang, Sara Achour, Michael Carbin, Michelle Strout

17:00 - 17:15
Day closing

Michelle Strout, Michael Carbin, Milind Kulkarni

16:10 - 17:20: ARRAY 2018 - Accessing the Memory System at Grand Ballroom C

16:10 - 16:45
Talk

Inner Array Inlining for Structure of Arrays Layout

Matthias Springer, Yaozhu Sun, Hidehiko Masuhara

16:45 - 17:20
Talk

An Array API for Finite Difference Methods

Eva Burrows, Helmer André Friis, Magne Haveraaen

16:10 - 17:35: DeepSpec 2018 - Lightning Talks at Columbus Ballroom B

16:10 - 16:15
Talk

5-minute Lightning Talks

16:15 - 16:20
Talk

Simplicity for Smart Contracts

Russell O'Connor

16:20 - 16:25
Talk

Machine-Verified Machine Learning

16:25 - 16:30
Talk

Verification of Union-Find in C

16:30 - 16:35
Talk

Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats

Clément Pit-Claudel

16:35 - 16:40
Talk

LLVM's IR and Call-By-Push-Value Lambda Calculus

Yannick Zakowski

16:40 - 16:45
Talk

A Formal Equational Theory for Call-By-Push-Value

Christine Rizkallah

16:45 - 16:50
Talk

Serializability for Distributed Protocols

16:50 - 16:55
Talk

A Quick Hack to ask any SMT Solver if my Coq Goal is True

16:10 - 17:35: PLDI Tutorials - Static Analysis for C++ with Phasar at Admiral's Quarters

16:10 - 17:35
Other

Static Analysis for C++ with Phasar

Eric Bodden, Philipp Dominik Schubert, Ben Hermann

16:10 - 17:35: PLDI Tutorials - Verified Low-Level Programming in F* at Discovery C

16:10 - 17:35
Other

Verified Low-Level Programming in F*

Jonathan Protzenko, Nikhil Swamy, Tahina Ramananandro

16:10 - 17:25: LCTES 2018 - WIP paper session at Discovery AB

16:25 - 16:40
Short-paper

WIP: Deep Neural Networks compiler for a trace-based accelerator

Andre Xian Ming Chang, Aliasger Zaidy, Lukasz Burzawa, Eugenio Culurciello

16:40 - 16:55
Short-paper

WIP: Statically Relating Program Properties for Efficient Verification

Bharti Chimdyalwar, Priyanka Darke

16:55 - 17:10
Short-paper

WIP: Transparent Standby for Low-Power, Resource-Constrained Embedded Systems: A Programming Language-Based Approach

Francisco Sant'Anna, Alexandre Sztajnberg, Noemi Rodrigues, Ana Lúcia de Moura

17:10 - 17:25
Short-paper

WIP: An open-source realtime computational platform

Pavan Mehrotra, Sabar Dasgupta, Samantha Robertson, Paul Nuyujukian

Link to publication DOI Pre-print Media Attached

17:30 - 18:30: Catering - Social Hour at Grand Ballroom Foyer

Wed 20 Jun

08:00 - 08:45: Catering - Breakfast at Grand Ballroom Foyer

08:00 - 08:45
Other

08:45 - 09:00: PLDI Invited Speakers - Welcome at Grand Ballroom
Chair(s): Jeffrey S. Foster, Dan Grossman

09:00 - 10:00: PLDI Invited Speakers - Keynote at Grand Ballroom
Chair(s): Michael Hicks

09:00 - 10:00
Talk

Language-Integrated Verification

10:00 - 10:30: PLDI Research Papers - Lightning Overview - Day 1 at Grand Ballroom
Chair(s): Dan Grossman

10:30 - 11:00: Catering - Coffee Break at Grand Ballroom Foyer

10:30 - 11:00
Coffee break

11:00 - 12:15: PLDI Research Papers - Emerging Hardware at Grand Ballroom CD
Chair(s): Ryan R. Newton

11:00 - 11:25
Talk

Persistency for Synchronization-Free Regions

Vaibhav Gogte, Stephan Diestelhorst, William Wang, Satish Narayanasamy, Peter M. Chen, Thomas F. Wenisch

11:25 - 11:50
Talk

Write-Rationing Garbage Collection for Hybrid Memories

Shoaib Akram, Jennifer B. Sartor, Kathryn S McKinley, Lieven Eeckhout

11:50 - 12:15
Talk

Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture

Chit-Kwan Lin, Andreas Wild, Tsung-Han Lin, Gautham N. Chinya, Mike Davies, Hong Wang

11:00 - 12:15: PLDI Research Papers - Web Pages at Grand Ballroom AB
Chair(s): Tobias Wrigstad

11:00 - 11:25
Talk

Verifying That Web Pages Have Accessible Layout

Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil

11:25 - 11:50
Talk

BLeak: Automatically Debugging Memory Leaks in Web Applications

John Vilk, Emery Berger

11:50 - 12:15
Talk

Putting in All the Stops: Execution Control for JavaScript

Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha

12:15 - 14:00: Catering - Lunch at Columbus Ballroom

12:15 - 14:00
Lunch

14:00 - 15:40: PLDI Research Papers - Concurrency and Termination at Grand Ballroom AB
Chair(s): Iulian Neamtiu

14:00 - 14:25
Talk

Static Serializability Analysis for Causal Consistency

Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin Vechev

14:25 - 14:50
Talk

CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs

Peizun Liu, Thomas Wahl

14:50 - 15:15
Talk

Symbolic Reasoning for Automatic Signal Placement

Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis

15:15 - 15:40
Talk

Advanced Automata-Based Algorithms for Program Termination Checking

Yu-Fang Chen, Matthias Heizmann, Ondrej Lengal, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang

14:00 - 15:40: PLDI Research Papers - Dynamic Techniques at Grand Ballroom CD
Chair(s): Sorin Lerner

14:00 - 14:25
Talk

HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack

Guilherme Ottoni

14:25 - 14:50
Talk

On-Stack Replacement, Distilled

Daniele Cono D'Elia, Camil Demetrescu

14:50 - 15:15
Talk

EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++

Gregory J. Duck, Roland H. C. Yap

15:15 - 15:40
Talk

Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability

Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Harry Xu, Zhendong Su

15:40 - 16:10: Catering - Coffee Break at Grand Ballroom Foyer

15:40 - 16:10
Coffee break

16:10 - 17:25: PLDI Research Papers - Floats and Maps at Grand Ballroom CD
Chair(s): Hans-J. Boehm

16:10 - 16:35
Talk

Finding Root Causes of Floating Point Error

Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock

16:35 - 17:00
Talk

Ryū: Fast Float-to-String Conversion

17:00 - 17:25
Talk

To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries

Michael J. Steindorfer, Jurgen Vinju

16:10 - 17:25: PLDI Research Papers - Transactions and Races at Grand Ballroom AB
Chair(s): Tatiana Shpeisman

16:10 - 16:35
Talk

The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++

Nathan Chong, Tyler Sorensen, John Wickerson

16:35 - 17:00
Talk

MixT: A Language for Mixing Consistency in Geodistributed Transactions

Matthew Milano, Andrew Myers

17:00 - 17:25
Talk

Bounding Data Races in Space and Time

Stephen Dolan, KC Sivaramakrishnan, Anil Madhavapeddy

17:30 - 18:30: PLDI Invited Speakers - Program Chair's Report and SIGPLAN Town Hall Meeting at Grand Ballroom AB
Chair(s): Michael Hicks, Dan Grossman

18:00 - 21:00: Student Research Competition (SRC) - Reception and SRC posters at Columbus Ballroom Foyer

Thu 21 Jun

08:00 - 09:00: Catering - Breakfast at Grand Ballroom Foyer

08:00 - 08:45
Other

08:45 - 09:00: PLDI Invited Speakers - PLDI 2019 Introduction at Grand Ballroom
Chair(s): Kathryn S McKinley, Kathleen Fisher

09:00 - 10:00: PLDI Invited Speakers - Keynote at Grand Ballroom
Chair(s): Cormac Flanagan

09:00 - 10:00
Talk

Machine Learning: Alchemy for the Modern Computer Scientist

10:00 - 10:30: PLDI Research Papers - Lightning Overview - Day 2 at Grand Ballroom
Chair(s): Dan Grossman

10:30 - 11:00: Catering - Coffee Break at Grand Ballroom Foyer

10:30 - 11:00
Coffee break

11:00 - 12:15: PLDI Research Papers - Multicore and More at Grand Ballroom AB
Chair(s): Yannis Smaragdakis

11:00 - 11:25
Talk

Spatial: A Language and Compiler for Application Accelerators

David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, Kunle Olukotun

11:25 - 11:50
Talk

Enhancing Computation-to-Core Assignment with Physical Location Information

Orhan Kislal, Jagadish Kotra, Xulong Tang, Mahmut Taylan Kandemir, Myoungsoo Jung

11:50 - 12:15
Talk

SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores

Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Stefanos Kaxiras

11:00 - 12:30: Student Research Competition (SRC) - SRC presentations at Grand Ballroom CD

12:30 - 14:00: Catering - Lunch (note late start) at Columbus Ballroom

12:30 - 14:00
Lunch

14:00 - 15:40: PLDI Research Papers - Concurrency Debugging at Grand Ballroom AB
Chair(s): Tony Hosking

14:00 - 14:25
Talk

iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications

Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu

14:25 - 14:50
Talk

D4: Fast Concurrency Debugging with Parallel Differential Analysis

Bozhen Liu, Jeff Huang

14:50 - 15:15
Talk

High-Coverage, Unbounded Sound Predictive Race Detection

Jake Roemer, Kaan Genç, Michael Bond

15:15 - 15:40
Talk

CURD: A Dynamic CUDA Race Detector

Yuanfeng Peng, Vinod Grover, Joseph Devietti

14:00 - 15:40: PLDI Research Papers - Synthesis and Learning at Grand Ballroom CD
Chair(s): Xin Zhang

14:00 - 14:25
Talk

A General Path-Based Representation for Predicting Program Properties

Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav

14:25 - 14:50
Talk

Program Synthesis using Conflict-Driven Learning

Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig

14:50 - 15:15
Talk

Accelerating Search-Based Program Synthesis using Learned Probabilistic Models

Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik

15:15 - 15:40
Talk

Inferring Crypto API Rules from Code Changes

Rumen Atanasov Paletov, Petar Tsankov, Veselin Raychev, Martin Vechev

15:40 - 16:10: Catering - Coffee Break at Grand Ballroom Foyer

15:40 - 16:10
Coffee break

16:10 - 17:00: PLDI Research Papers - Analyzing Probabilistic Programs at Grand Ballroom CD
Chair(s): Eva Darulova

16:10 - 16:35
Talk

Bounded Expectations: Resource Analysis for Probabilistic Programs

Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann

16:35 - 17:00
Talk

PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs

Di Wang, Jan Hoffmann, Thomas Reps

16:10 - 17:00: PLDI Research Papers - Programming-Student Feedback at Grand Ballroom AB
Chair(s): Dan Grossman

16:10 - 16:35
Talk

Automated Clustering and Program Repair for Introductory Programming Assignments

Sumit Gulwani, Ivan Radiček, Florian Zuleger

16:35 - 17:00
Talk

Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises

Ke Wang, Rishabh Singh, Zhendong Su

17:00 - 18:00: Catering - Social Hour at Grand Ballroom Foyer

17:30 - 18:30: PLDI Invited Speakers - SIGPLAN and SRC Awards at Grand Ballroom
Chair(s): Maria Christakis, Satnam Singh

Fri 22 Jun

08:00 - 09:00: Catering - Breakfast at Grand Ballroom Foyer

08:00 - 09:00
Other

09:00 - 10:00: PLDI Invited Speakers - Keynote at Grand Ballroom
Chair(s): Emery Berger

09:00 - 10:00
Talk

A “Post-ISA” Era in Computer Systems: Challenges and Opportunities

Margaret Martonosi

10:00 - 10:30: PLDI Research Papers - Lightning Overview - Day 3 at Grand Ballroom
Chair(s): Dan Grossman

10:30 - 11:00: Catering - Coffee Break at Grand Ballroom Foyer

10:30 - 11:00
Coffee break

11:00 - 12:15: PLDI Research Papers - Inference for Probabilistic Programs at Grand Ballroom CD
Chair(s): Arjun Guha

11:00 - 11:25
Talk

Incremental Inference for Probabilistic Programs

Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin Vechev, Vikash Mansingkha

11:25 - 11:50
Talk

Bayonet: Probabilistic Inference for Networks

Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin Vechev

11:50 - 12:15
Talk

Probabilistic Programming with Programmable Inference

Vikash Mansingkha, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin Rinard

11:00 - 12:15: PLDI Research Papers - Optimization and Locality at Grand Ballroom AB
Chair(s): Milind Kulkarni

11:00 - 11:25
Talk

Polyhedral Auto-transformation with No Integer Linear Programming

Aravind Acharya, Uday Bondhugula, Albert Cohen

11:25 - 11:50
Talk

Partial Control-Flow Linearization

Simon Moll, Sebastian Hack

11:50 - 12:15
Talk

Locality Analysis through Static Parallel Sampling

Dong Chen, Fangzhou Liu, Chen Ding, Sreepathi Pai

12:15 - 14:00: Catering - Lunch at Columbus Ballroom

12:15 - 14:00
Lunch

14:00 - 15:40: PLDI Research Papers - Program Analysis at Grand Ballroom CD
Chair(s): Isil Dillig

14:00 - 14:25
Talk

Active Learning of Points-To Specifications

Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang

14:25 - 14:50
Talk

Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code

Qingkai Shi, Richard Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang

14:50 - 15:15
Talk

A Data-Driven CHC Solver

He Zhu, Stephen Magill, Suresh Jagannathan

15:15 - 15:40
Talk

User-Guided Program Reasoning using Bayesian Inference

Mukund Raghotaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik

14:00 - 15:40: PLDI Research Papers - Verification at Grand Ballroom AB
Chair(s): Adam Chlipala

14:00 - 14:25
Talk

VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models

Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer

14:25 - 14:50
Talk

Crellvm: Verified Credible Compilation for LLVM

Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi

14:50 - 15:15
Talk

Certified Concurrent Abstraction Layers

Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjoberg, Hao Chen, David Costanzo, Tahina Ramananandro

15:15 - 15:40
Talk

Modularity for Decidability of Deductive Verification with Applications to Distributed Systems

Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos

15:40 - 16:10: Catering - Coffee Break at Grand Ballroom Foyer

15:40 - 16:10
Coffee break

16:10 - 17:25: PLDI Research Papers - Parallelism at Grand Ballroom AB
Chair(s): Julian Dolby

16:10 - 16:35
Talk

GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis

Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noel Pouchet, Fabrice Rastello, P. Sadayappan

16:35 - 17:00
Talk

Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics

Roshan Dathathri, Gurbinder Gill, Loc Hoang, Hoang-Vu Dang, Alex Brooks, Nikoli Dryden, Marc Snir, Keshav Pingali

17:00 - 17:25
Talk

Heartbeat Scheduling: Provable Efficiency for Nested Parallelism

Umut Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski

16:10 - 17:25: PLDI Research Papers - Types at Grand Ballroom CD
Chair(s): Kathleen Fisher

16:10 - 16:35
Talk

Guarded Impredicative Polymorphism

Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones

16:35 - 17:00
Talk

Typed Closure Conversion for the Calculus of Constructions

William J. Bowman, Amal Ahmed

17:00 - 17:25
Talk

Inferring Type Rules for Syntactic Sugar

Justin Pombrio, Shriram Krishnamurthi

Mon 18 Jun 2018


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						18:00						30						19:00						30
Columbus Ballroom A																MAPL 2018 Introduction 09:15 - 09:30			MAPL 2018 Program Analysis 09:30 - 10:30																		MAPL 2018 Code Search 11:00 - 12:00																																				MAPL 2018 New Languages 14:00 - 15:30																										MAPL 2018 Programming Methodology 16:10 - 16:40						MAPL 2018 Closing Remarks 16:40 - 17:00				MAPL 2018 Poster Session 17:00 - 18:00
Columbus Ballroom B													DeepSpec 2018 Deep Specifications 09:00 - 10:30																								DeepSpec 2018 LLVM 11:00 - 12:15																																				DeepSpec 2018 From Testing to Verification 14:00 - 15:40																										DeepSpec 2018 Hardware and Low-Level OS Verification 16:10 - 17:35
Columbus Ballroom Foyer	Catering Breakfast 08:00 - 09:00																														Catering Coffee Break 10:30 - 11:00																																																														Catering Coffee Break 15:40 - 16:10
Discovery AB													ISMM 2018 Message from the Chairs 09:00 - 09:15			ISMM 2018 Keynote 09:15 - 10:15																		ISMM 2018 Reference Counting and Techniques for C-family Languages 10:45 - 12:15																																							ISMM 2018 Optimizing for the Web and the Cloud 14:00 - 15:30																								ISMM 2018 Analyzing the Cache and Scheduling 16:00 - 17:30
Discovery C													FMS 2018 Morning Session I 09:00 - 10:30																								FMS 2018 Morning Session II 11:00 - 12:15																																				FMS 2018 Afternoon Session I 14:00 - 15:40																										FMS 2018 Breakout sessions/Panel 16:10 - 17:25
Grand Ballroom BCD																																																				Catering Lunch 12:15 - 14:00
Grand Ballroom Foyer																																																																	Catering Social Hour 18:00 - 19:00
Innovation													PLDI Tutorials Debugging and Profiling Task Parallel Programs with TASKPROF 09:00 - 10:30																								PLDI Tutorials Debugging and Profiling Task Parallel Programs with TASKPROF 11:00 - 12:15																																				PLDI Tutorials Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis 14:00 - 15:40																										PLDI Tutorials Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis 16:10 - 17:35

Tue 19 Jun 2018


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						18:00						30
Admiral's Quarters													PLDI Tutorials Static Analysis for C++ with Phasar 09:00 - 10:30																								PLDI Tutorials Static Analysis for C++ with Phasar 11:00 - 12:15																																				PLDI Tutorials Static Analysis for C++ with Phasar 14:00 - 15:40																										PLDI Tutorials Static Analysis for C++ with Phasar 16:10 - 17:35
Columbus Ballroom A										PLMW @ PLDI 2018 Session A 08:45 - 10:30																											PLMW @ PLDI 2018 Session B 11:00 - 12:15																											PLMW @ PLDI 2018 Session C 13:15 - 15:30																																	PLMW @ PLDI 2018 Session D 16:00 - 17:15
Columbus Ballroom B													DeepSpec 2018 Distributed Systems and Cryptography 09:00 - 10:30																								DeepSpec 2018 Haskell Core and Debugging Debuggers 11:00 - 12:15																																				DeepSpec 2018 Concurrency and Concurrent Operating Systems 14:00 - 15:40																										DeepSpec 2018 Lightning Talks 16:10 - 17:35
Columbus Ballroom Foyer	Catering Breakfast 08:00 - 09:00																														Catering Coffee Break 10:30 - 11:00																																																														Catering Coffee Break 15:40 - 16:10
Discovery AB													LCTES 2018 Welcome & Keynote 09:00 - 10:30																								LCTES 2018 Full paper session on Programming Languages 11:00 - 12:15																																				LCTES 2018 Full paper session on Adaptation and Hardware 14:00 - 15:40																										LCTES 2018 WIP paper session 16:10 - 17:25
Discovery C													PLDI Tutorials Declarative Program Analysis with QL 09:00 - 10:30																								PLDI Tutorials Declarative Program Analysis with QL 11:00 - 12:15																																				PLDI Tutorials Verified Low-Level Programming in F* 14:00 - 15:40																										PLDI Tutorials Verified Low-Level Programming in F* 16:10 - 17:35
Grand Ballroom C													ARRAY 2018 Keynote 09:00 - 10:00												ARRAY 2018 Array Language Commonalities 10:00 - 10:35												ARRAY 2018 Exploiting Dynamic Information 11:00 - 12:10																																				ARRAY 2018 Types and Correctness 14:00 - 15:45																										ARRAY 2018 Accessing the Memory System 16:10 - 17:20
Grand Ballroom CD																																																				Catering Lunch 12:15 - 14:00
Grand Ballroom Foyer																																																											LCTES 2018 Poster Session & Lunch 12:50 - 13:50																																																								Catering Social Hour 17:30 - 18:30

Wed 20 Jun 2018


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						18:00						30						19:00						30						20:00						30						21:00						30
Columbus Ballroom																																																				Catering Lunch 12:15 - 14:00
Columbus Ballroom Foyer																																																																	Student Research Competition (SRC) Reception and SRC posters 18:00 - 21:00
Grand Ballroom										PLDI Invited Speakers Welcome 08:45 - 09:00			PLDI Invited Speakers Keynote 09:00 - 10:00												PLDI Research Papers Lightning Overview - Day 1 10:00 - 10:30
Grand Ballroom AB																																					PLDI Research Papers Web Pages 11:00 - 12:15																																				PLDI Research Papers Concurrency and Termination 14:00 - 15:40																										PLDI Research Papers Transactions and Races 16:10 - 17:25																PLDI Invited Speakers Program Chair's Report and SIGPLAN Town Hall Meeting 17:30 - 18:30
Grand Ballroom CD																																					PLDI Research Papers Emerging Hardware 11:00 - 12:15																																				PLDI Research Papers Dynamic Techniques 14:00 - 15:40																										PLDI Research Papers Floats and Maps 16:10 - 17:25
Grand Ballroom Foyer	Catering Breakfast 08:00 - 08:45																														Catering Coffee Break 10:30 - 11:00																																																														Catering Coffee Break 15:40 - 16:10

Thu 21 Jun 2018


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						18:00						30
Columbus Ballroom																																																							Catering Lunch (note late start) 12:30 - 14:00
Grand Ballroom										PLDI Invited Speakers PLDI 2019 Introduction 08:45 - 09:00			PLDI Invited Speakers Keynote 09:00 - 10:00												PLDI Research Papers Lightning Overview - Day 2 10:00 - 10:30																																																																												PLDI Invited Speakers SIGPLAN and SRC Awards 17:30 - 18:30
Grand Ballroom AB																																					PLDI Research Papers Multicore and More 11:00 - 12:15																																				PLDI Research Papers Concurrency Debugging 14:00 - 15:40																										PLDI Research Papers Programming-Student Feedback 16:10 - 17:00
Grand Ballroom CD																																					Student Research Competition (SRC) SRC presentations 11:00 - 12:30																																				PLDI Research Papers Synthesis and Learning 14:00 - 15:40																										PLDI Research Papers Analyzing Probabilistic Programs 16:10 - 17:00
Grand Ballroom Foyer	Catering Breakfast 08:00 - 09:00																														Catering Coffee Break 10:30 - 11:00																																																														Catering Coffee Break 15:40 - 16:10																Catering Social Hour 17:00 - 18:00

Fri 22 Jun 2018


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
Columbus Ballroom																																																				Catering Lunch 12:15 - 14:00
Grand Ballroom													PLDI Invited Speakers Keynote 09:00 - 10:00												PLDI Research Papers Lightning Overview - Day 3 10:00 - 10:30
Grand Ballroom AB																																					PLDI Research Papers Optimization and Locality 11:00 - 12:15																																				PLDI Research Papers Verification 14:00 - 15:40																										PLDI Research Papers Parallelism 16:10 - 17:25
Grand Ballroom CD																																					PLDI Research Papers Inference for Probabilistic Programs 11:00 - 12:15																																				PLDI Research Papers Program Analysis 14:00 - 15:40																										PLDI Research Papers Types 16:10 - 17:25
Grand Ballroom Foyer	Catering Breakfast 08:00 - 09:00																														Catering Coffee Break 10:30 - 11:00																																																														Catering Coffee Break 15:40 - 16:10

Mon 18 Jun 2018


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
Columbus Ballroom A																			MAPL 2018 Ariadne: Analysis for Machine Learning Programs 09:30 - 10:00						MAPL 2018 Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clon ... 10:00 - 10:30												MAPL 2018 Obfuscation Resilient Search through Executable Classification 11:00 - 11:30						MAPL 2018 Retrieval on source code: a neural code search 11:30 - 12:00																														MAPL 2018 Relay: A New IR for Machine Learning Frameworks 14:00 - 14:30						MAPL 2018 Diesel - DSL for Linear Algebra and Neural Net Computations on GPUs 14:30 - 15:00						MAPL 2018 Gen: probabilistic programming with fast custom inference via code gene ... 15:00 - 15:30														MAPL 2018 The Three Pillars of Machine Programming 16:10 - 16:40
Columbus Ballroom B													DeepSpec 2018 The Science of Deep Specification 09:00 - 10:00												DeepSpec 2018 CakeML: from functions to machine code with proof all the way 10:00 - 10:30												DeepSpec 2018 Vellvm - Modular Semantics via Interaction Trees 11:00 - 11:30						DeepSpec 2018 Crellvm 11:30 - 12:00																														DeepSpec 2018 Verifiable C, a logic and system for proving C programs correct 14:00 - 14:30						DeepSpec 2018 Progress Report on the DeepSpec Web Server 14:30 - 15:00						DeepSpec 2018 QuickChick: Random Testing in Coq 15:00 - 15:30														DeepSpec 2018 Real-Time CertiKOS: A Step Toward Resource Adaptive Certified OS Kernels 16:10 - 16:40						DeepSpec 2018 Verification Around the Hardware-Software Interface: Instruction Set, P ... 16:40 - 17:10						DeepSpec 2018 Using Kami in the field - experiences integrating Kami into SiFive's Ch ... 17:10 - 17:35
Columbus Ballroom Foyer	PLDI 2018 Catering Breakfast 08:00 - 09:00																														PLDI 2018 Catering Break 10:30 - 11:00																																																														PLDI 2018 Catering Break 15:40 - 16:10
Discovery AB													ISMM 2018 Message from the Chairs 09:00 - 09:15			ISMM 2018 Getting to Go 09:15 - 10:15																		ISMM 2018 Detailed Heap Profiling 10:45 - 11:15						ISMM 2018 FRC: A High-Performance Concurrent Parallel Deferred Reference Counter ... 11:15 - 11:45						ISMM 2018 Distributed Garbage Collection for General Graphs 11:45 - 12:15																											ISMM 2018 Hardware-Software Co-optimization of Memory Management in Dynamic Languages 14:00 - 14:30						ISMM 2018 Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications 14:30 - 15:00						ISMM 2018 OMR: Out-of-Core MapReduce for Large Data Sets 15:00 - 15:30												ISMM 2018 mPart: Miss-Ratio Curve Guided Partitioning in Key-Value Stores 16:00 - 16:30						ISMM 2018 Prediction and Bounds on Shared Cache Demand from Memory Access Interle ... 16:30 - 17:00						ISMM 2018 Balanced Double Queues for GC Work-Stealing on Weak Memory Models 17:00 - 17:30
Discovery C																FMS 2018 Designing hardware to be free of covert channels by construction 09:15 - 10:30																					FMS 2018 Everest: Verifying and Deploying Secure Components in the HTTPS Ecosystem 11:00 - 12:15																																				FMS 2018 Modular Verification of Deep Specifications of Security-Critical Components 14:00 - 15:10														FMS 2018 A Recursive Strategy for Symbolic Execution to Find Exploits in Hardwar ... 15:10 - 15:40												FMS 2018 Breakout sessions / Discussion 16:10 - 17:10												FMS 2018 Wrapup 17:10 - 17:25
Grand Ballroom BCD																																																				PLDI 2018 Catering Lunch 12:15 - 14:00
Innovation													PLDI 2018 PLDI Tutorials Debugging and Profiling Task Parallel Programs with TASKPROF 09:00 - 10:30																								PLDI 2018 PLDI Tutorials Debugging and Profiling Task Parallel Programs with TASKPROF 11:00 - 12:15																																				PLDI 2018 PLDI Tutorials Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis 14:00 - 15:40																										PLDI 2018 PLDI Tutorials Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis 16:10 - 17:35

Tue 19 Jun 2018


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
Admiral's Quarters													PLDI 2018 PLDI Tutorials Static Analysis for C++ with Phasar 09:00 - 10:30																								PLDI 2018 PLDI Tutorials Static Analysis for C++ with Phasar 11:00 - 12:15																																				PLDI 2018 PLDI Tutorials Static Analysis for C++ with Phasar 14:00 - 15:40																										PLDI 2018 PLDI Tutorials Static Analysis for C++ with Phasar 16:10 - 17:35
Columbus Ballroom A										PLMW @ PLDI 2018 Introduction and Welcome 08:45 - 08:55		PLMW @ PLDI 2018 Icebreaker 08:55 - 09:15				PLMW @ PLDI 2018 What Programming Language Researchers Do and How to Become One 09:15 - 10:00									PLMW @ PLDI 2018 Intermittent Computing Systems 10:00 - 10:30												PLMW @ PLDI 2018 Crossing the Divide: Becoming a (Programming Languages) Researcher 11:00 - 11:45									PLMW @ PLDI 2018 Program verification using abductive reasoning 11:45 - 12:15																		PLMW @ PLDI 2018 Panel: "Charting your Path" 13:15 - 14:30															PLMW @ PLDI 2018 Evaluating Evaluations 14:30 - 15:00						PLMW @ PLDI 2018 The Importance of Communication 15:00 - 15:30												PLMW @ PLDI 2018 Poster Session 16:00 - 17:00												PLMW @ PLDI 2018 Wrap up 17:00 - 17:15
Columbus Ballroom B													DeepSpec 2018 Modularity for Decidability: Implementing and Semi-Automatically Verify ... 09:00 - 10:00												DeepSpec 2018 Automation for High-Assurance Cryptography, for Primitives and Protocols 10:00 - 10:30												DeepSpec 2018 Towards a formal semantics for GHC Core 11:00 - 11:30						DeepSpec 2018 Debugging Debug Information and Beyond 11:30 - 12:00																														DeepSpec 2018 Multicore and Multithreaded Linking for Concurrent CertiKOS 14:00 - 14:30						DeepSpec 2018 Verifying seL4 towards Concurrency 14:30 - 15:00						DeepSpec 2018 Specifying and Verifying Concurrent Programs with Ghost State 15:00 - 15:30														DeepSpec 2018 5-minute Lightning Talks 16:10 - 16:15	DeepSpec 2018 Simplicity for Smart Contracts 16:15 - 16:20	DeepSpec 2018 Machine-Verified Machine Learning 16:20 - 16:25	DeepSpec 2018 Verification of Union-Find in C 16:25 - 16:30	DeepSpec 2018 Narcissus: Deriving Correct-By-Construction Decoders and Encoders from ... 16:30 - 16:35	DeepSpec 2018 LLVM's IR and Call-By-Push-Value Lambda Calculus 16:35 - 16:40	DeepSpec 2018 A Formal Equational Theory for Call-By-Push-Value 16:40 - 16:45	DeepSpec 2018 Serializability for Distributed Protocols 16:45 - 16:50	DeepSpec 2018 A Quick Hack to ask any SMT Solver if my Coq Goal is True 16:50 - 16:55
Columbus Ballroom Foyer	PLDI 2018 Catering Breakfast 08:00 - 09:00																														PLDI 2018 Catering Break 10:30 - 11:00																																																														PLDI 2018 Catering Break 15:40 - 16:10
Discovery AB													LCTES 2018 Welcome 09:00 - 09:15			LCTES 2018 Keynote: Blockchain and Embedded Systems 09:15 - 10:30																					LCTES 2018 MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programmin ... 11:00 - 11:25					LCTES 2018 Compositionality in Scenario-aware Dataflow: A Rendezvous Perspective 11:25 - 11:50					LCTES 2018 A Memory-Bounded, Deterministic and Terminating Semantics for the Synch ... 11:50 - 12:15																										LCTES 2018 Adaptive Deep Learning Model Selection on Embedded Systems 14:00 - 14:25					LCTES 2018 Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-based ... 14:25 - 14:50					LCTES 2018 Verification of Coarse-Grained Reconfigurable Arrays through Random Tes ... 14:50 - 15:15					LCTES 2018 Decoupling Address Generation from Loads and Stores to Improve Data Acc ... 15:15 - 15:40														LCTES 2018 WIP: Deep Neural Networks compiler for a trace-based accelerator 16:25 - 16:40			LCTES 2018 WIP: Statically Relating Program Properties for Efficient Verification 16:40 - 16:55			LCTES 2018 WIP: Transparent Standby for Low-Power, Resource-Constrained Embedded S ... 16:55 - 17:10			LCTES 2018 WIP: An open-source realtime computational platform 17:10 - 17:25
Discovery C													PLDI 2018 PLDI Tutorials Declarative Program Analysis with QL 09:00 - 10:30																								PLDI 2018 PLDI Tutorials Declarative Program Analysis with QL 11:00 - 12:15																																				PLDI 2018 PLDI Tutorials Verified Low-Level Programming in F* 14:00 - 15:40																										PLDI 2018 PLDI Tutorials Verified Low-Level Programming in F* 16:10 - 17:35
Grand Ballroom C													ARRAY 2018 Tensor Comprehensions: deep learning as a polyhedral compiler's killer app 09:00 - 10:00												ARRAY 2018 A Rosetta Stone for Array Languages 10:00 - 10:35												ARRAY 2018 Petalisp: Run Time Code Generation for Operations on Strided Arrays 11:00 - 11:35							ARRAY 2018 Profile-Based Vectorization for MATLAB 11:35 - 12:10																													ARRAY 2018 Parallel Programming with Arrays in Kappa 14:00 - 14:35							ARRAY 2018 Rank Polymorphism Viewed as a Constraint Problem 14:35 - 15:10							ARRAY 2018 Proving a Core Code for FDM Correct by 2 + dw Tests 15:10 - 15:45												ARRAY 2018 Inner Array Inlining for Structure of Arrays Layout 16:10 - 16:45							ARRAY 2018 An Array API for Finite Difference Methods 16:45 - 17:20
Grand Ballroom CD																																																				PLDI 2018 Catering Lunch 12:15 - 14:00
Grand Ballroom Foyer																																																											LCTES 2018 Poster Session & Lunch 12:50 - 13:50

Wed 20 Jun 2018


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
Columbus Ballroom																																																				PLDI 2018 Catering Lunch 12:15 - 14:00
Grand Ballroom													PLDI 2018 PLDI Invited Speakers Language-Integrated Verification 09:00 - 10:00
Grand Ballroom AB																																					PLDI 2018 PLDI Research Papers Verifying That Web Pages Have Accessible Layout 11:00 - 11:25					PLDI 2018 PLDI Research Papers BLeak: Automatically Debugging Memory Leaks in Web Applications 11:25 - 11:50					PLDI 2018 PLDI Research Papers Putting in All the Stops: Execution Control for JavaScript 11:50 - 12:15																										PLDI 2018 PLDI Research Papers Static Serializability Analysis for Causal Consistency 14:00 - 14:25					PLDI 2018 PLDI Research Papers CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs 14:25 - 14:50					PLDI 2018 PLDI Research Papers Symbolic Reasoning for Automatic Signal Placement 14:50 - 15:15					PLDI 2018 PLDI Research Papers Advanced Automata-Based Algorithms for Program Termination Checking 15:15 - 15:40											PLDI 2018 PLDI Research Papers The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ 16:10 - 16:35					PLDI 2018 PLDI Research Papers MixT: A Language for Mixing Consistency in Geodistributed Transactions 16:35 - 17:00					PLDI 2018 PLDI Research Papers Bounding Data Races in Space and Time 17:00 - 17:25
Grand Ballroom CD																																					PLDI 2018 PLDI Research Papers Persistency for Synchronization-Free Regions 11:00 - 11:25					PLDI 2018 PLDI Research Papers Write-Rationing Garbage Collection for Hybrid Memories 11:25 - 11:50					PLDI 2018 PLDI Research Papers Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture 11:50 - 12:15																										PLDI 2018 PLDI Research Papers HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack 14:00 - 14:25					PLDI 2018 PLDI Research Papers On-Stack Replacement, Distilled 14:25 - 14:50					PLDI 2018 PLDI Research Papers EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++ 14:50 - 15:15					PLDI 2018 PLDI Research Papers Calling-to-Reference Context Translation via Constraint-Guided CFL-Reac ... 15:15 - 15:40											PLDI 2018 PLDI Research Papers Finding Root Causes of Floating Point Error 16:10 - 16:35					PLDI 2018 PLDI Research Papers Ryū: Fast Float-to-String Conversion 16:35 - 17:00					PLDI 2018 PLDI Research Papers To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps w ... 17:00 - 17:25
Grand Ballroom Foyer	PLDI 2018 Catering Breakfast 08:00 - 08:45																														PLDI 2018 Catering Break 10:30 - 11:00																																																														PLDI 2018 Catering Break 15:40 - 16:10

Thu 21 Jun 2018


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
Columbus Ballroom																																																							PLDI 2018 Catering Lunch 12:30 - 14:00
Grand Ballroom													PLDI 2018 PLDI Invited Speakers Machine Learning: Alchemy for the Modern Computer Scientist 09:00 - 10:00
Grand Ballroom AB																																					PLDI 2018 PLDI Research Papers Spatial: A Language and Compiler for Application Accelerators 11:00 - 11:25					PLDI 2018 PLDI Research Papers Enhancing Computation-to-Core Assignment with Physical Location Information 11:25 - 11:50					PLDI 2018 PLDI Research Papers SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, ... 11:50 - 12:15																										PLDI 2018 PLDI Research Papers iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Ap ... 14:00 - 14:25					PLDI 2018 PLDI Research Papers D4: Fast Concurrency Debugging with Parallel Differential Analysis 14:25 - 14:50					PLDI 2018 PLDI Research Papers High-Coverage, Unbounded Sound Predictive Race Detection 14:50 - 15:15					PLDI 2018 PLDI Research Papers CURD: A Dynamic CUDA Race Detector 15:15 - 15:40											PLDI 2018 PLDI Research Papers Automated Clustering and Program Repair for Introductory Programming As ... 16:10 - 16:35					PLDI 2018 PLDI Research Papers Search, Align, and Repair: Data-Driven Feedback Generation for Introduc ... 16:35 - 17:00
Grand Ballroom CD																																																																	PLDI 2018 PLDI Research Papers A General Path-Based Representation for Predicting Program Properties 14:00 - 14:25					PLDI 2018 PLDI Research Papers Program Synthesis using Conflict-Driven Learning 14:25 - 14:50					PLDI 2018 PLDI Research Papers Accelerating Search-Based Program Synthesis using Learned Probabilistic ... 14:50 - 15:15					PLDI 2018 PLDI Research Papers Inferring Crypto API Rules from Code Changes 15:15 - 15:40											PLDI 2018 PLDI Research Papers Bounded Expectations: Resource Analysis for Probabilistic Programs 16:10 - 16:35					PLDI 2018 PLDI Research Papers PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs 16:35 - 17:00
Grand Ballroom Foyer	PLDI 2018 Catering Breakfast 08:00 - 08:45																														PLDI 2018 Catering Break 10:30 - 11:00																																																														PLDI 2018 Catering Break 15:40 - 16:10

Fri 22 Jun 2018


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
Columbus Ballroom																																																				PLDI 2018 Catering Lunch 12:15 - 14:00
Grand Ballroom													PLDI 2018 PLDI Invited Speakers A “Post-ISA” Era in Computer Systems: Challenges and Opportunities 09:00 - 10:00
Grand Ballroom AB																																					PLDI 2018 PLDI Research Papers Polyhedral Auto-transformation with No Integer Linear Programming 11:00 - 11:25					PLDI 2018 PLDI Research Papers Partial Control-Flow Linearization 11:25 - 11:50					PLDI 2018 PLDI Research Papers Locality Analysis through Static Parallel Sampling 11:50 - 12:15																										PLDI 2018 PLDI Research Papers VeriPhy: Verified Controller Executables from Verified Cyber-Physical S ... 14:00 - 14:25					PLDI 2018 PLDI Research Papers Crellvm: Verified Credible Compilation for LLVM 14:25 - 14:50					PLDI 2018 PLDI Research Papers Certified Concurrent Abstraction Layers 14:50 - 15:15					PLDI 2018 PLDI Research Papers Modularity for Decidability of Deductive Verification with Applications ... 15:15 - 15:40											PLDI 2018 PLDI Research Papers GPU Code Optimization using Abstract Kernel Emulation and Sensitivity A ... 16:10 - 16:35					PLDI 2018 PLDI Research Papers Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneo ... 16:35 - 17:00					PLDI 2018 PLDI Research Papers Heartbeat Scheduling: Provable Efficiency for Nested Parallelism 17:00 - 17:25
Grand Ballroom CD																																					PLDI 2018 PLDI Research Papers Incremental Inference for Probabilistic Programs 11:00 - 11:25					PLDI 2018 PLDI Research Papers Bayonet: Probabilistic Inference for Networks 11:25 - 11:50					PLDI 2018 PLDI Research Papers Probabilistic Programming with Programmable Inference 11:50 - 12:15																										PLDI 2018 PLDI Research Papers Active Learning of Points-To Specifications 14:00 - 14:25					PLDI 2018 PLDI Research Papers Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines ... 14:25 - 14:50					PLDI 2018 PLDI Research Papers A Data-Driven CHC Solver 14:50 - 15:15					PLDI 2018 PLDI Research Papers User-Guided Program Reasoning using Bayesian Inference 15:15 - 15:40											PLDI 2018 PLDI Research Papers Guarded Impredicative Polymorphism 16:10 - 16:35					PLDI 2018 PLDI Research Papers Typed Closure Conversion for the Calculus of Constructions 16:35 - 17:00					PLDI 2018 PLDI Research Papers Inferring Type Rules for Syntactic Sugar 17:00 - 17:25
Grand Ballroom Foyer	PLDI 2018 Catering Breakfast 08:00 - 09:00																														PLDI 2018 Catering Break 10:30 - 11:00																																																														PLDI 2018 Catering Break 15:40 - 16:10

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format