Jialin Li

Orcid: 0000-0003-3530-7662

Affiliations:

National University of Singapore, School of Computing
University of Washington, USA (former)

According to our database¹, Jialin Li authored at least 31 papers between 2014 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

SplitSim: Large-Scale Simulations for Evaluating Network Systems Research.

[BibT_eX]

[DOI]

Hejing Li

Praneeth Balasubramanian

Marvin Meiers

Jialin Li

Antoine Kaufmann

CoRR, 2024

2023

TEE-based General-purpose Computational Backend for Secure Delegated Data Processing.

[BibT_eX]

[DOI]

Proc. ACM Manag. Data, December, 2023

P4SGD: Programmable Switch Enhanced Model-Parallel Training on Generalized Linear Models on Distributed FPGAs.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., August, 2023

Vault: Decentralized Storage Made Durable.

[BibT_eX]

[DOI]

CoRR, 2023

Chrono: A Peer-to-Peer Network with Verifiable Causality.

[BibT_eX]

[DOI]

CoRR, 2023

P4SGD: Programmable Switch Enhanced Model-Parallel Training on Generalized Linear Models on Distributed FPGAs.

[BibT_eX]

[DOI]

CoRR, 2023

Protected Data Plane OS Using Memory Protection Keys and Lightweight Activation.

[BibT_eX]

[DOI]

CoRR, 2023

NeoBFT: Accelerating Byzantine Fault Tolerance Using Authenticated In-Network Ordering.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

Network Load Balancing with In-network Reordering Support for RDMA.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

Hydra: Serialization-Free Network Ordering for Strongly Consistent Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

Capybara: μSecond-Scale Live TCP Migration.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on Systems, 2023

2022

Linear types for large-scale systems verification.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

The Case for Accelerating BFT Protocols Using In-Network Ordering.

[BibT_eX]

[DOI]

CoRR, 2022

SimBricks: end-to-end network system evaluation with modular simulation.

[BibT_eX]

[DOI]

Hejing Li

Jialin Li

Antoine Kaufmann

Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022

Linear-time Temporal Logic guided Greybox Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing.

[BibT_eX]

[DOI]

CoRR, 2021

Revisiting Heavy-Hitter Detection on Commodity Programmable Switches.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Network Softwarization, 2021

In-Network Applications: Beyond Single Switch Pipelines.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Network Softwarization, 2021

An incremental path towards a safer OS kernel.

[BibT_eX]

[DOI]

Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

2020

Reproducible Host Networking Evaluation with End-to-End Simulation.

[BibT_eX]

[DOI]

CoRR, 2020

Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Meerkat: multicore-scalable replicated transactions following the zero-coordination principle.

[BibT_eX]

[DOI]

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2019

Co-Designing Distributed Systems with Programmable Network Hardware.

[BibT_eX]

[DOI]

Jialin Li

PhD thesis, 2019

Harmonia: Near-Linear Scalability for Replicated Storage with In-Network Conflict Detection.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2019

2017

Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control.

[BibT_eX]

[DOI]

Jialin Li

Ellis Michael

Dan R. K. Ports

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

2016

Arrakis: The Operating System Is the Control Plane.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2016

Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering.

[BibT_eX]

[DOI]

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Specifying and Checking File System Crash-Consistency Models.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

Designing Distributed Systems Using Approximate Synchrony in Data Center Networks.

[BibT_eX]

[DOI]

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2014

Towards High-Performance Application-Level Storage Management.

[BibT_eX]

[DOI]

Proceedings of the 6th USENIX Workshop on Hot Topics in Storage and File Systems, 2014

Tales of the Tail: Hardware, OS, and Application-level Sources of Tail Latency.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Cloud Computing, 2014

Jialin Li

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...