Write a Blog >>
ISMM 2019
Sun 23 Jun 2019 Phoenix, Arizona, United States
co-located with PLDI 2019
PLDI 2019 (series) / ISMM 2019 (series) / Phoenix Convention Center /

Room information: 224AB

VenuePhoenix Convention Center
Room name224AB
Floor0
Room number224AB
Room InformationNo extra information available
Program

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

Mon 24 Jun

Displayed time zone: Tijuana, Baja California change

08:30 - 08:45
Welcome!PLDI Research Papers at 224AB
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 S. 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
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
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
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

Tue 25 Jun

Displayed time zone: Tijuana, Baja California change

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
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
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, Işıl Dillig UT Austin, Swarat Chaudhuri Rice University
Media Attached
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

Wed 26 Jun

Displayed time zone: Tijuana, Baja California change

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
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

Mon 24 Jun

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
224AB

PLDI Research Papers

Welcome!

PLDI Research Papers

Language Design I

PLDI Research Papers

Language Design II

PLDI Research Papers

Probabilistic Programming

PLDI Research Papers

Parsing

Tue 25 Jun

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
224AB

PLDI Research Papers

Type Systems I

PLDI Research Papers

Type Systems II

PLDI Research Papers

Reasoning and Optimizing ML Models

PLDI Research Papers

Performance

Wed 26 Jun

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:0030
224AB

PLDI Research Papers

Systems I

PLDI Research Papers

Systems II

Mon 24 Jun

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
224AB
PLDI Research Papers
LoCal: A Language for Programs Operating on Serialized Data
08:45 - 09:05
PLDI Research Papers
Scenic: A Language for Scenario Specification and Scene Generation
09:05 - 09:25
PLDI Research Papers
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
09:25 - 09:45
PLDI Research Papers
CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Infer ...
10:00 - 10:20
PLDI Research Papers
Usuba: High-Throughput and Constant-Time Ciphers, by Construction
10:20 - 10:40
PLDI Research Papers
FaCT: A DSL for Timing-Sensitive Computation
10:40 - 11:00
PLDI Research Papers
Scalable Verification of Probabilistic Networks
14:00 - 14:20
PLDI Research Papers
Cost Analysis of Nondeterministic Probabilistic Programs
14:20 - 14:40
PLDI Research Papers
Gen: A General-Purpose Probabilistic Programming System with Programmab ...
14:40 - 15:00
PLDI Research Papers
Incremental Precision-Preserving Symbolic Inference for Probabilistic P ...
15:00 - 15:20
PLDI Research Papers
Lightweight Multi-Language Syntax Transformation with Parser Parser Com ...
16:00 - 16:20
PLDI Research Papers
A Typed, Algebraic Approach to Parsing
16:20 - 16:40
PLDI Research Papers
Genie: A Generator of Natural Language Semantic Parsers for Virtual Ass ...
16:40 - 17:00

Tue 25 Jun

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
224AB
PLDI Research Papers
Verifying Message-Passing Programs with Dependent Behavioural Types
08:30 - 08:50
PLDI Research Papers
Toward Efficient Gradual Typing for Structural Types via Coercions
08:50 - 09:10
PLDI Research Papers
Bidirectional Type Checking for Relational Properties
09:10 - 09:30
PLDI Research Papers
ILC: A Calculus for Composable, Computational Cryptography
10:00 - 10:20
PLDI Research Papers
Proving Differential Privacy with Shadow Execution
10:20 - 10:40
PLDI Research Papers
Data-Trace Types for Distributed Stream Processing Systems
10:40 - 11:00
PLDI Research Papers
An Inductive Synthesis Framework for Verifiable Reinforcement Learning
14:00 - 14:20
PLDI Research Papers
Programming Support for Autonomizing Software
14:20 - 14:40
PLDI Research Papers
Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability
14:40 - 15:00
PLDI Research Papers
Optimization and Abstraction: A Synergistic Approach for Analyzing Neur ...
15:00 - 15:20
PLDI Research Papers
Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism
16:00 - 16:20
PLDI Research Papers
Low-Latency Graph Streaming using Compressed Purely-Functional Trees
16:20 - 16:40
PLDI Research Papers
Composable, Sound Transformations of Nested Recursion and Loops
16:40 - 17:00

Wed 26 Jun

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:00153045
224AB
PLDI Research Papers
Replication-Aware Linearizability
08:30 - 08:50
PLDI Research Papers
DFix: Automatically Fixing Timing Bugs in Distributed Systems
08:50 - 09:10
PLDI Research Papers
Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution
09:10 - 09:30
PLDI Research Papers
Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
10:00 - 10:20
PLDI Research Papers
Transactional Concurrency for Intermittent Systems
10:20 - 10:40
PLDI Research Papers
Supporting Peripherals in Intermittent Systems with Just-In-Time Checkp ...
10:40 - 11:00