Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 22 Jun

Displayed time zone: Tijuana, Baja California change

08:00 - 09:00
BreakfastCatering at 301 Foyer
08:00
60m
Other
Breakfast
Catering

09:00 - 09:15
Opening and IntroductionWAX at 105C
Chair(s): Ulya Karpuzcu University of Minnesota, USA
09:00 - 09:15
OpeningSOAP at 106A
Chair(s): Thierry Lavoie Synopsys, Inc.
09:00
15m
Day opening
Welcome to SOAP 2019
SOAP
Neville Grech University of Athens, Thierry Lavoie Synopsys, Inc.
09:00 - 10:30
Deep SpecificationsDeepSpec at 106B
Chair(s): Lennart Beringer Princeton University
09:00
45m
Talk
Overview of the DeepSpec Expedition and its Capstone Application
DeepSpec
Benjamin C. Pierce University of Pennsylvania
09:45
45m
Talk
Project Updates from Participating Sites
DeepSpec
Andrew Appel Princeton, Adam Chlipala Massachusetts Institute of Technology, USA, Zhong Shao Yale University
09:00 - 10:00
Session 1ARRAY at 106C
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
09:00
60m
Talk
Array Processing on Steroids for the SKA Radio-Telescope
ARRAY
09:00 - 09:30
Chapel 101 (pre-workshop session)CHIUW at 212A
09:00
30m
Talk
Chapel 101
CHIUW
09:00 - 11:00
09:00
2h
Tutorial
Probabilistic Programming using Edward/TensorFlow
PLDI Tutorials
Dr Amita Kapoor University of Delhi, Delhi
09:00 - 11:00
09:00
2h
Tutorial
Declarative Program Analysis With QL
PLDI Tutorials
09:15 - 10:15
Keynote: Song Han, MITWAX at 105C
09:15 - 11:00
Performance and Optimizations for Program Analysis ToolsSOAP at 106A
Chair(s): Neville Grech University of Athens
09:15
20m
Talk
Commit-time Incremental Analysis
SOAP
09:35
20m
Talk
Know Your Analysis: How Instrumentation Aids Understanding Static Analysis
SOAP
Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Richard Leer Heinz Nixdorf Institut, Paderborn University, Ben Hermann Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print Media Attached
09:55
20m
Talk
Fixpoint Reuse for Incremental JavaScript Analysis
SOAP
Lawton Nichols , Mehmet Emre University of California, Santa Barbara, Ben Hardekopf UC Santa Barbara
10:15
80m
Talk
Program Analysis for Process Migration
SOAP
10:35
25m
Other
Open Discussion on Previous Talks 1
SOAP

09:30 - 10:00
Welcome, State of the Chapel ProjectCHIUW at 212A
09:30
30m
Talk
Welcome, State of the Chapel Project
CHIUW
G: Benjamin Robbins Cray Inc., P: Brad Chamberlain Cray Inc.
10:00 - 11:00
Session 2ARRAY at 106C
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
10:00
30m
Talk
Convolutional Neural Networks in APL
ARRAY
A: Artjoms Šinkarovs Heriot-Watt University, UK, A: Robert Bernecky Snake Island Research, A: Sven-Bodo Scholz Heriot-Watt University
10:30
30m
Talk
Toward Generalized Tensor Algebra for ab initio Quantum Chemistry Methods
ARRAY
A: Erdal Mutlu Pacific Northwest National Laboratory, A: Karol Kowalski Pacific Northwest National Laboratory, A: Sriram Krishnamoorthy Pacific Northwest National Laboratories
10:00 - 10:50
Chapel Implementation ImprovementsCHIUW at 212A
Chair(s): Michelle Strout University of Arizona
10:00
25m
Research paper
GPUIterator: Bridging the Gap between Chapel and GPU Platforms
CHIUW
Akihiro Hayashi Rice University, USA, Sri Raj Paul Georgia Institute of Technology, Vivek Sarkar Rice University, USA
10:25
25m
Talk
Calling Chapel Code: Interoperability Improvements
CHIUW
Lydia Duncan Cray Inc., David Iten Cray Inc.
10:15 - 11:00
Talks 1WAX at 105C
10:15
10m
Talk
NAP: Noise-Based Sensitivity Analysis for Programs.
WAX
Jesse Michel Massachusetts Institute of Technology, Sahil Verma IIT Kanpur, Benjamin Sherman Massachusetts Institute of Technology, USA, Michael Carbin Massachusetts Institute of Technology
10:25
10m
Talk
Approximate Checkers
WAX
10:35
10m
Talk
Co-Optimization of Optics, Architecture, and Vision Algorithms
WAX
Samuel Triest , Daniel Nikolov , Jannick Rolland University of Rochester, Yuhao Zhu University of Rochester
10:30 - 11:00
Coffee BreakDeepSpec at 106B
11:00 - 12:30
Compiler VerificationDeepSpec at 106B
Chair(s): Zhong Shao Yale University
11:00
30m
Talk
Closure Conversion is Safe for Space
DeepSpec
Zoe Paraskevopoulou Princeton University, Andrew Appel Princeton
11:30
30m
Talk
Fast, Verified Partial Evaluation
DeepSpec
Adam Chlipala Massachusetts Institute of Technology, USA
12:00
30m
Talk
Stack-Aware CompCert
DeepSpec
Yuting Wang Yale University
11:00 - 11:20
Coffee BreakCatering at 301 Foyer
11:00
20m
Coffee break
Break
Catering

11:20 - 12:30
Talks 2WAX at 105C
11:20
10m
Talk
Identifying Optimal Parameters for Approximate Randomized Algorithms
WAX
Vimuth Fernando University of Illinois at Urbana-Champaign, Keyur Joshi University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign
11:30
30m
Talk
Invited Talk: Yipeng Huang
WAX
Yipeng Huang Princeton University
Link to publication Pre-print
12:00
30m
Talk
Invited Talk: Yongjoo Park
WAX
Yongjoo Park University of Michigan
11:20 - 12:30
Industry TalksSOAP at 106A
Chair(s): Thierry Lavoie Synopsys, Inc.
11:20
70m
Talk
Adventures in Commercial-Grade Static Analysis
SOAP
11:20 - 12:35
Chapel Performance and OptimizationsCHIUW at 212A
Chair(s): David G. Wonnacott Haverford College
11:20
25m
Talk
Towards Radix Sorting in the Chapel Standard Library
CHIUW
11:45
25m
Research paper
Implementing Stencil Problems in Chapel: An Experience Report
CHIUW
Per Fuchs Vrije Universiteit (VU) Amsterdam, Pieter Hijma Vrije Universiteit (VU) Amsterdam, Clemens Grelck University of Amsterdam
12:10
25m
Talk
Chapel Unblocked: Recent Communication Optimizations in Chapel
CHIUW
Elliot Ronaghan Cray Inc., Ben Harshbarger Cray Inc., Gregory Titus Cray Inc., Michael Ferguson Cray Inc.
11:20 - 12:30
11:20
70m
Tutorial
Probabilistic Programming using Edward/TensorFlow
PLDI Tutorials
Dr Amita Kapoor University of Delhi, Delhi
11:20 - 12:30
11:20
70m
Tutorial
Declarative Program Analysis With QL
PLDI Tutorials
11:30 - 12:30
Session 3ARRAY at 106C
Chair(s): Martin Elsman University of Copenhagen, Denmark
11:30
30m
Talk
Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays
ARRAY
A: Benjamin Chetioui University of Bergen, Norway, A: Lenore Mullin SUNY Albany, USA, A: Ole Abusdal , A: Magne Haveraaen University of Bergen, Norway, A: Jaakko Järvi University of Bergen, A: Sandra Macià Barcelona Supercomputing Center
12:00
30m
Talk
Linear Algebraic Depth-First Search
ARRAY
12:30 - 14:00
LunchCatering at 301A
13:30 - 14:30
DiscussionWAX at 105C
14:00 - 15:30
Session 3MAPL at 105A
14:00
45m
Talk
Neural Query Expansion for Code Search
MAPL
Jason Liu , Seohyun Kim Facebook, Vijayaraghavan Murali Rice University, USA, Swarat Chaudhuri Rice University, Satish Chandra Facebook
14:45
45m
Talk
A Case Study on Machine Learning for Synthesizing Benchmarks
MAPL
Andrés Goens , Alexander Brauckmann , Sebastian Ertel , Chris Cummins University of Edinburgh, Hugh Leather University of Edinburgh, Jeronimo Castrillon TU Dresden, Germany
14:00 - 15:30
Engineering Advances for Program Analysis ToolsSOAP at 106A
Chair(s): Thierry Lavoie Synopsys, Inc.
14:00
20m
Talk
SootDiff: Bytecode Comparison across different Java Compilers
SOAP
Andreas Dann Paderborn University, Ben Hermann Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
14:20
20m
Talk
Modernizing Parsing Tools
SOAP
14:40
20m
Talk
MetaDL: Analysing Datalog in Datalog
SOAP
Pre-print
15:00
30m
Talk
Open Discussion on Previous Talks 2
SOAP

