<aside>
📨 Email: feitong [dot] qiao [at] columbia [dot] edu
🧑🏻💻 GitHub: leoqiao18
</aside>
I received my M.S. in Computer Science, B.A. in Computer Science and B.A. in Mathematics at Columbia University.
During Summer 2024, I was 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.
Energy-Aware Process Scheduling in Linux
Feitong Qiao*, Yiming Fang*, Asaf Cidon (* equal contribution)
HotCarbon 2024
Statically Inferring Usage Bounds for Infrastructure as Code
Feitong Qiao, Aryana Mohammadi, Jürgen Cito, Mark Santolucito
VSTTE 2024
[arxiv]
Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis