Search events for 'all'
CoStar: A Verified ALL(*) Parser
PLDI When: Wed 23 Jun 2021 21:15 - 21:20Wed 23 Jun 2021 09:15 - 09:20 People: Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux
… to terminate on all inputs, or they are not designed to be performant on grammars for real … with the Coq Proof Assistant and is based on the ALL(*) parsing algorithm. CoStar is sound and complete for all non-left-recursive grammars; it produces …
Robin Milner Young Researcher Award Presentation and Talk: Solver-Aided Programming for All
Invited Talks When: Fri 25 Jun 2021 15:00 - 16:00Sat 26 Jun 2021 03:00 - 04:00 People: Emina Torlak
… …
Acceleration of Lattice Models for Pricing Portfolios of Fixed-Income Derivatives
ARRAY 2021 When: Mon 21 Jun 2021 15:45 - 16:15 People: Wojciech Michal Pawlak, Marek Hlava, Martin Metaksov, Cosmin Oancea
… implementations, which utilize only the outer or all levels of parallelism, respectively …
Journey to null safety for Java at Facebook. An experience report.
Infer 2021 When: Mon 21 Jun 2021 09:00 - 09:40 People: Artem Pianykh, Mitya Lyubarskiy
… Static Analysis is a valuable tool to maintain and improve code correctness. At Facebook static analysis checkers are deployed at “diff-time” checking all changes and notifying developers about potential issues before they make …
Uniform Lease vs LRU Cache: Analysis and Evaluation
ISMM 2021 When: Tue 22 Jun 2021 11:15 - 11:45 People: Dong Chen, Chen Ding, Fangzhou Liu, Benjamin Reber, Wesley Smith, Pengcheng Li
… Lease caching is a new technique that provides greater control of the cache than what is allowed in conventional caches. The simplest control is uniform lease (UL), which means that all leases are identical in length. The UL cache …
Learning to Make Compiler Optimizations More Effective
MAPS 2021 When: Mon 21 Jun 2021 14:00 - 14:30 People: Rahim Mammadli, Marija Selakovic, Felix Wolf, Michael Pradel
… through all available code transformations shows that LoopLearner helps to identify …
[Invited talk] Dynamic abstract interpretation
SOAP 2021 When: Tue 22 Jun 2021 15:15 - 16:15 People: Patrick Cousot
… , by formalizing all possible instrumented executions and proving their sound …
[Invited talk] Towards Intelligent Application Security
SOAP 2021 When: Tue 22 Jun 2021 19:45 - 20:45 People: Cristina Cifuentes
… , operations and security are all integrated. There has also been increasing usage … to integrate security into all aspects of application development and operations …
Invited Talk: From Verified Compilation to Shor’s Algorithm
PLanQC 2021 When: Tue 22 Jun 2021 09:00 - 09:35 People: Michael Hicks
… . VOQC is embedded in the Coq proof assistant, and we have proved that all of its … computing, and we continue to expand the breadth and depth of our framework. All of our …
programmingLanguage as Language;
Papers When: Mon 21 Jun 2021 18:15 - 19:15 People: James Noble, Robert Biddle
… , programming languages are “human” languages above all.
Programming languages adopt …, and documents of all kinds. Language supports both cognitive and affective processes …
On the Challenges of Predictability, Resilience, and Machine Learning for Autonomous Driving
LCTES 2021 When: Tue 22 Jun 2021 09:10 - 10:25 People: Frank Mueller
… -traditional techniques of deeplearning, all of which require careful …
S, R and Data Science.
Papers When: Sun 20 Jun 2021 15:15 - 16:15 People: John Chambers
… ). These characteristics were all transferred to R and remain central to its …
Verilog HDL and its ancestors and descendants
Papers When: Tue 22 Jun 2021 10:45 - 11:45 People: Peter Flake, Phil Moorby, Steve Golson, Arturo Salz, Simon Davidmann
… all over the world.
One of the most influential HDLs of that era was HILO …, gate-level, and switch-level constructs were all supported
Further improvements … product Logic Compiler (soon renamed Design Compiler). All the pieces were now …
JavaScript: The First 20 Years
Papers When: Sun 20 Jun 2021 19:45 - 21:00 People: Allen Wirfs-Brock, Brendan Eich
… requires a common specification that all implementations must support. From its … while struggling with finding an effective process for accomplishing that goal. All …
The Origins of Objective-C at PPI/Stepstone and its Evolution at NeXT
Papers When: Sun 20 Jun 2021 18:15 - 19:15 People: Brad Cox, Steve Naroff, Hansen Hsu
… , all rights to Objective-C were acquired by NeXT. This eventually transferred …
Thriving in a crowded and changing world: C++ 2006-2020
Papers When: Mon 21 Jun 2021 13:30 - 14:45 People: Bjarne Stroustrup
… language without serious commercial backing – manage to thrive in the face of all …
A history of the Groovy programming language
Papers When: Tue 22 Jun 2021 18:15 - 19:15 People: Paul King
… , this mechanism was also opened up to all Groovy users. If they didn’t like the AST …
PLTea
Social When: Wed 23 Jun 2021 08:30 - 09:00Thu 24 Jun 2021 08:30 - 09:00Wed 23 Jun 2021 11:30 - 12:30Thu 24 Jun 2021 11:30 - 12:30Fri 25 Jun 2021 08:30 - 09:00Fri 25 Jun 2021 11:30 - 12:30Fri 25 - Sat 26 Jun 2021Wed 23 Jun 2021 20:30 - 21:00Wed 23 - Thu 24 Jun 2021Thu 24 Jun 2021 20:30 - 21:00Thu 24 - Fri 25 Jun 2021Fri 25 Jun 2021 20:30 - 21:00
… a couple minutes, or as long as you like. All welcome! …
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
PLDI When: Sat 26 Jun 2021 01:45 - 01:50Fri 25 Jun 2021 13:45 - 13:50 People: Jay P. Lim, Santosh Nagarakatte
… correctly rounded outputs for all inputs using counterexample guided polynomial … libraries while producing the correct output for all inputs. We have also …
Trace-Based Control-Flow Analysis
PLDI When: Thu 24 Jun 2021 21:00 - 21:05Thu 24 Jun 2021 09:00 - 09:05 People: Benoît Montagu, Thomas P. Jensen
…
in CFA that go beyond existing analyses, that are all based on exploring a finite …
Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
PLDI When: Wed 23 Jun 2021 21:25 - 21:30Wed 23 Jun 2021 09:25 - 09:30 People: Ruslan Nikolaev, Binoy Ravindran
… all threads, unlike most prior reclamation schemes such as epoch-based …-off with all existing schemes.
Hyaline schemes offer: (i) high performance … into unmanaged C/C++ code; and (vii) generality: supporting many data structures. All …
Fast and Precise Certification of Transformers
PLDI When: Thu 24 Jun 2021 01:35 - 01:40Wed 23 Jun 2021 13:35 - 13:40 People: Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin Vechev
… $\ell^1$ and $\ell^2$-norm bound perturbations. We introduce all Multi-norm Zonotope …
Concise, Type-Safe, and Efficient Structural Diffing
PLDI When: Sat 26 Jun 2021 02:00 - 02:05Fri 25 Jun 2021 14:00 - 14:05 People: Sebastian Erdweg, Tamás Szabó, André Pacak
… , truediff guarantees all intermediate trees are well-typed. We formalize type …
Web Question Answering with Neurosymbolic Program Synthesis
PLDI When: Thu 24 Jun 2021 01:40 - 01:45Wed 23 Jun 2021 13:40 - 13:45 People: Jocelyn (Qiaochu) Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Işıl Dillig
… that generates all DSL programs that achieve optimal $F_1$ score on the training examples …
Logical Bytecode Reduction
PLDI When: Fri 25 Jun 2021 01:55 - 02:00Thu 24 Jun 2021 13:55 - 14:00 People: Christian Gram Kalhauge, Jens Palsberg
… that specifies all valid sub-inputs,
we run an algorithm that finds a small, valid …
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
PLDI When: Fri 25 Jun 2021 21:15 - 21:20Fri 25 Jun 2021 09:15 - 09:20 People: Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Songfang Huang, Haibo Wang, Zheng Wang
… hours of automated concurrent testing runs, we discover bugs in all tested JS …
Reverse Engineering for Reduction Parallelization via Semiring Polynomials
PLDI When: Thu 24 Jun 2021 21:25 - 21:30Thu 24 Jun 2021 09:25 - 09:30 People: Akimasa Morihata, Shigeyuki Sato
… for nearly all of the 74 benchmarks exhaustively collected from the literature …
Integration Verification across Software and Hardware for a Simple Embedded System
PLDI When: Wed 23 Jun 2021 21:25 - 21:30Wed 23 Jun 2021 09:25 - 09:30 People: Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, Adam Chlipala
… that carry out this exercise, and all of them have simplified the task by restricting …
Demanded Abstract Interpretation
PLDI When: Thu 24 Jun 2021 21:05 - 21:10Thu 24 Jun 2021 09:05 - 09:10 People: Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan
… semantics are all treated uniformly. The key difficulty addressed by our approach …
IMOP: A Self-Stabilizing Source-to-Source Compiler Framework for OpenMP C
Tutorials When: Mon 21 Jun 2021 09:00 - 11:45 People: Aman Nougrahiya, V Krishna Nandivada
… semantics into account. Consequently, not all components of such frameworks … min. All times are in [EDT (UTC -4)](https://www.timeanddate.com …
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
PLDI When: Fri 25 Jun 2021 01:55 - 02:00Thu 24 Jun 2021 13:55 - 14:00 People: Auguste Olivry, Guillaume Iooss, Nicolas Tollenaere, Atanas Rountev, Saday Sadayappan, Fabrice Rastello
… ) complexity is more complex to evaluate as it refers, \emph{when considering all …
Implementing smart contract security analyses using the MadMax/Gigahorse framework
Tutorials When: Tue 22 Jun 2021 09:00 - 11:45 People: Yannis Smaragdakis, Neville Grech
… are not at all familiar with declarative/logic-based programming, brief experimentation …
RbSyn: Type- and Effect-Guided Program Synthesis
PLDI When: Thu 24 Jun 2021 21:30 - 21:35Thu 24 Jun 2021 09:30 - 09:35 People: Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn
… that RbSyn synthesizes correct solutions for all benchmarks, with 15 benchmarks …