Bringing the WebAssembly Standard up to Speed with SpecTec
Explore SpecTec, a DSL toolchain streamlining WebAssembly specification and feature standardization. Learn how it generates artifacts, detects errors, and aims to revolutionize Wasm standards development.
Memory Management on Mobile Devices
Explore memory management challenges on mobile devices, focusing on Android Runtime. Learn about evaluation methods, benchmarks, and performance impacts in this critical yet understudied area.
Specializing Dynamic Language C Extensions Using Type Information
Explore a technique for optimizing C extension functions in dynamic language interpreters using typed methods, reducing call and return overhead for improved performance.
ValBench: Benchmarking Exact Value Analysis
Explore ValBench, a comprehensive benchmark suite for evaluating value analysis tools in Java and Android. Learn about its test cases, evaluation framework, and insights into current challenges in program analysis.
SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures
Explore a novel approach for detecting data races in concurrent data structures using summarization-guided concolic testing, enhancing efficiency in exploring dynamic shapes and exposing hidden races.
Static Analysis for CHERI - SOAP 2024
Explore custom static analyses supporting C/C++ code transition to CHERI hardware, enhancing memory protection and software compartmentalization for RISC-V and AArch64 architectures.
A Better Approximation for Interleaved Dyck Reachability
Explore a novel approach to interleaved Dyck reachability, offering improved precision for context- and field-sensitive static analyses through refined CFLs and on-demand application.
jGuard - Programming Misuse-Resilient APIs
Explore jGuard, a Java extension enabling API designers to encode specifications directly, preventing misuse without additional tooling for users. Enhance API resilience effortlessly.
Property-Based Testing: Climbing the Stairway to Verification - Lecture
Explore property-based testing's integration with formal verification for enhanced code correctness assurance, using Cogent's framework as a case study.
Generation and Refinement of Testing Models - Erlang 2023
Explore Faktory, an Elixir tool for generating property-based testing models from function specifications and contracts. Learn to improve test-case generation and refine models for various applications.
Reflecting on Random Generation in Property-Based Testing
Explore reflective generators as a new foundation for random data generation, unifying and enhancing existing techniques for property-based testing, shrinking, and mutation in programming.
Etna: An Evaluation Platform for Property-Based Testing - Experience Report
Explore Etna, a platform for evaluating property-based testing techniques. Compare popular frameworks in Coq and Haskell to understand best practices and tradeoffs in functional programming.
Formal Specification and Testing for Reinforcement Learning
Explore formal specification and testing methods for reinforcement learning applications, focusing on temporal difference methods and property-based testing using functional programming techniques.
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
Explore combinator-based fixpoint algorithms for big-step abstract interpreters. Learn to develop and ensure soundness of sophisticated fixpoint algorithms using reusable combinators for static analysis.
Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Explore an innovative approach to property-based testing, integrating LazySearch with NIST's ACTS for significantly faster and more effective testing in functional programming.
Flambda 2 Types: An Abstract Domain for Static Analysis of Functional Programs
Explore Flambda 2 Types, an abstract domain for static analysis of OCaml programs, focusing on its role in optimizing functional code.
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
Explore innovative approaches to improve type error messages in constraint-based type inference systems, focusing on data flow and subtyping constraints to enhance programmer understanding.
Lifting On-Demand Analysis to Higher-Order Languages
Explore an innovative approach to on-demand analysis for higher-order languages, focusing on precise call graph construction and scalable bug detection in complex code bases.
Relational Solver for Java Generics Type System
Explore a relational solver for Java Generics Type System, enhancing understanding of advanced programming concepts and type theory.
CodeProber: Live Compiler Exploration - LIVE23
Explore interactive compiler debugging with CodeProber. Learn to identify and fix bugs in language tooling using source code-based exploration of AST properties.
Degrees of Separation: A Flexible Type System for Data Race Prevention
Explore a flexible type system for data race prevention in parallel programming, allowing aliasing while controlling it to prevent data races. Implemented as a Scala 3 compiler extension.