Feitong Qiao

According to our database, Feitong Qiao authored at least 5 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

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

Statically Inferring Usage Bounds for Infrastructure as Code.

Feitong Qiao, Aryana Mohammadi, Jürgen Cito, Mark Santolucito

Proceedings of the Verified Software. Theories, Tools and Experiments, 2024

2018

GazeLabel: A Cost-free Data Labeling System with Public Displays using Eye-tracking.

Zhiyuan Liu, Feitong Qiao, Haotian Long, Guang Li

Proceedings of the 16th ACM Conference on Embedded Networked Sensor Systems, SenSys 2018, 2018