Follow
Parisa Fathololumi
Title
Cited by
Cited by
Year
DynamiTe: dynamic termination and non-termination proofs
TC Le, T Antonopoulos, P Fathololumi, E Koskinen, TV Nguyen
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
242020
Veracity: declarative multicore programming with commutativity
A Chen, P Fathololumi, E Koskinen, J Pincus
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1726-1756, 2022
42022
Better Predicates and Heuristics for Improved Commutativity Synthesis
A Chen, P Fathololumi, M Nicola, J Pincus, T Brennan, E Koskinen
International Symposium on Automated Technology for Verification and …, 2023
2023
The Commutativity Quotients of Concurrent Objects
C Enea, P Fathololumi, E Koskinen
arXiv preprint arXiv:2301.05740, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–4