13 citations · 14 across the 4 of their papers we have counts for
4 papers
Recursive Mutexes in Separation Logic
Ke Du, William Mansky, Paolo G. Giarrusso +1
Mutexes (i.e., locks) are well understood in separation logic, and can be specified in terms of either protecting an invariant or atomically changing the state of the lock. In this…
A Theory of Higher-Order Subtyping with Type Intervals (Extended Version)
Sandro Stucki, Paolo G. Giarrusso
The calculus of Dependent Object Types (DOT) has enabled a more principled and robust implementation of Scala, but its support for type-level computation has proven insufficient. A…
A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation
Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel +1
If the result of an expensive computation is invalidated by a small change to the input, the old result should be updated incrementally instead of reexecuting the whole computation…
Reify Your Collection Queries for Modularity and Speed!
Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg +3
Modularity and efficiency are often contradicting requirements, such that programers have to trade one for the other. We analyze this dilemma in the context of programs operating o…