Search events for 'all'
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …