Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Events (33 results)

Technical talk: Neural Methods for Programming Language Processing

PLMW@PLDI 2020 When: Mon 15 Jun 2020 07:00 - 08:00 People: Eran Yahav

… This talk will provide a survey of neural methods for programming-language processing (PLP), starting from basic background all the way to recent results.

We will cover a number of challenging PLP tasks and a wide range of neural …

Mentoring talk: Hacks to Compensate for Lack of Novelty in Programming Languages Research

PLMW@PLDI 2020 When: Mon 15 Jun 2020 08:00 - 09:00 People: Alastair F. Donaldson

… Ever had your paper rejected because your idea is “not exactly earth shattering”? Ever got close to a deadline before realising that Foo et al. actually did all this in the 1980s? Ever find you’re taking immense pleasure …

Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis

Infer Practitioners 2020 When: Tue 16 Jun 2020 07:00 - 07:45 People: Tomas Fiedor, Dominik Harmim, Vladimir Marcin, Ondřej Pavela, Adam Rogalewicz, Tomáš Vojnar

… at automatically deriving conservative complexity bounds. All of the plugins are under …

Learning Quantitative Representation Synthesis

MAPL When: Tue 16 Jun 2020 16:00 - 16:30 People: Mayur Patil, Farzin Houshmand, Mohsen Lesani

… predictor of all workloads across all platforms. We present a novel approach …

The Verified IoT Lightbulb: Connecting Hardware and Software in a Simple Embedded System

REMS-DeepSpec 2020 When: Tue 16 Jun 2020 09:50 - 10:30 People: Andres Erbsen, Adam Chlipala, Samuel Gruetter, Joonwon Choi

… year’s DeepSpec workshop, and now the proofs are all connected and free …

Cerberus: executable reference semantics and memory object models for ISO and de facto C

REMS-DeepSpec 2020 When: Mon 15 Jun 2020 09:00 - 09:40 People: Kayvan Memarian, Victor B. F. Gomes, Stella Lau, Jean Pichon-Pharabod, Justus Matthiesen, Peter Sewell

… for reasonably sized programs, including all the C undefined behaviours. Web …

Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM}

REMS-DeepSpec 2020 When: Tue 16 Jun 2020 05:00 - 05:40 People: Thomas Bauereiss, Kyndylan Nienhuis, Alexandre Joannou, Anthony Fox, Michael Roe, Brian Campbell, Matthew Naylor, Robert M. Norton, Simon W. Moore, Peter G. Neumann, Ian Stark, Robert N. M. Watson, Peter Sewell

… with other architecture features can lead to security vulnerabilities in all

Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V

REMS-DeepSpec 2020 When: Mon 15 Jun 2020 07:00 - 07:40 People: Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. Norton, Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami, Peter Sewell

… (ASL) definitions. All the above models contain enough system-level features …

Microsoft MakeCode

Sponsors When: Thu 18 Jun 2020 12:00 - 13:00 People: Tom Ball, Peli de Halleux, Michal Moskal

… Microsoft MakeCode (www.makecode.com) brings computer science to life for all students with fun projects, immediate results, and both block and text editors for learners at different levels. …

SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework

PLDI Research Papers When: Thu 18 Jun 2020 07:20 - 07:40 People: Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Greg Chan, Simone Campanoni, David I. August

… dependence analysis, and makes this resulting information available for all code … (modules cooperate to produce a result more precise than the confluence of all … speculation in the hot loops of all 16 evaluated C/C++ SPEC benchmarks. …

Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room

PLDI Research Papers When: Fri 19 Jun 2020 16:40 - 17:00 People: Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, Yannis Smaragdakis

… incomplete and vastly imprecise, when at all scalable.

In this work, we … identifies domain-specific concepts underlying all enterprise application frameworks …

Faster General Parsing through Context-Free Memoization

PLDI Research Papers When: Fri 19 Jun 2020 06:20 - 06:40 People: Grzegorz Herman

… We present a novel parsing algorithm for all context-free languages. The algorithm features a clean mathematical formulation: parsing is expressed as a series of standard operations on \emph{regular} languages and relations. Parsing …

Securing Smart Contract with Runtime Validation

PLDI Research Papers When: Fri 19 Jun 2020 09:20 - 09:40 People: Ao Li, Jemin Andrew Choi, Fan Long

… We present Solythesis, a source to source Solidity compiler which takes a smart contract code and a user specified invariant as the input and produces an instrumented contract that rejects all transactions that violate the invariant …

Armada: Low-Effort Verification of High-Performance Concurrent Programs

PLDI Research Papers When: Wed 17 Jun 2020 11:00 - 11:20 People: Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

… . All these techniques are proven sound, and Armada can be soundly extended …

Promising 2.0: Global Optimizations in Relaxed Memory Concurrency

PLDI Research Papers When: Thu 18 Jun 2020 05:20 - 05:40 People: Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis

… ) of Kang et al.
Our updated PS 2.0 model supports all the results known about …

EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation

PLDI Research Papers When: Fri 19 Jun 2020 14:40 - 15:00 People: Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi

… in schemes and implementations have made
it all the more attractive. At the same … that
generates correct and secure FHE programs, while hiding all

BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t

PLDI Research Papers When: Wed 17 Jun 2020 16:40 - 17:00 People: Chris Porter, Girish Mururu, Prithayan Barua, Santosh Pande

… %, and adds a runtime overhead of 18% on all libraries (16% for glibc, 2% for others) across all benchmarks of SPEC 2006. Further, we demonstrate BlankIt …

A Marriage of Pointer- and Epoch-Based Reclamation

PLDI Research Papers When: Wed 17 Jun 2020 09:40 - 10:00 People: Jeehoon Kang, Jaehwang Jung

All pointer-based nonblocking concurrent data structures should deal with the problem of \emph{safe
memory reclamation}: before reclaiming a memory block … that satisfies all the properties above.
PEBR is inspired by Snowflake's …

LLHD: A Multi-level Intermediate Representation for Hardware Description Languages

PLDI Research Papers When: Thu 18 Jun 2020 15:00 - 15:20 People: Fabian Schuiki, Andreas Kurth, Tobias Grosser, Luca Benini

… . An initial vertically-integrated research prototype is capable of representing all

Responsive Parallelism with Futures and State

PLDI Research Papers When: Fri 19 Jun 2020 15:20 - 15:40 People: Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee

… responsiveness. These advances share one important limitation: all of this work …

Typilus: Neural Type Hints

PLDI Research Papers When: Wed 17 Jun 2020 05:00 - 05:20 People: Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, Zheng Gao

… predicts types. $\textsc{Typilus}$ confidently predicts types for 70% of all

Semantic Code Search via Equational Reasoning

PLDI Research Papers When: Fri 19 Jun 2020 07:20 - 07:40 People: Varot Premtoon, James Koppel, Armando Solar-Lezama

… graphs of all equivalent functions reachable via a set of rewrite rules. In doing so …

Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems

PLDI Research Papers When: Fri 19 Jun 2020 08:00 - 08:20 People: Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas Reps

… produce on the given examples. If none of the possible outputs agrees with all

Data-Driven Inference of Representation Invariants

PLDI Research Papers When: Wed 17 Jun 2020 08:00 - 08:20 People: Anders Miltner, Saswat Padhi, Todd Millstein, David Walker

… A representation invariant is a property that holds of all values of abstract type produced by a module. Representation invariants play important roles in software engineering and program verification. In this paper, we develop …

SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee

PLDI Research Papers When: Thu 18 Jun 2020 07:00 - 07:20 People: Youwei Zhuo, Jingji Chen, Qinyi Luo, Yanzhi Wang, Hailong Yang, Depei Qian, Xuehai Qian

… dependency, i.e., when a condition is satisfied by
a neighbor, all following …

Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks

PLDI Research Papers When: Wed 17 Jun 2020 05:20 - 05:40 People: Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu

… the generic learning ability of G-CLNs by solving all 124 problems …

Effective Function Merging in the SSA Form

PLDI Research Papers When: Thu 18 Jun 2020 13:40 - 14:00 People: Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, Hugh Leather

… , the most recent approach can identify all merging opportunities in arbitrary pairs …

Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs

PLDI Research Papers When: Fri 19 Jun 2020 16:00 - 16:20 People: Auguste Olivry, Julien Langou, Louis-Noël Pouchet, Saday Sadayappan, Fabrice Rastello

… is fundamentally different: one must consider all possible legal schedules …

Declarative Language Definition with Spoofax

Tutorials When: Tue 16 Jun 2020 05:00 - 09:00 People: Eelco Visser

… queries in order to ensure that all information is collected before it is used …

Improving Program Locality in the GC using Hotness

PLDI Research Papers When: Wed 17 Jun 2020 09:20 - 09:40 People: Albert Mingkun Yang, Erik Österlund, Tobias Wrigstad

… % (tradebeans),
9% (h2) and an impressive 25–45% (JGraphT), all with 95 …

Fast Graph Simplification for Interleaved Dyck-Reachability

PLDI Research Papers When: Fri 19 Jun 2020 16:20 - 16:40 People: Yuanbo Li, Qirun Zhang, Thomas Reps

… the scalability and precision of all three InterDyck-reachability algorithms …

Debug Information Validation for Optimized Code

PLDI Research Papers When: Fri 19 Jun 2020 07:00 - 07:20 People: Yuanbo Li, Shuo Ding, Qirun Zhang, Davide Italiano

… Almost all modern production software is compiled with optimization.
Debugging optimized code is a desirable functionality.
For example,
developers usually perform post-mortem debugging on the coredumps produced by
software crashes …

Design Space Exploration

Tutorials When: Mon 15 Jun 2020 08:00 - 12:00 People: Matthew Feldman, Artur Souza, Luigi Nardi, Kunle Olukotun

… | All speakers | Flexible | | || | | | |

Hands-on Material

1 …