14:00 - 15:30
Modular ReasoningDeepSpec at 106B
Chair(s): Benjamin C. Pierce University of Pennsylvania
14:00
30m
Talk
Abstraction, Subsumption, and Linking in VST
DeepSpec
Lennart Beringer Princeton University, Andrew Appel Princeton
14:30
30m
Talk
Compositional Verification of Preemptive OS Kernels with Temporal and Spatial Isolation
DeepSpec
Mengqi Liu Yale University
15:00
30m
Talk
Modular Correctness Proofs at the Hardware-Software Interface
DeepSpec
Joonwon Choi Massachusetts Institute of Technology, USA
14:00 - 15:30
Session 4ARRAY at 106C
Chair(s): Tze Meng Low CMU
14:00
30m
Talk
TeIL: a type-safe imperative Tensor Intermediate Language
ARRAY
Norman A. Rink TU Dresden, Germany, Jeronimo Castrillon TU Dresden, Germany
14:30
30m
Talk
Records with Rank Polymorphism
ARRAY
A: Justin Slepak Northeastern University, A: Olin Shivers Northeastern University, USA, A: Panagiotis Manolios Northeastern University
15:00
30m
Talk
Data-Parallel Flattening by Expansion
ARRAY
Martin Elsman University of Copenhagen, Denmark, Troels Henriksen University of Copenhagen, Denmark, Niels G. W. Serup DIKU, University of Copenhagen
14:00 - 15:00
Keynote Talk by Anshu Dubey (Argonne)CHIUW at 212A
Chair(s): Brad Chamberlain Cray Inc.
14:00
60m
Talk
Programming Abstractions for Orchestration of HPC Scientific Computing
CHIUW
K: Anshu Dubey Argonne National Laboratory
14:00 - 15:30
14:00
90m
Tutorial
Deep Reinforcement Learning using TensorFlow
PLDI Tutorials
Dr Amita Kapoor University of Delhi, Delhi
14:00 - 15:30
14:00
90m
Tutorial
Using the V8 JavaScript Virtual Machine as a Research Platform
PLDI Tutorials
O: Steve Blackburn Australian National University , O: Ulan Degenbaev Google, O: Hannes Payer Google
15:00 - 15:25
Applications of ChapelCHIUW at 212A
Chair(s): Michael Ferguson Cray Inc.
15:00
25m
Talk
Arkouda: Interactive Data Exploration Backed by Chapel
CHIUW
15:30 - 16:00
Coffee BreakCatering at 301 Foyer
16:00 - 17:30
KeynoteMAPL at 105A
16:00
90m
Talk
Keynote: Learning to Reason about Programs
MAPL
Mayur Naik University of Pennsylvania
16:00 - 17:40
Demos, Tributes and AwardsSOAP at 106A
Chair(s): Neville Grech University of Athens
16:00
20m
Other
Laurie Hendren Euology
SOAP
Thierry Lavoie Synopsys, Inc., Neville Grech University of Athens
16:20
60m
Talk
FutureSoot: Making Soot ready for the future analyses of complex software
SOAP
Ben Hermann Paderborn University, Andreas Dann Paderborn University
17:20
20m
Day closing
Best presentation announcement and closing of the day
SOAP
Neville Grech University of Athens, Thierry Lavoie Synopsys, Inc.
16:00 - 17:30
Interaction Trees and Algebraic Effects IDeepSpec at 106B
Chair(s): Andrew Appel Princeton
16:00
20m
Talk
Interaction Trees: Representing Recursive and Impure Programs in Coq
DeepSpec
Steve Zdancewic University of Pennsylvania
16:20
25m
Talk
Connecting Separation Logic with First-Order Reasoning on Memory
DeepSpec
William Mansky University of Illinois at Chicago, Wolf Honore
16:45
45m
Talk
Typed Programming with Algebraic Effects (in terms of ambient values, functions, and control)
DeepSpec
Daan Leijen Microsoft Research, USA
16:00 - 17:30
Session 5ARRAY at 106C
Chair(s): Lenore Mullin SUNY Albany, USA
16:00
30m
Talk
ALPyNA: Acceleration of Loops in Python for Novel Architectures
ARRAY
A: Dejice Jacob , A: Jeremy Singer University of Glasgow
16:30
30m
Talk
Code Generation in Linnea (extended abstract)
ARRAY
A: Henrik Barthels RWTH Aachen, A: Paolo Bientinesi Umeå University
17:00
30m
Talk
High-Level Synthesis of Functional Patterns with Lift
ARRAY
A: Martin Kristien University of Edinburgh, UK, A: Bruno Bodin Yale-NUS College, A: Michel Steuwer University of Glasgow, A: Christophe Dubach University of Edinburgh
16:00 - 16:50
Applications of Chapel (continued)CHIUW at 212A
Chair(s): Michael Ferguson Cray Inc.
16:00
25m
Talk
Chapel Graph Library (CGL)
CHIUW
Louis Jenkins University of Rochester, Marcin Zalewski Pacific Northwest National Laboratory
16:25
25m
Talk
Chapel in Cray HPO
CHIUW
Benjamin Albrecht Cray Inc., Alex Heye Cray Inc., Benjamin Robbins Cray Inc.
16:00 - 17:30
16:00
90m
Tutorial
Deep Reinforcement Learning using TensorFlow
PLDI Tutorials
Dr Amita Kapoor University of Delhi, Delhi
16:00 - 17:35
16:00
1h35m
Tutorial
Using the V8 JavaScript Virtual Machine as a Research Platform
PLDI Tutorials
O: Steve Blackburn Australian National University , O: Ulan Degenbaev Google, O: Hannes Payer Google
16:50 - 17:30
Lightning Talks and Flash DiscussionsCHIUW at 212A
Chair(s): Benjamin Robbins Cray Inc.
18:00 - 20:00
Social EventSOAP at TBD
18:00
2h
Social Event
SOAP Dinner at Mancuso's
SOAP

Sun 23 Jun

Displayed time zone: Tijuana, Baja California change

