A Functional Perspective on SSA Optimisation Algorithms. - Manuel M. T. Chakravarty; Gabriele Keller; Patryk Zadarnowski (COCV@ETAPS, 2003)

Measurements or Static Analysis or Both?. - Stefan M. Petters; Patryk Zadarnowski; Gernot Heiser (WCET, 2007)

C, Lambda Calculus and Compiler Verification - a study in Haskell of purely-functional techniques for a formal specification of imperative programming languages and an epistemically-sound verification of their compilers. - Patryk Zadarnowski (2011)