Tales of the Tail: Hardware, OS, and Application-level Sources of Tail Latency. - Jialin Li 001; Naveen Kr. Sharma; Dan R. K. Ports; Steven D. Gribble (SoCC, 2014)

Towards High-Performance Application-Level Storage Management. - Simon Peter 001; Jialin Li 001; Irene Zhang; Dan R. K. Ports; Thomas E. Anderson; Arvind Krishnamurthy; Mark Zbikowski; Doug Woos (HotStorage, 2014)

Designing Distributed Systems Using Approximate Synchrony in Data Center Networks. - Dan R. K. Ports; Jialin Li 001; Vincent Liu 001; Naveen Kr. Sharma; Arvind Krishnamurthy (NSDI, 2015)

Specifying and Checking File System Crash-Consistency Models. - James Bornholt; Antoine Kaufmann; Jialin Li 001; Arvind Krishnamurthy; Emina Torlak; Xi Wang 005 (ASPLOS, 2016)

Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering. - Jialin Li 001; Ellis Michael; Naveen Kr. Sharma; Adriana Szekeres; Dan R. K. Ports (OSDI, 2016)

Arrakis: The Operating System Is the Control Plane. - Simon Peter 001; Jialin Li 001; Irene Zhang; Dan R. K. Ports; Doug Woos; Arvind Krishnamurthy; Thomas E. Anderson; Timothy Roscoe (ACM Trans. Comput. Syst., 2016)

Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control. - Jialin Li 001; Ellis Michael; Dan R. K. Ports (SOSP, 2017)

Harmonia: Near-Linear Scalability for Replicated Storage with In-Network Conflict Detection. - Hang Zhu; Zhihao Bai; Jialin Li 001; Ellis Michael; Dan R. K. Ports; Ion Stoica; Xin Jin 008 (Proc. VLDB Endow., 2019)

Co-Designing Distributed Systems with Programmable Network Hardware. - Jialin Li 001 (2019)

Meerkat: multicore-scalable replicated transactions following the zero-coordination principle. - Adriana Szekeres; Michael J. Whittaker; Jialin Li 001; Naveen Kr. Sharma; Arvind Krishnamurthy; Dan R. K. Ports; Irene Zhang (EuroSys, 2020)

Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories. - Jialin Li 001; Jacob Nelson 001; Ellis Michael; Xin Jin 008; Dan R. K. Ports (OSDI, 2020)

Reproducible Host Networking Evaluation with End-to-End Simulation. - Hejing Li; Jialin Li 001; Keon Jang; Antoine Kaufmann (CoRR, 2020)

An incremental path towards a safer OS kernel. - Jialin Li 001; Samantha Miller; Danyang Zhuo; Ang Chen 001; Jon Howell; Thomas E. Anderson (HotOS, 2021)

In-Network Applications: Beyond Single Switch Pipelines. - Xin Zhe Khooi; Levente Csikor; Jialin Li 001; Dinil Mon Divakaran (NetSoft, 2021)

Revisiting Heavy-Hitter Detection on Commodity Programmable Switches. - Xin Zhe Khooi; Levente Csikor; Jialin Li 001; Min Suk Kang; Dinil Mon Divakaran (NetSoft, 2021)

Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing. - Ruijie Meng; Zhen Dong; Jialin Li 001; Ivan Beschastnikh; Abhik Roychoudhury (CoRR, 2021)

Linear-time Temporal Logic guided Greybox Fuzzing. - Ruijie Meng; Zhen Dong; Jialin Li 001; Ivan Beschastnikh; Abhik Roychoudhury (ICSE, 2022)

SimBricks: end-to-end network system evaluation with modular simulation. - Hejing Li; Jialin Li 001; Antoine Kaufmann (SIGCOMM, 2022)

The Case for Accelerating BFT Protocols Using In-Network Ordering. - Guangda Sun; Xin Zhe Khooi; Yunfan Li; Mingliang Jiang; Jialin Li 001 (CoRR, 2022)

Linear types for large-scale systems verification. - Jialin Li 001; Andrea Lattuada 001; Yi Zhou 025; Jonathan Cameron; Jon Howell; Bryan Parno; Chris Hawblitzel (Proc. ACM Program. Lang., 2022)

Capybara: μSecond-Scale Live TCP Migration. - Inho Choi; Nimish Wadekar; Raj Joshi; Joshua Fried; Dan R. K. Ports; Irene Zhang; Jialin Li 001 (APSys, 2023)

Hydra: Serialization-Free Network Ordering for Strongly Consistent Distributed Applications. - Inho Choi; Ellis Michael; Yunfan Li; Dan R. K. Ports; Jialin Li 001 (NSDI, 2023)

Network Load Balancing with In-network Reordering Support for RDMA. - Cha Hwan Song; Xin Zhe Khooi; Raj Joshi; Inho Choi; Jialin Li 001; Mun Choon Chan (SIGCOMM, 2023)

