Jialin Li

lijl at comp.nus.edu.sg

COM3 #02-54
11 Research Link
Singapore 119391

I am an Assistant Professor in the School of Computing at the National University of Singapore. Before joining NUS, I received my PhD from the University of Washington, advised by Dan Ports. Before that, I received my bachelor's degree from the University of Michigan. My research has received OSDI '14 Jay Lepreau Best Paper Award and NSDI '15 Best Paper Award.

I am broadly interested in distributed systems and operating systems research. More recently, I have worked on the following research topics: co-designing distributed systems with data center networks, data plane operating systems, and decentralized system infrastructure.

Research

• Consensus Protocols
  
  • Hydra [NSDI '23]
  • NOPaxos [OSDI '16]
  • SpecPaxos [NSDI '15]
• Distributed Storage and Transactions
  
  • Pegasus [OSDI '20]
  • Meerkat [Eurosys '20]
  • Harmonia [VLDB '19]
  • Eris [SOSP '17]
• Operating Systems
  
  • SimBricks [SIGCOMM '22]
  • Arrakis [OSDI '14]
  • OS Tail Latency [SOCC '14]

Full Publication List

Students

I am very fortunate to work with following group of brilliant graduate students:

• Inho Choi
• Michael Hu
• Yunfan Li
• Ziji Shi
• Guangda Sun
• Yihan Yang
• Longfei Wu

Teaching

• Fall 2022: Computer Engineering Capstone Project (NUS CG4002)
• Winter 2022: Distributed Systems (NUS CS5223)
• Fall 2021: Introduction to Operating Systems (NUS CS2106)
• Winter 2021: Distributed Systems (NUS CS5223)
• Fall 2020: Systems Design for Next Gen Hardware (NUS CS6280)

Service

Conference Organizer

• 2022: APSys '22 Local Chair
• 2021: SOSP '21 Virtual Platform Chair

Technical Program Committee

• 2022: APSys, APNet, PaPoc, OSDI, ASPLOS (ERC)
• 2021: EuroDW, VEE, OSDI, ASPLOS (ERC)

Publications

• Hydra: Serialization-Free Network Ordering for Strongly Consistent Distributed Applications
  Inho Choi, Ellis Michael, Yunfan Li, Dan Ports, and Jialin Li
  Proceedings of the 20th USENIX Conference on Network Systems Design and Implementation (NSDI '23)

• SimBricks: End-to-End Network System Evaluation with Modular Simulation
  Hejing Li, Jialin Li, and Antoine Kaufmann
  Proceedings of the 2022 ACM SIGCOMM Conference (SIGCOMM '22) pdf

• Linear-Time Temporal Logic Guided Greybox Fuzzing
  Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury
  Proceedings of the 44th International Conference on Software Engineering (ICSE '22) pdf

• Revisiting Heavy-Hitter Detection on Commodity Programmable Switches
  Xin Zhe Khooi, Levente Csikor, Jialin Li, Min Suk Kang, and Dinil Mon Divakaran
  Proceedings of the 7th IEEE Conference on Network Softwarization (NetSoft ’21) pdf

• In-Network Applications: Beyond Single Switch Pipelines
  Xin Zhe Khooi, Levente Csikor, Jialin Li, and Dinil Mon Divakaran
  Proceedings of the 1st IEEE Workshop on Theory and Practice of Programmable Forwarding (TaPoPF ’21) pdf

• Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories
  Jialin Li, Jacob Nelson, Ellis Michael, Xin Jin, and Dan R. K. Ports
  Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI '20) pdf

• Meerkat: Scalable Replicated Transactions Following the Zero-Coordination Principle
  Adriana Szekeres, Michael Whittaker, Naveen Kr. Sharma, Jialin Li, Arvind Krishnamurthy, Irene Zhang, and Dan R. K. Ports
  Proceedings of the 15th ACM SIGOPS EuroSys (EuroSys '20), Heraklion, Crete, Greece, April 2020 pdf

• Harmonia: Near-Linear Scalability for Replicated Storage with In-Network Conflict Detection
  Hang Zhu, Zhihao Bai, Jialin Li, Ellis Michael, Dan R. K. Ports, Ion Stoica, and Xin Jin
  Proceedings of the VLDB Endowment vol. 13 (3) , November 2019 (pp. 376--389) pdf

• Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control
  Jialin Li, Ellis Michael, and Dan R. K. Ports
  Proceedings of the 26th Symposium on Operating Systems Principles (SOSP '17) pdf

• Just Say NO to Paxos Overhead: Replacing Consensus Overhead with Network Ordering
  Jialin Li, Ellis Michael, Naveen Kr. Sharma, Adriana Szekeres, and Dan R. K. Ports
  Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI '16) pdf

• Specifying and Checking File System Crash-consistency Models
  James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, and Xi Wang
  Proceedings of the 21st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'16) pdf

• Arrakis: The Operating System Is the Control Plane
  Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas Anderson, and Timothy Roscoe
  ACM Transactions on Computer Systems vol. 33 (4) pdf

• Designing Distributed Systems Using Approximate Synchrony in Data Center Networks
  Dan R. K. Ports, Jialin Li, Vincent Liu, Naveen Kr. Sharma, and Arvind Krishnamurthy
  Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI '15) Best Paper Award pdf

• Tales of the Tail: Hardware, OS, and Application-level Sources of Tail Latency
  Jialin Li, Naveen Kr. Sharma, Dan R. K. Ports, and Steven D. Gribble
  Proceedings of the 5th Symposium on Cloud Computing (SOCC '14) pdf

• Arrakis: The Operating System is the Control Plane
  Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas Anderson, and Timothy Roscoe
  Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14) Best Paper Award pdf

• Towards High-Performance Application-Level Storage Management
  Simon Peter, Jialin Li, Doug Woos, Irene Zhang, Dan R. K. Ports, Thomas Anderson, Arvind Krishnamurthy, and Mark Zbikowski
  Proceedings of the 5th Hot Topics in Storage and File Systems (HotStorage '14) pdf

• Bridging Pre- and Post-silicon Debugging with BiPeD
  Andrew DeOrio, Jialin Li, and Valeria Bertacco
  Proceedings of the International Conference on Computer-Aided Design (ICCAD '12) pdf