( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Toward Compositional Verification of Interruptible OS Kernels and Device Drivers.

, , , , и . J. Autom. Reason., 61 (1-4): 141-189 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ronghui Zhang

Xuewu Gu

Wei Gu

Xiaogang Gu

Hyosong Gu

 

Другие публикации лиц с тем же именем

CLN2INV: Learning Loop Invariants with Continuous Logic Networks., , , , и . ICLR, OpenReview.net, (2020)ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions., , , , и . J. Syst. Archit., (февраля 2024)Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor., , , , и . USENIX Security Symposium, стр. 3953-3970. USENIX Association, (2021)End-to-end verification of information-flow security for C and assembly programs., , и . PLDI, стр. 648-664. ACM, (2016)Gleipnir: toward practical error analysis for Quantum programs., , , , , и . PLDI, стр. 48-64. ACM, (2021)Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware., , , , , и . SOSP, стр. 866-881. ACM, (2021)DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols., , , , , и . OSDI, стр. 405-421. USENIX Association, (2021)Spoq: Scaling Machine-Checkable Systems Verification in Coq., , , , и . OSDI, стр. 851-869. USENIX Association, (2023)SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification., , и . J. Syst. Archit., (февраля 2024)Giallar: push-button verification for the qiskit Quantum compiler., , , , , , , и . PLDI, стр. 641-656. ACM, (2022)