Christopher K. Chen

According to our database, Christopher K. Chen authored at least 1 paper in 2022.

Collaborative distances:

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

2022

Shellac: A Compiler Synthesizer for Concurrent Programs.

Christopher K. Chen, Margo I. Seltzer, Mark R. Greenstreet

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022