Is there any new technology for optical datacenter interconnection? - Adam Chen (OFC, 2016)

Veracity: declarative multicore programming with commutativity. - Adam Chen; Parisa Fathololumi; Eric Koskinen; Jared Pincus (Proc. ACM Program. Lang., 2022)

Better Predicates and Heuristics for Improved Commutativity Synthesis. - Adam Chen; Parisa Fathololumi; Mihai Nicola; Jared Pincus; Tegan Brennan; Eric Koskinen (ATVA, 2023)

Polymorphism with Typed Holes. - Adam Chen; Thomas Porter; Cyrus Omar (TFP, 2024)