Generating Conforming Programs with Xsmith
Explore Xsmith, a Racket library for efficient fuzz testing of programming languages. Learn to create conforming programs for differential testing with minimal code, finding bugs in various language implementations.
Toward Programming Languages for Reasoning - Humans, Symbolic Systems, and AI Agents
Explore the future of programming languages focused on reasoning, integrating human developers, symbolic systems, and AI agents. Learn about the Bosque platform's radical simplification approach.
Unfolding State Changes via Live State-First Debugging
Explore live state-first debugging for web GUI apps, revealing state changes without logs or breakpoints. Learn about Unfold's timeline, code correlation, and auto-replay features.
Is Polyglot Programming Really a Thing?
Explore the concept of polyglot programming, its prevalence, benefits, and challenges. Examine integration issues and software engineering implications for multi-language development.
How I Learned to Stop Worrying and Love Dynamic Languages
Explore insights on dynamic languages from a seasoned researcher's perspective, covering successful strategies in research, advising, and project leadership.
Programming Languages for AI Programming Agents
Explore the future of programming languages in AI-driven development, examining key features, tools, and workflows needed for effective human-AI collaboration in software creation.
Witter: A Library for White-Box Testing of Introductory Programming Algorithms
Explore Witter, a library for white-box testing in programming education. Analyze method execution against reference solutions to verify algorithm behavior and provide insightful feedback.
Comprehensive Infrastructure as Code Testing - Creed for Speed
Explore ProTI, an automated unit testing approach for Infrastructure as Code programs, enabling rapid prototyping and efficient bug detection in cloud resource configurations.
Totally Live Programming with Hazel - Progress Report
Explore Hazel, a groundbreaking live programming environment with error localization and recovery mechanisms, ensuring well-structured and meaningful code at every stage.
Latte: Lightweight Aliasing Tracking for Java
Explore Latte, a lightweight system for tracking aliasing and uniqueness in Java, minimizing annotations and complexity while supporting destructive reads and practical applications.
Under-approximation for Scalable Bug Detection
Explore under-approximation techniques for efficient bug detection in large codebases. Learn about Incorrectness Logic, ISL, and Pulse-X for scalable, compositional program analysis and memory safety error detection.
asai: A Library for Compiler Diagnostics
Explore asai, an OCaml library for enhancing compiler diagnostics in proof assistants, improving error messages for end users.
Unified Compositional Symbolic Execution - N40AI'24
Explore unified compositional symbolic execution techniques for program analysis, enhancing software reliability and performance optimization.
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.
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.
Lineage: A Data-Flow Analysis for Erlang
Explore a novel data-flow analysis for Erlang, producing over-approximating dataflow graphs for efficient taint checking in large-scale 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.