Selected Publications

You may email me to request access to a paper.

• 2026

• Chronically Buggy: Analyzing Date/Time Pitfalls In Open-Source and LLM-Generated Python Code

  Shrey Tiwari, Serena Chen *, Alexander Joukov *, Peter Vandervelde *, Leyi Cui, Ao Li, Rohan Padhye

  Empirical Software Engineering: an International Journal

• Fuzzy Mental Model: A Formalism for Reasoning About Confusion in Human Technology Interaction

  Matthew L. Bolton, Leyi Cui, Eunsuk Kang

  International Journal of Human-Computer Interaction
  DOI

• DateSAT: A Framework for Solving Date and Period Constraints

  Leyi Cui, Shrey Tiwari, Rohan Padhye

  Under submission
  arXiv

• A Flood of Adoption, a Trickle of Change: A Representative OSS-500 Index of the AI Transition in Open-Source Software

  Shyam Agarwal, Leyi Cui, Shrey Tiwari, Bogdan Vasilescu

  Under submission
• 2025

• Constrained LTL Specification Learning from Examples

  Chengjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Romulo Meira-Goes, David Garlan, Eunsuk Kang

  ICSE 2025
  arXiv DOI

• CWEval: Outcome-driven Evaluation on Functionality and Security of LLM Code Generation

  Jinjun Peng, Leyi Cui, Kele Huang, Junfeng Yang, Baishakhi Ray

  LLM4Code 2025
  arXiv DOI Website

• Interactively Assisting Glaucoma Diagnosis with an Expert Knowledge-distilled Vision Transformer

  Ziheng "Leo" Li, Haowen "John" Wei, Kuang Sun, Leyi Cui, David Li, Steven K. Feiner, Kaveri A. Thakoor

  CHI 2025
  DOI

• NeuroMigrate: Machine Learning Based Run-time Validation as a Safety Net for System Migrations

  Leyi Cui, Elifia Muthia, Runzhe Lan, Seth Pullman, Baishakhi Ray, Mark Santolucito

  Under submission
• 2024

• Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis

  William Murphy, Nikolaus Holzer, Feitong Qiao, Leyi Cui, Raven Rothkopf, Nathan Koenig, Mark Santolucito

  arXiv, 2024
  arXiv

• Towards Reactive Synthesis as a Programming Paradigm

  Leyi Cui *, Raven Rothkopf *, Mark Santolucito

  PLATEAU 2024 — 14th annual workshop on the intersection of HCI and PL
  DOI

• A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic

  Leyi Cui

  Student Research Competition, SPLASH 2024
  DOI
• 2023

• Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic

  Raven Rothkopf, Angel Leyi Cui, Hannah Tongxin Zeng, Arya Sinha, Mark Santolucito

  PLATEAU 2023 — 13th annual workshop on the intersection of HCI and PL
  DOI
• 2019

• On the Two-dimensional Resilient Consensus

  Leyi Cui

  2019 IEEE 7th International Conference on Computer Science and Network Technology (ICCSNT)
  DOI