Search events for 'all'
(PLDI 2021) CoStar: A Verified ALL(*) Parser
SIGPLAN Track When: Thu 16 Jun 2022 11:20 - 11:40 People: Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux
… on all inputs.
In this work, we present CoStar, a verified parser … and is based on a purely functional adaptation of the ALL(*) parsing algorithm … without error on all inputs when applied to a non-left-recursive grammar …
All you need is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP
PLDI When: Wed 15 Jun 2022 16:10 - 16:30Thu 16 Jun 2022 04:10 - 04:30 People: Yishen Chen, Charith Mendis, Saman Amarasinghe
… …
We Live in Interesting Times
ISMM 2022 When: Tue 14 Jun 2022 16:00 - 17:00Wed 15 Jun 2022 04:00 - 05:00 People: Steve Blackburn
… of McCarthy, Dijkstra, Knuth, Steele, and Liskov have all made important contributions … efficiency and security, a diversity of programming languages and above all …
Multidimensional C++
ARRAY 2022 When: Mon 13 Jun 2022 09:00 - 10:00 People: Bryce Lelbach
… for Standard C++ that is portable to all platforms, from your smartwatch …
Concurrent and Parallel Garbage Collection for Lightweight Threads on Multicore Processors
ISMM 2022 When: Tue 14 Jun 2022 15:00 - 15:30Wed 15 Jun 2022 03:00 - 03:30 People: Katsuhiro Ueno, Atsushi Ohori
… an on-the-fly collection that does not stop any thread. All worker threads cooperatively …
Replication-based Object Persistence by Reachability
ISMM 2022 When: Tue 14 Jun 2022 14:30 - 15:00Wed 15 Jun 2022 02:30 - 03:00 People: Kotaro Matsumoto, Tomoharu Ugawa, Hideya Iwasaki
… . In this abstraction, all objects are volatile when they are created and become …
From Perception to Programs: Regularize, Overparameterize, and Amortize
MAPS 2022 When: Mon 13 Jun 2022 11:45 - 12:00Mon 13 - Tue 14 Jun 2022 People: Hao Tang, Kevin Ellis
… for relaxing the problem and jointly learning all modules end-to-end with gradient descent …
A Systematic Evaluation of Large Language Models of Code
MAPS 2022 When: Tue 14 Jun 2022 02:30 - 02:45Mon 13 Jun 2022 14:30 - 14:45 People: Frank F. Xu, Uri Alon, Graham Neubig, Vincent J. Hellendoorn
… . In the C programming language, PolyCoder outperforms all models including Codex …
Sketch-Guided Equality Saturation
EGRAPHS 2022 When: Tue 14 Jun 2022 09:05 - 09:35Tue 14 Jun 2022 21:05 - 21:35 People: Thomas Koehler
… . By specifying three or fewer sketch guides, all seven optimizations are found in seconds …
(POPL 2022) One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes
SIGPLAN Track When: Wed 15 Jun 2022 16:10 - 16:30 People: Jay P. Lim, Santosh Nagarakatte
… rounded results for all inputs. In contrast, CR-LIBM and RLIBM provide correctly … that produces correctly rounded results for all inputs for multiple rounding modes … results for all five rounding modes in the standard and for multiple representations …
(PLDI 2020) SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
SIGPLAN Track When: Wed 15 Jun 2022 14:10 - 14:30 People: Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Greg Chan, Simone Campanoni, David I. August
… for all code optimizations. SCAF is modular (adding new analysis modules … the confluence of all individual results). Relative to the best prior … for expensive-to-validate memory speculation in the hot loops of all 16 C/C++ SPEC …
Impacts of Range Reduction on Polynomial Approximation Efficiency
SRC When: Wed 15 Jun 2022 17:30 - 19:00 People: Sehyeok Park
… The RLibm project provides a collection of elementary functions that return correctly rounded results for all inputs. RLibm accomplishes this goal …, which transforms all inputs in the original domain to values in a smaller range …
Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries
PLDI When: Thu 16 Jun 2022 11:00 - 11:20Thu 16 Jun 2022 23:00 - 23:20 People: Daniel Lehmann, Michael Pradel
… , exactly predicting 44.5% (75.2%) of all parameter types and 57.7% (80.5%) of all …
Leapfrog: Certified Equivalence for Protocol Parsers
PLDI When: Fri 17 Jun 2022 16:10 - 16:30Sat 18 Jun 2022 04:10 - 04:30 People: Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
… Leapfrog on a range of practical case studies, all of which require minimal … pipelines. Overall, Leapfrog represents a step towards a world where all parsers …
(ICFP 2020) Kinds Are Calling Conventions
SIGPLAN Track When: Thu 16 Jun 2022 13:30 - 13:50 People: Paul Downen, Zena M. Ariola, Simon Peyton Jones, Richard A. Eisenberg
… , and the evaluation order of arguments—all three of which are useful in practice …
(POPL 2022) Visibility Reasoning for Concurrent Snapshot Algorithms
SIGPLAN Track When: Wed 15 Jun 2022 16:30 - 16:50 People: Joakim Öhman, Aleksandar Nanevski
… the components at higher abstraction levels are shared, i.e., they apply to all …
Deep and Shallow Types for Gradual Languages
PLDI When: Thu 16 Jun 2022 15:50 - 16:10Fri 17 Jun 2022 03:50 - 04:10 People: Ben Greenman
… . Where an exhaustive search is feasible, 40% of all configurations run fastest …
Formally Verified Lifting of C-compiled x86-64 Binaries
PLDI When: Fri 17 Jun 2022 15:50 - 16:10Sat 18 Jun 2022 03:50 - 04:10 People: Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran
… an overapproximation of all possible execution paths of the binary. The lifted …
(POPL 2022) Verified Tensor-Program Optimization Via High-level Scheduling Rewrites
SIGPLAN Track When: Fri 17 Jun 2022 16:30 - 16:50 People: Amanda Liu, Gilbert Bernstein, Adam Chlipala, Jonathan Ragan-Kelley
… for compilation targeting imperative code with arrays and nested loops, all rewrites …
(OOPSLA 2020) Automatic and Efficient Variability-Aware Lifting of Functional Programs
SIGPLAN Track When: Fri 17 Jun 2022 13:30 - 13:50 People: Ramy Shahin, Marsha Chechik
… variations individually, but not to the entire product line as a whole. Enumerating all … into a variability-aware version, exploring all combinations of its input arguments. Deep …
(OOPSLA 2021) Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
SIGPLAN Track When: Fri 17 Jun 2022 13:50 - 14:10 People: Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David I. August, Amit Levy
… decisions appropriate for all cases. Application developers can tune libraries …
Interpreter-guided Differential JIT Compiler Unit Testing
PLDI When: Fri 17 Jun 2022 15:30 - 15:50Sat 18 Jun 2022 03:30 - 03:50 People: Guillermo Polito, Stéphane Ducasse, Pablo Tesone
… to explore all possible execution interpreter paths and obtain a list of concrete values …
Karp: A Language for NP Reductions
PLDI When: Thu 16 Jun 2022 14:30 - 14:50Fri 17 Jun 2022 02:30 - 02:50 People: Chenhao Zhang, Jason D. Hartline, Christos Dimoulas
… In CS theory courses, proofs by reduction are a notorious source of pain for students and instructors alike. Invariably, students use pen and paper to write down reductions that “work” in many but not all cases. When instructors observe …
IRDL: An IR Definition Language for SSA Compilers
PLDI When: Wed 15 Jun 2022 13:50 - 14:10Thu 16 Jun 2022 01:50 - 02:10 People: Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, Tobias Grosser
… language to define IRs. We analyze all 28 domain-specific IRs developed as part …
Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries
PLDI When: Thu 16 Jun 2022 14:10 - 14:30Fri 17 Jun 2022 02:10 - 02:30 People: Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte
… This paper presents a novel method for generating a single polynomial approximation that produces correctly rounded results for all inputs of an elementary function for multiple representations. The generated polynomial approximation has …
(OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Transformations
SIGPLAN Track When: Thu 16 Jun 2022 14:10 - 14:30 People: Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari
… It is fairly common for developers to make repeated edits in code that are all instances of a more-general program transformation. Since this process can be tedious and error-prone, we study the problem automatically learning program …
(PLDI 2021) Logical Bytecode Reduction
SIGPLAN Track When: Thu 16 Jun 2022 16:10 - 16:30 People: Christian Gram Kalhauge, Jens Palsberg
… this works for Java bytecode. Once we have a propositional formula that specifies all …
P4BID: Information Flow Control in P4
PLDI When: Wed 15 Jun 2022 10:40 - 11:00Wed 15 Jun 2022 22:40 - 23:00 People: Karuna Grewal, Loris D'Antoni, Justin Hsu
… and show that P4bid can successfully detect information flow violations in all …
Computing Correctly with Inductive Relations
PLDI When: Fri 17 Jun 2022 16:30 - 16:50Sat 18 Jun 2022 04:30 - 04:50 People: Zoe Paraskevopoulou, Aaron Eline, Leonidas Lampropoulos
… all three classes of computational definitions inside the logic of the Coq proof …
Adore: Atomic Distributed Objects with Certified Reconfiguration
PLDI When: Thu 16 Jun 2022 11:40 - 12:00Thu 16 - Fri 17 Jun 2022 People: Wolf Honore, Ji-Yong Shin, Jieung Kim, Zhong Shao
… we observe that nearly all of them avoid the complex, but important issue …
Hamband: RDMA Replicated Data Types
PLDI When: Thu 16 Jun 2022 11:00 - 11:20Thu 16 Jun 2022 23:00 - 23:20 People: Farzin Houshmand, Javad Saberlatibari, Mohsen Lesani
… services. The underlying replication protocols of these systems execute all …
(POPL 2021) Fully Abstract from Static to Gradual
SIGPLAN Track When: Thu 16 Jun 2022 14:10 - 14:30 People: Koen Jacobs, Amin Timany, Dominique Devriese
… that \emph{all} source language equivalences are preserved. We demonstrate …
(OOPSLA 2020) Scaling Exact Inference for Discrete Probabilistic Programs
SIGPLAN Track When: Fri 17 Jun 2022 10:40 - 11:00 People: Steven Holtzen, Guy Van den Broeck, Todd Millstein
… . Inference is fundamentally hard, so there is no one-size-fits all solution …
Finding Typing Compiler Bugs
PLDI When: Wed 15 Jun 2022 13:30 - 13:50Thu 16 Jun 2022 01:30 - 01:50 People: Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Ben Livshits, Dimitris Mitropoulos
… fixed) with diverse manifestations and root causes in all the examined compilers …
Abstract Interpretation Repair
PLDI When: Thu 16 Jun 2022 11:20 - 11:40Thu 16 Jun 2022 23:20 - 23:40 People: Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
… strategies to remove all false-alarms along a given abstract computation: the first …
(POPL 2021) On the Semantic Expressiveness of Recursive Types
SIGPLAN Track When: Thu 16 Jun 2022 14:30 - 14:50 People: Marco Patrignani, Eric Mark Martin, Dominique Devriese
… -typed interface. The three proofs all rely on a typed version of a proof technique …
(POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
SIGPLAN Track When: Wed 15 Jun 2022 14:30 - 14:50 People: Marco Vassena, Craig Disselkoen, Klaus v. Gleissenthall, Sunjay Cauligi, Rami Gökhan Kıcı, Ranjit Jhala, Dean Tullsen, Deian Stefan
… speculative leaks by requiring that all \emph{sink} expressions are stable …
A Type System for Safe Intermittent Computing
SRC When: Wed 15 Jun 2022 17:30 - 19:00 People: Milijana Surbatovich
… analyses or conservatively recovering all written state. Moreover, no prior work …
(POPL 2022) Safe, Modular Packet Pipeline Programming
SIGPLAN Track When: Wed 15 Jun 2022 14:30 - 14:50 People: Devon Loehr, David Walker
… their programs to compile to specialized networking hardware. In particular, all …
Is it Time to Retire Manual Concurrent Memory Reclamation?
PLDI When: Wed 15 Jun 2022 10:40 - 11:00Wed 15 Jun 2022 22:40 - 23:00 People: Daniel Anderson, Guy E. Blelloch, Yuanhao Wei
… library by up to an order of magnitude on high thread counts. All together, we …
(PLDI 2021) RbSyn: type- and effect-guided program synthesis
SIGPLAN Track When: Fri 17 Jun 2022 16:30 - 16:50 People: Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn
… solutions for all benchmarks, with 15 benchmarks synthesizing in under 9 seconds …
Efficient Approximations for Cache-conscious Data Placement
PLDI When: Fri 17 Jun 2022 13:30 - 13:50Sat 18 Jun 2022 01:30 - 01:50 People: Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, Andreas Pavlogiannis
… {NP}$. As such, all subsequent works gave up on theoretical improvements …
(OOPSLA 2021) Formal verification of high-level synthesis
SIGPLAN Track When: Fri 17 Jun 2022 11:00 - 11:20 People: Yann Herklotz, James D. Pollard, Nadesh Ramanathan, John Wickerson
… . Vericert supports most C constructs, including all integer operations, function …