| Feb 27, 2025 | Our paper entitled ‘CMFuzz: Parallel Fuzzing of IoT Protocols by Configuration Model Identification and Scheduling’ got accepted by DAC 2025!!!   |
| Feb 24, 2025 | Our paper entitled ‘Chord: Towards a Unified Detection of Blockchain Transaction Parallelism Bugs’ got accepted by ICSE 2025!!! |
| Jan 24, 2025 | Our paper entitled ‘Finding Metadata Inconsistencies in Distributed File Systems via Cross-Node Operation Modeling’ got accepted by USENIX Security 2025!!! |
| Sep 25, 2024 | Our paper entitled ‘Themis: Finding Imbalance Failures in Distributed File Systems via a Load Variance Model’ got accepted by EuroSys 2025!!! |