Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Feitong Qiao
Observed name:
Qiao, Feitong
Observed institution:
Columbia University
OpenAlex ID:
A5094018650
Statically Inferring Usage Bounds for Infrastructure as Code
2025
·
Feitong Qiao
, Aryana Mohammadi
, et al.
·
Lecture notes in computer science
·
3
PDF
Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
2024
·
Murphy, William
, Holzer, Nikolaus
, et al.
·
arXiv (Cornell University)
·
3
PDF
Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
2024
·
Murphy, William
, Holzer, Nikolaus
, et al.
·
arXiv (Cornell University)
·
1
PDF
GazeLabel
2018
·
Zhiyuan Liu
, Feitong Qiao
, et al.
·
ACM Conference on Embedded Networked Sensor Systems (SenSys)
·
1
EvoFlint: An Evolutionary Atlas of Multi-Turn LLM Vulnerabilities
2026
·
Qiao, Feitong
, Peng, Liren
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
5
Citation count:
8
H-index:
2
I10-index:
Year
Topic
Type
