All Stories

  1. SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation

    Article • April 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Junjie Sheng, Min Zhang

  2. LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing

    Article • September 2024, ACM (Association for Computing Machinery)

    Min Zhang

  3. A temporal logic with multiple loosely-dependent clock domains.

    Article • Formal Aspects of Computing, June 2024, ACM (Association for Computing Machinery)

    Min Zhang, Frederic Mallet

  4. Domain Knowledge is All You Need: A Field Deployment of LLM-Powered Test Case Generation in FinTech Domain

    Article • April 2024, ACM (Association for Computing Machinery)

    Min Zhang

  5. MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search

    Article • April 2024, ACM (Association for Computing Machinery)

    Min Zhang, Zhaohui Wang

  6. A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation

    Article • July 2023, ACM (Association for Computing Machinery)

    Min Zhang

  7. Bridging the semantic gap between qualitative and quantitative models of distributed systems

    Article • Proceedings of the ACM on Programming Languages, October 2022, ACM (Association for Computing Machinery)

    Min Zhang

  8. Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks

    Article • October 2022, ACM (Association for Computing Machinery)

    Min Zhang

  9. QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks

    Article • October 2022, ACM (Association for Computing Machinery)

    Min Zhang

  10. Reducing implicit gender biases in software development: does intergroup contact theory work?

    Article • November 2020, ACM (Association for Computing Machinery)

    Min Zhang

  11. Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems

    Article • ACM SIGPLAN Notices, September 2017, ACM (Association for Computing Machinery)

    Min Zhang