Shaz Qadeer
SR. RESEARCHER
.
Contact information
- Address: One Microsoft Way, Redmond, WA 98052
- Email: last_name@microsoft.com
- Phone: (425) 707-9146
- Fax: (425) 936-7329
Research interests
I am a member of the Software Reliability Research group at Microsoft Research. My work aims to improve software reliability by providing programmers with automated tools to analyze their programs. I am interested in a variety of program analysis techniques, such as model checking, automated theorem proving, type systems, and run-time verification. Most of my work has focused on applying these techniques to analysis of concurrent software.
Projects
Selected talks
- Invited Lecture, International Static Analysis Symposium (SAS), 2009
- Distinguished Lecture, Computer Science Department, Princeton University, December 2007
- Invited Lecture, International Conference on Concurrency Theory (CONCUR), August 2008
Teaching
- MSR India Summer School on Programming Languages, Analysis and Verification, Indian Institute of Science Bangalore, June 2008.
- Escuela de Ciencias Informáticas, University of Buenos Aires, July 2007.
- First International Summer School on Emerging Trends in Concurrency, July 2006.
- Summer School on Language-Based Techniques for Concurrent and Distributed Software, University of Oregon, July 2006.
- Formal Verification of Computer Systems (CSE 599F), University of Washington, Spring 2006.
Publications
- Shuvendu K. Lahiri and Shaz Qadeer, Complexity and algorithms for monomial and clausal predicate abstraction, in International Conference on Automated Deduction (CADE '09), Springer Verlag, March 2009
- Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, and Thomas Wies, Intra-Module Inference, in Computer Aided Verification (CAV '09), Springer Verlag, February 2009
- Shuvendu K. Lahiri, Shaz Qadeer, and Zvonimir Rakamaric, Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers, in Computer Aided Verification (CAV '09), Springer Verlag, February 2009
- Tayfun Elmas, Shaz Qadeer, and Serdar Tasiran, A calculus of atomic actions, in ACM Symposium on Principles of Programming Languages, Association for Computing Machinery, Inc., January 2009
- Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, and Shaz Qadeer, Unifying Type Checking and Property Checking for Low-Level Code, in Principles of Programming Languages (POPL '09), Association for Computing Machinery, Inc., January 2009
- Madanlal Musuvathi, Shaz Qadeer, Tom Ball, Gerard Basler, Piramanayakam Arumuga Nainar, and Iulian Neamtiu, Finding and Reproducing Heisenbugs in Concurrent Programs, in OSDI 08: Eigth Symposium on Operating Systems Design & Implementation, USENIX, December 2008
- Madanlal Musuvathi and Shaz Qadeer, Fair stateless model checking, in PLDI 08: Programming Language Design and Implementation, Association for Computing Machinery, Inc., June 2008
- Shuvendu Lahiri and Shaz Qadeer, Back to the Future: Revisiting Precise Program Verification using SMT Solvers, in Principles of Programming Languages (POPL '08), Association for Computing Machinery, Inc., January 2008
- Madanlal Musuvathi and Shaz Qadeer, Iterative context bounding for systematic testing of multithreaded programs, in PLDI 07: Programming Language Design and Implementation, Association for Computing Machinery, Inc., June 2007
- Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, and Zvonimir Rakamaric, A Reachability Predicate for Analyzing Low-Level Software, in Tools and Algorithms for the Construction and Analysis of Systems (TACAS '07), Springer Verlag, April 2007



