Publications

NSDI '25
To Appear
High-level Programming for Application Networks
The 22nd USENIX Symposium on Networked Systems Design and Implementation
NeurIPS '23
Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation
Proceedings of the 37th Conference on Neural Information Processing Systems
ESEC/FSE '23
NeuRI: Diversifying DNN Generation via Inductive Rule Synthesis
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
🏆 ACM SIGSOFT Distinguished Paper Award