Collaborated with:L.Rieg Z.Shao X.Guo M.Lesourd R.Gu David Costanzo J.Kim M.Yoon
Talks about:schedul (2) verifi (2) formal (2) preemptiv (1) abstract (1) virtual (1) timelin (1) analysi (1) tempor (1) kernel (1)
Person: Mengqi Liu 0001
DBLP: 0001:Mengqi_Liu
Contributed to:
2019
2020Wrote 2 papers:
- CAV-2019-GuoLLRS #analysis #kernel #scheduling
- Integrating Formal Schedulability Analysis into a Verified OS Kernel (XG, ML, ML0, LR, ZS), pp. 496–514.
- POPL-2020-LiuRSGCKY #abstraction #timeline #verification
- Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation (ML0, LR, ZS, RG, DC, JEK, MKY), p. 31.