Parisa Fathololumi -

Registered user since Wed 19 Aug 2020

Name:Parisa Fathololumi

Affiliation:Stevens Institute of Technology

Contributions

SPLASH 2021	Author of DynamiTe: Dynamic Termination and Non-termination Proofs within the SIGPLAN Papers-track
SPLASH 2022	Author of Veracity: Declarative Multicore Programming with Commutativity within the OOPSLA-track
SPLASH 2020	Author of DynamiTe: Dynamic Termination and Non-termination Proofs within the OOPSLA-track