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

Inferring Accumulative Effects of Higher Order Programs. - Mihai Nicola; Chaitanya Agarwal; Eric Koskinen; Thomas Wies (CoRR, 2024)