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.
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.
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.
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.
VIS: A System for Verification and Synthesis
Robert K. Brayton;Gary D. Hachtel;Alberto L. Sangiovanni-Vincentelli;Fabio Somenzi.
computer aided verification (1996)
Piranha: a scalable architecture based on single-chip multiprocessing
Luiz André Barroso;Kourosh Gharachorloo;Robert McNamara;Andreas Nowatzyk.
international symposium on computer architecture (2000)
Finding and reproducing Heisenbugs in concurrent programs
Madanlal Musuvathi;Shaz Qadeer;Thomas Ball;Gerard Basler.
operating systems design and implementation (2008)
Iterative context bounding for systematic testing of multithreaded programs
Madanlal Musuvathi;Shaz Qadeer.
programming language design and implementation (2007)
MOCHA: Modularity in Model Checking
R. Alur;T. A. Henzinger;F. Y. C. Mang;S. Qadeer.
computer aided verification (1998)
A type and effect system for atomicity
Cormac Flanagan;Shaz Qadeer.
programming language design and implementation (2003)
Context-Bounded model checking of concurrent software
Shaz Qadeer;Jakob Rehof.
tools and algorithms for construction and analysis of systems (2005)
Predicate abstraction for software verification
Cormac Flanagan;Shaz Qadeer.
symposium on principles of programming languages (2002)
You Assume, We Guarantee: Methodology and Case Studies
Thomas A. Henzinger;Shaz Qadeer;Sriram K. Rajamani.
computer aided verification (1998)
KISS: keep it simple and sequential
Shaz Qadeer;Dinghao Wu.
programming language design and implementation (2004)
Microsoft (United States)
Institute of Science and Technology Austria
Microsoft (United States)
University of California, Santa Cruz
Microsoft (United States)
University of California, Berkeley
University of California, Berkeley
Microsoft (United States)
Université Paris Cité
University of Utah
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.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: