{"id":16872,"date":"2022-12-09T10:28:05","date_gmt":"2022-12-09T15:28:05","guid":{"rendered":"https:\/\/www.bu.edu\/cs\/?post_type=profile&#038;p=16872"},"modified":"2026-04-01T10:53:29","modified_gmt":"2026-04-01T14:53:29","slug":"jared-pincus","status":"publish","type":"profile","link":"https:\/\/www.bu.edu\/cs\/profiles\/jared-pincus\/","title":{"rendered":"Jared Pincus"},"content":{"rendered":"<p>Jared is a fourth-year PhD student in computer science, working with Marco Gaboardi, Alley Stoughton, and Ankush Das in the POPV group. His research interests concern formal methods techniques in domains such as security, static analysis, and mechanized proofs, as well as interdisciplinary applications of formal methods. He earned his BS and MS in computer science from Stevens Institute of Technology, in 2021 and 2022 respectively.<\/p>\n<p>Research Group: Principles of Programming and Verification<\/p>\n<p>Website: https:\/\/jaredpincus.com<\/p>\n<p>Publications:<\/p>\n<p>Jared Pincus, Eric Koskinen. &#8220;An Abstract Domain for Heap Commutativity.&#8221; VMCAI 2025.<\/p>\n<p>Jared Pincus. \u201cProperly Scaling the Speed of a Model Roller Coaster.\u201d Bridges 2024.<\/p>\n<p>Adam Chen, Tegan Brennan, Parisa Fathololumi, Eric Koskinen, Mihai Nicola, Jared Pincus. \u201cBetter Predicate Pruning and Heuristics for Commutativity Synthesis.\u201d ATVA 2023.<\/p>\n<p>Jared Pincus. \u201cDeveloping a Sculpture of the Trihelical Square Tiling.\u201d Bridges 2023.<\/p>\n<p>Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus. \u201cVeracity: Declarative Multicore Programming with Commutativity.\u201d OOPSLA 2022.<\/p>\n<p>Jared Pincus. \u201cCommutativity Reasoning for the Heap.\u201d MS Thesis 2022.<\/p>\n<p>Jared Pincus, Jordan W Suchow. \u201cEstimating the dimensionality of face space empirically.\u201d Journal of Vision 2020.<\/p>\n","protected":false},"author":18783,"template":"","_links":{"self":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile\/16872"}],"collection":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile"}],"about":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/types\/profile"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/users\/18783"}],"version-history":[{"count":11,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile\/16872\/revisions"}],"predecessor-version":[{"id":23082,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile\/16872\/revisions\/23082"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/media?parent=16872"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}