NeoBFT: Accelerating Byzantine Fault Tolerance Using Authenticated In-Network Ordering. - Guangda Sun; Mingliang Jiang; Xin Zhe Khooi; Yunfan Li; Jialin Li 001 (SIGCOMM, 2023)

Protected Data Plane OS Using Memory Protection Keys and Lightweight Activation. - Yihan Yang; Zhuobin Huang; Antoine Kaufmann; Jialin Li 001 (CoRR, 2023)

FedLPA: Personalized One-shot Federated Learning with Layer-Wise Posterior Aggregation. - Xiang Liu 017; Liangxi Liu; Feiyang Ye 004; Yunheng Shen; Xia Li 005; Linshan Jiang; Jialin Li 001 (CoRR, 2023)

Chrono: A Peer-to-Peer Network with Verifiable Causality. - Michael Hu Yiqing; Guangda Sun; Arun Fu; Akasha Zhu; Jialin Li 001 (CoRR, 2023)

Vault: Decentralized Storage Made Durable. - Guangda Sun; Michael Hu Yiqing; Arun Fu; Akasha Zhu; Jialin Li 001 (CoRR, 2023)

P4SGD: Programmable Switch Enhanced Model-Parallel Training on Generalized Linear Models on Distributed FPGAs. - Hongjing Huang; Yingtao Li; Jie Sun 017; Xueying Zhu; Jie Zhang 081; Liang Luo; Jialin Li 001; Zeke Wang (IEEE Trans. Parallel Distributed Syst., 2023)

TEE-based General-purpose Computational Backend for Secure Delegated Data Processing. - Mo Sha 002; Jialin Li 001; Sheng Wang 011; Feifei Li 001; Kian-Lee Tan (Proc. ACM Manag. Data, 2023)

ParaGAN: A Scalable Distributed Training Framework for Generative Adversarial Networks. - Ziji Shi; Jialin Li 001; Yang You 001 (SoCC, 2024)

FedLPA: One-shot Federated Learning with Layer-Wise Posterior Aggregation. - Xiang Liu 017; Liangxi Liu; Feiyang Ye 004; Yunheng Shen; Xia Li 005; Linshan Jiang; Jialin Li 001 (NeurIPS, 2024)

Computing in the Era of Large Generative Models: From Cloud-Native to AI-Native. - Yao Lu; Song Bian 002; Lequn Chen 001; Yongjun He 004; Yulong Hui; Matthew Lentz; Beibin Li; Fei Liu; Jialin Li 001; Qi Liu; Rui Liu; Xiaoxuan Liu; et al. (CoRR, 2024)

SplitSim: Large-Scale Simulations for Evaluating Network Systems Research. - Hejing Li; Praneeth Balasubramanian; Marvin Meiers; Jialin Li 001; Antoine Kaufmann (CoRR, 2024)

Building a Verifiable Logical Clock for P2P Networks. - Guangda Sun; Tianyang Tao; Yanpei Guo; Michael Hu Yiqing; Jialin Li 001 (CoRR, 2024)

DPDPU: Data Processing with DPUs. - Jiasheng Hu; Philip A. Bernstein; Jialin Li 001; Qizhen Zhang 001 (CoRR, 2024)

ED-ViT: Splitting Vision Transformer for Distributed Inference on Edge Devices. - Xiang Liu 017; Yijun Song; Xia Li 005; Yifei Sun; Huiying Lan; Zemin Liu; Linshan Jiang; Jialin Li 001 (CoRR, 2024)

One-shot Federated Learning Methods: A Practical Guide. - Xiang Liu 017; Zhenheng Tang; Xia Li 005; Yijun Song; Sijie Ji; Zemin Liu; Bo Han 003; Linshan Jiang; Jialin Li 001 (CoRR, 2025)

Automatic Pruning via Structured Lasso with Class-wise Information. - Xiang Liu 017; Mingchen Li; Xia Li 005; Leigang Qu; Zifan Peng; Yijun Song; Zemin Liu; Linshan Jiang; Jialin Li 001 (CoRR, 2025)

QoE-Optimized MultiPath Scheduling for Video Services in Large-Scale Peer-to-Peer CDNs. - Dehui Wei; Jiao Zhang 002; Xiang Liu 017; Haozhe Li; Zhichen Xue; Tao Huang 005; Linshan Jiang; Jialin Li 001 (IEEE J. Sel. Areas Commun., 2025)

dpBento: Benchmarking DPUs for Data Processing. - Jiasheng Hu; Chihan Cui; Anna Li; Raahil Vora; Yuanfan Chen; Philip A. Bernstein; Jialin Li 001; Qizhen Zhang 001 (CoRR, 2025)

Concurrency Testing in the Linux Kernel via eBPF. - Jiacheng Xu; Dylan Wolff; Xing Yi Han; Jialin Li 001; Abhik Roychoudhury (CoRR, 2025)