Programming by sketching for bit-streaming programs
No abstract available.
Related papers
- A case study in SIMD text processing with parallel bit streams: UTF-8 to UTF-16 transcoding PPoPP 2008
- Fast concurrent data sketches PPoPP 2020
- The Bits Between The Lambdas: Binary Data in a Lazy Functional Language ISMM 1998
- Octopus: Practical Equivalence Checking of P4 Packet Parsers CAV 2026
- Double-Ended Bit-Stealing for Algebraic Data Types ICFP 2024
- Bitwidth analysis with application to silicon compilation PLDI 2000
- The Sketching Approach to Program Synthesis APLAS 2009
- Generalized Program Sketching by Abstract Interpretation and Logical Abduction SAS 2023