-
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
-
Constrained LTL Specification Learning from Examples
Chengjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Romulo Meira-Goes, David Garlan, Eunsuk Kang
ICSE 2025
-
A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic
Leyi Cui
Student Research Competition, SPLASH 2024
-
CWEval: Outcome-driven Evaluation on Functionality and Security of LLM Code Generation
Jinjun Peng, Leyi Cui, Kele Huang, Junfeng Yang, Baishakhi Ray
LLM4Code 2025
-
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
-
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
-
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
-
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
-
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
-
OpenEMR Usability Evaluations
Leyi Cui, Eunsuk Kang
Preprints, 2023
-
On the Two-dimensional Resilient Consensus
Leyi Cui
2019 IEEE 7th International Conference on Computer Science and Network Technology (ICCSNT)