Anna Bolotina

According to our database, Anna Bolotina authored at least 2 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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, July, 2025

2022

Composable Sequence Macros for Fast Iteration.

Anna Bolotina, Ryan Culpepper

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022