University of Leicester

computerscience

photo of Alexey Bakhirkin

RESEARCH STUDENT — Alexey Bakhirkin Engineer (Bauman MSTU)

G2Computer Science Building
Department of Computer Science,
University of Leicester,
University Road,
Leicester,
LE1 7RH.

T: +44 (0)116 252 3883
E: ab643 (at) le.ac.uk

Research interests

Program analysis/abstract interpretation, shape analysis, model checking.

PhD seminars

If you're interested in the departmental PhD Seminars event, please, drop me a line.

Papers

In Leicester: Backward Analysis via Over-Approximate Abstraction and Under-Approximate Subtraction (A. Bakhirkin, J. Berdine, N. Piterman), to appear in SAS, 2014. [tr pdf]

Before: A comparison of blocking and non-blocking synchronization in object-based software transactional memory (A. Bakhirkin), in PACO, 2010. In Russian. [pdf]

| [University Home]|[Faculty of Science]|[MCS Home]|[CS Home]||[University Index A-Z]|[University Search]|[University Help]|

Author: Alexey Bakhirkin (ab643 (at) le.ac.uk), T: +44 (0)116 252 3883.
University of Leicester 2013. Last modified: 4th August 2014, 00:52:48.
CS Web Maintainer. Any opinions expressed on this page are those of the author.