Patryk Zadarnowski

According to our database, Patryk Zadarnowski authored at least 3 papers between 2003 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

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

PhD thesis, 2011

2007

Measurements or Static Analysis or Both?.

Stefan M. Petters, Patryk Zadarnowski, Gernot Heiser

Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

2003

A Functional Perspective on SSA Optimisation Algorithms.

Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003