08:00 - 09:00
BreakfastCatering at 301 Foyer
09:00 - 09:45
Keynote 1: Academic KeynoteLCTES at 105A
09:00
10m
Talk
Note from Program Chair
LCTES
Aviral Shrivastava Arizona State University
09:10
35m
Talk
New Models and Methods for Programming Cyber-Physical Systems
LCTES
K: Rajesh Gupta UC San Diego
09:00 - 09:30
IcebreakerPLMW @ PLDI at 105B
Chair(s): Milind Kulkarni Purdue University
09:00
30m
Other
Icebreaker
PLMW @ PLDI
Milind Kulkarni Purdue University
09:00 - 11:00
Dynamically Analyzing WebAssembly with WasabiPLDI Tutorials at 105C
09:00
2h
Tutorial
Dynamically Analyzing WebAssembly with Wasabi
PLDI Tutorials
Michael Pradel TU Darmstadt and Facebook, Daniel Lehmann TU Darmstadt
09:00 - 11:00
Scaling UpISMM at 106A
09:00
5m
Day opening
Welcome from the chairs
ISMM
Harry Xu University of California, Los Angeles (UCLA), Jeremy Singer University of Glasgow
09:05
40m
Talk
Keynote 1: Relaxed memory ordering needs a better specification
ISMM
09:45
25m
Talk
Automatic GPU Memory Management for Large Neural Models in TensorFlow
ISMM
Tung D. Le IBM Research - Tokyo, Haruki Imai IBM Research - Tokyo, Yasushi Negishi IBM Research - Tokyo, Kiyokuni Kawachiya IBM Research - Tokyo
10:10
25m
Talk
Massively Parallel GPU Memory Compaction
ISMM
Matthias Springer Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
10:35
25m
Talk
Scaling Up Parallel GC Work-Stealing in Many-Core Environments
ISMM
Michihiro Horie IBM Research - Tokyo, Kazunori Ogata IBM Research, Japan, Mikio Takeuchi IBM Research - Tokyo, Hiroshi Horii IBM Research, Japan
09:00 - 10:30
Interaction Trees and Algebraic Effects IIDeepSpec at 106B
Chair(s): Steve Zdancewic University of Pennsylvania
09:00
45m
Talk
Implementation and Verification of Modular Effectful Systems in Coq using FreeSpec
DeepSpec
Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
09:45
45m
Talk
Names, Places, and Things: Generic Traversals over Generic Syntax with Binding
DeepSpec
James McKinna University of Edinburgh
09:00 - 09:10
WelcomeDBPL at 106C
Chair(s): Alvin Cheung University of Washington, Kim Nguyễn University of Paris-Sud, France
09:00 - 10:00
SafeAsyncPLDI Tutorials at 212A
09:00
60m
Tutorial
Safe Asynchronous Programming: Methodology, Language, and Tools
PLDI Tutorials
Pantazis Deligiannis Microsoft Research, Ankush Desai University of California, Berkeley, Akash Lal Microsoft Research India, Shaz Qadeer Facebook
09:10 - 10:20
Invited Talk: Jeremy GibbonsDBPL at 106C
09:30 - 10:15
ISCA Mentoring TalkPLMW @ PLDI at 105B
09:30
45m
Talk
What I wish I knew my first few years of grad school
PLMW @ PLDI
Jason Mars University of Michigan
09:30 - 11:00
Session IDPA at 212B
Chair(s): Neville Grech University of Athens
09:30
30m
Talk
The K Framework
DPA
Sandeep Dasgupta University of Illinois at Urbana-Champaign, USA
10:00
30m
Talk
MetaDL and Beyond: Custom Program Analyses in Datalog
DPA
Christoph Reichenbach Lund University
10:30
30m
Talk
Datafun: A higher-order functional Datalog
DPA
Michael Arntzenius University of Birmingham, UK
09:45 - 11:00
Session 1: Memory ManagementLCTES at 105A
Chair(s): Greg Stitt University of Florida
09:45
15m
Full-paper
Optimizing Tensor Contractions for Embedded Devices with Racetrack Memory Scratch-Pads
LCTES
Asif Ali Khan TU Dresden, Germany, Norman A. Rink TU Dresden, Germany, Fazal Hameed TU Dresden, Germany, Jeronimo Castrillon TU Dresden, Germany
10:00
15m
Full-paper
SHAKTI-MS: A RISC-V Processor for Memory Safety in C
LCTES
10:15
15m
Full-paper
SA-SPM: An Efficient Compiler for Security Aware Scratchpad Memory (Invited)
LCTES
Thomas Haywood Dadzie Hanyang University, Jiwon Lee Hanyang University, Jihye Kim Kookmin University, Hyunok Oh Hanyang Univ
10:30
15m
Full-paper
1+1$>$2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flash Systems
LCTES
Yejia Di East China Normal University, Chongqing University, Liang Shi Chongqing University, Shuo-Han Chen Academia Sinica, Taipei, Jason Xue City University of Hong Kong, China, Edwin Sha Chongqing University
10:45
15m
Full-paper
Crash Recoverable ARMv8-oriented B+-tree for Byte-addressable Persistent Memory
LCTES
Chundong Wang Singapore University of Technology and Design, Sudipta Chattopadhyay Singapore University of Technology and Design, Gunavaran Brihadiswarn University of Moratuwa
10:00 - 11:00
SafeAsyncPLDI Tutorials at 212A
10:00
60m
Tutorial
Safe Asynchronous Programming: Methodology, Language, and Tools
PLDI Tutorials
Pantazis Deligiannis Microsoft Research, Ankush Desai University of California, Berkeley, Akash Lal Microsoft Research India, Shaz Qadeer Facebook
10:15 - 11:00
PL Mentoring TalkPLMW @ PLDI at 105B
Chair(s): Michelle Strout University of Arizona
10:15
45m
Talk
How to be a great researcher
PLMW @ PLDI
Mary Hall University of Utah
10:20 - 11:00
Novel Data ApplicationsDBPL at 106C
10:20
20m
Talk
Detecting Unsatisfiable CSS Rules in the Presence of DTDs
DBPL
Nobutaka Suzuki University of Tsukuba, Takuya Okada University of Tsukuba, Yeondae Kwon The University of Tokyo
10:40
20m
Talk
Fluid Data Structures
DBPL
Darshana Balakrishnan University at Buffalo, Lukasz Ziarek SUNY Buffalo, USA, Oliver Kennedy University at Buffalo
10:30 - 11:00
Coffee BreakDeepSpec at 106B
11:00 - 12:30
HW/SW Interface SpecificationsDeepSpec at 106B
Chair(s): Adam Chlipala Massachusetts Institute of Technology, USA
11:00
45m
Talk
Development of the RISC-V ISA Formal Specification
DeepSpec
11:45
45m
Talk
Automated Formal Memory Consistency Verification of Hardware
DeepSpec
Yatin Manerkar Princeton University
11:00 - 11:20
Coffee BreakCatering at 301 Foyer
11:20 - 12:35
Session 2: Architecture and CompilersLCTES at 105A
Chair(s): Na Meng Virginia Tech
11:20
15m
Full-paper
From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited)
LCTES
Wanli Chang University of York, Shuai Zhao University of York, Ran Wei University of York, Andy Wellings University of York, Alan Burns University of York
11:35
15m
Full-paper
The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers
LCTES
Saad Ahmed LUMS, Pakistan, Abu Bakar Northwestern University, US, Naveed Anwar Bhatti RISE, Sweden, Muhammad Hamad Alizai LUMS, Pakistan, Junaid Haroon Siddiqui Lahore University of Management Sciences, Luca Mottola Politecnico di Milano, Italy and RI.Se SICS, Sweden
11:50
15m
Full-paper
WCET-Aware Hyper-Block Construction for Clustered VLIW Processors
LCTES
Xuesong Su UNSW Sydney, Hui Wu University of New South Wales, Australia, Jingling Xue UNSW Sydney
12:05
15m
Full-paper
SPECTRUM: A Software Defined Predictable Many-core Architecture for LTE Baseband Processing
LCTES
Vanchinathan Venkataramani National University of Singapore, Aditi Kulkarni National University of Singapore, Tulika Mitra National University of Singapore, Singapore, Li-Shiuan Peh National University of Singapore
12:20
15m
Full-paper
Efficient Intermittent Computing with Differential Checkpointing
LCTES
Saad Ahmed LUMS, Pakistan, Naveed Anwar Bhatti RISE, Sweden, Muhammad Hamad Alizai LUMS, Pakistan, Junaid Haroon Siddiqui Lahore University of Management Sciences, Luca Mottola Politecnico di Milano, Italy and RI.Se SICS, Sweden
11:20 - 12:30
Panel: Charting Your PathPLMW @ PLDI at 105B
Chair(s): Michelle Strout University of Arizona
11:20
70m
Other
Panel: Charting Your Path
PLMW @ PLDI
Lisa Hsu , Adrian Sampson Cornell University, Caroline Trippel Princeton University, Benjamin Zorn Microsoft Research, Emma Tosch University of Massachusetts, Amherst
11:20 - 12:30
Dynamically Analyzing WebAssembly with WasabiPLDI Tutorials at 105C
11:20
70m
Tutorial
Dynamically Analyzing WebAssembly with Wasabi
PLDI Tutorials
Michael Pradel TU Darmstadt and Facebook, Daniel Lehmann TU Darmstadt
11:20 - 12:35
ExoticaISMM at 106A
11:20
25m
Talk
Exploration of Memory Hybridization for RDD Caching in Spark
ISMM
Md Muhib Khan Florida State University, Muhammad Ahad Ul Alam Florida State University, USA, Amit Kumar Nath Florida State University, USA, Weikuan Yu Florida State University, USA
11:45
25m
Talk
Learning When to Garbage Collect with Random Forests
ISMM
Nicholas Jacek UMass Amherst, Eliot Moss University of Massachusetts Amherst
12:10
25m
Talk
Timescale Functions for Parallel Memory Allocation
ISMM
Pengcheng Li Google, Inc, Hao Luo University of Rochester, Chen Ding University of Rochester
11:20 - 12:20
Graphs and StreamsDBPL at 106C
11:20
20m
Talk
Streaming saturation for large RDF graphs with dynamic schema information
DBPL
Mohammad Amin Farvardin PSL, Université Paris-Dauphine, LAMSADE, Dario Colazzo , Khalid Belhajjame PSL, Université Paris-Dauphine, LAMSADE, Carlo Sartiani
11:40
20m
Talk
Arc: An IR for Batch and Stream Programming
DBPL
Lars Kroll KTH Royal Institute of Technology, Sweden, Klas Segeljakt KTH, Paris Carbone KTH, Sweden, Christian Schulte KTH Royal Institute of Technology, Sweden, Seif Haridi
Pre-print Media Attached
12:00
20m
Talk
Towards Compiling Graph Queries in Relational Engines
DBPL
Ruby Tahboub Purdue University, Xilun Wu Purdue University, Gregory Essertel , Tiark Rompf Purdue University
11:20 - 12:30
SafeAsyncPLDI Tutorials at 212A
11:20
70m
Tutorial
Safe Asynchronous Programming: Methodology, Language, and Tools
PLDI Tutorials
Pantazis Deligiannis Microsoft Research, Ankush Desai University of California, Berkeley, Akash Lal Microsoft Research India, Shaz Qadeer Facebook
11:30 - 12:30
Session IIDPA at 212B
Chair(s): Max Schaefer GitHub
11:30
30m
Talk
Fast and Precise Disassembly using Datalog
DPA
Vineeth Kashyap GrammaTech, Inc.
12:00
30m
Talk
Gigahorse: Thorough Smart Contract Decompilation and Security Analyses
DPA
Neville Grech University of Athens
12:30 - 14:00
LunchCatering at 301A
14:00 - 14:45
Keynote 2: Industry KeynoteLCTES at 105A
14:00
10m
Talk
Note from General Chair
LCTES
Jian-Jia Chen TU Dortmund University
14:10
35m
Industry talk
An Open, Transparent, Industry-Driven Approach to AV Safety
LCTES
K: Jack Weast Intel, USA
14:00 - 15:30
PL Research TopicsPLMW @ PLDI at 105B
Chair(s): Milind Kulkarni Purdue University
14:00
30m
Talk
Designing Languages for Designing Hardware
PLMW @ PLDI
Adrian Sampson Cornell University
Link to publication
14:30
30m
Talk
Func2vec: Path-Based Function Embedding
PLMW @ PLDI
Cindy Rubio-González University of California, Davis
15:00
30m
Talk
Hacks to Compensate for Lack of Novelty in Programming Languages Research
PLMW @ PLDI
Alastair F. Donaldson Google and Imperial College London
14:00 - 15:40
MechanicsISMM at 106A
14:00
50m
Talk
Keynote 2: Why do big data and cloud systems stop (slow down)?
ISMM
Shan Lu University of Chicago
14:50
25m
Talk
Concurrent Marking of Shape-Changing Objects
ISMM
15:15
25m
Talk
A Lock-Free Coalescing-Capable Mechanism for Memory Management
ISMM
Ricardo Leite University of Porto, Ricardo Rocha University of Porto, Portugal
14:00 - 15:15
Verifying All the ThingsDeepSpec at 106B
Chair(s): Zhong Shao Yale University
14:00
45m
Talk
Project Oak: Control Data in Distributed Systems, Verify All The Things
DeepSpec
Ben Laurie Google Research
14:45
30m
Talk
Refinement-Based Game Semantics for CompCert
DeepSpec
Jérémie Koenig Yale University
14:00 - 15:10
Invited Talk: Işıl DilligDBPL at 106C
14:00 - 15:30
SafeAsyncPLDI Tutorials at 212A
14:00
90m
Tutorial
Safe Asynchronous Programming: Methodology, Language, and Tools
PLDI Tutorials
Pantazis Deligiannis Microsoft Research, Ankush Desai University of California, Berkeley, Akash Lal Microsoft Research India, Shaz Qadeer Facebook
14:00 - 15:30
Session IIIDPA at 212B
Chair(s): Max Schaefer GitHub
14:00
30m
Talk
Now You See Me, Now You Don't: Querying with Hybrid Temporal Logic
DPA
Mistral Contrastin University of Cambridge, UK
14:30
30m
Talk
Assertion-based Guidance of Top-down Horn Clause-based Analysis in CiaoPP
DPA
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM)
15:00
30m
Talk
Tunable abstract abstract machines
DPA
Thomas Gilray The University of Alabama at Birmingham
14:45 - 15:30
Session 3: ApplicationsLCTES at 105A
Chair(s): Wanli Chang University of York
14:45
15m
Full-paper
Automating the Generation of Hardware Component Knowledge Bases
LCTES
Luke Hsiao Stanford University, Sen Wu Stanford University, Nicholas Chiang Gunn High School, Christopher Ré , Philip Levis Stanford University
15:00
15m
Full-paper
IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems
LCTES
Xinyi Li Chang'an University, Lei Zhang North Carolina State University, Xipeng Shen North Carolina State University
15:15
15m
Full-paper
ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution
LCTES
Himeshi Praveeni De Silva , Andrew Santosa National University of Singapore, Nhut Minh Ho National University of Singapore, Weng-Fai Wong National University of Singapore
15:10 - 15:30
Semantics and Analysis (part 1)DBPL at 106C
15:10
20m
Talk
On the Semantics of Cypher's Implicit Group-by
DBPL
Filip Murlak University of Warsaw, Jan Posiadała Nodes and Edges, Paweł Susicki Nodes and Edges
15:15 - 15:45
Coffee BreakDeepSpec at 106B
15:30 - 16:00
Coffee BreakCatering at 301 Foyer
15:45 - 16:45
Coinduction and TestingDeepSpec at 106B
Chair(s): Lennart Beringer Princeton University
15:45
30m
Talk
Coinductive Reasoning about Interaction Trees
DeepSpec
Chung-Kil Hur Seoul National University
16:15
30m
Talk
Coverage Guided, Property Based Testing
DeepSpec
Leonidas Lampropoulos University of Pennsylvania
16:00 - 16:45
Session 4: Benchmarking and In-progress WorksLCTES at 105A
Chair(s): Hyunok Oh Hanyang Univ
16:00
15m
Full-paper
BitBench: A Benchmark for Bitstream Computing
LCTES
Kyle Daruwalla University of Wisconsin – Madison, Heng Zhuo University of Wisconsin - Madison, Carly Schulz University of Wisconsin - Madison, Mikko H. Lipasti
16:15
5m
Short-paper
PANDORA: A Parallelizing Approximation-Discovery Framework (Work in progress)
LCTES
Greg Stitt University of Florida, David Campbell University of Florida
16:20
5m
Short-paper
On Intermittence Bugs in the Battery-less Internet of Things (Work in progress)
LCTES
Andrea Maioli Politecnico di Milano, Italy, Luca Mottola Politecnico di Milano, Italy and RI.Se SICS, Sweden, Muhammad Hamad Alizai LUMS, Pakistan, Junaid Haroon Siddiqui Lahore University of Management Sciences
16:25
5m
Short-paper
Raising Binaries to LLVM IR with MCTOLL (Work in progress)
LCTES
16:30
5m
Short-paper
A Compiler-based Approach for GPGPU Performance Calibration using TLP Modulation (Work in progress)
LCTES
Yongseung Yu Hanyang University, Seokwon Kang Hanyang University, Yongjun Park Hanyang University
16:35
5m
Short-paper
An Empirical Comparison between Monkey Testing and Human Testing (Work in progress)
LCTES
Mostafa Mohammed Virginia Tech, Haipeng Cai Washington State University, USA, Na Meng Virginia Tech
16:00 - 17:00
Research Career OptionsPLMW @ PLDI at 105B
Chair(s): Calvin Lin University of Texas, Austin
16:00
30m
Talk
Career Options in Academia, Industry, and Government
PLMW @ PLDI
Kathleen Fisher Tufts University, USA
Link to publication
16:30
30m
Talk
A week in the life of an MSR Researcher
PLMW @ PLDI
Todd Mytkowicz Microsoft Research
16:00 - 17:15
Mechanics / Message PassingISMM at 106A
16:00
25m
Talk
snmalloc: A Message Passing Allocator
ISMM
Paul Lietar , Theodore Butler Drexel University, USA, Sylvan Clebsch Imperial College London, Sophia Drossopoulou Imperial College London, Juliana Franco Microsoft Research, Cambridge, Matthew Parkinson Microsoft Research, UK, Alex Shamis Microsoft Research / Imperial College London, Christoph M. Wintersteiger Microsoft Research, UK, David Chisnall University of Cambridge
16:25
25m
Talk
Design and Analysis of Field-Logging Write Barriers
ISMM
Steve Blackburn Australian National University
16:50
24m
Talk
Gradual Write-Barrier Insertion into a Ruby Interpreter
ISMM
Koichi Sasada Cookpad, Japan
Link to publication DOI
17:14
1m
Day closing
Final Remarks
ISMM
Harry Xu University of California, Los Angeles (UCLA), Jeremy Singer University of Glasgow
16:00 - 16:40
Semantics and Analysis (part 2)DBPL at 106C
16:00
20m
Talk
Language-integrated provenance by trace analysis
DBPL
Stefan Fehrenbach University of Edinburgh, James Cheney University of Edinburgh, UK
16:20
20m
Talk
Mixing set and bag semantics
DBPL
Wilmer Ricciotti University of Edinburgh, UK, James Cheney University of Edinburgh, UK
16:00 - 17:30
SafeAsyncPLDI Tutorials at 212A
16:00
90m
Tutorial
Safe Asynchronous Programming: Methodology, Language, and Tools
PLDI Tutorials
Pantazis Deligiannis Microsoft Research, Ankush Desai University of California, Berkeley, Akash Lal Microsoft Research India, Shaz Qadeer Facebook
16:00 - 17:00
Session IVDPA at 212B
Chair(s): Neville Grech University of Athens
16:00
30m
Talk
Precise Program Reasoning using Probabilistic Methods
DPA
Mukund Raghothaman University of Pennsylvania, USA
16:30
30m
Talk
Variant analysis with QL
DPA
16:40 - 17:00
Concluding remarksDBPL at 106C
16:45 - 17:15
Poster SessionLCTES at 105A
17:15 - 18:15
Yoshua Bengio, Geoffrey Hinton, and Yann LeCun, The Turing LecturePLDI Research Papers at Symphony Hall

