1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2024★ 1 cited
An Abstract Domain for Heap Commutativity (Extended Version)
Jared Pincus, Eric Koskinen
Commutativity of program code (i.e. the equivalence of two code fragments composed in alternate orders) is of ongoing interest in many settings such as program verification, scalab…
cs.PL2024
Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
Mihai Nicola, Chaitanya Agarwal, Eric Koskinen +1
This paper describes a new abstract interpretation-based approach to verify temporal safety properties of recursive, higher-order programs. While prior works have provided theoreti…