Angel (Leyi) Cui

Selected Publications

• 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.
  Access paper


• Towards Reactive Synthesis as a Programming Paradigm
  Leyi Cui *, Raven Rothkopf *, Mark Santolucito, Plateau2024: 14th annual workshop on the intersection of HCI and PL, 2024.
  Access paper


• Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic
  Raven Rothkopf, Angel Leyi Cui, Hannah Tongxin Zeng, Arya Sinha, Mark Santolucito, PLATEAU2023: 13th annual workshop on the intersection of HCI and PL, 2023.
  Access paper


• Machine Learning Based Run-time Validation as a Safety Net for System Migrations
  Leyi Cui, Elifia Muthia, Seth Pullman, Baishakhi Ray, Mark Santolucito, Under submission to FSE, 2025.
  


• Fuzzy Mental Model: A Formalism for Reasoning About Confusion in Human Technology Interaction
  Matthew L. Bolton, Leyi Cui, Eunsuk Kang, Under submission to Safety Science.
  


• 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.
  Access paper
  


• 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), 2019.
  Access paper