Adam Chen

According to our database, Adam Chen authored at least 3 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Better Predicates and Heuristics for Improved Commutativity Synthesis.

Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Veracity: declarative multicore programming with commutativity.

Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus

Proc. ACM Program. Lang., 2022

2016

Is there any new technology for optical datacenter interconnection?

Adam Chen

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2016