You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 22 Jun
Times are displayed in 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 KarpuzcuUniversity of Minnesota, USA
09:00 - 09:15
OpeningSOAP at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
09:00
15m
Day opening
Welcome to SOAP 2019
SOAP
Neville GrechUniversity of Athens, Thierry LavoieSynopsys, Inc.
09:00 - 10:30
Deep SpecificationsDeepSpec at 106B
Chair(s): Lennart BeringerPrinceton University
09:00
45m
Talk
Overview of the DeepSpec Expedition and its Capstone Application
DeepSpec
Benjamin C. PierceUniversity of Pennsylvania
09:45
45m
Talk
Project Updates from Participating Sites
DeepSpec
Andrew AppelPrinceton, Adam ChlipalaMassachusetts Institute of Technology, USA, Zhong ShaoYale University
09:00 - 10:00
Session 1ARRAY at 106C
Chair(s): Jeremy GibbonsDepartment 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 KapoorUniversity 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 GrechUniversity 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 SchubertHeinz Nixdorf Institut, Paderborn University, Richard LeerHeinz Nixdorf Institut, Paderborn University, Ben HermannPaderborn University, Eric BoddenHeinz 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 EmreUniversity of California, Santa Barbara, Ben HardekopfUC 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 RobbinsCray Inc., P: Brad ChamberlainCray Inc.
10:00 - 11:00
Session 2ARRAY at 106C
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
10:00
30m
Talk
Convolutional Neural Networks in APL
ARRAY
A: Artjoms ŠinkarovsHeriot-Watt University, UK, A: Robert BerneckySnake Island Research, A: Sven-Bodo ScholzHeriot-Watt University
10:30
30m
Talk
Toward Generalized Tensor Algebra for ab initio Quantum Chemistry Methods
ARRAY
A: Erdal MutluPacific Northwest National Laboratory, A: Karol KowalskiPacific Northwest National Laboratory, A: Sriram KrishnamoorthyPacific Northwest National Laboratories
10:00 - 10:50
Chapel Implementation ImprovementsCHIUW at 212A
Chair(s): Michelle StroutUniversity of Arizona
10:00
25m
Research paper
GPUIterator: Bridging the Gap between Chapel and GPU Platforms
CHIUW
Akihiro HayashiRice University, USA, Sri Raj PaulGeorgia Institute of Technology, Vivek SarkarRice University, USA
10:25
25m
Talk
Calling Chapel Code: Interoperability Improvements
CHIUW
Lydia DuncanCray Inc., David ItenCray Inc.
10:15 - 11:00
Talks 1WAX at 105C
10:15
10m
Talk
NAP: Noise-Based Sensitivity Analysis for Programs.
WAX
Jesse MichelMassachusetts Institute of Technology, Sahil VermaIIT Kanpur, Benjamin ShermanMassachusetts Institute of Technology, USA, Michael CarbinMassachusetts 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 RollandUniversity of Rochester, Yuhao ZhuUniversity of Rochester
10:30 - 11:00
Coffee BreakDeepSpec at 106B
11:00 - 12:30
Compiler VerificationDeepSpec at 106B
Chair(s): Zhong ShaoYale University
11:00
30m
Talk
Closure Conversion is Safe for Space
DeepSpec
Zoe ParaskevopoulouPrinceton University, Andrew AppelPrinceton
11:30
30m
Talk
Fast, Verified Partial Evaluation
DeepSpec
Adam ChlipalaMassachusetts Institute of Technology, USA
12:00
30m
Talk
Stack-Aware CompCert
DeepSpec
Yuting WangYale 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 FernandoUniversity of Illinois at Urbana-Champaign, Keyur JoshiUniversity of Illinois at Urbana-Champaign, Darko MarinovUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
11:30
30m
Talk
Invited Talk: Yipeng Huang
WAX
Yipeng HuangPrinceton University
Link to publication Pre-print
12:00
30m
Talk
Invited Talk: Yongjoo Park
WAX
Yongjoo ParkUniversity of Michigan
11:20 - 12:30
Industry TalksSOAP at 106A
Chair(s): Thierry LavoieSynopsys, 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. WonnacottHaverford 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 FuchsVrije Universiteit (VU) Amsterdam, Pieter HijmaVrije Universiteit (VU) Amsterdam, Clemens GrelckUniversity of Amsterdam
12:10
25m
Talk
Chapel Unblocked: Recent Communication Optimizations in Chapel
CHIUW
Elliot RonaghanCray Inc., Ben HarshbargerCray Inc., Gregory TitusCray Inc., Michael FergusonCray Inc.
11:20 - 12:30
11:20
70m
Tutorial
Probabilistic Programming using Edward/TensorFlow
PLDI Tutorials
Dr Amita KapoorUniversity 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 ElsmanUniversity of Copenhagen, Denmark
11:30
30m
Talk
Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays
ARRAY
A: Benjamin ChetiouiUniversity of Bergen, Norway, A: Lenore MullinSUNY Albany, USA, A: Ole Abusdal, A: Magne HaveraaenUniversity of Bergen, Norway, A: Jaakko JärviUniversity 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 KimFacebook, Vijayaraghavan MuraliRice University, USA, Swarat ChaudhuriRice University, Satish ChandraFacebook
14:45
45m
Talk
A Case Study on Machine Learning for Synthesizing Benchmarks
MAPL
Andrés Goens, Alexander Brauckmann, Sebastian Ertel, Chris CumminsUniversity of Edinburgh, Hugh LeatherUniversity of Edinburgh, Jeronimo CastrillonTU Dresden, Germany
14:00 - 15:30
Engineering Advances for Program Analysis ToolsSOAP at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
14:00
20m
Talk
SootDiff: Bytecode Comparison across different Java Compilers
SOAP
Andreas DannPaderborn University, Ben HermannPaderborn University, Eric BoddenHeinz 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. PierceUniversity of Pennsylvania
14:00
30m
Talk
Abstraction, Subsumption, and Linking in VST
DeepSpec
Lennart BeringerPrinceton University, Andrew AppelPrinceton
14:30
30m
Talk
Compositional Verification of Preemptive OS Kernels with Temporal and Spatial Isolation
DeepSpec
Mengqi LiuYale University
15:00
30m
Talk
Modular Correctness Proofs at the Hardware-Software Interface
DeepSpec
Joonwon ChoiMassachusetts Institute of Technology, USA
14:00 - 15:30
Session 4ARRAY at 106C
Chair(s): Tze Meng LowCMU
14:00
30m
Talk
TeIL: a type-safe imperative Tensor Intermediate Language
ARRAY
Norman A. RinkTU Dresden, Germany, Jeronimo CastrillonTU Dresden, Germany
14:30
30m
Talk
Records with Rank Polymorphism
ARRAY
A: Justin SlepakNortheastern University, A: Olin ShiversNortheastern University, USA, A: Panagiotis ManoliosNortheastern University
15:00
30m
Talk
Data-Parallel Flattening by Expansion
ARRAY
Martin ElsmanUniversity of Copenhagen, Denmark, Troels HenriksenUniversity of Copenhagen, Denmark, Niels G. W. SerupDIKU, University of Copenhagen
14:00 - 15:00
Keynote Talk by Anshu Dubey (Argonne)CHIUW at 212A
Chair(s): Brad ChamberlainCray Inc.
14:00
60m
Talk
Programming Abstractions for Orchestration of HPC Scientific Computing
CHIUW
K: Anshu DubeyArgonne National Laboratory
14:00 - 15:30
14:00
90m
Tutorial
Deep Reinforcement Learning using TensorFlow
PLDI Tutorials
Dr Amita KapoorUniversity 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 BlackburnAustralian National University , O: Ulan DegenbaevGoogle, O: Hannes PayerGoogle
15:00 - 15:25
Applications of ChapelCHIUW at 212A
Chair(s): Michael FergusonCray 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 NaikUniversity of Pennsylvania
16:00 - 17:40
Demos, Tributes and AwardsSOAP at 106A
Chair(s): Neville GrechUniversity of Athens
16:00
20m
Other
Laurie Hendren Euology
SOAP
Thierry LavoieSynopsys, Inc., Neville GrechUniversity of Athens
16:20
60m
Talk
FutureSoot: Making Soot ready for the future analyses of complex software
SOAP
Ben HermannPaderborn University, Andreas DannPaderborn University
17:20
20m
Day closing
Best presentation announcement and closing of the day
SOAP
Neville GrechUniversity of Athens, Thierry LavoieSynopsys, Inc.
16:00 - 17:30
Interaction Trees and Algebraic Effects IDeepSpec at 106B
Chair(s): Andrew AppelPrinceton
16:00
20m
Talk
Interaction Trees: Representing Recursive and Impure Programs in Coq
DeepSpec
Steve ZdancewicUniversity of Pennsylvania
16:20
25m
Talk
Connecting Separation Logic with First-Order Reasoning on Memory
DeepSpec
William ManskyUniversity 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 LeijenMicrosoft Research, USA
16:00 - 17:30
Session 5ARRAY at 106C
Chair(s): Lenore MullinSUNY Albany, USA
16:00
30m
Talk
ALPyNA: Acceleration of Loops in Python for Novel Architectures
ARRAY
A: Dejice Jacob, A: Jeremy SingerUniversity of Glasgow
16:30
30m
Talk
Code Generation in Linnea (extended abstract)
ARRAY
A: Henrik BarthelsRWTH Aachen, A: Paolo BientinesiUmeå University
17:00
30m
Talk
High-Level Synthesis of Functional Patterns with Lift
ARRAY
A: Martin KristienUniversity of Edinburgh, UK, A: Bruno BodinYale-NUS College, A: Michel SteuwerUniversity of Glasgow, A: Christophe DubachUniversity of Edinburgh
16:00 - 16:50
Applications of Chapel (continued)CHIUW at 212A
Chair(s): Michael FergusonCray Inc.
16:00
25m
Talk
Chapel Graph Library (CGL)
CHIUW
Louis JenkinsUniversity of Rochester, Marcin ZalewskiPacific Northwest National Laboratory
16:25
25m
Talk
Chapel in Cray HPO
CHIUW
Benjamin AlbrechtCray Inc., Alex HeyeCray Inc., Benjamin RobbinsCray Inc.
16:00 - 17:30
16:00
90m
Tutorial
Deep Reinforcement Learning using TensorFlow
PLDI Tutorials
Dr Amita KapoorUniversity 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 BlackburnAustralian National University , O: Ulan DegenbaevGoogle, O: Hannes PayerGoogle
16:50 - 17:30
Lightning Talks and Flash DiscussionsCHIUW at 212A
Chair(s): Benjamin RobbinsCray Inc.
18:00 - 20:00
Social EventSOAP at TBD
18:00
2h
Social Event
SOAP Dinner at Mancuso's
SOAP

