Research output per year
Research output per year
Fingerprint
Dive into the research topics where Philipp Georg Haselwarter is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Approximate Relational Reasoning for Higher-Order Probabilistic Programs
Haselwarter, P. G., Li, K. H., Aguirre, A., Gregersen, S. O., Tassarotti, J. & Birkedal, L., 7 Jan 2025, In: Proceedings of the ACM on Programming Languages . 9, POPL, p. 1196-1226 31 p., 41.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access -
Almost-Sure Termination by Guarded Refinement
Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J. & Birkedal, L., Aug 2024, In: Proceedings of the ACM on Programming Languages . 8, ICFP, p. 203-233 31 p., 243.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access2 Citations (Scopus) -
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J. & Birkedal, L., Jan 2024, In: Proceedings of the ACM on Programming Languages . 8, POPL, 26.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access7 Citations (Scopus) -
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Aguirre, A., Haselwarter, P. G., De Medeiros, M., Li, K. H., Gregersen, S. O., Tassarotti, J. & Birkedal, L., Aug 2024, In: Proceedings of the ACM on Programming Languages . 8, 246.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access3 Citations (Scopus) -
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Haselwarter, P. G., Li, K. H. E. I., Medeiros, M. D. E., Gregersen, S. O., Aguirre, A., Tassarotti, J. & Birkedal, L., 8 Oct 2024, In: Proceedings of the ACM on Programming Languages . 8, OOPSLA2, p. 1189 - 1218 313.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access2 Citations (Scopus)