Scholar

Lars Birkedal

Google Scholar ID: 1rW-bi0AAAAJ

Dept. of Computer Science, Aarhus University

Computer ScienceProgrammingLogicSemantics

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

10,071

H-index

57

i10-index

159

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

7 items

Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic

2026

Cited

0

Cerisier: A Program Logic for Attestation in a Capability Machine

2026

Cited

0

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)

2026

Cited

0

Context-Dependent Effects and Concurrency in Guarded Interaction Trees

2025

Cited

0

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs

2025

Cited

0

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs

2025

Cited

0

Reasoning about Weak Isolation Levels in Separation Logic

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)