D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index 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. Citations Publications World Ranking National Ranking
Computer Science D-index 51 Citations 11,641 143 World Ranking 2776 National Ranking 1472

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Algorithm

His primary areas of study are Programming language, Model checking, Concurrency, Thread and Correctness. Many of his studies on Programming language involve topics that are commonly interrelated, such as Reachability. His Model checking study is related to the wider topic of Theoretical computer science.

His Concurrency study combines topics in areas such as Program analysis, Software verification, Software, Transaction processing and Context switch. The concepts of his Thread study are interwoven with issues in Modular design, Debugging, Undecidable problem and Parallel computing. His research integrates issues of Nondeterministic algorithm and Atomicity in his study of Correctness.

His most cited work include:

  • VIS: A System for Verification and Synthesis (547 citations)
  • Piranha: a scalable architecture based on single-chip multiprocessing (529 citations)
  • Finding and reproducing Heisenbugs in concurrent programs (469 citations)

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

Shaz Qadeer focuses on Programming language, Concurrency, Theoretical computer science, Model checking and Thread. His Reachability research extends to Programming language, which is thematically connected. His work carried out in the field of Concurrency brings together such families of science as Concurrent computing, Executable, Software, Semantics and Scheduling.

Shaz Qadeer interconnects Heap, Algorithm, Finite-state machine and State space in the investigation of issues within Theoretical computer science. The Model checking study which covers Formal verification that intersects with Formal specification and Software verification. He has researched Thread in several fields, including Scalability, Parallel computing, Java, Atomicity and Context switch.

He most often published in these fields:

  • Programming language (49.71%)
  • Concurrency (29.48%)
  • Theoretical computer science (26.59%)

What were the highlights of his more recent work (between 2014-2020)?

  • Programming language (49.71%)
  • Software engineering (10.98%)
  • Distributed computing (6.94%)

In recent papers he was focusing on the following fields of study:

His main research concerns Programming language, Software engineering, Distributed computing, Implementation and Concurrency. His research ties Predicate and Programming language together. His study focuses on the intersection of Software engineering and fields such as Automation with connections in the field of Control flow and Verification problem.

His Distributed computing study incorporates themes from Model checking, State, Benchmark and Knowledge-based systems. His research in Model checking intersects with topics in Reactive system, Scalability and Brute-force search. His Concurrency study integrates concerns from other disciplines, such as Commutative property, Formal verification and CUDA, Parallel computing.

Between 2014 and 2020, his most popular works were:

  • DRONA: a framework for safe distributed mobile robotics (54 citations)
  • The Design and Implementation of a Verification Technique for GPU Kernels (35 citations)
  • Automated and Modular Refinement Reasoning for Concurrent Programs (32 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Algorithm

His primary scientific interests are in Modular design, Programming language, Compiler, Distributed computing and Robot. His Modular design research integrates issues from Synchronization, Computation and Benchmark. His Programming language research is multidisciplinary, incorporating elements of Exploit and Automaton.

His study looks at the relationship between Compiler and topics such as Robot kinematics, which overlap with Embedded system. His work investigates the relationship between Distributed computing and topics such as Interface that intersect with problems in Model checking. As part of one scientific family, Shaz Qadeer deals mainly with the area of Model checking, narrowing it down to issues related to the Operational semantics, and often Concurrency.

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)

941 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)

772 Citations

Finding and reproducing Heisenbugs in concurrent programs

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

665 Citations

Iterative context bounding for systematic testing of multithreaded programs

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

535 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)

482 Citations

Context-Bounded model checking of concurrent software

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

460 Citations

Predicate abstraction for software verification

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

374 Citations

You Assume, We Guarantee: Methodology and Case Studies

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

311 Citations

KISS: keep it simple and sequential

Shaz Qadeer;Dinghao Wu.
programming language design and implementation (2004)

294 Citations

Best Scientists Citing Shaz Qadeer

Chao Wang

Chao Wang

Chinese Academy of Sciences

Publications: 57

Ganesh Gopalakrishnan

Ganesh Gopalakrishnan

University of Utah

Publications: 49

Ahmed Bouajjani

Ahmed Bouajjani

Université Paris Cité

Publications: 48

Daniel Kroening

Daniel Kroening

Amazon (United States)

Publications: 47

Fabio Somenzi

Fabio Somenzi

University of Colorado Boulder

Publications: 47

Aarti Gupta

Aarti Gupta

Princeton University

Publications: 46

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 45

Cormac Flanagan

Cormac Flanagan

University of California, Santa Cruz

Publications: 39

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 38

Parosh Aziz Abdulla

Parosh Aziz Abdulla

Uppsala University

Publications: 38

P. Madhusudan

P. Madhusudan

University of Illinois at Urbana-Champaign

Publications: 38

Mooly Sagiv

Mooly Sagiv

Tel Aviv University

Publications: 36

Shuvendu K. Lahiri

Shuvendu K. Lahiri

Microsoft (United States)

Publications: 35

Thomas Reps

Thomas Reps

University of Wisconsin–Madison

Publications: 34

Rajeev Alur

Rajeev Alur

University of Pennsylvania

Publications: 32

Koushik Sen

Koushik Sen

University of California, Berkeley

Publications: 31

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-index is inferred from publications deemed to belong to the considered discipline.

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

Contact us
Something went wrong. Please try again later.