| Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis W Murphy, N Holzer, F Qiao, L Cui, R Rothkopf, N Koenig, M Santolucito arXiv preprint arXiv:2410.19736, 2024 | 2 | 2024 |
| Statically inferring usage bounds for infrastructure as code F Qiao, A Mohammadi, J Cito, M Santolucito arXiv preprint arXiv:2402.15632, 2024 | 2 | 2024 |
| Energy-Aware Process Scheduling in Linux F Qiao, Y Fang, A Cidon Proceedings of the 3rd Workshop on Sustainable Computer Systems (HotCarbon …, 2024 | 2 | 2024 |
| Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control W Murphy, N Holzer, N Koenig, L Cui, R Rothkopf, F Qiao, M Santolucito arXiv preprint arXiv:2406.07400, 2024 | 1 | 2024 |
| GazeLabel: A Cost-free Data Labeling System with Public Displays using Eye-tracking Z Liu, F Qiao, H Long, G Li Proceedings of the 16th ACM Conference on Embedded Networked Sensor Systems …, 2018 | 1 | 2018 |
| Can LLM Prompting Serve as a Proxy for Static Analysis in Vulnerability Detection I Ceka, F Qiao, A Dey, A Valecha, G Kaiser, B Ray arXiv preprint arXiv:2412.12039, 2024 | | 2024 |