Research output per year
Research output per year
Personal profile
Keywords
- Programming languages and formal models
- Functional programming
- Program analysis and transformations
Fingerprint
Dive into the research topics where Lars Birkedal 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
Research output
-
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 Access -
An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic
Hammond, A., Liu, Z., Pérami, T., Sewell, P., Birkedal, L. & Pichon-Pharabod, J., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages . 8, p. 604-637 34 p., 21.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access -
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 Access -
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code
Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Devriese, D. & Birkedal, L., 12 Feb 2024, In: Journal of the ACM. 71, 1, 59 p., 3.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
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 Access