Generalized Concurrency Testing Tool for Distributed Systems.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Bandwidth-Aware Page Placement in NUMA.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020
Client-side routing-agnostic gateway selection for heterogeneous Wireless Mesh Networks.
Proceedings of the 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), 2017
Managing Object Versioning in Geo-Distributed Object Storage Systems.
Proceedings of the ACM 7th Workshop on Scientific Cloud Computing, 2016
Multi-focused Proofs with Different Polarity Assignments.
Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015
A Name Is Not A Name: The Implementation Of A Cloud Storage System.
Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015