主要研究方向
周喆的主要研究领域是形式化方法和程序理论。包括自动程序验证，基于类型系统的程序验证框架，基于性质的测试等。周喆同样关注自动机（例如符号自动机）和程序验证的结合，以及AI辅助程序验证（AI for verification）。
Selected Publications
1. Zhou, Zhe, Mishra, Ashish, Delaware, Benjamin, and Jagannathan, Suresh, Polymorphic coverage types, Journal of Functional Programming Volume 36 (2026).
2. Zhe Zhou, Ankush Desai, Benjamin Delaware, and Suresh Jagannathan. 2026. Trace-Guided Synthesis of Effectful Test Generators. Proc. ACM Program. Lang. 10, PLDI, Article 186 (June 2026), 25 pages. https://doi.org/10.1145/3808264
3. Zhe Zhou, Qianchuan Ye, Benjamin Delaware, and Suresh Jagannathan. 2024. A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata. Proc. ACM Program. Lang. 8, PLDI, Article 203 (June 2024), 25 pages. https://doi.org/10.1145/3656433
4. Zhe Zhou, Ashish Mishra, Benjamin Delaware, and Suresh Jagannathan. 2023. Covering All the Bases: Type-Based Verification of Test Input Generators. Proc. ACM Program. Lang. 7, PLDI, Article 157 (June 2023), 24 pages. https://doi.org/10.1145/3591271
5. Zhe Zhou, Robert Dickerson, Benjamin Delaware, and Suresh Jagannathan. 2021. Data-driven abductive inference of library specifications. Proc. ACM Program. Lang. 5, OOPSLA, Article 116 (October 2021), 29 pages. https://doi.org/10.1145/3485493
