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
Profile ©