Boston University
United States of America
→
Doctor of Philosophy in Computer Science
Jared Pincus
Education
Stevens Institute of Technology
United States of America
→
Master of Science in Computer Science
Stevens Institute of Technology
United States of America
→
Bachelor of Science in Computer Science
Publications
An Abstract Domain for Heap Commutativity
book-chapter
An Abstract Domain for Heap Commutativity
preprint
Properly Scaling the Speed of a Model Roller Coaster
Proceedings of Bridges 2024: Mathematics, Art, Music, Architecture, Culture
conference-paper
Better Predicates and Heuristics for Improved Commutativity Synthesis
book-chapter
Developing a Sculpture of the Trihelical Square Tiling
Bridges
conference-paper
Trihelical Square Tiling
Joint Mathematics Meetings Art Exhibition
physical-object
Veracity: declarative multicore programming with commutativity
Proceedings of the ACM on Programming Languages
journal-article
Commutativity Reasoning for the Heap
dissertation-thesis
Estimating the dimensionality of face space empirically
Journal of Vision
journal-article