( en | de | ru )

 

Disambiguation of "Luo, Ziqing"

Author of the publication

copydeleteadd this publication to your clipboard
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution).

, , , , , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 908-911. Springer, (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

Ziqing Ou

Jia Luo

Yongxiang Luo

Xiaoguang Luo

Junfeng Luo

 

Other publications of authors with the same name

CIVL: the concurrency intermediate verification language., , , , , , , and . SC, page 61:1-61:12. ACM, (2015)Using Large Language Models for Humanitarian Frontline Negotiation: Opportunities and Considerations., , , , , , , , , and 5 other author(s). CoRR, (2024)Collective Contracts for Message-Passing Parallel Programs., and . CAV (2), volume 14682 of Lecture Notes in Computer Science, page 44-68. Springer, (2024)Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed., , , , and . CAV (2), volume 13965 of Lecture Notes in Computer Science, page 265-287. Springer, (2023)Verification of MPI programs using CIVL., , and . EuroMPI/USA, page 6:1-6:11. ACM, (2017)NbO 2 Memristive Neurons for Burst-Based Perceptron., , , , , and . Adv. Intell. Syst., 2 (8): 2000066 (2020)Verifying Properties of Differentiable Programs., , , , and . SAS, volume 11002 of Lecture Notes in Computer Science, page 205-222. Springer, (2018)Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges., and . ISoLA (2), volume 11245 of Lecture Notes in Computer Science, page 160-178. Springer, (2018)Towards Self-Verification in Finite Difference Code Generation., , , , , , , , and . CORRECTNESS@SC, page 42-49. ACM, (2017)CIVL: Formal Verification of Parallel Programs., , , , and . ASE, page 830-835. IEEE Computer Society, (2015)