| 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 | 7 | 2022 |
| Commutativity Reasoning for the Heap J Pincus Stevens Institute of Technology, 2022 | 2 | 2022 |
| Estimating the dimensionality of face space empirically J Pincus, JW Suchow Journal of Vision 20 (11), 1456-1456, 2020 | 2 | 2020 |
| 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 | 1 | 2023 |
| An Abstract Domain for Heap Commutativity J Pincus, E Koskinen International Conference on Verification, Model Checking, and Abstract …, 2025 | | 2025 |
| Properly Scaling the Speed of a Model Roller Coaster J Pincus Proceedings of Bridges 2024: Mathematics, Art, Music, Architecture, Culture …, 2024 | | 2024 |
| Developing a Sculpture of the Trihelical Square Tiling J Pincus Proceedings of Bridges 2023: Mathematics, Art, Music, Architecture, Culture …, 2023 | | 2023 |
