| 2004 |
|---|
| 6 | EE | Nurit Dor,
Stephen Adams,
Manuvir Das,
Zhe Yang:
Software validation via scalable path-sensitive value flow analysis.
ISSTA 2004: 12-22 |
| 5 | EE | Roman Manevich,
Manu Sridharan,
Stephen Adams,
Manuvir Das,
Zhe Yang:
PSE: explaining program failures via postmortem static analysis.
SIGSOFT FSE 2004: 63-72 |
| 2002 |
|---|
| 4 | EE | Stephen Adams,
Thomas Ball,
Manuvir Das,
Sorin Lerner,
Sriram K. Rajamani,
Mark Seigle,
Westley Weimer:
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis.
SAS 2002: 230-246 |
| 3 | EE | Stephen Adams:
Information Sources on Post-Grant Actions to Pharmaceutical Patents.
Journal of Chemical Information and Computer Sciences 42(3): 467-472 (2002) |
| 1998 |
|---|
| 2 | | Stephen Adams,
David De Roure:
A Simulator for an Amorphous Computer.
ESM 1998: 153-160 |
| 1993 |
|---|
| 1 | | Stephen Adams:
Efficient Sets - A Balancing Act.
J. Funct. Program. 3(4): 553-561 (1993) |
