( en | de | ru )

 

Disambiguation of "Luo, Ziqing"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Self-Verification in Finite Difference Code Generation.

, , , , , , , , and . CORRECTNESS@SC, page 42-49. ACM, (2017)

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

Xiaoguang Luo

Jia Luo

Yongxiang Luo

Junfeng Luo

 

Other publications of authors with the same name

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)CIVL: the concurrency intermediate verification language., , , , , , , and . SC, page 61:1-61:12. ACM, (2015)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)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)AD-RoadNet: An Auxiliary-Decoding Road Extraction Network Improving Connectivity While Preserving Multiscale Road Details., , , , , and . IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., (2023)CIVL: Formal Verification of Parallel Programs., , , , and . ASE, page 830-835. IEEE Computer Society, (2015)Towards Deductive Verification of Message-Passing Parallel Programs., and . CORRECTNESS@SC, page 59-68. IEEE, (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)