papers.bib

---
---

@misc{ding2026fmagent,
abbr = {arXiv},
Author = {Haoran Ding and Zhaoguo Wang and Haibo Chen},
Title = {FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning},
Year = {2026},
Eprint = {arXiv:2604.11556},
selected = {true},
pdf={fm-agent.pdf},
code = {https://github.com/haoran-ding/FM-Agent},
website = {https://fm-agent.ai/}
}

@article{grewriter,
abbr = {VLDB 2025},
author = {Jiang, Zhe and Wang, Zhaoguo and Lan, Haoning and Tang, Chuzhe and Ding, Haoran and Wang, Lefeng and Zou, Songyun and Wei, Zhuoran and Liu, Yongcun and Yu, Xiang and Ren, Yang and Li, Guoliang and Chen, Haibo},
title = {GRewriter: Practical Query Rewriting with Automatic Rule Set Expansion in GaussDB},
year = {2025},
issue_date = {August 2025},
publisher = {VLDB Endowment},
volume = {18},
number = {12},
issn = {2150-8097},
url = {https://doi.org/10.14778/3750601.3750622},
doi = {10.14778/3750601.3750622},
journal = {Proc. VLDB Endow.},
month = sep,
pages = {4991–5003},
numpages = {13},
selected = {true},
pdf={grewriter.pdf}
}

@inproceedings{sqldriller,
abbr = {SIGMOD 2025},
author = {Yang, Yicun and Wang, Zhaoguo and Xia, Yu and Wei, Zhuoran and Ding, Haoran and Piskac, Ruzica and Chen, Haibo and Li, Jinyang},
title = {Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency},
year = {2025},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
booktitle = {2025 International Conference on Management of Data (SIGMOD '25)},
location = {Berlin, Germany},
series = {SIGMOD '25},
month = jun,
selected = {true},
pdf={sqldriller.pdf}
}

@inproceedings{sqlsolver,
abbr = {SIGMOD 2024},
author = {Ding, Haoran and Wang, Zhaoguo and Yang, Yicun and Zhang, Dexin and Xu, Zhenglin and Chen, Haibo and Piskac, Ruzica and Li, Jinyang},
title = {Proving Query Equivalence Using Linear Integer Arithmetic},
year = {2024},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://dl.acm.org/doi/10.1145/3626768},
booktitle = {2024 International Conference on Management of Data (SIGMOD '24)},
location = {Santiago, Chile},
series = {SIGMOD '24},
pdf = {sqlsolver.pdf},
month = jun,
selected = {true},
code = {https://github.com/SJTU-IPADS/SQLSolver},
website = {https://sqlsolver.systems/sqlsolver/home}
}

@inproceedings{flux,
abbr={OSDI 2023},
author = {Haoran Ding and Zhaoguo Wang and Zhuohao Shen and Rong Chen and Haibo Chen},
title = {Automated Verification of Idempotence for Stateful Serverless Applications},
booktitle = {17th USENIX Symposium on Operating Systems Design and Implementation (OSDI '23)},
year = {2023},
isbn = {978-1-939133-34-2},
location = {Boston, MA, USA},
pages = {887--910},
url = {https://www.usenix.org/conference/osdi23/presentation/ding},
publisher = {USENIX Association},
month = jul,
selected = {true},
pdf={flux.pdf}
}

@inproceedings{wetune,
abbr = {SIGMOD 2022},
author = {Wang, Zhaoguo and Zhou, Zhou and Yang, Yicun and Ding, Haoran and Hu, Gansen and Ding, Ding and Tang, Chuzhe and Chen, Haibo and Li, Jinyang},
title = {WeTune: Automatic Discovery and Verification of Query Rewrite Rules},
year = {2022},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3514221.3526125},
booktitle = {2022 International Conference on Management of Data (SIGMOD '22)},
pages = {94–107},
numpages = {14},
keywords = {SQL solver, query rewriting, rewrite rule discovery},
location = {Philadelphia, PA, USA},
series = {SIGMOD '22},
pdf = {wetune.pdf},
month = jun,
selected = {true},
code = {https://github.com/WeTune/WeTune-code},
website = {https://ipads.se.sjtu.edu.cn/werewriter-demo/home}
}

@inproceedings{10.1145/3341301.3359644,
abbr = {SOSP 2019},
author = {Zou, Mo and Ding, Haoran and Du, Dong and Fu, Ming and Gu, Ronghui and Chen, Haibo},
title = {Using Concurrent Relational Logic with Helpers for Verifying the AtomFS File System},
year = {2019},
isbn = {9781450368735},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3341301.3359644},
pdf = {atomfs.pdf},
booktitle = {Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP '19)},
pages = {259–274},
numpages = {16},
location = {Huntsville, Ontario, Canada},
series = {SOSP '19},
selected = {true},
month = oct
}