| Model-checking support for file system development W Su, Y Liu, G Ganesan, G Holzmann, S Smolka, E Zadok, G Kuenning Proceedings of the 13th ACM Workshop on Hot Topics in Storage and File …, 2021 | 6 | 2021 |
| Metis: file system model checking via versatile input and state exploration Y Liu, M Adkar, G Holzmann, G Kuenning, P Liu, SA Smolka, W Su, ... 22nd USENIX Conference on File and Storage Technologies (FAST 24), 123-140, 2024 | 3 | 2024 |
| SpecNFS: a challenge dataset towards extracting formal models from natural language specifications S Ghosh, A Singh, A Merenstein, W Su, SA Smolka, E Zadok, ... Proceedings of the Thirteenth Language Resources and Evaluation Conference …, 2022 | 3 | 2022 |
| Supporting transactions for bulk NFSv4 compounds W Su, A Aurora, M Chen, E Zadok Proceedings of the 13th ACM International Systems and Storage Conference, 75-86, 2020 | 2 | 2020 |
| Dual-Scheme Block Management to Trade Off Storage Overhead, Performance and Reliability R Xue, Z Guan, Z Dong, W Su Data Science: 4th International Conference of Pioneering Computer Scientists …, 2018 | 1 | 2018 |
| LMCC: Lazy Message and Centralized Cache for Asynchronous Graph Computing ZDB Ruini Xue, W Su, X Li Algorithms and Architectures for Parallel Processing: 18th International …, 2018 | | 2018 |
| LMCC: Lazy Message and Centralized Cache for Asynchronous Graph Computing R Xue, Z Dong, W Su, X Li International Conference on Algorithms and Architectures for Parallel …, 2018 | | 2018 |
