Program Synthesis via Bi-directional Reduced-product Abstract Interpretation - N40AI'24
Explore bi-directional reduced-product abstract interpretation for inductive program synthesis, focusing on example-based techniques and their application to bit-manipulation programs.
Quantum Abstract Interpretation
Explore quantum abstract interpretation for efficient verification of large-scale quantum programs, overcoming simulation limitations and enabling assertion checks for up to 300 qubits.
WALI: A Thin Linux Kernel Interface for WebAssembly
Explore WALI, a thin layer enabling WebAssembly to interact seamlessly with Linux systems, enhancing application portability and security while leveraging existing compiler backends.
The State of Morello and CHERI
Explore the current status and advancements of Morello and CHERI technologies in computer architecture and security.
Object Capabilities - Principles and Applications
Explore object capabilities in programming languages, focusing on security, encapsulation, and access control mechanisms for robust software design.
Prompting Is Programming: A Query Language for Large Language Models
Explore Language Model Programming (LMP) and LMQL, a novel approach combining text prompting and scripting for efficient language model interactions and task adaptations.
Compositional Development of Certified System Software
Explore compositional development of certified system software, focusing on CertiKOS project's approach to specifying, programming, and compiling large-scale heterogeneous systems.
A Comparison of Program Logics for (In)Correctness
Explore program logics for correctness and incorrectness, comparing over- and under-approximation techniques. Analyze Sufficient Incorrectness Logic and its Separation Logic variant for dynamic heap management.
Incremental Analysis in Infer
Explore Infer's incremental analysis infrastructure, addressing technical challenges and future developments for faster program analysis in large codebases.
Flux: Refinement Types for Rust
Explore refinement types for Rust with Flux, enhancing code safety and expressiveness in systems programming.
Learning to Boost Disjunctive Static Bug-Finders
Explore a novel learning-based strategy for disjunctive static bug-finders, addressing challenges in state-selection heuristics and improving efficiency in real-world program analysis.
Predictable Inlining in OCaml - Flambda2 Heuristics and Inlining Histories
Explore OCaml's inlining heuristics in Flambda2 and learn about "Inlining histories" for visualizing compiler decisions.
Asynchronous Reactive Programming with Modal Types in Haskell
Explore asynchronous reactive programming using modal types in Haskell. Learn about Async Rattus, an embedded FRP language with compile-time clock tracking for efficient asynchronous system composition.
Modular Higher-Order Effects in Declarative Languages - PADL'24 Lecture
Explore modular higher-order effects in Haskell for creating extensible domain-specific languages with enhanced expressiveness and maintainability using the effective library.
Type-safe Nanopasses: How to Write a Safe and Modern Compiler Front-end - INFER 2024
Explore a novel approach to strongly typing compiler passes, combining nanopasses and recursion schemes for efficient, type-safe compiler front-end development in Ada.
A Tale of Shared Memory Concurrency in Programming Languages
Explore shared memory concurrency in programming languages, examining challenges, recent advancements, and future directions for designing effective concurrency models for multicore systems.
The Hunt for the Cluster Killer Bug - Debugging Erlang Legacy Code
Explore debugging techniques for Erlang systems, focusing on a cluster-killer bug case study. Learn about fault tolerance, memory models, and low-level issue resolution in Erlang applications.
Growing Together with the BEAM - 20 Years of Erlang/OTP in Telia ACE
Explore Telia ACE's 20+ year journey with BEAM technology, from early Erlang adoption to current AWS integrations. Learn about scalability, challenges, and ongoing projects in contact center solutions.
LiveView and JavaScript: A Guide to Achieving Synergy - Code BEAM Europe 2022
Explore synergies between LiveView and JavaScript frameworks. Learn to integrate AlpineJS and VueJS with LiveView for enhanced web app interactivity and performance.
Kill All Mutants! Introduction to Mutation Testing - Code BEAM Europe 2022
Explore mutation testing to enhance test suites and code quality. Learn its benefits, drawbacks, implementation, and tools for various languages. Gain insights to improve testing practices and code reliability.
Flow-Based Programming with Elixir and ALF
Explore Flow-Based Programming in Elixir using ALF. Learn advantages, implementation, and practical examples like an online TicTacToe game. Discover how to model application layers effectively with this paradigm.