Registered user since Thu 20 Aug 2020

Name: Chiao Hsieh

Affiliation: University of Illinois at Urbana-Champaign

Contributions

SPLASH 2020 Author of Koord: A Language for Programming and Verifying Distributed Robotics Application within the OOPSLA-track