Scholar
Gregory Malecha
Google Scholar ID: UsjgLCIAAAAJ
BedRock Systems, Inc
Programming Languages
Verification
Semantics
Automation
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,073
H-index
16
i10-index
19
Publications
20
Co-authors
13
list available
Publications
1 items
Recursive Mutexes in Separation Logic
2026
Cited
0
Co-authors
6 total
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Adam Chlipala
MIT CSAIL
Jim Grundy
AWS
Natarajan Shankar
SRI International Computer Science Laboratory
Cătălin Hrițcu
Tenured Faculty at MPI-SP
Edward Z. Yang
Research Engineer, Facebook
