Research output per year
Research output per year
Search results
-
2024
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 Access1 Citation (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 Access3 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 Access1 Citation (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 Access -
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. (eds.). Association for Computing Machinery, p. 30-44 15 p.Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Open Access -
2023
Finitary Type Theories With and Without Contexts
Haselwarter, P. G. & Bauer, A., Dec 2023, In: Journal of Automated Reasoning. 67, 4, 36.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access1 Citation (Scopus) -
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Haselwarter, P. G., Rivas, E., Van Muylder, A., Winterhalter, T., Abate, C., Sidorenco, N., Hriţcu, C., Maillard, K. & Spitters, B., Jul 2023, In: ACM Transactions on Programming Languages and Systems. 45, 3, p. 61 15.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access4 Citations (Scopus) -
2021
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Abate, C., Haselwarter, P. G., Rivas, E., Muylder, A. V., Winterhalter, T., Hritcu, C., Maillard, K. & Spitters, B., 2021, Cryptology ePrint Archive, p. 397, 1 p.Research output: Working paper/Preprint › Preprint
-
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Abate, C., Haselwarter, P. G., Rivas, E., Muylder, A. V., Winterhalter, T., Hriţcu, C., Maillard, K. & Spitters, B., 2021, Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021. IEEE, 15 p.Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
14 Citations (Scopus)