Applying Large Scale Diffing to Declarative Configuration Code for Production Safety
Explore large-scale diffing for declarative configuration code to enhance production safety, addressing unintended consequences and testing challenges in config changes.
Is Peter Correct or Incorrect? - O'HearnFest Lecture
Explore Patrick Cousot's analysis of Peter O'Hearn's work in program verification and reasoning, examining correctness and potential inaccuracies in his theories.
Symbolic Execution with Separating Decision Diagrams
Explore symbolic execution techniques using Separating Decision Diagrams in this advanced computer science talk by Josh Berdine.
Bi-abductive Adversarial Program Synthesis
Explore bi-abductive adversarial program synthesis techniques in this advanced computer science talk by Julien Vanegue.
Working with Peter O'Hearn in Academia and Industry
Explore Mark Harman's experiences collaborating with Peter O'Hearn across academic and industrial settings, gaining insights into their influential work.
Monotonicity and the Precision of Program Analysis
Explore the connection between program monotonicity and analysis precision. Learn how monotone behavior enables complete abstract interpretation for numeric invariant inference.
Automatic Parallelism Management - POPL 2024
Explore techniques for automatic parallelism management in high-level languages, combining static and runtime approaches to optimize performance without manual tuning.
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.
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.
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.
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.
Security Through Static Analysis - Don't Let It Crash
Explore static analysis techniques for detecting and mitigating security vulnerabilities in Erlang/Elixir projects, focusing on data-flow analysis and real-world examples from open-source codebases.
osnap - Painless and Massive Regression Test Generation for OCaml
Explore osnap, an OCaml library for effortless generation of massive regression tests using snapshot testing and random scenario generation, inspired by property-based testing.
The Actor Model as a Load Testing Framework - Lambda Days 2023
Explore scalability and load testing using the actor model. Learn to ensure software reliability under extreme conditions and discover a ready-to-use library for implementation.
Keeping Real-Time Auctions Running During Rollout - From White-Knuckle to Continuous Deployments
Discover strategies for maintaining real-time auctions during Elixir cluster deployments. Learn how to increase reliability, prevent data inconsistencies, and enable continuous deployment in stateful systems.
Secrets of the Source
Explore source code analysis techniques with industry experts, uncovering insights to enhance software quality and development practices.
The Changing API Problem - Implementing API First with OpenAPI Specifications
Explore API First paradigm and OpenAPI specs to prevent unexpected API changes. Learn about tools for auto-generating code, creating mock servers, and validating APIs.