Patryk Zadarnowski

According to our database, Patryk Zadarnowski authored at least 2 papers between 2003 and 2007.

Collaborative distances:

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

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