Congyu Liu

I am a Ph.D. student in Computer Science at Purdue University, where I work with Pedro Fonseca and Yongle Zhang. Previously, I received my B.S. in Computer Science from Huazhong University of Science and Technology.

My current research focuses on system reliability and security.

Publications

SOSP ’26

Tamias: Feedback-Guided Systematic Concurrency Exploration for Transparent Distributed System Fuzzing

Congyu Liu, Yaoxu Song, Pedro Fonseca, and Yongle Zhang

In ACM SIGOPS 32nd Symposium on Operating Systems Principles, 2026

PDF Code DOI BibTeX

@inproceedings{tamias,
  author = {Liu, Congyu and Song, Yaoxu and Fonseca, Pedro and Zhang, Yongle},
  title = {Tamias: Feedback-Guided Systematic Concurrency Exploration for Transparent Distributed System Fuzzing},
  year = {2026},
  booktitle = {ACM SIGOPS 32nd Symposium on Operating Systems Principles},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  location = {Prague, Czech Republic},
  isbn = {979-8-4007-2585-2},
  doi = {10.1145/3830418.3843891},
  url = {https://doi.org/10.1145/3830418.3843891},
  numpages = {19},
  series = {SOSP '26}
}

EMNLP ’26

Benchmarking Explainable Vulnerability Detection with Calling Contexts

Jinyao Guo, Yaoyang Ye, Zhihao Guo, Mingwei Zheng, Tiantai Zhang, Xuwei Liu, Xiaolong Jin, Congyu Liu, and 7 more authors

In Findings of the Association for Computational Linguistics: EMNLP 2026

BibTeX

@inproceedings{guo-etal-2026-benchmarking,
  author = {Guo, Jinyao and Ye, Yaoyang and Guo, Zhihao and Zheng, Mingwei and Zhang, Tiantai and Liu, Xuwei and Jin, Xiaolong and Liu, Congyu and Xu, Xiangzhe and Su, Zian and Song, Ziyun and Xuan, Zhou and Cheng, Xiao and Wang, Chengpeng and Zhang, Xiangyu},
  title = {Benchmarking Explainable Vulnerability Detection with Calling Contexts},
  editor = {Lee, Hung-Yi and Dev, Sunipa and Li, Jessy and Elliott, Desmond},
  booktitle = {Findings of the {A}ssociation for {C}omputational {L}inguistics: {EMNLP} 2026},
  month = oct,
  year = {2026},
  address = {Budapest, Hungary},
  publisher = {Association for Computational Linguistics},
  url = {https://aclanthology.org/2026.findings-emnlp.82/},
  pages = {1676--1694},
  isbn = {979-8-89176-462-0}
}

Eurosys ’25

Pegasus: Transparent and Unified Kernel-Bypass Networking for Fast Local and Remote Communication

Dinglan Peng, Congyu Liu, Tapti Palit, Anjo Vahldiek-Oberwagner, Mona Vij, and Pedro Fonseca

In Proceedings of the Twentieth European Conference on Computer Systems, Mar 2025

DOI BibTeX

@inproceedings{pegasus,
  author = {Peng, Dinglan and Liu, Congyu and Palit, Tapti and Vahldiek-Oberwagner, Anjo and Vij, Mona and Fonseca, Pedro},
  title = {Pegasus: Transparent and Unified Kernel-Bypass Networking for Fast Local and Remote Communication},
  year = {2025},
  month = mar,
  booktitle = {Proceedings of the Twentieth European Conference on Computer Systems},
  publisher = {ACM},
  location = {Rotterdam, Netherlands},
  isbn = {979-8-4007-1196-1},
  pages = {360--378},
  doi = {10.1145/3689031.3696083},
  url = {https://doi.org/10.1145/3689031.3696083},
  series = {EuroSys '25}
}

OOPSLA ’24

ParDiff: Practical Static Differential Analysis of Network Protocol Parsers

Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, and Xiangyu Zhang

Proceedings of the ACM on Programming Languages, 2024

DOI BibTeX

@article{pardiff,
  author = {Zheng, Mingwei and Shi, Qingkai and Liu, Xuwei and Xu, Xiangzhe and Yu, Le and Liu, Congyu and Wei, Guannan and Zhang, Xiangyu},
  title = {ParDiff: Practical Static Differential Analysis of Network Protocol Parsers},
  year = {2024},
  issue_date = {April 2024},
  publisher = {Association for Computing Machinery},
  journal = {Proceedings of the ACM on Programming Languages},
  address = {New York, NY, USA},
  volume = {8},
  number = {OOPSLA1},
  url = {https://doi.org/10.1145/3649854},
  doi = {10.1145/3649854},
  articleno = {137},
  numpages = {27},
  keywords = {Network protocol, differential analysis, protocol format specification, static program analysis}
}

ASPLOS ’23

Veil: A Protected Services Framework for Confidential Virtual Machines

Adil Ahmad, Botong Ou, Congyu Liu, Xiaokuan Zhang, and Pedro Fonseca

In Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4, May 2023

DOI BibTeX

@inproceedings{veil,
  author = {Ahmad, Adil and Ou, Botong and Liu, Congyu and Zhang, Xiaokuan and Fonseca, Pedro},
  booktitle = {Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4},
  title = {Veil: A Protected Services Framework for Confidential Virtual Machines},
  doi = {10.1145/3623278.3624763},
  url = {https://dl.acm.org/doi/abs/10.1145/3623278.3624763},
  month = may,
  year = {2023}
}

S&P ’23

uSWITCH: Fast Kernel Context Isolation with Implicit Context Switches

Dinglan Peng, Congyu Liu, Tapti Palit, Pedro Fonseca, Anjo Vahldiek-Oberwagner, and Mona Vij

In 2023 IEEE Symposium on Security and Privacy, May 2023

PDF DOI BibTeX

@inproceedings{uswitch,
  author = {Peng, Dinglan and Liu, Congyu and Palit, Tapti and Fonseca, Pedro and Vahldiek-Oberwagner, Anjo and Vij, Mona},
  booktitle = {2023 IEEE Symposium on Security and Privacy},
  title = {uSWITCH: Fast Kernel Context Isolation with Implicit Context Switches},
  location = {San Francisco, CA},
  year = {2023},
  pages = {1506-1523},
  doi = {10.1109/SP46215.2023.00086},
  url = {https://doi.ieeecomputersociety.org/10.1109/SP46215.2023.00086},
  publisher = {IEEE Computer Society},
  address = {Los Alamitos, CA, USA},
  month = may
}

ASPLOS ’23

KIT: Testing OS-Level Virtualization for Functional Interference Bugs

Congyu Liu, Sishuai Gong, and Pedro Fonseca

In Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, 2023

PDF Code DOI BibTeX Lightning Talk Slides

@inproceedings{10.1145/3575693.3575731,
  author = {Liu, Congyu and Gong, Sishuai and Fonseca, Pedro},
  title = {KIT: Testing OS-Level Virtualization for Functional Interference Bugs},
  year = {2023},
  isbn = {9781450399166},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3575693.3575731},
  doi = {10.1145/3575693.3575731},
  booktitle = {Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2},
  pages = {427–441},
  numpages = {15},
  keywords = {OS-level virtualization, software testing},
  location = {Vancouver, BC, Canada},
  series = {ASPLOS 2023}
}

Service

SANER ’27 AI4SE Track (PC)
IEEE Transactions on Computers (Reviewer, 2026)
FAST ’23 Artifact Evaluation (PC)