Login / Signup
Adam Chen
ORCID
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 4
Top Topics
Case Study
Declarative Programming
Computer Programming
Development Environment
Top Venues
Proc. ACM Program. Lang.
CoRR
OFC
ATVA
</>
Publications
</>
Adam Chen
,
Parisa Fathololumi
,
Mihai Nicola
,
Jared Pincus
,
Tegan Brennan
,
Eric Koskinen
Better Predicates and Heuristics for Improved Commutativity Synthesis.
ATVA
(2023)
Adam Chen
,
Parisa Fathololumi
,
Eric Koskinen
,
Jared Pincus
Veracity: declarative multicore programming with commutativity.
Proc. ACM Program. Lang.
6 (OOPSLA2) (2022)
Adam Chen
,
Parisa Fathololumi
,
Eric Koskinen
,
Jared Pincus
Veracity: Declarative Multicore Programming with Commutativity.
CoRR
(2022)
Adam Chen
Is there any new technology for optical datacenter interconnection?
OFC
(2016)