Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Derek Dreyer
Observed name:
Dreyer, Derek
Institution:
Max Planck Institute for Software Systems
Observed institution:
Max Planck Institute for Software Systems
ORCID:
0000-0002-3884-6867
Observed ORCID:
0000-0002-3884-6867
OpenAlex ID:
A5136103788
VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System
2026
·
Travis Hance
, Laila Elbeheiry
, et al.
·
Proceedings of the ACM on Programming Languages
·
2
First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
2026
·
Lohse, Janine
, Rohde, Tim
, et al.
·
arXiv (Cornell University)
·
2
PDF
Artifact for "Mode Crossing"
2026
·
Peters, Benjamin
, Jacobs, Jules
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
·
1
Show more works
View as search
Works count:
4
Citation count:
5
H-index:
2
I10-index:
Year
Topic
Type