Sun 23 Jun
Times are displayed in 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 ShrivastavaArizona State University
09:10
35m
Talk
New Models and Methods for Programming Cyber-Physical Systems
LCTES
K: Rajesh GuptaUC San Diego
09:00 - 09:30
IcebreakerPLMW @ PLDI at 105B
Chair(s): Milind KulkarniPurdue University
09:00
30m
Other
Icebreaker
PLMW @ PLDI
Milind KulkarniPurdue 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 PradelTU Darmstadt and Facebook, Daniel LehmannTU Darmstadt
09:00 - 11:00
Scaling UpISMM at 106A
09:00
5m
Day opening
Welcome from the chairs
ISMM
Harry XuUniversity of California, Los Angeles (UCLA), Jeremy SingerUniversity 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. LeIBM Research - Tokyo, Haruki ImaiIBM Research - Tokyo, Yasushi NegishiIBM Research - Tokyo, Kiyokuni KawachiyaIBM Research - Tokyo
10:10
25m
Talk
Massively Parallel GPU Memory Compaction
ISMM
Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
10:35
25m
Talk
Scaling Up Parallel GC Work-Stealing in Many-Core Environments
ISMM
Michihiro HorieIBM Research - Tokyo, Kazunori OgataIBM Research, Japan, Mikio TakeuchiIBM Research - Tokyo, Hiroshi HoriiIBM Research, Japan
09:00 - 10:30
Interaction Trees and Algebraic Effects IIDeepSpec at 106B
Chair(s): Steve ZdancewicUniversity of Pennsylvania
09:00
45m
Talk
Implementation and Verification of Modular Effectful Systems in Coq using FreeSpec
DeepSpec
Yann Régis-GianasIRIF, 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 McKinnaUniversity of Edinburgh
09:00 - 09:10
WelcomeDBPL at 106C
Chair(s): Alvin CheungUniversity of Washington, Kim NguyễnUniversity 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 DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
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 MarsUniversity of Michigan
09:30 - 11:00
Session IDPA at 212B
Chair(s): Neville GrechUniversity of Athens
09:30
30m
Talk
The K Framework
DPA
Sandeep DasguptaUniversity of Illinois at Urbana-Champaign, USA
10:00
30m
Talk
MetaDL and Beyond: Custom Program Analyses in Datalog
DPA
Christoph ReichenbachLund University
10:30
30m
Talk
Datafun: A higher-order functional Datalog
DPA
Michael ArntzeniusUniversity of Birmingham, UK
09:45 - 11:00
Session 1: Memory ManagementLCTES at 105A
Chair(s): Greg StittUniversity of Florida
09:45
15m
Full-paper
Optimizing Tensor Contractions for Embedded Devices with Racetrack Memory Scratch-Pads
LCTES
Asif Ali KhanTU Dresden, Germany, Norman A. RinkTU Dresden, Germany, Fazal HameedTU Dresden, Germany, Jeronimo CastrillonTU 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 DadzieHanyang University, Jiwon LeeHanyang University, Jihye KimKookmin University, Hyunok OhHanyang Univ
10:30
15m
Full-paper
1+1$>$2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flash Systems
LCTES
Yejia DiEast China Normal University, Chongqing University, Liang ShiChongqing University, Shuo-Han ChenAcademia Sinica, Taipei, Jason XueCity University of Hong Kong, China, Edwin ShaChongqing University
10:45
15m
Full-paper
Crash Recoverable ARMv8-oriented B+-tree for Byte-addressable Persistent Memory
LCTES
Chundong WangSingapore University of Technology and Design, Sudipta ChattopadhyaySingapore University of Technology and Design, Gunavaran BrihadiswarnUniversity of Moratuwa
10:00 - 11:00
SafeAsyncPLDI Tutorials at 212A
10:00
60m
Tutorial
Safe Asynchronous Programming: Methodology, Language, and Tools
PLDI Tutorials
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
10:15 - 11:00
PL Mentoring TalkPLMW @ PLDI at 105B
Chair(s): Michelle StroutUniversity of Arizona
10:15
45m
Talk
How to be a great researcher
PLMW @ PLDI
Mary HallUniversity 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 SuzukiUniversity of Tsukuba, Takuya OkadaUniversity of Tsukuba, Yeondae KwonThe University of Tokyo
10:40
20m
Talk
Fluid Data Structures
DBPL
Darshana BalakrishnanUniversity at Buffalo, Lukasz ZiarekSUNY Buffalo, USA, Oliver KennedyUniversity at Buffalo
10:30 - 11:00
Coffee BreakDeepSpec at 106B
11:00 - 12:30
HW/SW Interface SpecificationsDeepSpec at 106B
Chair(s): Adam ChlipalaMassachusetts 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 ManerkarPrinceton University
11:00 - 11:20
Coffee BreakCatering at 301 Foyer
11:20 - 12:35
Session 2: Architecture and CompilersLCTES at 105A
Chair(s): Na MengVirginia Tech
11:20
15m
Full-paper
From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited)
LCTES
Wanli ChangUniversity of York, Shuai ZhaoUniversity of York, Ran WeiUniversity of York, Andy WellingsUniversity of York, Alan BurnsUniversity of York
11:35
15m
Full-paper
The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers
LCTES
Saad AhmedLUMS, Pakistan, Abu BakarNorthwestern University, US, Naveed Anwar BhattiRISE, Sweden, Muhammad Hamad AlizaiLUMS, Pakistan, Junaid Haroon SiddiquiLahore University of Management Sciences, Luca MottolaPolitecnico di Milano, Italy and RI.Se SICS, Sweden
11:50
15m
Full-paper
WCET-Aware Hyper-Block Construction for Clustered VLIW Processors
LCTES
Xuesong SuUNSW Sydney, Hui WuUniversity of New South Wales, Australia, Jingling XueUNSW Sydney
12:05
15m
Full-paper
SPECTRUM: A Software Defined Predictable Many-core Architecture for LTE Baseband Processing
LCTES
Vanchinathan VenkataramaniNational University of Singapore, Aditi KulkarniNational University of Singapore, Tulika MitraNational University of Singapore, Singapore, Li-Shiuan PehNational University of Singapore
12:20
15m
Full-paper
Efficient Intermittent Computing with Differential Checkpointing
LCTES
Saad AhmedLUMS, Pakistan, Naveed Anwar BhattiRISE, Sweden, Muhammad Hamad AlizaiLUMS, Pakistan, Junaid Haroon SiddiquiLahore University of Management Sciences, Luca MottolaPolitecnico di Milano, Italy and RI.Se SICS, Sweden
11:20 - 12:30
Panel: Charting Your PathPLMW @ PLDI at 105B
Chair(s): Michelle StroutUniversity of Arizona
11:20
70m
Other
Panel: Charting Your Path
PLMW @ PLDI
Lisa Hsu, Adrian SampsonCornell University, Caroline TrippelPrinceton University, Benjamin ZornMicrosoft Research, Emma ToschUniversity 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 PradelTU Darmstadt and Facebook, Daniel LehmannTU Darmstadt
11:20 - 12:35
ExoticaISMM at 106A
11:20
25m
Talk
Exploration of Memory Hybridization for RDD Caching in Spark
ISMM
Md Muhib KhanFlorida State University, Muhammad Ahad Ul AlamFlorida State University, USA, Amit Kumar NathFlorida State University, USA, Weikuan YuFlorida State University, USA
11:45
25m
Talk
Learning When to Garbage Collect with Random Forests
ISMM
Nicholas JacekUMass Amherst, Eliot MossUniversity of Massachusetts Amherst
12:10
25m
Talk
Timescale Functions for Parallel Memory Allocation
ISMM
Pengcheng LiGoogle, Inc, Hao LuoUniversity of Rochester, Chen DingUniversity 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 FarvardinPSL, Université Paris-Dauphine, LAMSADE, Dario Colazzo, Khalid BelhajjamePSL, Université Paris-Dauphine, LAMSADE, Carlo Sartiani
11:40
20m
Talk
Arc: An IR for Batch and Stream Programming
DBPL
Lars KrollKTH Royal Institute of Technology, Sweden, Klas SegeljaktKTH, Paris CarboneKTH, Sweden, Christian SchulteKTH Royal Institute of Technology, Sweden, Seif Haridi
Pre-print Media Attached
12:00
20m
Talk
Towards Compiling Graph Queries in Relational Engines
DBPL
Ruby TahboubPurdue University, Xilun WuPurdue University, Gregory Essertel, Tiark RompfPurdue University
11:20 - 12:30
SafeAsyncPLDI Tutorials at 212A
11:20
70m
Tutorial
Safe Asynchronous Programming: Methodology, Language, and Tools
PLDI Tutorials
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
11:30 - 12:30
Session IIDPA at 212B
Chair(s): Max SchaeferGitHub
11:30
30m
Talk
Fast and Precise Disassembly using Datalog
DPA
Vineeth KashyapGrammaTech, Inc.
12:00
30m
Talk
Gigahorse: Thorough Smart Contract Decompilation and Security Analyses
DPA
Neville GrechUniversity 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 ChenTU Dortmund University
14:10
35m
Industry talk
An Open, Transparent, Industry-Driven Approach to AV Safety
LCTES
K: Jack WeastIntel, USA
14:00 - 15:30
PL Research TopicsPLMW @ PLDI at 105B
Chair(s): Milind KulkarniPurdue University
14:00
30m
Talk
Designing Languages for Designing Hardware
PLMW @ PLDI
Adrian SampsonCornell University
Link to publication
14:30
30m
Talk
Func2vec: Path-Based Function Embedding
PLMW @ PLDI
Cindy Rubio-GonzálezUniversity of California, Davis
15:00
30m
Talk
Hacks to Compensate for Lack of Novelty in Programming Languages Research
PLMW @ PLDI
Alastair DonaldsonGoogle and Imperial College London
14:00 - 15:15
Verifying All the ThingsDeepSpec at 106B
Chair(s): Zhong ShaoYale University
14:00
45m
Talk
Project Oak: Control Data in Distributed Systems, Verify All The Things
DeepSpec
Ben LaurieGoogle Research
14:45
30m
Talk
Refinement-Based Game Semantics for CompCert
DeepSpec
Jérémie KoenigYale 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 DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
14:00 - 15:30
Session IIIDPA at 212B
Chair(s): Max SchaeferGitHub
14:00
30m
Talk
Now You See Me, Now You Don't: Querying with Hybrid Temporal Logic
DPA
Mistral ContrastinUniversity of Cambridge, UK
14:30
30m
Talk
Assertion-based Guidance of Top-down Horn Clause-based Analysis in CiaoPP
DPA
Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
15:00
30m
Talk
Tunable abstract abstract machines
DPA
Thomas GilrayThe University of Alabama at Birmingham
14:45 - 15:30
Session 3: ApplicationsLCTES at 105A
Chair(s): Wanli ChangUniversity of York
14:45
15m
Full-paper
Automating the Generation of Hardware Component Knowledge Bases
LCTES
Luke HsiaoStanford University, Sen WuStanford University, Nicholas ChiangGunn High School, Christopher Ré, Philip LevisStanford University
15:00
15m
Full-paper
IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems
LCTES
Xinyi LiChang'an University, Lei ZhangNorth Carolina State University, Xipeng ShenNorth Carolina State University
15:15
15m
Full-paper
ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution
LCTES
Himeshi Praveeni De Silva, Andrew SantosaNational University of Singapore, Nhut Minh HoNational University of Singapore, Weng-Fai WongNational 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 MurlakUniversity of Warsaw, Jan PosiadałaNodes and Edges, Paweł SusickiNodes 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 BeringerPrinceton University
15:45
30m
Talk
Coinductive Reasoning about Interaction Trees
DeepSpec
Chung-Kil HurSeoul National University
16:15
30m
Talk
Coverage Guided, Property Based Testing
DeepSpec
Leonidas LampropoulosUniversity of Pennsylvania
16:00 - 16:45
Session 4: Benchmarking and In-progress WorksLCTES at 105A
Chair(s): Hyunok OhHanyang Univ
16:00
15m
Full-paper
BitBench: A Benchmark for Bitstream Computing
LCTES
Kyle DaruwallaUniversity of Wisconsin – Madison, Heng ZhuoUniversity of Wisconsin - Madison, Carly SchulzUniversity of Wisconsin - Madison, Mikko H. Lipasti
16:15
5m
Short-paper
PANDORA: A Parallelizing Approximation-Discovery Framework (Work in progress)
LCTES
Greg StittUniversity of Florida, David CampbellUniversity of Florida
16:20
5m
Short-paper
On Intermittence Bugs in the Battery-less Internet of Things (Work in progress)
LCTES
Andrea MaioliPolitecnico di Milano, Italy, Luca MottolaPolitecnico di Milano, Italy and RI.Se SICS, Sweden, Muhammad Hamad AlizaiLUMS, Pakistan, Junaid Haroon SiddiquiLahore 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 YuHanyang University, Seokwon KangHanyang University, Yongjun ParkHanyang University
16:35
5m
Short-paper
An Empirical Comparison between Monkey Testing and Human Testing (Work in progress)
LCTES
Mostafa MohammedVirginia Tech, Haipeng CaiWashington State University Pullman, Na MengVirginia Tech
16:00 - 17:00
Research Career OptionsPLMW @ PLDI at 105B
Chair(s): Calvin LinUniversity of Texas, Austin
16:00
30m
Talk
Career Options in Academia, Industry, and Government
PLMW @ PLDI
Kathleen FisherTufts University, USA
Link to publication
16:30
30m
Talk
A week in the life of an MSR Researcher
PLMW @ PLDI
Todd MytkowiczMicrosoft Research
16:00 - 17:15
Mechanics / Message PassingISMM at 106A
16:00
25m
Talk
snmalloc: A Message Passing Allocator
ISMM
Paul Lietar, Theodore ButlerDrexel University, USA, Sylvan ClebschImperial College London, Sophia DrossopoulouImperial College London, Juliana FrancoMicrosoft Research, Cambridge, Matthew ParkinsonMicrosoft Research, UK, Alex ShamisMicrosoft Research / Imperial College London, Christoph M. WintersteigerMicrosoft Research, UK, David ChisnallUniversity of Cambridge
16:25
25m
Talk
Design and Analysis of Field-Logging Write Barriers
ISMM
Steve BlackburnAustralian National University
16:50
24m
Talk
Gradual Write-Barrier Insertion into a Ruby Interpreter
ISMM
Koichi SasadaCookpad, Japan
Link to publication DOI
17:14
1m
Day closing
Final Remarks
ISMM
Harry XuUniversity of California, Los Angeles (UCLA), Jeremy SingerUniversity 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 FehrenbachUniversity of Edinburgh, James CheneyUniversity of Edinburgh, UK
16:20
20m
Talk
Mixing set and bag semantics
DBPL
Wilmer RicciottiUniversity of Edinburgh, UK, James CheneyUniversity 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 DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
16:00 - 17:00
Session IVDPA at 212B
Chair(s): Neville GrechUniversity of Athens
16:00
30m
Talk
Precise Program Reasoning using Probabilistic Methods
DPA
Mukund RaghothamanUniversity 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
Times are displayed in 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 ZornMicrosoft Research
08:45
20m
Talk
LoCal: A Language for Programs Operating on Serialized Data
PLDI Research Papers
Michael VollmerIndiana University, USA, Chaitanya KoparkarIndiana University, Mike RaineyIndiana University, USA, Laith SakkaPurdue University, Milind KulkarniPurdue University, Ryan R. NewtonIndiana 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. FremontUniversity of California at Berkeley, USA, Tommaso DreossiUniversity of California at Berkeley, Shromona GhoshUniversity of California at Berkeley, USA, Xiangyu YueUniversity of California at Berkeley, USA, Alberto L. Sangiovanni-VincentelliUniversity of California at Berkeley, USA, Sanjit SeshiaUC Berkeley
Media Attached
09:25
20m
Talk
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
PLDI Research Papers
Sridhar GopinathMicrosoft Research, India, Nikhil GhanatheMicrosoft Research, India, Vivek SeshadriMicrosoft Research, India, Rahul SharmaMicrosoft Research
Link to publication DOI Media Attached
08:45 - 09:45
Concurrency IPLDI Research Papers at 229AB
Chair(s): Alastair DonaldsonGoogle and Imperial College London
08:45
20m
Talk
Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model
PLDI Research Papers
Christopher PulteUniversity of Cambridge, Jean Pichon-PharabodUniversity of Cambridge, Jeehoon KangKAIST, Sung-Hwan LeeSeoul National University, South Korea, Chung-Kil HurSeoul National University
Media Attached
09:05
20m
Talk
Accelerating Sequential Consistency for Java with Speculative Compilation
PLDI Research Papers
Lun LiuUniversity of California at Los Angeles, USA, Todd MillsteinUniversity of California, Los Angeles, Madan MusuvathiMicrosoft Research
DOI Pre-print Media Attached
09:25
20m
Talk
Renaissance: Benchmarking Suite for Parallel Applications on the JVM
PLDI Research Papers
Aleksandar ProkopecOracle Labs, Andrea RosàUniversity of Lugano, Switzerland, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Petr TumaCharles University, Martin StudenerJKU Linz, Austria, Lubomír BulejCharles University, Yudi ZhengOracle Labs, Alex VillazónUniversidad Privada Boliviana, Bolivia, Doug SimonOracle Labs, Thomas WuerthingerOracle Labs, Walter BinderUniversity of Lugano, Switzerland
10:00 - 11:00
Language Design IIPLDI Research Papers at 224AB
Chair(s): Santosh NagarakatteRutgers University, USA
10:00
20m
Talk
CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing
PLDI Research Papers
Roshan DathathriUniversity of Texas at Austin, USA, Olli Saarikivi, Hao ChenMicrosoft Research, Kim LaineMicrosoft Research, n.n., Kristin LauterMicrosoft Research, n.n., Saeed MalekiMicrosoft Research, Madan MusuvathiMicrosoft Research, Todd MytkowiczMicrosoft Research
DOI Pre-print Media Attached
10:20
20m
Talk
Usuba: High-Throughput and Constant-Time Ciphers, by Construction
PLDI Research Papers
Darius MercadierSorbonne Universités —UPMC Univ Paris 06, Pierre-Evariste DagandLIP6/CNRS
Media Attached
10:40
20m
Talk
FaCT: A DSL for Timing-Sensitive Computation
PLDI Research Papers
Sunjay CauligiUniversity of California, San Diego, Gary Soeller, Brian JohannesmeyerUniversity of California at San Diego, USA, Fraser BrownStanford University, Riad S. WahbyStanford University, USA, John RennerUniversity of California, San Diego, Benjamin GregoireINRIA, Gilles BartheIMDEA Software Institute, Ranjit JhalaUniversity of California, San Diego, Deian StefanUniversity of California San Diego
Media Attached
10:00 - 11:00
Concurrency IIPLDI Research Papers at 229AB
Chair(s): Dan GrossmanUniversity of Washington
10:00
20m
Talk
Model Checking for Weakly Consistent Libraries
PLDI Research Papers
Michalis KokologiannakisMax Planck Institute for Software Systems (MPI-SWS), Azalea RaadMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
Pre-print Media Attached
10:20
20m
Talk
Towards Certified Separate Compilation for Concurrent Programs
PLDI Research Papers
Hanru JiangUniversity of Science and Technology of China, Hongjin LiangNanjing University, China, Siyang XiaoUniversity of Science and Technology of China, China, Junpeng ZhaUniversity of Science and Technology of China, China, Xinyu FengNanjing University
Pre-print Media Attached
10:40
20m
Talk
Robustness Against Release/Acquire Semantics
PLDI Research Papers
Ori LahavTel Aviv University, Roy MargalitTel 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 HirzelIBM Research
14:00
20m
Talk
Scalable Verification of Probabilistic Networks
PLDI Research Papers
Steffen SmolkaCornell University, Praveen KumarCornell University, David M. KahnCarnegie Mellon University, USA, Nate FosterCornell University, Justin HsuUniversity of Wisconsin-Madison, USA, Dexter KozenCornell University, Alexandra SilvaUniversity College London
DOI Pre-print Media Attached
14:20
20m
Talk
Cost Analysis of Nondeterministic Probabilistic Programs
PLDI Research Papers
Peixin WangShanghai Jiao Tong University, Hongfei FuIST Austria, Amir Kafshdar GoharshadyIST Austria, Krishnendu ChatterjeeIST Austria, Xudong QinEast China Normal University, China, Wenjun ShiEast 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-TownerMIT-CSAIL, Feras SaadMassachusetts Institute of Technology, Alexander K. LewMassachusetts Institute of Technology, USA, Vikash MansinghkaMIT
Media Attached
15:00
20m
Talk
Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs
PLDI Research Papers
Jieyuan ZhangUNSW, Australia, Jingling XueUNSW Sydney
Media Attached
14:00 - 15:30
SynthesisPLDI Research Papers at 229AB
Chair(s): Nuno P. LopesMicrosoft Research
14:00
20m
Talk
Resource-Guided Program Synthesis
PLDI Research Papers
Tristan KnothUniversity of California at San Diego, USA, Di WangCarnegie Mellon University, Nadia PolikarpovaUniversity of California, San Diego, Jan HoffmannCarnegie Mellon University
Media Attached
14:20
20m
Talk
Using Active Learning to Synthesize Models of Applications That Access Databases
PLDI Research Papers
Jiasi ShenMassachusetts Institute of Technology, Martin RinardMassachusetts Institute of Technology
DOI Media Attached
14:40
20m
Talk
Synthesizing Database Programs for Schema Refactoring
PLDI Research Papers
Yuepeng WangUniversity of Texas at Austin, James DongUniversity of Texas at Austin, USA, Rushi ShahUT Austin, Isil DilligUT Austin
Media Attached
15:00
20m
Talk
Synthesis and Machine Learning for Heterogeneous Extraction
PLDI Research Papers
Arun IyerMicrosoft Research, India, Manohar JonnalageddaInpher Inc., Switzerland, Suresh ParthasarathyMicrosoft Research, India, Arjun RadhakrishnaMicrosoft, Sriram RajamaniMicrosoft Research
Media Attached
15:30 - 16:00
Coffee BreakCatering at 301 Foyer
16:00 - 17:00
ParsingPLDI Research Papers at 224AB
Chair(s): Qirun ZhangGeorgia Institute of Technology
16:00
20m
Talk
Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators
PLDI Research Papers
Rijnard van TonderCarnegie Mellon University, Claire Le GouesCarnegie Mellon University
DOI Pre-print Media Attached
16:20
20m
Talk
A Typed, Algebraic Approach to Parsing
PLDI Research Papers
Neel KrishnaswamiComputer Laboratory, University of Cambridge, Jeremy YallopUniversity 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 CampagnaStanford University, USA, Silei Xu, Mehrad MoradshahiStanford University, USA, Richard SocherSalesforce, USA, Monica S. LamStanford University, USA
Media Attached
16:00 - 17:00
Memory ManagementPLDI Research Papers at 229AB
Chair(s): Erez PetrankTechnion
16:00
20m
Talk
AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability
PLDI Research Papers
Thomas ShullUniversity of Illinois at Urbana-Champaign, Jian HuangUniversity of Illinois at Urbana-Champaign, Josep TorrellasUniversity of Illinois at Urbana-Champaign
Media Attached
16:20
20m
Talk
Mesh: Compacting Memory Management for C/C++ Applications
PLDI Research Papers
Bobby PowersUniversity of Massachusetts, Amherst, David TenchUniversity of Massachusetts at Amherst, USA, Emery D. BergerUniversity 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 WangUCLA, Huimin CuiInstitute of Computing Technology, Chinese Academy of Sciences, Ting CaoMicrosoft Research, John ZigmanUniversity of Sydney, Australia, Haris Volos, Onur MutluETH Zurich, Fang LvInstitute of Computing Technology, Chinese Academy of Sciences, Xiaobing FengICT CAS, Guoqing Harry XuUCLA
Pre-print Media Attached
17:30 - 19:00
Student Research Competition (SRC) Session and ReceptionPLDI Research Papers at 301 Foyer

