Jared Pincus

According to our database, Jared Pincus authored at least 5 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

An Abstract Domain for Heap Commutativity.

Jared Pincus, Eric Koskinen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2024

An Abstract Domain for Heap Commutativity (Extended Version).

Jared Pincus, Eric Koskinen

CoRR, 2024

2023

Better Predicates and Heuristics for Improved Commutativity Synthesis.

Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Veracity: declarative multicore programming with commutativity.

Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus

Proc. ACM Program. Lang., 2022

2020

An empirical estimate of the dimensionality of face space.

Jared Pincus, Jordan W. Suchow

Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020