| |
| 2008 | ||
|---|---|---|
| 4 | EE | Kaiyu Chen, Sharad Malik, Priyadarsan Patra: Runtime validation of memory ordering using constraint graph checking. HPCA 2008: 415-426 |
| 3 | EE | Kaiyu Chen, Sharad Malik, Priyadarsan Patra: Runtime Validation of Transactional Memory Systems. ISQED 2008: 750-756 |
| 2006 | ||
| 2 | EE | Kaiyu Chen, Sharad Malik: Dependable Multithreaded Processing Using Runtime Validation. PRDC 2006: 275-286 |
| 2001 | ||
| 1 | Kaiyu Chen, Sharad Malik, David I. August: Retargetable static timing analysis for embedded software. ISSS 2001: 39-44 | |
| 1 | David I. August | [1] |
| 2 | Sharad Malik | [1] [2] [3] [4] |
| 3 | Priyadarsan Patra | [3] [4] |