GazeLabel: A Cost-free Data Labeling System with Public Displays using Eye-tracking. - Zhiyuan Liu 001; Feitong Qiao; Haotian Long; Guang Li (SenSys, 2018)

Statically Inferring Usage Bounds for Infrastructure as Code. - Feitong Qiao; Aryana Mohammadi; Jürgen Cito; Mark Santolucito (VSTTE, 2024)

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control. - William Murphy; Nikolaus Holzer; Nathan Koenig; Leyi Cui; Raven Rothkopf; Feitong Qiao; Mark Santolucito (CoRR, 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 (CoRR, 2024)

Can LLM Prompting Serve as a Proxy for Static Analysis in Vulnerability Detection. - Ira Ceka; Feitong Qiao; Anik Dey; Aastha Valechia; Gail E. Kaiser; Baishakhi Ray (CoRR, 2024)