Paolo G. Giarrusso
Scholar

Paolo G. Giarrusso

Google Scholar ID: ezuzPZoAAAAJ
Formal Methods Engineer, Bedrock Systems Inc.
Logical RelationsScalaIncremental computationDomain-Specific LanguagesProgramming Languages
Google Scholar↗
Citations & Impact
All-time
Citations
1,074
 
H-index
11
 
i10-index
11
 
Publications
20
 
Co-authors
26
list available
Contact
No contact links provided.
Publications
1 items
Recursive Mutexes in Separation Logic
2026
Cited
0
Resume (English only)
Co-authors
26 total
Co-author 1
Co-author 1
Christian Kästner
Christian Kästner
Carnegie Mellon University, School of Computer Science
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Sven Apel
Sven Apel
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Thorsten Berger
Thorsten Berger
Professor of Computer Science, Ruhr University Bochum