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
212020
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
Better Predicate Pruning and Heuristics for Commutativity Synthesis
A Chen, T Brennan, P Fathololumi, E Koskinen, M Nicola, J Pincus
International Symposium on Automated Technology for Verification and Analysis, 2023
2023
DynamiTe: Dynamic Termination and Non-termination Proofs
T Chanh Le, T Antonopoulos, P Fathololumi, E Koskinen, TV Nguyen
arXiv e-prints, arXiv: 2010.05747, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–6