Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • time/hint_constants_opaque_rewrite
  • time/coq-8.20
  • time/lennard-timing-test
  • laila/tree_traversals
  • lennard/context_annot
  • tracestuff
  • kimaya/changeArrivals
  • kimaya/addannots
  • kimaya/addmorespecs
  • kimaya/refinedprosav3
  • laila/refinedprosa
  • kimaya/refinedprosav2
  • ci/lithium-dissertation-sammler
  • time/mult_simpl_never
  • ci/pkvm-hof
  • kimaya/refinedprosav1
  • ci/verifyscheduler
  • ci/VerifyThis2022
  • time/liPersistent
  • vip-popl22-submission-artifact
  • pldi21-submission-artifact
22 results
Search by author
  • Any Author
  • Björn Brandenburg Björn Brandenburg bbb
  • Deepak Garg Deepak Garg dg
  • Derek Dreyer Derek Dreyer dreyer
  • Emanuele D'Osualdo Emanuele D'Osualdo dosualdo
  • Hai Dang Hai Dang haidang
  • Ike Mulder Ike Mulder snyke7
  • Jacques-Henri Jourdan Jacques-Henri Jourdan jjourdan
  • Janno Janno janno
  • Kimaya Bedarkar Kimaya Bedarkar kbedarka
  • Laila Elbeheiry Laila Elbeheiry lelbehei
  • Lennard Gäher Lennard Gäher lgaeher
  • Michael Sammler Michael Sammler msammler
  • Ralf Jung Ralf Jung jung
  • Robbert Krebbers Robbert Krebbers robbertkrebbers
  • Rodolphe Lepigre Rodolphe Lepigre lepigre
  • Simon Spies Simon Spies simonspies
  • iris-dev iris-dev iris-dev
17 authors
  1. Mar 31, 2025
  3. Mar 03, 2025
  5. Jan 07, 2025
  7. Nov 29, 2024
  9. Sep 11, 2024
  11. Aug 19, 2024
  13. Jul 23, 2024
  15. May 22, 2024
  17. Apr 05, 2024
  19. Mar 12, 2024
  21. Mar 07, 2024
  23. Feb 27, 2024
  25. Feb 26, 2024
  27. Feb 20, 2024
  29. Feb 16, 2024
  31. Feb 06, 2024
  33. Feb 02, 2024
  35. Nov 29, 2023
  37. Aug 29, 2023
  39. Aug 28, 2023
  41. Aug 25, 2023
  43. Aug 24, 2023
  45. Aug 21, 2023
  47. Aug 17, 2023
  49. Aug 14, 2023
  51. Aug 04, 2023
  53. Aug 03, 2023
  55. Aug 02, 2023