| 2008 |
|---|
| 4 | EE | Haibing Guan,
Bo Liu,
Tingtao Li,
Alei Liang:
Multithreaded Optimizing Technique for Dynamic Binary Translator CrossBit.
CSSE (5) 2008: 945-952 |
| 3 | EE | Zhengwei Qi,
Liang Liu,
Alei Liang,
Hao Wang,
Ying Chen:
An Online Model Checking Tool for Safety and Liveness Bugs.
ICPADS 2008: 493-500 |
| 2007 |
|---|
| 2 | EE | Alei Liang,
Kejia Liu,
Xiaoyong Li,
Haibing Guan:
FATTY: A Reliable FAT File System.
DSD 2007: 390-395 |
| 1 | EE | Huihui Shi,
Yi Wang,
Haibing Guan,
Alei Liang:
An intermediate language level optimization framework for dynamic binary translation.
SIGPLAN Notices 42(5): 3-9 (2007) |
