Scholar
Paolo G. Giarrusso
Google Scholar ID: ezuzPZoAAAAJ
Formal Methods Engineer, Bedrock Systems Inc.
Logical Relations
Scala
Incremental computation
Domain-Specific Languages
Programming Languages
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,074
H-index
11
i10-index
11
Publications
20
Co-authors
26
list available
Publications
1 items
Recursive Mutexes in Separation Logic
2026
Cited
0
Co-authors
8 total
Christian Kästner
Carnegie Mellon University, School of Computer Science
Sven Apel
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Norbert Siegmund
Professor of Computer Science, Leipzig University
Thorsten Berger
Professor of Computer Science, Ruhr University Bochum
Martin Odersky
EPFL
Lars Birkedal
Dept. of Computer Science, Aarhus University
Amin Timany
Aarhus University
Aleksander Boruch-Gruszecki
EPFL
