Ziqing Luo

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 15

Top Topics

Formal Verification

Synaptic Plasticity

Top Venues

Publications

Zilin Ma, Susannah Su, Nathan Zhao, Linn Bieske, Blake Bullwinkel, Yanyi Zhang, Sophia Yang, Ziqing Luo, Siyao Li, Gekai Liao, Boxiang Wang, Jinglun Gao, Zihan Wen, Claude Bruderlein, Weiwei Pan
Using Large Language Models for Humanitarian Frontline Negotiation: Opportunities and Considerations. CoRR (2024)
Ziqing Luo, Stephen F. Siegel
Collective Contracts for Message-Passing Parallel Programs. CAV (2) (2024)
Rui Zhu, Yumin Tan, Ziqing Luo, Yanzhe Shi, Jiale Wang, Guifei Jing, Xiaolu Wang
WenSiM: A Relative Accuracy Assessment Method for Land Cover Products Based on Optimal Transportation Theory. Remote. Sens. 16 (2) (2024)
Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel
Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed. CoRR (2023)
Ziqing Luo, Kailei Zhou, Yumin Tan, Xiaolu Wang, Rui Zhu, Liqiang Zhang
AD-RoadNet: An Auxiliary-Decoding Road Extraction Network Improving Connectivity While Preserving Multiscale Road Details. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 16 (2023)
Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel
Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed. CAV (2) (2023)
Yeheng Bo, Peng Zhang, Ziqing Luo, Shuai Li, Juan Song, Xinjun Liu
NbO 2 Memristive Neurons for Burst-Based Perceptron. Adv. Intell. Syst. 2 (8) (2020)
Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland
Verifying Properties of Differentiable Programs. SAS (2018)
Ziqing Luo, Stephen F. Siegel
Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges. ISoLA (2) (2018)
Ziqing Luo, Stephen F. Siegel
Towards Deductive Verification of Message-Passing Parallel Programs. CORRECTNESS@SC (2018)
Ziqing Luo, Manchun Zheng, Stephen F. Siegel
Verification of MPI programs using CIVL. EuroMPI/USA (2017)
Jan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland
Towards Self-Verification in Finite Difference Code Generation. CORRECTNESS@SC (2017)
Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). TACAS (2016)
Stephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, Michael S. Rogers
CIVL: the concurrency intermediate verification language. SC (2015)
Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer, Stephen F. Siegel
CIVL: Formal Verification of Parallel Programs. ASE (2015)