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.
