Parameterized Algebraic Protocols
Explore parameterized algebraic protocols for defining protocol templates and session types, enhancing expressiveness and modularity while enabling efficient type checking in linear time.
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.
Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform - Incorrectness'24
Explore unified compositional formal methods for program correctness and incorrectness reasoning, focusing on exact separation logic and the Gillian platform.
Crosys: Cross Architectural Dynamic Analysis for IoT Malware
Explore Crosys, a novel method for dynamic analysis of multi-architectural binaries through intermediate language interpretation and binary rewriting, addressing IoT malware analysis challenges.
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.
Management, Monitoring and Tracing in RabbitMQ - RabbitMQ Summit 2022
Explore RabbitMQ's Management Plugin and Firehose Tracer for effective monitoring and debugging. Learn to build custom tools like Rabbitrace for tailored management and tracing capabilities.
Fun, Interesting and Common RabbitMQ Use Cases
Explore common RabbitMQ use cases and understand where message queues fit in your architecture. Gain insights into effective communication methods for distributed systems.
Approaching Cloud-native RabbitMQ
Explore RabbitMQ as a centerpiece of serverless/cloud technologies, focusing on Knative integration, Cloudevents ecosystem, Observability frameworks, and OpenTelemetry Messaging Semantic Conventions.
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.