Menu
Ph.D. student at University of Kent.
My main interest is in the area of program analysis and transformation.
The topic I am currently interested in is making tracing for lazy functional languages such as Haskell practical for real-world programs. Tracing helps programmers to understand their code and locate bugs.
Previously I worked on analysis and transformation of reducible and irreducible loops, interprocedural optimization of recursive functions and out-of-SSA translation