Mon 24 Jun

Displayed time zone: Tijuana, Baja California change

08:00 - 09:00
BreakfastCatering at 301 Foyer
08:30 - 08:45
08:30 - 08:45
08:45 - 09:45
Language Design IPLDI Research Papers at 224AB
Chair(s): Benjamin Zorn Microsoft Research
08:45
20m
Talk
LoCal: A Language for Programs Operating on Serialized Data
PLDI Research Papers
Michael Vollmer Indiana University, USA, Chaitanya Koparkar Indiana University, Mike Rainey Indiana University, USA, Laith Sakka Purdue University, Milind Kulkarni Purdue University, Ryan R. Newton Indiana University
DOI Authorizer link Pre-print Media Attached
09:05
20m
Talk
Scenic: A Language for Scenario Specification and Scene Generation
PLDI Research Papers
Daniel J. Fremont University of California at Berkeley, USA, Tommaso Dreossi University of California at Berkeley, Shromona Ghosh University of California at Berkeley, USA, Xiangyu Yue University of California at Berkeley, USA, Alberto L. Sangiovanni-Vincentelli University of California at Berkeley, USA, Sanjit Seshia UC Berkeley
Media Attached
09:25
20m
Talk
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
PLDI Research Papers
Sridhar Gopinath Microsoft Research, India, Nikhil Ghanathe Microsoft Research, India, Vivek Seshadri Microsoft Research, India, Rahul Sharma Microsoft Research
Link to publication DOI Media Attached
08:45 - 09:45
Concurrency IPLDI Research Papers at 229AB
Chair(s): Alastair F. Donaldson Google and Imperial College London
08:45
20m
Talk
Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model
PLDI Research Papers
Christopher Pulte University of Cambridge, Jean Pichon-Pharabod University of Cambridge, Jeehoon Kang KAIST, Sung-Hwan Lee Seoul National University, South Korea, Chung-Kil Hur Seoul National University
Media Attached
09:05
20m
Talk
Accelerating Sequential Consistency for Java with Speculative Compilation
PLDI Research Papers
Lun Liu University of California at Los Angeles, USA, Todd Millstein University of California, Los Angeles, Madan Musuvathi Microsoft Research
DOI Pre-print Media Attached
09:25
20m
Talk
Renaissance: Benchmarking Suite for Parallel Applications on the JVM
PLDI Research Papers
Aleksandar Prokopec Oracle Labs, Andrea Rosà University of Lugano, Switzerland, David Leopoldseder Johannes Kepler University Linz, Gilles Duboscq Oracle Labs, Petr Tuma Charles University, Martin Studener JKU Linz, Austria, Lubomír Bulej Charles University, Yudi Zheng Oracle Labs, Alex Villazón Universidad Privada Boliviana, Bolivia, Doug Simon Oracle Labs, Thomas Wuerthinger Oracle Labs, Walter Binder University of Lugano, Switzerland
10:00 - 11:00
Language Design IIPLDI Research Papers at 224AB
Chair(s): Santosh Nagarakatte Rutgers University, USA
10:00
20m
Talk
CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing
PLDI Research Papers
Roshan Dathathri University of Texas at Austin, USA, Olli Saarikivi , Hao Chen Microsoft Research, Kim Laine Microsoft Research, n.n., Kristin Lauter Microsoft Research, n.n., Saeed Maleki Microsoft Research, Madan Musuvathi Microsoft Research, Todd Mytkowicz Microsoft Research
DOI Pre-print Media Attached
10:20
20m
Talk
Usuba: High-Throughput and Constant-Time Ciphers, by Construction
PLDI Research Papers
Darius Mercadier Sorbonne Universités —UPMC Univ Paris 06, Pierre-Evariste Dagand LIP6/CNRS
Media Attached
10:40
20m
Talk
FaCT: A DSL for Timing-Sensitive Computation
PLDI Research Papers
Sunjay Cauligi University of California, San Diego, Gary Soeller , Brian Johannesmeyer University of California at San Diego, USA, Fraser Brown Stanford University, Riad S. Wahby Stanford University, USA, John Renner University of California, San Diego, Benjamin Gregoire INRIA, Gilles Barthe IMDEA Software Institute, Ranjit Jhala University of California, San Diego, Deian Stefan University of California San Diego
Media Attached
10:00 - 11:00
Concurrency IIPLDI Research Papers at 229AB
Chair(s): Dan Grossman University of Washington
10:00
20m
Talk
Model Checking for Weakly Consistent Libraries
PLDI Research Papers
Michalis Kokologiannakis Max Planck Institute for Software Systems (MPI-SWS), Azalea Raad MPI-SWS, Germany, Viktor Vafeiadis MPI-SWS, Germany
Pre-print Media Attached
10:20
20m
Talk
Towards Certified Separate Compilation for Concurrent Programs
PLDI Research Papers
Hanru Jiang University of Science and Technology of China, Hongjin Liang Nanjing University, China, Siyang Xiao University of Science and Technology of China, China, Junpeng Zha University of Science and Technology of China, China, Xinyu Feng Nanjing University
Pre-print Media Attached
10:40
20m
Talk
Robustness Against Release/Acquire Semantics
PLDI Research Papers
Ori Lahav Tel Aviv University, Roy Margalit Tel Aviv University, Israel
Pre-print
11:00 - 11:20
Coffee BreakCatering at 301 Foyer
11:20 - 12:30
Plenary Talk by James E. SmithPLDI Research Papers at Symphony Hall
12:30 - 14:00
SIGPLAN Awards LunchPLDI Research Papers at 120D
14:00 - 15:30
Probabilistic ProgrammingPLDI Research Papers at 224AB
Chair(s): Martin Hirzel IBM Research
14:00
20m
Talk
Scalable Verification of Probabilistic Networks
PLDI Research Papers
Steffen Smolka Cornell University, Praveen Kumar Cornell University, David M. Kahn Carnegie Mellon University, USA, Nate Foster Cornell University, Justin Hsu University of Wisconsin-Madison, USA, Dexter Kozen Cornell University, Alexandra Silva University College London
DOI Pre-print Media Attached
14:20
20m
Talk
Cost Analysis of Nondeterministic Probabilistic Programs
PLDI Research Papers
Peixin Wang Shanghai Jiao Tong University, Hongfei Fu IST Austria, Amir Kafshdar Goharshady IST Austria, Krishnendu Chatterjee IST Austria, Xudong Qin East China Normal University, China, Wenjun Shi East China Normal University, China
Media Attached
14:40
20m
Talk
Gen: A General-Purpose Probabilistic Programming System with Programmable Inference
PLDI Research Papers
Marco Cusumano-Towner MIT-CSAIL, Feras Saad Massachusetts Institute of Technology, Alexander K. Lew Massachusetts Institute of Technology, USA, Vikash K. Mansinghka MIT
Media Attached
15:00
20m
Talk
Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs
PLDI Research Papers
Jieyuan Zhang UNSW, Australia, Jingling Xue UNSW Sydney
Media Attached
14:00 - 15:30
SynthesisPLDI Research Papers at 229AB
Chair(s): Nuno P. Lopes Microsoft Research
14:00
20m
Talk
Resource-Guided Program Synthesis
PLDI Research Papers
Tristan Knoth University of California at San Diego, USA, Di Wang Carnegie Mellon University, Nadia Polikarpova University of California, San Diego, Jan Hoffmann Carnegie Mellon University
Media Attached
14:20
20m
Talk
Using Active Learning to Synthesize Models of Applications That Access Databases
PLDI Research Papers
Jiasi Shen Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology
DOI Media Attached
14:40
20m
Talk
Synthesizing Database Programs for Schema Refactoring
PLDI Research Papers
Yuepeng Wang University of Texas at Austin, James Dong University of Texas at Austin, USA, Rushi Shah UT Austin, Isil Dillig UT Austin
Media Attached
15:00
20m
Talk
Synthesis and Machine Learning for Heterogeneous Extraction
PLDI Research Papers
Arun Iyer Microsoft Research, India, Manohar Jonnalagedda Inpher Inc., Switzerland, Suresh Parthasarathy Microsoft Research, India, Arjun Radhakrishna Microsoft, Sriram Rajamani Microsoft Research
Media Attached
15:30 - 16:00
Coffee BreakCatering at 301 Foyer
16:00 - 17:00
ParsingPLDI Research Papers at 224AB
Chair(s): Qirun Zhang Georgia Institute of Technology
16:00
20m
Talk
Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators
PLDI Research Papers
Rijnard van Tonder Carnegie Mellon University, Claire Le Goues Carnegie Mellon University
DOI Pre-print Media Attached
16:20
20m
Talk
A Typed, Algebraic Approach to Parsing
PLDI Research Papers
Neel Krishnaswami Computer Laboratory, University of Cambridge, Jeremy Yallop University of Cambridge, UK
Link to publication DOI Pre-print
16:40
20m
Talk
Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands
PLDI Research Papers
Giovanni Campagna Stanford University, USA, Silei Xu , Mehrad Moradshahi Stanford University, USA, Richard Socher Salesforce, USA, Monica S. Lam Stanford University, USA
Media Attached
16:00 - 17:00
Memory ManagementPLDI Research Papers at 229AB
Chair(s): Erez Petrank Technion
16:00
20m
Talk
AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability
PLDI Research Papers
Thomas Shull University of Illinois at Urbana-Champaign, Jian Huang University of Illinois at Urbana-Champaign, Josep Torrellas University of Illinois at Urbana-Champaign
Media Attached
16:20
20m
Talk
Mesh: Compacting Memory Management for C/C++ Applications
PLDI Research Papers
Bobby Powers University of Massachusetts, Amherst, David Tench University of Massachusetts at Amherst, USA, Emery D. Berger University of Massachusetts, Amherst, Andrew McGregor
Pre-print Media Attached
16:40
20m
Talk
Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories
PLDI Research Papers
Chenxi Wang UCLA, Huimin Cui Institute of Computing Technology, Chinese Academy of Sciences, Ting Cao Microsoft Research, John Zigman University of Sydney, Australia, Haris Volos , Onur Mutlu ETH Zurich, Fang Lv Institute of Computing Technology, Chinese Academy of Sciences, Xiaobing Feng ICT CAS, Guoqing Harry Xu UCLA
Pre-print Media Attached
17:30 - 19:00
Student Research Competition (SRC) Session and ReceptionPLDI Research Papers at 301 Foyer

