Wei Su

Wei Su

Facebook Inc - Camridge / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 5153834
person_outline Wei Su's MOST POPULAR ARTICLES
1-) Model-checking support for file system developmentW Su, Y Liu, G Ganesan, G Holzmann, S Smolka, E Zadok, G KuenningProceedings of the 13th ACM Workshop on Hot Topics in Storage and File …, 202142021
2-) Metis: file system model checking via versatile input and state explorationY 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, 202432024
3-) SpecNFS: a challenge dataset towards extracting formal models from natural language specificationsS Ghosh, A Singh, A Merenstein, W Su, SA Smolka, E Zadok, ...Proceedings of the Thirteenth Language Resources and Evaluation Conference …, 202232022
4-) Supporting transactions for bulk NFSv4 compoundsW Su, A Aurora, M Chen, E ZadokProceedings of the 13th ACM International Systems and Storage Conference, 75-86, 202022020
5-) Dual-Scheme Block Management to Trade Off Storage Overhead, Performance and ReliabilityR Xue, Z Guan, Z Dong, W SuData Science: 4th International Conference of Pioneering Computer Scientists …, 201812018