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