Man-Ki Yoon - POPL 2020

Not registered as user yet

Name: Man-Ki Yoon

Affiliation: Yale University

Contributions

POPL 2020	Virtual Timeline: A Formal Abstraction for Verifying Preemptive Schedulers with Temporal Isolation
Show activities from other conferences