2005 |
17 | EE | John P. Dougherty,
David Wonnacott:
Use and assessment of a rigorous approach to CS1.
SIGCSE 2005: 251-255 |
16 | EE | Chen Fu,
Ana Milanova,
Barbara G. Ryder,
David Wonnacott:
Robustness Testing of Java Server Applications.
IEEE Trans. Software Eng. 31(4): 292-311 (2005) |
2004 |
15 | EE | Chen Fu,
Barbara G. Ryder,
Ana Milanova,
David Wonnacott:
Testing of java web services for robustness.
ISSTA 2004: 23-34 |
2003 |
14 | EE | Chen Fu,
Richard P. Martin,
Kiran Nagaraja,
Thu D. Nguyen,
Barbara G. Ryder,
David Wonnacott:
Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services.
DSN 2003: 595-604 |
2002 |
13 | EE | Robert Seater,
David Wonnacott:
Efficient Manipulation of Disequalities During Dependence Analysis.
LCPC 2002: 295-308 |
12 | | David Wonnacott:
Achieving Scalable Locality with Time Skewing.
International Journal of Parallel Programming 30(3): 1-221 (2002) |
2001 |
11 | EE | David Wonnacott:
Using Accessory Functions to Generalize Dynamic Dispatch in Single-Dispatch Object-Oriented Languages.
COOTS 2001: 93-102 |
10 | EE | Robert Seater,
David Wonnacott:
Polynomial Time Array Dataflow Analysis.
LCPC 2001: 411-426 |
2000 |
9 | EE | David Wonnacott:
Using Time Skewing to Eliminate Idle Time due to Memory Bandwidth and Network Limitations.
IPDPS 2000: 171-180 |
8 | EE | David Wonnacott:
Extending Scalar Optimizations for Arrays.
LCPC 2000: 97-111 |
1999 |
7 | EE | David Wonnacott:
Time Skewing for Parallel Computers.
LCPC 1999: 477-480 |
1998 |
6 | EE | William Pugh,
David Wonnacott:
Constraint-Based Array Dependence Analysis.
ACM Trans. Program. Lang. Syst. 20(3): 635-678 (1998) |
1995 |
5 | EE | William Pugh,
David Wonnacott:
Going Beyond Integer Programming with the Omega Test to Eliminate False Data Dependences.
IEEE Trans. Parallel Distrib. Syst. 6(2): 204-211 (1995) |
1994 |
4 | | William Pugh,
David Wonnacott:
Experiences with Constraint-based Array Dependence Analysis.
PPCP 1994: 312-325 |
3 | EE | William Pugh,
David Wonnacott:
Static Analysis of Upper and Lower Bounds on Dependences and Parallelism.
ACM Trans. Program. Lang. Syst. 16(4): 1248-1278 (1994) |
1993 |
2 | | William Pugh,
David Wonnacott:
An Exact Method for Analysis of Value-based Array Data Dependences.
LCPC 1993: 546-566 |
1992 |
1 | | William Pugh,
David Wonnacott:
Eliminating False Data Dependences using the Omega Test.
PLDI 1992: 140-151 |