Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. - Stephen Adams 001; Thomas Ball 001; Manuvir Das; Sorin Lerner; Sriram K. Rajamani; Mark Seigle; Westley Weimer (SAS, 2002)

Software validation via scalable path-sensitive value flow analysis. - Nurit Dor; Stephen Adams 001; Manuvir Das; Zhe Yang 001 (ISSTA, 2004)

PSE: explaining program failures via postmortem static analysis. - Roman Manevich; Manu Sridharan; Stephen Adams 001; Manuvir Das; Zhe Yang 001 (SIGSOFT FSE, 2004)

FlumeJava: easy, efficient data-parallel pipelines. - Craig Chambers; Ashish Raniwala; Frances Perry; Stephen Adams 001; Robert R. Henry 001; Robert Bradshaw; Nathan Weizenbaum (PLDI, 2010)