Sample image

Research Interests

I am interested in developing static and runtime techniques for the verification and parallelization of irregular algorithms.