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.
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
Rajeev Alur;Thomas A. Henzinger;Freddy Y. C. Mang;Shaz Qadeer.
computer aided verification (1998)
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)
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:
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
University of New South Wales
National Autonomous University of Mexico
University of Pennsylvania
University of Neuchâtel
Universitat Politècnica de València
Murdoch University
University of Regensburg
Georgia Institute of Technology
North Carolina Wildlife Resources Commission
Umeå University
University of Bergen
Open University of the Netherlands
McGill University
Kyoto University
University of Colorado Boulder
University of Utah