Feitong Leo Qiao

Feitong Leo Qiao

I am a computer science MS student at Columbia University. I previously received my BA in Computer Science and Mathematics at Columbia University.

I have broad research interests in programming languages, software systems and formal methods.

During Summer 2024, I am a visiting researcher along with Prof. Mark Santolucito at CISPA, working with Reactive Systems Group led by Prof. Bernd Finkbeiner.

Since Spring 2024, I have been working with Prof. Asaf Cidon at Columbia University, working on Linux eBPF applications.

Since Fall 2022, I have been a research assistant with Prof. Mark Santolucito at Barnard College, Columbia University. I am involved in various projects at the Barnard PL Lab, with topics spanning program synthesis, program analysis, and reactive systems.

Since Fall 2021, I have been part of the research group led by Prof. Stephen Edwards and John Hui at Columbia University, working on SSM, a deterministic real-time execution technique that allows explicit, precise timing control.

Publications

Energy-Aware Process Scheduling in Linux
Feitong Qiao*, Yiming Fang*, Asaf Cidon (* equal contribution)
HotCarbon 2024
[pdf]
Statically Inferring Usage Bounds for Infrastructure as Code
Feitong Qiao, Aryana Mohammadi, Jürgen Cito, Mark Santolucito
VSTTE 2024
[pdf, arxiv]
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
In Submission
[arxiv]
VuLLM: Augmented Prompting for Vulnerability Detection with Large Language Models (LLMs)
Ira Ceka, Feitong Qiao, Anik Dey, Aastha Valecha, Gail Kaiser, Baishakhi Ray
In Submission
GazeLabel: A Cost-free Data Labeling System with Public Displays using Eye-tracking
Zhiyuan Liu, Feitong Qiao, Haotian Long, Guang Li
SenSys 2018

Teaching

I have been a teaching assistant for the following classes at Columbia: