Scholar

Gregory Malecha

Google Scholar ID: UsjgLCIAAAAJ

BedRock Systems, Inc

Programming LanguagesVerificationSemanticsAutomation

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,073

H-index

16

i10-index

19

Publications

20

Co-authors

13

list available

Contact

No contact links provided.

Publications

1 items

Recursive Mutexes in Separation Logic

2026

Cited

0

Resume (English only)

Co-authors

13 total

Benjamin C. Pierce

Professor of Computer and Information Science, University of Pennsylvania