Tue 25 Jun

Displayed time zone: Tijuana, Baja California change

08:00 - 09:00
BreakfastCatering at 301 Foyer
08:30 - 09:30
Type Systems IPLDI Research Papers at 224AB
Chair(s): Ranjit Jhala University of California, San Diego
08:30
20m
Talk
Verifying Message-Passing Programs with Dependent Behavioural Types
PLDI Research Papers
Alceste Scalas Aston University, Birmingham, UK, Nobuko Yoshida Imperial College London, Elias Benussi Faculty Science Ltd
Pre-print
08:50
20m
Talk
Toward Efficient Gradual Typing for Structural Types via Coercions
PLDI Research Papers
Andre Kuhlenschmidt Indiana University, Deyaaeldeen Almahallawi Indiana University, Jeremy G. Siek Indiana University, USA
09:10
20m
Talk
Bidirectional Type Checking for Relational Properties
PLDI Research Papers
Ezgi Çiçek Facebook London, Weihao Qu University at Buffalo, SUNY, Gilles Barthe IMDEA Software Institute, Marco Gaboardi University at Buffalo, SUNY, Deepak Garg Max Planck Institute for Software Systems
Media Attached
08:30 - 09:30
Parallelism and Super Computing IPLDI Research Papers at 228AB
Chair(s): Veselin Raychev DeepCode AG
08:30
20m
Talk
Huron: Hybrid False Sharing Detection and Repair
PLDI Research Papers
Tanvir Ahmed Khan University of Michigan, USA, Yifan Zhao University of Michigan, USA, Gilles Pokam Intel Corporation, Barzan Mozafari University of Michigan, USA, Baris Kasikci University of Michigan, USA
Media Attached
08:50
20m
Talk
Model-Driven Transformations for Multi- and Many-Core CPUs
PLDI Research Papers
Martin Kong Brookhaven National Laboratory, Louis-Noël Pouchet Colorado State University
Media Attached
09:10
20m
Talk
Parallelism-Centric What-If and Differential Analyses
PLDI Research Papers
Adarsh Yoga Rutgers University, USA, Santosh Nagarakatte Rutgers University, USA
Pre-print Media Attached
08:30 - 09:30
Bug Finding & Testing IPLDI Research Papers at 229AB
Chair(s): Cindy Rubio-González University of California, Davis
08:30
20m
Talk
Lazy Counterfactual Symbolic Execution
PLDI Research Papers
William T. Hallahan Yale University, Anton Xue Yale University, Maxwell Troy Bland University of California at San Diego, USA, Ranjit Jhala University of California, San Diego, Ruzica Piskac Yale University, USA
Media Attached
08:50
20m
Talk
Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript
PLDI Research Papers
Blake Loring , Duncan Mitchell Royal Holloway, University of London, Johannes Kinder Bundeswehr University Munich
Media Attached
09:10
20m
Talk
Effective Floating-Point Analysis via Weak-Distance Minimization
PLDI Research Papers
Zhoulai Fu IT University of Copenhagen, Denmark, Zhendong Su ETH Zurich
10:00 - 11:00
Type Systems IIPLDI Research Papers at 224AB
Chair(s): Jeffrey S. Foster Tufts University
10:00
20m
Talk
ILC: A Calculus for Composable, Computational Cryptography
PLDI Research Papers
Kevin Liao , Matthew Hammer None, Andrew Miller University of Illinois at Urbana-Champaign, USA
10:20
20m
Talk
Proving Differential Privacy with Shadow Execution
PLDI Research Papers
Yuxin Wang , Zeyu Ding Pennsylvania State University, USA, Guanhong Wang Pennsylvania State University, USA, Daniel Kifer Dept. of Computer Science and Engineering, Penn State University, Danfeng Zhang Pennsylvania State University
Media Attached
10:40
20m
Talk
Data-Trace Types for Distributed Stream Processing Systems
PLDI Research Papers
Konstantinos Mamouras University of Pennsylvania, Caleb Stanford University of Pennsylvania, Rajeev Alur University of Pennsylvania, Zachary G. Ives University of Pennsylvania, Val Tannen University of Pennsylvania, USA
Media Attached
10:00 - 11:00
Parallelism and Super Computing IIPLDI Research Papers at 228AB
Chair(s): Sreepathi Pai University of Rochester
10:00
20m
Talk
Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors
PLDI Research Papers
Mahdi Soltan Mohammadi University of Arizona, Eddie C. Davis Boise State University, USA, Mary Hall University of Utah, Maryam Mehri Dehnavi University of Toronto, Payal Nandy University of Utah, USA, Catherine R. M. Olschanowsky Boise State University, USA, Anand Venkat University of Utah, Tomofumi Yuki , Kazem Cheshmi University of Toronto, Michelle Strout University of Arizona
Link to publication DOI Pre-print Media Attached
10:20
20m
Talk
Modular Divide-and-Conquer Parallelization of Nested Loops
PLDI Research Papers
Azadeh Farzan University of Toronto, Victor Nicolet University of Toronto
Media Attached
10:40
20m
Talk
Generating Piecewise-Regular Code from Irregular Structures
PLDI Research Papers
Travis Augustine Colorado State University, USA, Janarthanan Sarma Colorado State University, USA, Louis-Noël Pouchet Colorado State University, Gabriel Rodríguez Universidade da Coruña, Spain
Link to publication DOI
10:00 - 11:00
Bug Finding & Testing IIPLDI Research Papers at 229AB
Chair(s): Jens Palsberg University of California, Los Angeles (UCLA)
10:00
20m
Talk
Parser-Directed Fuzzing
PLDI Research Papers
Björn Mathis CISPA Helmholtz Center for Information Security, Rahul Gopinath CISPA Helmholtz Center for Information Security, Michaël Mera CISPA, Germany, Alexander Kampmann CISPA Helmholtz Center for Information Security, Matthias Höschele CISPA, Germany, Andreas Zeller Saarland University
Media Attached
10:20
20m
Talk
Continuously Reasoning about Programs using Differential Bayesian Inference
PLDI Research Papers
Kihong Heo University of Pennsylvania, USA, Mukund Raghothaman University of Pennsylvania, USA, Xujie Si University of Pennsylvania, Mayur Naik University of Pennsylvania
Media Attached
10:40
20m
Talk
Sparse Record and Replay with Controlled Scheduling
PLDI Research Papers
Christopher Lidbury Imperial College London, Alastair F. Donaldson Google and Imperial College London
11:00 - 11:20
Coffee BreakCatering at 301 Foyer
11:20 - 12:30
12:30 - 14:00
14:00 - 15:30
Reasoning and Optimizing ML ModelsPLDI Research Papers at 224AB
Chair(s): Martin Maas Google
14:00
20m
Talk
An Inductive Synthesis Framework for Verifiable Reinforcement Learning
PLDI Research Papers
He Zhu Rutgers University, USA, Zikang Xiong Purdue University, Stephen Magill , Suresh Jagannathan Purdue University
Media Attached
14:20
20m
Talk
Programming Support for Autonomizing Software
PLDI Research Papers
Wen-Chuan Lee Purdue University, Peng Liu Purdue University, Yingqi Liu Purdue University, USA, Shiqing Ma Purdue University, USA, Xiangyu Zhang Purdue University
14:40
20m
Talk
Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability
PLDI Research Papers
Hui Guan North Carolina State University, Xipeng Shen North Carolina State University, Seung-Hwan Lim Oak Ridge National Laboratory, USA
Media Attached File Attached
15:00
20m
Talk
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
PLDI Research Papers
Greg Anderson University of Texas at Austin, USA, Shankara Pailoor University of Texas at Austin, USA, Isil Dillig UT Austin, Swarat Chaudhuri Rice University
Media Attached
14:00 - 15:30
Learning SpecificationsPLDI Research Papers at 228AB
Chair(s): Michael Pradel TU Darmstadt and Facebook
14:00
20m
Talk
Unsupervised Learning of API Aliasing Specifications
PLDI Research Papers
Jan Eberhardt DeepCode, Switzerland, Samuel Steffen ETH Zurich, Switzerland, Veselin Raychev DeepCode AG, Martin Vechev ETH Zürich
Pre-print Media Attached
14:20
20m
Talk
Scalable Taint Specification Inference with Big Code
PLDI Research Papers
Victor Chibotaru DeepCode, Switzerland, Benjamin Bichsel ETH Zurich, Switzerland, Veselin Raychev DeepCode AG, Martin Vechev ETH Zürich
Pre-print Media Attached
14:40
20m
Talk
Learning Stateful Preconditions Modulo a Test Generator
PLDI Research Papers
Angello Astorga , P. Madhusudan University of Illinois at Urbana-Champaign, Shambwaditya Saha , Shiyu Wang University of Illinois at Urbana-Champaign, USA, Tao Xie University of Illinois at Urbana-Champaign, USA
15:00
20m
Talk
SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
PLDI Research Papers
Ton Chanh Le Stevens Institute of Technology, Guolong Zheng University of Nebraska Lincoln, ThanhVu Nguyen University of Nebraska-Lincoln
14:00 - 15:30
Static AnalysisPLDI Research Papers at 229AB
Chair(s): Martin C. Rinard Massachusetts Institute of Technology
14:00
20m
Talk
Abstract Interpretation under Speculative Execution
PLDI Research Papers
Meng Wu Virginia Tech, Chao Wang USC
Media Attached
14:20
20m
Talk
A Fast Analytical Model of Fully Associative Caches
PLDI Research Papers
Tobias Gysi ETH Zurich, Switzerland, Tobias Grosser ETH Zurich, Laurin Brandner ETH Zurich, Switzerland, Torsten Hoefler ETH Zurich
Media Attached
14:40
20m
Talk
Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees
PLDI Research Papers
Laith Sakka Purdue University, Kirshanthan Sundararajah Purdue University, Ryan R. Newton Indiana University, Milind Kulkarni Purdue University
Media Attached
15:00
20m
Talk
Size-Change Termination as a Contract
PLDI Research Papers
Phúc C. Nguyễn University of Maryland, Thomas Gilray University of Maryland, Sam Tobin-Hochstadt Indiana University, David Van Horn University of Maryland, USA
Media Attached
15:30 - 16:00
Coffee BreakCatering at 301 Foyer
16:00 - 17:00
PerformancePLDI Research Papers at 224AB
Chair(s): Ting Cao Microsoft Research
16:00
20m
Talk
Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism
PLDI Research Papers
Xulong Tang Penn State, Mahmut Taylan Kandemir Pennsylvania State University, USA, Mustafa Karakoy TOBB University of Economics and Technology, Turkey, Meenakshi Arunachalam Intel, USA
Media Attached
16:20
20m
Talk
Low-Latency Graph Streaming using Compressed Purely-Functional Trees
PLDI Research Papers
Laxman Dhulipala Carnegie Mellon University, Guy E. Blelloch Carnegie Mellon University, Julian Shun MIT
16:40
20m
Talk
Composable, Sound Transformations of Nested Recursion and Loops
PLDI Research Papers
Kirshanthan Sundararajah Purdue University, Milind Kulkarni Purdue University
Media Attached
16:00 - 16:40
Type Systems IIIPLDI Research Papers at 228AB
Chair(s): Satish Chandra Facebook
16:00
20m
Talk
Characterising Renaming within OCaml’s Module System: Theory and Implementation
PLDI Research Papers
Reuben N. S. Rowe University of Kent, Hugo Férée University of Kent, UK, Simon Thompson , Scott Owens University of Kent, UK
Link to publication DOI Pre-print
16:20
20m
Talk
Type-Level Computations for Ruby Libraries
PLDI Research Papers
Milod Kazerounian University of Maryland, College Park, Sankha Narayan Guria University of Maryland, College Park, Niki Vazou IMDEA Software Institute, Jeffrey S. Foster Tufts University, David Van Horn University of Maryland, USA
Media Attached
16:00 - 17:00
Dynamics: Analysis and CompilationPLDI Research Papers at 229AB
Chair(s): Nadia Polikarpova University of California, San Diego
16:00
20m
Talk
SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features
PLDI Research Papers
David Mitchel Perry Purdue University, Dohyeong Kim Purdue University, Roopsha Samanta Purdue University, Xiangyu Zhang Purdue University
Pre-print Media Attached
16:20
20m
Talk
Computing Summaries of String Loops in C for Better Testing and Refactoring
PLDI Research Papers
Timotej Kapus Imperial College London, Oren Ish-Shalom Tel Aviv University, Israel, Shachar Itzhaky Technion, Israel, Noam Rinetzky Tel Aviv University, Cristian Cadar Imperial College London
Link to publication Pre-print Media Attached
16:40
20m
Talk
Reusable Inline Caching for JavaScript Performance
PLDI Research Papers
Jiho Choi University of Illinois at Urbana-Champaign, Thomas Shull University of Illinois at Urbana-Champaign, Josep Torrellas University of Illinois at Urbana-Champaign
16:40 - 17:15
Student Research Competition TalksPLDI Research Papers at 228AB
17:30 - 19:00
PLDI Chairs report & SIGPLAN Business meetingPLDI Research Papers at 120B

