Composable Sequence Macros for Fast Iteration. - Anna Bolotina; Ryan Culpepper (GPCE, 2022)

Bounded Model Checking of RISC-V Machine Code with Context-Free-Language Ordered Binary Decision Diagrams. - Anna Bolotina; Christoph M. Kirsch; Stefanie Muroya Lei; Matthias Pleschinger (CoRR, 2025)