— Alexey Bakhirkin Engineer (Bauman MSTU)
G2 Computer Science Building|
Department of Computer Science,
University of Leicester,
T: +44 (0)116 252 3883
E: ab643 (at) le.ac.uk
Program analysis/abstract interpretation, (non-)termination, model checking.
If you're interested in the departmental
PhD Seminars event, please, drop me a line.
Finding Recurrent Sets with Backwards Analysis and Trace Partitioning (A. Bakhirkin, N. Piterman), to appear 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
A Comparison of Blocking and Non-Blocking Synchronization in Object-Based Software Transactional Memory (A. Bakhirkin), in
PACO, 2010. In Russian.
Slides from BCS event at Leicester, 2015 –
Does my program ever finish?