Sparsity-Constraint Optimization via Splicing Iteration.
CoRR, 2024
skscope: Fast Sparsity-Constrained Optimization in Python.
CoRR, 2024
Path-specific Information Flow Analysis for RSA Hardware Timing Channel Security Verification.
Proceedings of the 24th IEEE International Conference on Communication Technology, 2024
Practical Experience Report: Cassandra+: Trading-Off Consistency, Latency, and Fault-tolerance in Cassandra.
Proceedings of the ICDCN '21: International Conference on Distributed Computing and Networking, 2021
Resilient Distributed Causal Memory in Client-Server Model.
Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019
A Distributed System for Reducing Uploaded Data Redundancy in Vehicular Networks.
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019
Distributed Causal Memory in the Presence of Byzantine Servers.
Proceedings of the 18th IEEE International Symposium on Network Computing and Applications, 2019