 | 2006 |
|---|
| 6 |       | Steve MacDonald,
Jun Chen,
Diego Novillo:
Deterministically Executing Concurrent Programs for Testing and Debugging.
Software Engineering Research and Practice 2006: 844-850 |
| 2005 |
|---|
| 5 |  | Steve MacDonald,
Jun Chen,
Diego Novillo:
Choosing Among Alternative Futures.
Haifa Verification Conference 2005: 247-264 |
| 2000 |
|---|
| 4 | | Diego Novillo,
Ronald C. Unrau,
Jonathan Schaeffer:
Identifying and Validating Irregular Mutual Exclusion Synchronization in Explicitly Parallel Programs (Research Note).
Euro-Par 2000: 389-394 |
| 3 | | Diego Novillo,
Ronald C. Unrau,
Jonathan Schaeffer:
Optimizing Mutual Exclusion Synchronization in Explicitly Parallel Programs.
LCR 2000: 128-142 |
| 1998 |
|---|
| 2 | | Diego Novillo,
Ronald C. Unrau,
Jonathan Schaeffer:
Concurrent SSA Form in the Presence of Mutual Exclusion.
ICPP 1998: 356- |
| 1995 |
|---|
| 1 | | David R. Woloschuk,
Paul Iglinski,
Steve MacDonald,
Diego Novillo,
Ian Parsons,
Jonathan Schaeffer,
Duane Szafron:
Performance debugging in the enterprise parallel programming system.
CASCON 1995: 61 |
