DynamiTe: dynamic termination and non-termination proofs. - Ton Chanh Le; Timos Antonopoulos; Parisa Fathololumi; Eric Koskinen; ThanhVu Nguyen (Proc. ACM Program. Lang., 2020)

Veracity: declarative multicore programming with commutativity. - Adam Chen; Parisa Fathololumi; Eric Koskinen; Jared Pincus (Proc. ACM Program. Lang., 2022)

Better Predicates and Heuristics for Improved Commutativity Synthesis. - Adam Chen; Parisa Fathololumi; Mihai Nicola; Jared Pincus; Tegan Brennan; Eric Koskinen (ATVA, 2023)

The Commutativity Quotients of Concurrent Objects. - Constantin Enea; Parisa Fathololumi; Eric Koskinen (CoRR, 2023)