Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthew Chan
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2016 profile
Registered user since Wed 16 Dec 2015
Name:
Matthew Chan
Contributions
2019
POST
Author of Foundations for Parallel Information Flow Control Runtime Systems within the POST 2019-track
2016
CoqPL
Author of Formal Verification of Stability Properties of Cyber-Physical Systems within the CoqPL-track
Share
x
Fri 8 Nov 06:32