Scholar
Derek Dreyer
Google Scholar ID: 1_c89uMAAAAJ
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Programming languages
type systems
semantics
verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
7,464
H-index
45
i10-index
71
Publications
20
Co-authors
69
list available
Publications
1 items
First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
2026
Cited
0
Co-authors
6 total
Lars Birkedal
Dept. of Computer Science, Aarhus University
Jeehoon Kang
KAIST School of Computing
Amal Ahmed
Northeastern University
Ori Lahav
Tel Aviv University
Robert Harper
Professor of Computer Science, Carnegie Mellon University
Deepak Garg
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
