Recursion synthesis with unrealizability witnesses. - Azadeh Farzan; Danya Lette; Victor Nicolet (PLDI, 2022)

Commutativity for Concurrent Program Termination Proofs. - Danya Lette; Azadeh Farzan (CAV (1), 2023)