William W. Pugh

Information Systems · 1989–2008

A researcher in the Science corpus: 3 papers; trusts 17 researchers and is trusted by 63 researchers here, as inferred from the citation graph.

Subfields

• Information Systems — 6 citations into it; #1,396 of 8,771 by trust here, #2,741 by citations
• Software — 6 citations into it; #195 of 1,227 by trust here, #394 by citations
• Artificial Intelligence — 5 citations into it

Whom William W. Pugh trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Greg Nelson
2. Dawson R. Engler
3. Thomas Ball
4. Sudheendra Hangal
5. Seth Hallem
6. Jeffrey S. Foster
7. Manuvir Das
8. B. Chelf
9. Donald Ervin Knuth
10. Jong-Deok Choi

Who trusts William W. Pugh overall

1. Kenneth L. Clarkson
2. Keir Fraser
3. Ke Li
4. Michael E. Houle
5. Petros Maniatis
6. Sunil Arya
7. James Aspnes
8. Justin J. Levandoski
9. Danny Hendler
10. Roxana Geambasu

Papers from William W. Pugh's perspective

Ordered by how strongly the researchers William W. Pugh trusts endorse each paper. Same corpus, a different order for every researcher.

1. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
2. Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
4. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
6. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
7. The SLAM project: debugging system software via static analysis
8. Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
9. RacerX: effective, static detection of race conditions and deadlocks (Symposium on Operating Systems Principles)
10. A comparison of bug finding tools for Java (IEEE International Symposium on Software Reliability Engineering)

Their papers

• Using Static Analysis to Find Bugs (2008) — 601 citations
• Finding bugs is easy (2004) — 948 citations
• Skip lists: a probabilistic alternative to balanced trees (1989)