Login / Signup
Feitong Qiao
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 3
Top Topics
Temporal Logic
Program Code
Tight Bounds
Eye Tracker
Top Venues
CoRR
SenSys
</>
Publications
</>
Feitong Qiao
,
Aryana Mohammadi
,
Jürgen Cito
,
Mark Santolucito
Statically Inferring Usage Bounds for Infrastructure as Code.
CoRR
(2024)
William Murphy
,
Nikolaus Holzer
,
Nathan Koenig
,
Leyi Cui
,
Raven Rothkopf
,
Feitong Qiao
,
Mark Santolucito
Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control.
CoRR
(2024)
Zhiyuan Liu
,
Feitong Qiao
,
Haotian Long
,
Guang Li
GazeLabel: A Cost-free Data Labeling System with Public Displays using Eye-tracking.
SenSys
(2018)