Leveraging Rust Types for Program Synthesis
Explore how Rust's type system enhances program synthesis, simplifying specifications and improving performance. Learn about Synthetic Ownership Logic and the RusSOL tool for automatic synthesis of correct Rust programs.
Functorial Syntax for All - Representing and Reasoning About Binding Structures
Explore a Coq library for reasoning about variable binding in programming languages using functorial syntax, with insights from development and application across projects.
Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
Explore an approach for analyzing setjmp/longjmp in C, enhancing static analyzers to detect misuse and support non-local control flow through side-effecting transfer functions.
ChoRus: Library-Level Choreographic Programming in Rust
Explore ChoRus, a Rust framework for choreographic programming. Learn about endpoint projection and its implementation for distributed systems using library-level techniques.
Compilation of Qubit Circuits to Optimized Qutrit Circuits
Explore an optimizing compiler for qutrit circuits that improves quantum computations, offering depth reduction and higher fidelity compared to manual implementations and qubit circuits.
Equivalence by Canonicalization for Synthesis-Backed Refactoring
Explore a novel program synthesis framework for refactoring code to use library components, featuring a sound equivalence checking technique and applications in functional and numerical computing.
Apple Array Allocation - Static Memory Management for Flat, Immutable Arrays
Explore statically determined memory allocation for flat, immutable arrays in Apple array system, extending liveness analysis for JIT compilers in functional languages.
Misconceptions About Loops in C - Challenges in Loop Analysis for Static Analysis Tools
Explore rare edge cases and challenges in loop analysis for C programming, enhancing understanding of static analysis tools and improving software verification techniques.
Interleaving Static Analysis and LLM Prompting for Error-Specification Inference
Explore a novel approach combining static program analysis with LLM queries to enhance error-specification inference in C systems code, improving recall and F1-score while maintaining precision.
EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction
Explore e-graph application in software testing, focusing on test suite reduction and abstraction for program analysis tools. Learn about JSON-based implementation and preliminary research findings.
Update from the Elixir Core Dev Team - Code BEAM Europe 2022
Explore recent Elixir developments, ongoing projects, research initiatives, and upcoming features with core team member Andrea Leopardi in this insightful conference talk.
Update from the OTP Team - Erlang/OTP Features and Support
Explore OTP team updates, feature concepts, and implementation details in Erlang/OTP with Kenneth Lundin. Gain insights into motivation, feature support, and enabling/disabling mechanisms.
Embedding Generic Monadic Transformer into Scala
Explore dotty-cps-async for embedding monadic expressions in Scala using async/await, supporting generic monads and high-order function transformations for enhanced concurrent programming.
Fast IP Address Matching in Elixir with Radix Trees and Persistent Term
Optimize IP address matching in Elixir using radix trees and persistent_term. Learn efficient data structures and compare GenServers, ETS, and persistent_term for high-performance solutions.
Elixir Update - Recent Developments and Future Features
Discover the latest Elixir developments, ongoing projects, research initiatives, and upcoming features in this concise update from Elixir Core team member Andrea Leopardi.
Typing with Pixie Dust - Enhancing Legacy Code with Automated Type Specs
Discover tools for enhancing legacy code with automatic type specifications, improving code reliability and maintainability through a Rebar3 plugin and TypEr enhancements.
How to Describe Robust NIFs - ElixirConf EU 2023
Learn to create robust NIFs in Elixir with tips on error handling, conditional branching, and assertions. Improve performance while maintaining fault tolerance across platforms.
Refactoring Made Easy - Tools and Techniques for Erlang Code
Discover tools and techniques for efficient Erlang code refactoring, combining codemods with diagnostics and quick fixes to improve maintainability at scale.
Update from the OTP Team - Latest Changes and Plans
Discover the latest OTP Team updates, including enhancements to Shell, Maps, Security, and more. Explore future plans and optimizations in Erlang/OTP development.
How I Grew to Love Erlang Type Specs
Discover the benefits of Erlang type specs for improved code understanding, maintenance, and debugging in large teams and long-running projects.
Erlang Fundamentals for Debugging Elixir - Code BEAM America 2024
Explore powerful Elixir debugging tools, their Erlang foundations, and benefits for finding hard-to-reproduce bugs in live systems. Learn to use Rexbug and other wrappers effectively.