Philipp G. Haselwarter

Employment

• Aarhus University Assistant Professor
  2024 - Present
• Aarhus University Postdoctoral Fellow
  2020 - 2024
• University of Ljubljana PhD student
  2015 - 2020

Education

• University of Ljubljana PhD Student
  2015 - 2022

Projects & Funding

Projects & funding information is unavailable.

Publications (13)

• Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic
  Proceedings of the ACM on Programming Languages 2026 DOI: 10.1145/3808311
  +Save
• Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3747514
  +Save
• Approximate Relational Reasoning for Higher-Order Probabilistic Programs
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3704877
  +Save
• Tachis: Higher-Order Separation Logic with Credits for Expected Costs
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3689753
  +Save
• Almost-Sure Termination by Guarded Refinement
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3674632
  +Save
• Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3674635
  +Save
• The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography
  Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs 2024 DOI: 10.1145/3636501.3636961
  +Save
• Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3632868
  +Save
• Finitary Type Theories With and Without Contexts
  Journal of Automated Reasoning 2023 DOI: 10.1007/s10817-023-09678-y
  +Save
• SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
  ACM Transactions on Programming Languages and Systems 2023 DOI: 10.1145/3594735
  +Save