Wed 26 Jun

Displayed time zone: Tijuana, Baja California change

08:00 - 09:00
BreakfastCatering at 301 Foyer
08:30 - 09:30
Systems IPLDI Research Papers at 224AB
Chair(s): Xinyu Feng Nanjing University
08:30
20m
Talk
Replication-Aware Linearizability
PLDI Research Papers
Chao Wang IRIF, Université Paris Diderot, France, Constantin Enea Université Paris Diderot, Suha Orhun Mutluergil IRIF, France / University Paris Diderot, France / CNRS, France, Gustavo Petri Arm Ltd
Media Attached
08:50
20m
Talk
DFix: Automatically Fixing Timing Bugs in Distributed Systems
PLDI Research Papers
Guangpu Li University of Chicago, USA, Haopeng Liu University of Chicago, Xianglan Chen University of Science and Technology of China, China, Haryadi S. Gunawi University of Chicago, USA, Shan Lu University of Chicago
Media Attached
09:10
20m
Talk
Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution
PLDI Research Papers
Nikos Vasilakis University of Pennsylvania, USA, Ben Karel University of Pennsylvania, USA, Yash Palkhiwala University of Pennsylvania, USA, John Sonchack University of Pennsylvania, USA, André DeHon University of Pennsylvania, USA, Jonathan M. Smith University of Pennsylvania, USA
Media Attached
08:30 - 09:30
Verification IPLDI Research Papers at 229AB
Chair(s): Chung-Kil Hur Seoul National University
08:30
20m
Talk
Semantic Program Alignment for Equivalence Checking
PLDI Research Papers
Berkeley Churchill Stanford University, Oded Padon Stanford University, Rahul Sharma Microsoft Research, Alex Aiken Stanford University
Media Attached
08:50
20m
Talk
Verified Compilation on a Verified Processor
PLDI Research Papers
Andreas Lööw Chalmers University of Technology, Ramana Kumar DeepMind, Yong Kiam Tan Carnegie Mellon University, USA, Magnus O. Myreen Chalmers University of Technology, Sweden, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Oskar Abrahamsson Chalmers University of Technology, Sweden, Anthony Fox University of Cambridge, UK
DOI Pre-print Media Attached
09:10
20m
Talk
Argosy: Verifying Layered Storage Systems with Recovery Refinement
PLDI Research Papers
Tej Chajed Massachusetts Institute of Technology, USA, Joseph Tassarotti Boston College, M. Frans Kaashoek Massachusetts Institute of Technology, USA, Nickolai Zeldovich Massachusetts Institute of Technology, USA
DOI Pre-print Media Attached
10:00 - 11:00
Systems IIPLDI Research Papers at 224AB
Chair(s): James Larus EPFL
10:00
20m
Talk
Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
PLDI Research Papers
Elazar Gershuni Tel Aviv University, Nadav Amit , Arie Gurfinkel University of Waterloo, Nina Narodytska VMWare Research, Jorge A. Navas SRI International, Noam Rinetzky Tel Aviv University, Leonid Ryzhyk VMware Research, Mooly Sagiv Tel Aviv University
Link to publication DOI Media Attached
10:20
20m
Talk
Transactional Concurrency for Intermittent Systems
PLDI Research Papers
Emily Ruppel Carnegie Mellon University, USA, Brandon Lucia Carnegie Mellon University
Media Attached
10:40
20m
Talk
Supporting Peripherals in Intermittent Systems with Just-In-Time Checkpoints
PLDI Research Papers
Kiwan Maeng Carnegie Mellon University, USA, Brandon Lucia Carnegie Mellon University
Media Attached
10:00 - 11:00
Verification IIPLDI Research Papers at 229AB
Chair(s): Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia
10:00
20m
Talk
Verification of Programs under the Release-Acquire Semantics
PLDI Research Papers
Parosh Aziz Abdulla Uppsala University, Sweden, Jatin Arora IIT Bombay, India, Mohamed Faouzi Atig Uppsala University, Shankaranarayanan Krishna IIT Bombay, India
10:20
20m
Talk
A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture
PLDI Research Papers
Sandeep Dasgupta University of Illinois at Urbana-Champaign, USA, Daejun Park University of Illinois at Urbana-Champaign, Theodoros Kasampalis University of Illinois at Urbana-Champaign, USA, Vikram S. Adve University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached
10:40
20m
Talk
An Applied Quantum Hoare Logic
PLDI Research Papers
Li Zhou Department of Computer Science and Technology, Tsinghua University, Nengkun Yu University of Technology Sydney, Australia, Mingsheng Ying University of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University.
Media Attached
11:00 - 11:20
Coffee BreakCatering at 301 Foyer
11:20 - 12:30