Publikationer pr. år
Publikationer pr. år
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Philipp Georg Haselwarter er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
-
Almost-Sure Termination by Guarded Refinement
Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J. & Birkedal, L., aug. 2024, I: Proceedings of the ACM on Programming Languages . 8, ICFP, s. 203-233 31 s., 243.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Åben adgang2 Citationer (Scopus) -
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J. & Birkedal, L., jan. 2024, I: Proceedings of the ACM on Programming Languages . 8, POPL, 26.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Åben adgang3 Citationer (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, I: Proceedings of the ACM on Programming Languages . 8, 246.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Åben adgang2 Citationer (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 okt. 2024, I: Proceedings of the ACM on Programming Languages . 8, OOPSLA2, s. 1189 - 1218 313.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Åben adgang -
The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography
Haselwarter, P. G., Hvass, B. S., Hansen, L. L., Winterhalter, T., Hriţcu, C. & Spitters, B., jan. 2024, CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs. Timany, A., Traytel, D., Pientka, B. & Blazy, S. (red.). Association for Computing Machinery, s. 30-44 15 s.Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang