Showing cs.PLShow all
3 papers · 1 filter
cs.PL2025
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…
cs.PL2024
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
Scenario-Based Proofs for Concurrent Objects [Extended Version]
Constantin Enea, Eric Koskinen
Concurrent objects form the foundation of many applications that exploit multicore architectures and their importance has lead to informal correctness arguments, as well as formal…