USENIX Best Papers

Filter List View By:

NSDI '14

Software Dataplane Verification
Mihai Dobrescu, École Polytechnique Fédérale de Lausanne; Katerina Argyraki, École Polytechnique Fédérale de Lausanne
mTCP: a Highly Scalable User-level TCP Stack for Multicore Systems
EunYoung Jeong, Korea Advanced Institute of Science and Technology (KAIST); Shinae Wood, Korea Advanced Institute of Science and Technology (KAIST); Muhammad Jamshed, Korea Advanced Institute of Science and Technology (KAIST); Haewon Jeong, Korea Advanced Institute of Science and Technology (KAIST); Sunghwan Ihm, Princeton University; Dongsu Han, Korea Advanced Institute of Science and Technology (KAIST); KyoungSoo Park, Korea Advanced Institute of Science and Technology (KAIST)