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.
Descend: A Safe GPU Systems Programming Language
Explore Descend, a safe GPU programming language enforcing memory management through type systems. Learn about its holistic model, extended Borrow checking, and competitive performance against CUDA.
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.
Gradual Grammars: Syntax in Levels and Locales
Explore gradual syntax definition for programming languages, enabling level-based learning and internationalization. Enhance accessibility for diverse users while minimizing impact on language processors.
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.
GHC Plugin for Setting Breakpoints in Concurrent Programs
Explore a GHC plugin for improved breakpoint functionality in concurrent programs, addressing limitations in GHCi's built-in debugger.
Integrating Liquid Haskell with GHC - Challenges and Trade-offs
Explore challenges and trade-offs of integrating Liquid Haskell with GHC, examining maintenance issues, potential benefits, and implications for Haskell development.
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.
Efficient Loops in Arrowized Functional Reactive Programming - Haskell 2023
Explore efficient loop optimization in Arrowized Functional Reactive Programming, improving performance through novel program transformations while maintaining correctness in Haskell.
The Essence of Reactivity
Explore abstractions capturing time variance in reactive programming, comparing approaches and demonstrating a generic Haskell interface for different temporal formalisms.
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.
Haskell Library for Safer Virtual Machine Introspection - Experience Report
Explore a Haskell library for safer virtual machine introspection, leveraging Template Haskell for compile-time code generation and static error detection in VMI 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.