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 | 21 | 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 |
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 |