Analyzing and Synthesizing Genomic Logic Functions
Abstract elided by the publisher.
Related papers
- Modeling and analyzing evaluation cost of CUDA kernels POPL 2021
- Seq: a high-performance language for bioinformatics OOPSLA 2019
- High-performance genomic analysis framework with in-memory computing PPoPP 2018
- Synthesizing iterators from abstraction functions GPCE 2012
- Bottom-up synthesis of recursive functional programs using angelic execution POPL 2022
- FastBWA: Practical and Cost-Efficient Genome Sequence Alignment Pipeline PPoPP 2025
- Synthesizing Precise Static Analyzers for Automatic Differentiation OOPSLA 2023
- Asynchrony versus bulk-synchrony for a generalized N-body problem from genomics PPoPP 2021