| 2009 | ||
|---|---|---|
| 3 | Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic: SoftBound: highly compatible and complete spatial memory safety for c. PLDI 2009: 245-258 | |
| 2008 | ||
| 2 | Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic: AURA: a programming language for authorization and audit. ICFP 2008: 27-38 | |
| 2004 | ||
| 1 | Jianzhou Zhao, Jinian Bian, Weimin Wu: PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie. COMPSAC 2004: 108-113 | |
| 1 | Jinian Bian | [1] |
| 2 | Limin Jia | [2] |
| 3 | Milo M. K. Martin | [3] |
| 4 | Karl Mazurak | [2] |
| 5 | Santosh Nagarakatte | [3] |
| 6 | Joseph Schorr | [2] |
| 7 | Jeffrey A. Vaughan | [2] |
| 8 | Weimin Wu | [1] |
| 9 | Luke Zarko | [2] |
| 10 | Steve Zdancewic | [2] [3] |