ABOUT |
Research interestsProgram analysis/abstract interpretation, (non-)termination, model checking. PhD seminarsIf you're interested in the departmental PhD Seminars event, please, drop me a line. PapersIn Leicester: Before: A Comparison of Blocking and Non-Blocking Synchronization in Object-Based Software Transactional Memory (A. Bakhirkin), in PACO, 2010. In Russian. [pdf] OtherSlides from BCS event at Leicester, 2015 – Does my program ever finish? |
Author: Alexey Bakhirkin (ab643 (at) le.ac.uk), T: +44 (0)116 252 3883. |