Shaz Qadeer

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name Citations Publications World Ranking National Ranking

Computer Science D-index 51 Citations 11,761 169 World Ranking 3488 National Ranking 1788

Overview

What are the main themes of his work throughout his whole career to date

His Theoretical computer science study often links to related topics such as Symbolic trajectory evaluation. He integrates Symbolic trajectory evaluation and Symbolic execution in his studies. His research on Symbolic execution frequently connects to adjacent areas such as Software. He undertakes interdisciplinary study in the fields of Software and Algorithm through his research. In his articles, he combines various disciplines, including Algorithm and Partial order reduction. In most of his Partial order reduction studies, his work intersects topics such as State space. State space and Statistics are commonly linked in his work. His Statistics study frequently links to related topics such as Symbolic data analysis. As part of his studies on Symbolic data analysis, he often connects relevant subjects like Theoretical computer science.

Shaz Qadeer most often published in these fields:

Theoretical computer science (100.00%)
Programming language (100.00%)
Concurrency (66.67%)

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

VIS: A System for Verification and Synthesis

Robert K. Brayton;Gary D. Hachtel;Alberto L. Sangiovanni-Vincentelli;Fabio Somenzi.
computer aided verification (1996)

957 Citations

Piranha: a scalable architecture based on single-chip multiprocessing

Luiz André Barroso;Kourosh Gharachorloo;Robert McNamara;Andreas Nowatzyk.
international symposium on computer architecture (2000)

777 Citations

Finding and reproducing Heisenbugs in concurrent programs

Madanlal Musuvathi;Shaz Qadeer;Thomas Ball;Gerard Basler.
operating systems design and implementation (2008)

685 Citations

Iterative context bounding for systematic testing of multithreaded programs

Madanlal Musuvathi;Shaz Qadeer.
programming language design and implementation (2007)

548 Citations

MOCHA: Modularity in Model Checking

Rajeev Alur;Thomas A. Henzinger;Freddy Y. C. Mang;Shaz Qadeer.
computer aided verification (1998)

534 Citations

MOCHA: Modularity in Model Checking

R. Alur;T. A. Henzinger;F. Y. C. Mang;S. Qadeer.
computer aided verification (1998)

512 Citations

A type and effect system for atomicity

Cormac Flanagan;Shaz Qadeer.
programming language design and implementation (2003)

490 Citations

Context-Bounded model checking of concurrent software

Shaz Qadeer;Jakob Rehof.
tools and algorithms for construction and analysis of systems (2005)

474 Citations

Predicate abstraction for software verification

Cormac Flanagan;Shaz Qadeer.
symposium on principles of programming languages (2002)

382 Citations

You Assume, We Guarantee: Methodology and Case Studies

Thomas A. Henzinger;Shaz Qadeer;Sriram K. Rajamani.
computer aided verification (1998)

329 Citations

If you think any of the details on this page are incorrect, let us know.

Shaz Qadeer

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Overview

What are the main themes of his work throughout his whole career to date

Shaz Qadeer most often published in these fields:

Best Publications

Report an issue

Frequent Co-Authors

External Links

Best Scientists Citing Shaz Qadeer

Trending Scientists