pith. sign in

Lars Birkedal

Identifiers

  • name variant Lars Birkedal 0.60 · backfill

Papers (15)

  1. Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic cs.LO · 2026 · author #5
  2. Cerisier: A Program Logic for Attestation in a Capability Machine cs.PL · 2026 · author #6
  3. Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version) cs.PL · 2026 · author #6
  4. Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version) cs.LO · 2025 · author #4
  5. Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details cs.PL · 2019 · author #3
  6. StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details cs.PL · 2018 · author #3
  7. Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus cs.PL · 2018 · author #3
  8. Trace Properties from Separation Logic Specifications cs.PL · 2017 · author #1
  9. Guarded Cubical Type Theory cs.LO · 2016 · author #1
  10. Guarded Cubical Type Theory: Path Equality for Guarded Recursion cs.LO · 2016 · author #1
  11. Guarded Dependent Type Theory with Coinductive Types cs.LO · 2016 · author #5
  12. Programming and Reasoning with Guarded Recursion for Coinductive Types cs.PL · 2015 · author #4
  13. Relational Parametricity and Separation Logic cs.LO · 2008 · author #1
  14. Linear Abadi and Plotkin Logic cs.LO · 2006 · author #1
  15. Semantics of Separation-Logic Typing and Higher-order Frame Rules for<br> Algol-like Languages cs.LO · 2006 · author #1

Mentions

  • 1501.02925 #4 · backfill · confidence 0.70 Lars Birkedal
  • 2605.13526 #5 · arxiv_oai · confidence 0.70 Lars Birkedal
  • 0805.0783 #1 · backfill · confidence 0.70 Lars Birkedal

Frequent Coauthors