Shaz Qadeer

Hardware and Architecture · 2000–2008

A researcher in the Science corpus: 7 papers; trusts 30 researchers and is trusted by 26 researchers here, as inferred from the citation graph.

Subfields

• Hardware and Architecture — 22 citations into it; #161 of 1,551 by trust here, #341 by citations
• Artificial Intelligence — 21 citations into it; #19,595 of 35,345 by trust here, #28,481 by citations
• Software — 18 citations into it; #263 of 1,227 by trust here, #558 by citations
• Computational Theory and Mathematics — 14 citations into it; #1,931 of 12,182 by trust here, #3,681 by citations
• Computer Networks and Communications — 10 citations into it
• Information Systems — 10 citations into it; #3,105 of 8,771 by trust here, #6,770 by citations

Whom Shaz Qadeer trusts overall

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

1. Cormac Flanagan
2. Manuvir Das
3. Greg Nelson
4. Dawson R. Engler
5. Thomas Ball
6. Edmund M. Clarke
7. Christoph von Praun
8. Stephen N. Freund
9. Jong-Deok Choi
10. Chandrasekhar Boyapati

Who trusts Shaz Qadeer overall

1. M. Musuvathi
2. Herb Sutter
3. Koushik Sen
4. Jan Wen Voung
5. Ranjit Jhala
6. Cormac Flanagan
7. Thomas Ball
8. Corneliu Popeea
9. J. Larus
10. Jakob Rehof

Papers from Shaz Qadeer's perspective

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

1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
4. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
5. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
6. Lazy abstraction
7. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
8. Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
9. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
10. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers

• KISS: keep it simple and sequential (2004) — 323 citations
• Predicate abstraction for software verification (2002) — 332 citations
• Context-Bounded Model Checking of Concurrent Software (2005) — 424 citations
• Iterative context bounding for systematic testing of multithreaded programs (2007) — 503 citations
• Finding and Reproducing Heisenbugs in Concurrent Programs (2008) — 627 citations
• A type and effect system for atomicity (2003) — 404 citations
• Piranha: a scalable architecture based on single-chip multiprocessing (2000) — 600 citations