John Chen - POPL 2023 (original) (raw)

Name:John Chen

Country:United States

Affiliation:Cornell University

GitHub: https://github.com/nikaido-shinku

Research interests:Programming Language, Network, Formal Verification