Author

Likai Liu

Observed name: Liu, Likai

Institution: Nanjing University of Posts and Telecommunications

Observed institutions: Boston University, Nanjing University of Posts and Telecommunications

ORCID: 0009-0008-8575-662X

Observed ORCID: 0009-0008-8575-662X

OpenAlex ID: A5115410052

GTCC: A Game Theoretic Approach for Efficient Congestion Control in Datacenter Networks

2024 · Likai Liu, Fu Xiao, et al. · IEEE Transactions on Network Science and Engineering · 9

Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking

2005 · Likai Liu, A. J. Kfoury, et al. · 2

NBBM: An Efficient SmartNIC-Based Architecture for Bare-Metal Management in Cloud Platforms

2025 · Likai Liu, Fu Xiao, et al. · IEEE Transactions on Computers · 1

Safe Compositional Specification of Network Systems ∗ With Polymorphic, Constrained Types

2006 · Likai Liu, A. J. Kfoury · OpenBU (Boston University) · 1

Falcon: Efficient and Scalable Acceleration of Packet-Level Network Simulation for LLM Training

2026 · Likai Liu, Zheng Wu, et al. · IEEE Transactions on Parallel and Distributed Systems

Simple, safe, and efficient memory management using linear pointers

2014 · Likai Liu · OpenBU (Boston University)

Examples of Network Flow Verification Using TRAFFIC(X)

2008 · Likai Liu, A. J. Kfoury

Type Systems for a Network Specification Language WithMultiple-Choice Let

2005 · Likai Liu, A. J. Kfoury, et al.

Works count: 11

Citation count: 13

H-index: 2

I10-index: