Search events for 'all'
tl;dr: Chill, y’all – AI will not devour SE
Onward! Essays When: Thu 24 Oct 2024 10:40 - 11:20 People: Eunsuk Kang, Mary Shaw
… …
C-2PO: A Weakly Relational Pointer Domain
NSAD 2024 When: Tue 22 Oct 2024 14:30 - 15:00 People: Rebecca Ghidini, Julian Erhard, Michael Schwarz, Helmut Seidl
… Pointer analysis is foundational for statically analyzing real-world programs, but tracking all relations between pointers quickly becomes intractable as program size grows. We present C-2PO — a weakly relational domain for C programs …
A Step-Function Abstract Domain for Granular Floating-Point Error Analysis
NSAD 2024 When: Tue 22 Oct 2024 14:00 - 14:30 People: Anthony Dario, Samuel D. Pollard
… the pitfalls of numerical computations using floating-point numbers are well known. Existing static techniques for floating-point error analysis provide a single upper bound across all potential values for a floating-point …
From FP to OOP and Back, Consistently
UNSOUND 2024 When: Sun 20 Oct 2024 16:00 - 16:30 People: David Binder
… Finding a combination of types and static checks that guarantees some desired property such as type soundness (programms don’t get stuck) or consistency (not all types are inhabitated) is not enough. These checks should also be stable …
Publishable Network Contracts in Scrapscript
UNSOUND 2024 When: Sun 20 Oct 2024 11:30 - 12:00 People: Taylor Troesh
… -typed functional language (like Haskell, Elm, etc.). - All expressions … programs, any expression can be published into “the scrapyard”. - All scrapyard entries are cryptographically signed; all signatures are public. - A simple …
CUTECat: Generating Testcases for Fiscal Laws through Concolic Execution
ProLaLa 2024 When: Tue 22 Oct 2024 12:05 - 12:15 People: Pierre Goutagny, Aymeric Fromherz, Raphaël Monat
… programs. This engine aims to identify all of Catala domain-specific errors …
Substructural Information Flow via Polymorphism
IWACO'24 When: Mon 21 Oct 2024 12:00 - 12:30 People: Hemant Gouni, Jonathan Aldrich
… the structural properties lurking in all prior information flow systems. We show …
An Effectively Ω(c) Language and Runtime
VMIL 2024 When: Sun 20 Oct 2024 15:15 - 15:30 People: Mark Marron
… to have an effectively constant time to execute all operations, there is a constant … for all collection/release operations. …
Subsequently: Telling stories with pictures makes programs
LIVE 2024 When: Mon 21 Oct 2024 12:12 - 12:30 People: Marcel Goethals
… and control flow. All these different aspects are represented on screen … is represented concretely, there is no explicit “run” step or debugger. All program state …
Nested Summations
JENSFEST 2024 When: Tue 22 Oct 2024 16:50 - 17:15 People: Olivier Danvy
… with a core multiplicative factor other than the standard one. All …
Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper)
GPCE 2024 When: Tue 22 Oct 2024 17:00 - 17:20 People: Cunyuan Gao, Lionel Parreaux
… Practical metaprogramming applications often involve manipulating open code fragments, which is easy to get wrong in the absence of static verification that all variable occurrences remain correctly bound. Many approaches have been …
Performant Bounds Checking for 64-Bit WebAssembly
VMIL 2024 When: Sun 20 Oct 2024 16:30 - 17:00 People: Lukas Döllerer, Alexis Engelke
… . Typically, runtimes implement this by reserving all addressable WebAssembly memory …
Towards Verification of a Denotational Semantics of Inheritance
JENSFEST 2024 When: Tue 22 Oct 2024 11:00 - 11:25 People: Peter D. Mosses
… successfully checked all the steps in the proofs of the lemmas. The Agda definitions …
ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper)
SAS 2024 When: Sun 20 Oct 2024 16:30 - 17:00 People: Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh
… easily define various existing and new abstract domains and transformers, all within …-of-the-art DNN certifiers for arbitrary DNN architectures, all within a few minutes. …
A tour of CPython's runtime
VMIL 2024 When: Sun 20 Oct 2024 11:00 - 12:00 People: Brandt Bucher
… , maintained for free by a small team of (mostly) volunteers. All of these factors …
The Normalization Barrier Revisited
JENSFEST 2024 When: Tue 22 Oct 2024 14:55 - 15:20 People: Shuo Ding, Qirun Zhang
… that a total universal function for all total computable functions is impossible. Therefore …
EYG a predictable, and useful, programming language
LIVE 2024 When: Mon 21 Oct 2024 14:18 - 14:36 People: Peter Saxton
… features to support this predictability.
- Managed effects, all program semantics …
Snappets: a VR animation system based on Projective Geometric Algebra
LIVE 2024 When: Mon 21 Oct 2024 11:54 - 12:12 People: Hamish Todd
… .
In “Projective Geometric Algebra” (PGA), the system on which Snappets is based, all …
Synthesizing Abstract Transformers for Reduced-Product Domains
SAS 2024 When: Tue 22 Oct 2024 10:00 - 10:30 People: Pankaj Kumar Kalita, Thomas Reps, Subhajit Roy
… domains: synthesizing transformers for all of the component domains simultaneously … access to the abstract inputs from all component domains in the product. Second …
Reducing Write Barrier Overheads for Orthogonal Persistence
SLE 2024 When: Mon 21 Oct 2024 14:30 - 15:00 People: Yilin Zhang, Omkar Dilip Dhawal, V Krishna Nandivada, Shigeru Chiba, Tomoharu Ugawa
… . However, all such implementations use heavy-wait write barriers.
We propose … this attempt is visible to all the threads by handshaking with them. (ii) eliding …
Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper)
SLE 2024 When: Mon 21 Oct 2024 11:30 - 12:00 People: Sylvan Clebsch, Matilda Blomqvist, Elias Castegren, Matthew Johnson, Matthew J. Parkinson
… Compilation is all about tree rewriting. In functional languages where all data is tree shaped, tree rewriting is facilitated by pattern matching, but data immutability leads to copying for each update. In object-oriented languages like …
Measuring data lineage
SAS 2024 When: Tue 22 Oct 2024 11:00 - 12:00 People: Francesco Logozzo
… engineers assessing the products and tools. To ensure all the entities are using …
Run, Build and Grow Small Systems Without Leaving Your Text Editor
LIVE 2024 When: Mon 21 Oct 2024 16:45 - 17:00 People: Albert Zak, Karl M. Göschka
… on a node; it receives all platform capabilities as an argument. Each node …
Learning to harness in-vitro biological neural networks
VIVEKFEST 2024 When: Mon 21 Oct 2024 14:00 - 14:20 People: Frithjof Gressmann, Lawrence Rauchwerger
… processing power, all while running on sugar with unprecedented energy efficiency …
Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism
VIVEKFEST 2024 When: Mon 21 Oct 2024 11:00 - 11:20 People: Jun Shirako, Tong Zhou, Akihiro Hayashi
… the correctness of our type-specific code optimizations in all cases. While …
A Formal Model for Portable, Heterogeneous Accelerator Programming
VIVEKFEST 2024 When: Mon 21 Oct 2024 12:10 - 12:30 People: Zachary Sullivan, Samuel D. Pollard
… Programming on modern computer architectures requires logic to utilize both multi-threaded CPUs and accelerators such as GPUs. This can be fraught with errors relating to transmitting and accessing memory not available to all compute …
Retrieving Unknown SMT Formulas via Structural Mutations
VIVEKFEST 2024 When: Mon 21 Oct 2024 16:30 - 16:50 People: Shuo Ding, Qirun Zhang
… for all formulas, we focus on mutating “hard” formulas (unknown formulas) to make …
Lift-offline: Instruction Lifter Generators
SAS 2024 When: Tue 22 Oct 2024 12:00 - 12:30 People: Nicholas Coughlin, Alistair Michael, Kait Lam
… , on a per-instruction basis. We extend these results to extract the semantics of all …
Code flow canvas - a generic visual programming system
LIVE 2024 When: Mon 21 Oct 2024 11:18 - 11:36 People: Maikel van de Lisdonk
… can be used to view all of the steps that the program executed including its …
Trading Runtime for Energy Efficiency
SLE 2024 When: Mon 21 Oct 2024 09:00 - 09:30 People: Simão Cunha, Luís Silva, João Saraiva, João Paulo Fernandes
… , in all the programming languages and in all benchmarks that were considered …
Full Control-Flow Sensitivity for Definitional Interpreters
SAS 2024 When: Sun 20 Oct 2024 11:30 - 12:00 People: Kimball Germane
… independent of all other aspects of the analyzer formulation. We present a framework …
Robustness Verification of Multi-Label Neural Network Classifiers
SAS 2024 When: Sun 20 Oct 2024 15:00 - 15:30 People: Julian Mour, Dana Drachsler Cohen
… datasets. Our results show that MuLLoC classifies all labels as robust …
There Is Only One Time in Software (Language) Engineering!
SLE 2024 When: Sun 20 Oct 2024 09:15 - 10:30 People: Benoit Combemale
… the development of domain-specific languages, and all the required tools to support …
Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration
OOPSLA 2024 When: Fri 25 Oct 2024 15:10 - 15:30 People: Dominik Winterer, Zhendong Su
… to understand the evolution of solvers. We derive eight grammars realizing all major …, arrays, floating points, and strings. Using ET, we test all consecutive releases …
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
OOPSLA 2024 When: Fri 25 Oct 2024 12:00 - 12:20 People: Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal
… , and that can be distributed across all possible branches of sampling …, including randomized quicksort, hash tables, and meldable heaps. All of our results …
Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
OOPSLA 2024 When: Thu 24 Oct 2024 14:00 - 14:20 People: Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, Linzhang Wang
… . Results show that all models are accurate in both prediction tasks, especially … of the results of all models in both tasks, concluding that deep learning models …
Dialogues on Natural Code
Onward! Essays When: Wed 23 Oct 2024 14:30 - 15:10 People: Lu Wilson, David H. Ackley
… that all human language can usefully be viewed in programming language terms … to the task of debugging and refactoring the natural codebase that we all share …
FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
OOPSLA 2024 When: Wed 23 Oct 2024 11:20 - 11:40 People: Zhengyao Lin, Joshua Gancher, Bryan Parno
… imperative program on all possible inputs and schedules of execution. We apply … of all programs in the RipTide benchmark suite. …
Verified Lock-Free Session Channels with Linking
OOPSLA 2024 When: Thu 24 Oct 2024 17:20 - 17:40 People: Thomas Somers, Robbert Krebbers
… with all of the aforementioned features. To enable a layered verification we develop … to linking, respectively. All our results are mechanized in the Coq proof assistant. …
Full Iso-recursive Types
OOPSLA 2024 When: Fri 25 Oct 2024 14:10 - 14:30 People: Litao Zhou, Qianyong Wan, Bruno C. d. S. Oliveira
… iso-recursive types. Full iso-recursive types allow encoding all programs … coercions, all type transformations are captured by computationally …
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation
OOPSLA 2024 When: Thu 24 Oct 2024 11:20 - 11:40 People: Aaron Bembenek, Michael Greenberg, Stephen Chong
… on SMT-heavy Formulog benchmarks.
All in all, using compilation and eager …-fits-all best Datalog evaluation algorithm for static analysis workloads. …
Jmvx: Fast Multi-threaded Multi-Version eXecution and Record-Replay for Managed Languages
OOPSLA 2024 When: Wed 23 Oct 2024 16:00 - 16:20 People: David Schwartz, Ankith Kowshik, Luís Pina
… analysis technique, and ensuring that all variants execute the same methods … synchronization operations in one variant, and ensuring all other variants follow … communication between all variants, averaging 5%–47% performance overhead when …
Lessons Learned from Building GitHub Copilot(s)
REBASE When: Wed 23 Oct 2024 13:40 - 14:10 People: Eddie Aftandilian
… with AI assistance, and TabNine estimates that 5% of all code is written by AI …
Redressing the balance: a yin-yang perspective on information technology
Onward! Essays When: Fri 25 Oct 2024 11:00 - 11:40 People: Konrad Hinsen
… (IT) is supposed to support all these phases of information processing. But does …
Using Computation Graphs to Explain Nondeterminism to Students
SPLASH-E When: Thu 24 Oct 2024 11:40 - 12:00 People: Marco T Morazan, Oliwia Kempinski
… not consuming all of its input. This article presents a visualization tool developed …
libLISA: Instruction Discovery and Analysis on x86-64
OOPSLA 2024 When: Wed 23 Oct 2024 16:20 - 16:40 People: Jos Craaijo, Freek Verbeek, Binoy Ravindran
… -specific. Experimental evaluation shows that we enumerate virtually all …
AI: Winter of Our Discontent
Keynotes When: Thu 24 Oct 2024 09:00 - 10:10 People: Richard P. Gabriel
… that the comprehensive training of LLMs across all perspectives prevents them from …
Roles of Variables in the Hedy programming language
SPLASH-E When: Thu 24 Oct 2024 11:00 - 11:20 People: Julia Vanwijnsberghe-Bolt, Felienne Hermans
… The concept of variables can be hard to grasp for novices. The Roles of Variables framework has been found to enhance learning elementary programming. The 11 roles can describe all variables in novice programs in 99% of the cases. Prior …
Cocoon: Static Information Flow Control in Rust
OOPSLA 2024 When: Wed 23 Oct 2024 10:40 - 11:00 People: Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, Zhiqiang Lin
… overhead, or report false leaks, all of which hinder adoption. This paper presents …
Model Checking Distributed Protocols in Must
OOPSLA 2024 When: Thu 24 Oct 2024 14:40 - 15:00 People: Constantin Enea, Dimitra Giannakopoulou, Michalis Kokologiannakis, Rupak Majumdar
… for all communication models supported by the API.
We use Must to design …
Finding Cross-rule Optimization Bugs in Datalog Engines
OOPSLA 2024 When: Thu 24 Oct 2024 11:00 - 11:20 People: Chi Zhang, Linzhang Wang, Manuel Rigger
… program, we can evaluate all rules individually by constructing a reference … and error bugs. Deopt can detect all bugs found by queryFuzz, a state-of-the-art …
Mark--Scavenge: Waiting for Trash to Take Itself Out
OOPSLA 2024 When: Fri 25 Oct 2024 11:40 - 12:00 People: Jonas Norlinder, Erik Österlund, David Black-Schaffer, Tobias Wrigstad
… memory (memory for all objects to be moved), but performs less work in sparse … with the proposed approach. However, instead of relocating all objects that are live …
Compositionality and Observational Refinement for Linearizability with Crashes
OOPSLA 2024 When: Fri 25 Oct 2024 14:10 - 14:30 People: Arthur Oliveira Vale, Zhongye Wang, Yixuan Chen, Peixin You, Zhong Shao
… propagate instantaneously to all components across all levels of abstraction …
ASSIST: Automated Feedback Generation for Syntax and Logical Errors in Programming Exercises
SPLASH-E When: Thu 24 Oct 2024 16:00 - 16:20 People: Lucas Van Praet, Jesse Hoobergs, Tom Schrijvers
… with syntax errors, ASSIST delivers feedback on all syntax errors in 71% of cases … evaluating all incorrect submissions, ASSIST is able to give feedback …
Gender Differences in Story, Game and Visual Adventures in Hedy
SPLASH-E When: Thu 24 Oct 2024 10:40 - 11:00 People: Shirley de Wit, Felienne Hermans, Marcus Specht, Efthimia Aivaloglou
… , gender differences occur in all three adventures in the highest level analysed. …
HOL4P4: mechanized small-step semantics for P4
OOPSLA 2024 When: Wed 23 Oct 2024 11:20 - 11:40 People: Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam
… We present the first semantics of the network data plane programming language P4 able to adequately capture all key features of P4$_{16}$, the most recent version of P4, including external functions, aka. externs, and concurrency …
Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
OOPSLA 2024 When: Wed 23 Oct 2024 11:20 - 11:40 People: Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer, Clément Pit-Claudel
… capabilities, component by component in arbitrary order, all the while continuously …
Practical Verification Of Smart Contracts Using Memory Splitting
OOPSLA 2024 When: Wed 23 Oct 2024 14:20 - 14:40 People: Shelly Grossman, Alexander Bakst, Sameer Arora, John Toman, Chandrakana Nandi, Mooly Sagiv
… operations for memory allocation which are not present in all languages. For instance …
Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results
Onward! Papers When: Thu 24 Oct 2024 16:00 - 16:25 People: Karoliine Holter, Juhan Oskar Hennoste, Patrick Lam, Simmo Saan, Vesal Vojdani
… for all program executions: they can examine and rule out false positives …
A Constraint Solving Approach to Parikh Images of Regular Languages
OOPSLA 2024 When: Wed 23 Oct 2024 16:00 - 16:20 People: Amanda Stjerna, Philipp Rümmer
… A common problem in string constraint solvers is computing the Parikh image, a linear arithmetic formula that describes all possible combinations of character counts in strings of a given language. Automata-based string solvers frequently …
Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels
OOPSLA 2024 When: Wed 23 Oct 2024 17:20 - 17:40 People: Si Liu, Long Gu, Hengfeng Wei, David Basin
… assessment shows that Plume can reproduce all known violations in a large collection …
MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
OOPSLA 2024 When: Wed 23 Oct 2024 14:00 - 14:20 People: Boyao Ding, Qingwei Li, Yu Zhang, Fugen Tang, Jinbao Chen
… by 11.6% on average (up to 35.5%). All this is achieved while keeping the time …
Compiler Support for Sparse Tensor Convolutions
OOPSLA 2024 When: Thu 24 Oct 2024 11:00 - 11:20 People: Peiming Liu, Alexander J Root, Anlun Xu, Yinying Li, Fredrik Kjolstad, Aart Bik
… into existing frameworks and is compatible with all recent advances in compilers …
Rustlantis: Randomized Differential Testing of the Rust Compiler
OOPSLA 2024 When: Fri 25 Oct 2024 17:00 - 17:20 People: Qian (Andy) Wang, Ralf Jung
… Compilers are at the core of all computer architecture. Their middle-end and back-end are full of subtle code that is easy to get wrong. At the same time, the consequences of compiler bugs can be severe. Therefore, it is important …
Profiling Programming Language Learning
OOPSLA 2024 When: Fri 25 Oct 2024 17:20 - 17:40 People: Will Crichton, Shriram Krishnamurthi
… are a simple and useful technique for understanding language learning at all …
Quarl: A Learning-Based Quantum Circuit Optimizer
OOPSLA 2024 When: Fri 25 Oct 2024 11:40 - 12:00 People: Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu, Oded Padon, Zhihao Jia
… all benchmark circuits. Surprisingly, Quarl can learn to perform rotation …
Hydra: Generalizing Peephole Optimizations with Program Synthesis
OOPSLA 2024 When: Thu 24 Oct 2024 13:40 - 14:00 People: Manasij Mukherjee, John Regehr
… project’s issue tracker. All of Hydra’s generalized peephole optimizations have been …
SMT2Test: From SMT Formulas to Effective Test Cases
OOPSLA 2024 When: Fri 25 Oct 2024 14:50 - 15:10 People: Chengyu Zhang, Zhendong Su
… not found by previous methods. After reporting, all of them have been confirmed …
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
OOPSLA 2024 When: Wed 23 Oct 2024 17:20 - 17:40 People: Yang He, Pinhan Zhao, Xinyu Wang, Yuepeng Wang
… evaluation on over 20,000 benchmarks shows that VeriEQL outperforms all state …
PROMPT: A Fast and Extensible Memory Profiling Framework
OOPSLA 2024 When: Fri 25 Oct 2024 16:40 - 17:00 People: Ziyang Xu, Yebin Chon, Yian Su, Zujun Tan, Sotiris Apostolakis, Simone Campanoni, David I. August
… memory profilers were ported with PROMPT while all features preserved …
Concurrent Data Structures Made Easy
OOPSLA 2024 When: Thu 24 Oct 2024 16:00 - 16:20 People: Callista Le, Kiran Gopinathan, Lee Koon Wen, Seth Gilbert, Ilya Sergey
… implementation of a Datalog solver. Our evaluation of all the implementations …
Crabtree: Rust API Test Synthesis Guided by Coverage and Type
OOPSLA 2024 When: Fri 25 Oct 2024 16:00 - 16:20 People: Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, Corina S. Păsăreanu
… bugs, all of which were accepted by the respective authors. …
Gradually Typed Languages Should Be Vigilant!
OOPSLA 2024 When: Fri 25 Oct 2024 14:30 - 14:50 People: Olek Gierczak, Lucy Menon, Christos Dimoulas, Amal Ahmed
… the complete run-time typing history of a value, which consists of all …
A Case for First-Class Environments
OOPSLA 2024 When: Fri 25 Oct 2024 13:50 - 14:10 People: Jinhao Tan, Bruno C. d. S. Oliveira
… to objects for modelling capabilities. All technical results are formalized in the Coq …
Homeostasis: Design and Implementation of a Self-Stabilizing Compiler (TOPLAS)
OOPSLA 2024 When: Thu 24 Oct 2024 12:00 - 12:20 People: Aman Nougrahiya, V Krishna Nandivada
… Homeostasis.
Homeostasis automatically captures all the program changes performed …
Deriving Dependently-Typed OOP from First Principles
OOPSLA 2024 When: Fri 25 Oct 2024 14:10 - 14:30 People: David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann
… a new constructor requires the modification of all existing pattern matches …
Merging Gradual Typing
OOPSLA 2024 When: Fri 25 Oct 2024 14:50 - 15:10 People: Wenjia Ye, Bruno C. d. S. Oliveira, Matías Toro
… and all well-typed terms in the GTFL≲ calculus; and show that λM⋆ satisfies gradual …
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
OOPSLA 2024 When: Wed 23 Oct 2024 11:00 - 11:20 People: Keith J.C. Johnson, Rahul Krishnan, Thomas Reps, Loris D'Antoni
… the desired output, the partial program and all its possible completions can …
A Programing Language for Data and Configuration!
Onward! Papers When: Wed 23 Oct 2024 16:00 - 16:25 People: Mark Marron
… a unified and powerful system with all of the high-value features, including type …
Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs
OOPSLA 2024 When: Fri 25 Oct 2024 13:50 - 14:10 People: Shaan Nagy, Jinwoo Kim, Thomas Reps, Loris D'Antoni
… Automated verification of all members of a (potentially infinite) set of programs has the potential to be useful in program synthesis, as well as in verification of dynamically loaded code, concurrent code, and language properties …
Automated Robustness Verification of Concurrent Data Structure Libraries Against Relaxed Memory Models
OOPSLA 2024 When: Thu 24 Oct 2024 16:40 - 17:00 People: Kartik Nagar, Anmol Sahoo, Romit Roy Chowdhury, Suresh Jagannathan
… all possible behaviors of a library implementation under relaxed memory model …
A low-level look at A-normal form
OOPSLA 2024 People: William J. Bowman
… . This maximizes the advantages of each form, and avoids all the standard problems …
Synthetiq: Fast and Versatile Quantum Circuit Synthesis
OOPSLA 2024 When: Fri 25 Oct 2024 12:00 - 12:20 People: Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, Martin Vechev
… with custom gate sets. On all those tasks, Synthetiq is typically one to two orders …
A Word About Programming: Applying a Natural Language Vocabulary Acquisition Model to Programming Education
SPLASH-E When: Thu 24 Oct 2024 15:00 - 15:20 People: Marcella Veldthuis, Felienne Hermans
… for all students, we want to employ an action research setup in future studies …
Quantitative Bounds on Resource Usage of Probabilistic Programs
OOPSLA 2024 When: Fri 25 Oct 2024 11:20 - 11:40 People: Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Đorđe Žikelić
… incurred along every path.
Second, for tail bounds, all previous methods …
The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
OOPSLA 2024 When: Fri 25 Oct 2024 11:40 - 12:00 People: Shashin Halalingaiah, Vijay Sundaresan, Daryl Maier, V Krishna Nandivada
… that may need them. However, an underlying concern of safety affects all …