Tue 25 Jun
Times are displayed in 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 JhalaUniversity of California, San Diego
08:30
20m
Talk
Verifying Message-Passing Programs with Dependent Behavioural Types
PLDI Research Papers
Alceste ScalasAston University, Birmingham, UK, Nobuko YoshidaImperial College London, Elias BenussiFaculty Science Ltd
Pre-print
08:50
20m
Talk
Toward Efficient Gradual Typing for Structural Types via Coercions
PLDI Research Papers
Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA
09:10
20m
Talk
Bidirectional Type Checking for Relational Properties
PLDI Research Papers
Ezgi ÇiçekFacebook London, Weihao QuUniversity at Buffalo, SUNY, Gilles BartheIMDEA Software Institute, Marco GaboardiUniversity at Buffalo, SUNY, Deepak GargMax Planck Institute for Software Systems
Media Attached
08:30 - 09:30
Parallelism and Super Computing IPLDI Research Papers at 228AB
Chair(s): Veselin RaychevDeepCode AG
08:30
20m
Talk
Huron: Hybrid False Sharing Detection and Repair
PLDI Research Papers
Tanvir Ahmed KhanUniversity of Michigan, USA, Yifan ZhaoUniversity of Michigan, USA, Gilles PokamIntel Corporation, Barzan MozafariUniversity of Michigan, USA, Baris KasikciUniversity of Michigan, USA
Media Attached
08:50
20m
Talk
Model-Driven Transformations for Multi- and Many-Core CPUs
PLDI Research Papers
Martin KongBrookhaven National Laboratory, Louis-Noël PouchetColorado State University
Media Attached
09:10
20m
Talk
Parallelism-Centric What-If and Differential Analyses
PLDI Research Papers
Adarsh YogaRutgers University, USA, Santosh NagarakatteRutgers University, USA
Pre-print Media Attached
08:30 - 09:30
Bug Finding & Testing IPLDI Research Papers at 229AB
Chair(s): Cindy Rubio-GonzálezUniversity of California, Davis
08:30
20m
Talk
Lazy Counterfactual Symbolic Execution
PLDI Research Papers
William T. HallahanYale University, Anton XueYale University, Maxwell Troy BlandUniversity of California at San Diego, USA, Ranjit JhalaUniversity of California, San Diego, Ruzica PiskacYale University, USA
Media Attached
08:50
20m
Talk
Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript
PLDI Research Papers
Blake Loring, Duncan MitchellRoyal Holloway, University of London, Johannes KinderBundeswehr University Munich
Media Attached
09:10
20m
Talk
Effective Floating-Point Analysis via Weak-Distance Minimization
PLDI Research Papers
Zhoulai FuIT University of Copenhagen, Denmark, Zhendong SuETH Zurich
10:00 - 11:00
Type Systems IIPLDI Research Papers at 224AB
Chair(s): Jeffrey S. FosterTufts University
10:00
20m
Talk
ILC: A Calculus for Composable, Computational Cryptography
PLDI Research Papers
Kevin Liao, Matthew HammerNone, Andrew MillerUniversity of Illinois at Urbana-Champaign, USA
10:20
20m
Talk
Proving Differential Privacy with Shadow Execution
PLDI Research Papers
Yuxin Wang, Zeyu DingPennsylvania State University, USA, Guanhong WangPennsylvania State University, USA, Daniel KiferDept. of Computer Science and Engineering, Penn State University, Danfeng ZhangPennsylvania State University
Media Attached
10:40
20m
Talk
Data-Trace Types for Distributed Stream Processing Systems
PLDI Research Papers
Konstantinos MamourasUniversity of Pennsylvania, Caleb StanfordUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Zachary G. IvesUniversity of Pennsylvania, Val TannenUniversity of Pennsylvania, USA
Media Attached
10:00 - 11:00
Parallelism and Super Computing IIPLDI Research Papers at 228AB
Chair(s): Sreepathi PaiUniversity of Rochester
10:00
20m
Talk
Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors
PLDI Research Papers
Mahdi Soltan MohammadiUniversity of Arizona, Eddie C. DavisBoise State University, USA, Mary HallUniversity of Utah, Maryam Mehri DehnaviUniversity of Toronto, Payal NandyUniversity of Utah, USA, Catherine R. M. OlschanowskyBoise State University, USA, Anand VenkatUniversity of Utah, Tomofumi Yuki, Kazem CheshmiUniversity of Toronto, Michelle StroutUniversity 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 FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
Media Attached
10:40
20m
Talk
Generating Piecewise-Regular Code from Irregular Structures
PLDI Research Papers
Travis AugustineColorado State University, USA, Janarthanan SarmaColorado State University, USA, Louis-Noël PouchetColorado State University, Gabriel RodríguezUniversidade da Coruña, Spain
Link to publication DOI
10:00 - 11:00
Bug Finding & Testing IIPLDI Research Papers at 229AB
Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA)
10:00
20m
Talk
Parser-Directed Fuzzing
PLDI Research Papers
Björn MathisCISPA Helmholtz Center for Information Security, Rahul GopinathCISPA Helmholtz Center for Information Security, Michaël MeraCISPA, Germany, Alexander KampmannCISPA Helmholtz Center for Information Security, Matthias HöscheleCISPA, Germany, Andreas ZellerSaarland University
Media Attached
10:20
20m
Talk
Continuously Reasoning about Programs using Differential Bayesian Inference
PLDI Research Papers
Kihong HeoUniversity of Pennsylvania, USA, Mukund RaghothamanUniversity of Pennsylvania, USA, Xujie SiUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania
Media Attached
10:40
20m
Talk
Sparse Record and Replay with Controlled Scheduling
PLDI Research Papers
Christopher LidburyImperial College London, Alastair DonaldsonGoogle 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 MaasGoogle
14:00
20m
Talk
An Inductive Synthesis Framework for Verifiable Reinforcement Learning
PLDI Research Papers
He ZhuRutgers University, USA, Zikang XiongPurdue University, Stephen Magill, Suresh JagannathanPurdue University
Media Attached
14:20
20m
Talk
Programming Support for Autonomizing Software
PLDI Research Papers
Wen-Chuan LeePurdue University, Peng LiuPurdue University, Yingqi LiuPurdue University, USA, Shiqing MaPurdue University, USA, Xiangyu ZhangPurdue University
14:40
20m
Talk
Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability
PLDI Research Papers
Hui GuanNorth Carolina State University, Xipeng ShenNorth Carolina State University, Seung-Hwan LimOak 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 AndersonUniversity of Texas at Austin, USA, Shankara PailoorUniversity of Texas at Austin, USA, Isil DilligUT Austin, Swarat ChaudhuriRice University
Media Attached
14:00 - 15:30
Learning SpecificationsPLDI Research Papers at 228AB
Chair(s): Michael PradelTU Darmstadt and Facebook
14:00
20m
Talk
Unsupervised Learning of API Aliasing Specifications
PLDI Research Papers
Jan EberhardtDeepCode, Switzerland, Samuel SteffenETH Zurich, Switzerland, Veselin RaychevDeepCode AG, Martin VechevETH Zürich
Pre-print Media Attached
14:20
20m
Talk
Scalable Taint Specification Inference with Big Code
PLDI Research Papers
Victor ChibotaruDeepCode, Switzerland, Benjamin BichselETH Zurich, Switzerland, Veselin RaychevDeepCode AG, Martin VechevETH Zürich
Pre-print Media Attached
14:40
20m
Talk
Learning Stateful Preconditions Modulo a Test Generator
PLDI Research Papers
Angello Astorga, P. MadhusudanUniversity of Illinois at Urbana-Champaign, Shambwaditya Saha, Shiyu WangUniversity of Illinois at Urbana-Champaign, USA, Tao XieUniversity 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 LeStevens Institute of Technology, Guolong ZhengUniversity of Nebraska Lincoln, ThanhVu NguyenUniversity of Nebraska-Lincoln
14:00 - 15:30
Static AnalysisPLDI Research Papers at 229AB
Chair(s): Martin RinardMassachusetts Institute of Technology
14:00
20m
Talk
Abstract Interpretation under Speculative Execution
PLDI Research Papers
Meng WuVirginia Tech, Chao WangUSC
Media Attached
14:20
20m
Talk
A Fast Analytical Model of Fully Associative Caches
PLDI Research Papers
Tobias GysiETH Zurich, Switzerland, Tobias GrosserETH Zurich, Laurin BrandnerETH Zurich, Switzerland, Torsten HoeflerETH Zurich
Media Attached
14:40
20m
Talk
Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees
PLDI Research Papers
Laith SakkaPurdue University, Kirshanthan SundararajahPurdue University, Ryan R. NewtonIndiana University, Milind KulkarniPurdue University
Media Attached
15:00
20m
Talk
Size-Change Termination as a Contract
PLDI Research Papers
Phúc C. NguyễnUniversity of Maryland, Thomas GilrayUniversity of Maryland, Sam Tobin-HochstadtIndiana University, David Van HornUniversity 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 CaoMicrosoft Research
16:00
20m
Talk
Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism
PLDI Research Papers
Xulong TangPenn State, Mahmut Taylan KandemirPennsylvania State University, USA, Mustafa KarakoyTOBB University of Economics and Technology, Turkey, Meenakshi ArunachalamIntel, USA
Media Attached
16:20
20m
Talk
Low-Latency Graph Streaming using Compressed Purely-Functional Trees
PLDI Research Papers
Laxman DhulipalaCarnegie Mellon University, Guy E. BlellochCarnegie Mellon University, Julian ShunMIT
16:40
20m
Talk
Composable, Sound Transformations of Nested Recursion and Loops
PLDI Research Papers
Kirshanthan SundararajahPurdue University, Milind KulkarniPurdue University
Media Attached
16:00 - 16:40
Type Systems IIIPLDI Research Papers at 228AB
Chair(s): Satish ChandraFacebook
16:00
20m
Talk
Characterising Renaming within OCaml’s Module System: Theory and Implementation
PLDI Research Papers
Reuben N. S. RoweUniversity of Kent, Hugo FéréeUniversity of Kent, UK, Simon Thompson, Scott OwensUniversity of Kent, UK
Link to publication DOI Pre-print
16:20
20m
Talk
Type-Level Computations for Ruby Libraries
PLDI Research Papers
Milod KazerounianUniversity of Maryland, College Park, Sankha Narayan GuriaUniversity of Maryland, College Park, Niki VazouIMDEA Software Institute, Jeffrey S. FosterTufts University, David Van HornUniversity of Maryland, USA
Media Attached
16:00 - 17:00
Dynamics: Analysis and CompilationPLDI Research Papers at 229AB
Chair(s): Nadia PolikarpovaUniversity of California, San Diego
16:00
20m
Talk
SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features
PLDI Research Papers
David Mitchel PerryPurdue University, Dohyeong KimPurdue University, Roopsha SamantaPurdue University, Xiangyu ZhangPurdue 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 KapusImperial College London, Oren Ish-ShalomTel Aviv University, Israel, Shachar ItzhakyTechnion, Israel, Noam RinetzkyTel Aviv University, Cristian CadarImperial College London
Link to publication Pre-print Media Attached
16:40
20m
Talk
Reusable Inline Caching for JavaScript Performance
PLDI Research Papers
Jiho ChoiUniversity of Illinois at Urbana-Champaign, Thomas ShullUniversity of Illinois at Urbana-Champaign, Josep TorrellasUniversity 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
Times are displayed in 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 FengNanjing University
08:30
20m
Talk
Replication-Aware Linearizability
PLDI Research Papers
Chao WangIRIF, Université Paris Diderot, France, Constantin EneaUniversité Paris Diderot, Suha Orhun MutluergilIRIF, France / University Paris Diderot, France / CNRS, France, Gustavo PetriArm Ltd
Media Attached
08:50
20m
Talk
DFix: Automatically Fixing Timing Bugs in Distributed Systems
PLDI Research Papers
Guangpu LiUniversity of Chicago, USA, Haopeng LiuUniversity of Chicago, Xianglan ChenUniversity of Science and Technology of China, China, Haryadi S. GunawiUniversity of Chicago, USA, Shan LuUniversity of Chicago
Media Attached
09:10
20m
Talk
Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution
PLDI Research Papers
Nikos VasilakisUniversity of Pennsylvania, USA, Ben KarelUniversity of Pennsylvania, USA, Yash PalkhiwalaUniversity of Pennsylvania, USA, John SonchackUniversity of Pennsylvania, USA, André DeHonUniversity of Pennsylvania, USA, Jonathan M. SmithUniversity of Pennsylvania, USA
Media Attached
08:30 - 09:30
Verification IPLDI Research Papers at 229AB
Chair(s): Chung-Kil HurSeoul National University
08:30
20m
Talk
Semantic Program Alignment for Equivalence Checking
PLDI Research Papers
Berkeley ChurchillStanford University, Oded PadonStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University
Media Attached
08:50
20m
Talk
Verified Compilation on a Verified Processor
PLDI Research Papers
Andreas LööwChalmers University of Technology, Ramana KumarDeepMind, Yong Kiam TanCarnegie Mellon University, USA, Magnus O. MyreenChalmers University of Technology, Sweden, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Oskar AbrahamssonChalmers University of Technology, Sweden, Anthony FoxUniversity of Cambridge, UK
DOI Pre-print Media Attached
09:10
20m
Talk
Argosy: Verifying Layered Storage Systems with Recovery Refinement
PLDI Research Papers
Tej ChajedMassachusetts Institute of Technology, USA, Joseph TassarottiBoston College, M. Frans KaashoekMassachusetts Institute of Technology, USA, Nickolai ZeldovichMassachusetts Institute of Technology, USA
DOI Pre-print Media Attached
10:00 - 11:00
Systems IIPLDI Research Papers at 224AB
Chair(s): James LarusEPFL
10:00
20m
Talk
Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
PLDI Research Papers
Elazar GershuniTel Aviv University, Nadav Amit, Arie GurfinkelUniversity of Waterloo, Nina NarodytskaVMWare Research, Jorge A. NavasSRI International, Noam RinetzkyTel Aviv University, Leonid RyzhykVMware Research, Mooly SagivTel Aviv University
Link to publication DOI Media Attached
10:20
20m
Talk
Transactional Concurrency for Intermittent Systems
PLDI Research Papers
Emily RuppelCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University
Media Attached
10:40
20m
Talk
Supporting Peripherals in Intermittent Systems with Just-In-Time Checkpoints
PLDI Research Papers
Kiwan MaengCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University
Media Attached
10:00 - 11:00
Verification IIPLDI Research Papers at 229AB
Chair(s): Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia
10:00
20m
Talk
Verification of Programs under the Release-Acquire Semantics
PLDI Research Papers
Parosh Aziz AbdullaUppsala University, Sweden, Jatin AroraIIT Bombay, India, Mohamed Faouzi AtigUppsala University, Shankaranarayanan KrishnaIIT Bombay, India
10:20
20m
Talk
A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture
PLDI Research Papers
Sandeep DasguptaUniversity of Illinois at Urbana-Champaign, USA, Daejun ParkUniversity of Illinois at Urbana-Champaign, Theodoros KasampalisUniversity of Illinois at Urbana-Champaign, USA, Vikram S. AdveUniversity of Illinois at Urbana-Champaign, Grigore RoşuUniversity 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 ZhouDepartment of Computer Science and Technology, Tsinghua University, Nengkun YuUniversity of Technology Sydney, Australia, Mingsheng YingUniversity 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

Sun 23 Jun
Times are displayed in time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
105A
105B
105C
106A
106B
106C
212A
212B
301
301 Foyer
301A
50 W Jefferson St #240, Phoenix, AZ 85003 (not in the convention center)
Symphony Hall

Sat 22 Jun
Times are displayed in time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
105A
MAPL
TBA
12:00 - 12:30
105C
106A
106B
106C
212A
CHIUW
Chapel 101
09:00 - 09:30
212B
212C
301 Foyer
PLDI Catering
Break
11:00 - 11:20
TBD

Sun 23 Jun
Times are displayed in time zone: Tijuana, Baja California change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
105A
105B
105C
106A
ISMM
Final Remarks
17:14 - 17:15
106B
106C
212A
212B
DPA
The K Framework
09:30 - 10:00

Mon 24 Jun
Times are displayed in time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
224AB
229AB

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
224AB
228AB
229AB
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
Session Calendar (ical)
Detailed Event Calendar (ical)