Mengqi Liu
Orcid: 0000-0001-7027-4566Affiliations:
- Yale University, Department of Computer Science, New Haven, USA
According to our database1,
Mengqi Liu
authored at least 7 papers
between 2019 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the 29th Symposium on Operating Systems Principles, 2023
2022
Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation.
Proc. ACM Program. Lang., 2022
Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022
2021
Proceedings of the 30th USENIX Security Symposium, 2021
2020
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation.
Proc. ACM Program. Lang., 2020
2019
A new hierarchical software architecture towards safety-critical aspects of a drone system.
Frontiers Inf. Technol. Electron. Eng., 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019