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 | 22 | 2020 |
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 | 4 | 2022 |
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 |