I'm a postdoc at Verimag.
I'm interested in program analysis, abstract interpretation, and temporal logics.
I got my PhD from University of Leicester (UK).
Before that, I studied computing in Bauman Moscow State Technical University (Russia).
- On the Quantitative Semantics of Regular Expressions over Real-Valued Signals (A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus), to appear in
- Combining Forward and Backward Abstract Interpretation of Horn Clauses (A. Bakhirkin, D. Monniaux), to appear in
- Finding Recurrent Sets with Backwards Analysis and Trace Partitioning (A. Bakhirkin, N. Piterman), in
- A Forward Analysis for Recurrent Sets (A. Bakhirkin, J. Berdine, N. Piterman), in
- Backward Analysis via Over-Approximate Abstraction and Under-Approximate Subtraction (A. Bakhirkin, J. Berdine, N. Piterman), in
Papers published while in Leicester also available in Leicester Research Archive.
- A Comparison of Blocking and Non-Blocking Synchronization in Object-Based Software Transactional Memory (A. Bakhirkin), in
PACO, 2010. In Russian.
A path-focusing abstract interpreter for Horn clauses: here.