2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.SE2024★ 1 cited
Towards Large Language Model Aided Program Refinement
Yufan Cai, Zhe Hou, Xiaokun Luan +4
Program refinement involves correctness-preserving transformations from formal high-level specification statements into executable programs. Traditional verification tool support f…
quant-ph2023
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation
Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen +3
Boolean satisfiability (SAT) solving is a fundamental problem in computer science. Finding efficient algorithms for SAT solving has broad implications in many areas of computer sci…
cs.LO2016★ 2 cited
Completeness for a First-order Abstract Separation Logic
Zhe Hou, Alwen Tiu
Existing work on theorem proving for the assertion language of separation logic (SL) either focuses on abstract semantics which are not readily available in most applications of pr…