Shaz Qadeer
SENIOR 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 Research in Software Engineering group at Microsoft Research. My work aims to improve software reliability by providing programmers with automated tools to analyze their programs. Most of my work has focused on analysis of concurrent software.
News
- Goldilocks: A race-aware runtime for Java appears in Communications of the ACM
- I am Program co-Chair for CAV 2011; consider submitting your work there
- Find out how to shop for free online (paper, video, press)
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
- Rui Wang, Shuo Chen, XiaoFeng Wang, and Shaz Qadeer, How to Shop for Free Online – Security Analysis of Cashier-as-a-Service Based Web Stores, in Proceedings of the IEEE Symposium on Security and Privacy (Oakland) (Best Practical Paper award), IEEE Computer Society, May 2011
- Michael Emmi, Shaz Qadeer, and Zvonimir Rakamaric, Delay-bounded scheduling, in Proceedings of the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Association for Computing Machinery, Inc., January 2011
- Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, and Julien Vanegue, Towards scalable modular checking of user-defined properties, in Verified Software: Theories, Tools and Experiments (VSTTE 2010), Springer Verlag, August 2010
- Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, and Hans-J. Boehm, Conflict Exceptions: Simplifying Concurrent Language Semantics with Precise Hardware Exceptions for Data-Races, in ISCA 2010 (International Symposium on Computer Architecture), Association for Computing Machinery, Inc., June 2010
- Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madanlal Musuvathi, and Shaz Qadeer, Preemption Sealing for Efficient Concurrency Testing, in Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Verlag, April 2010
- Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, and Serdar Tasiran, Simplifying Linearizability Proofs with Reduction and Abstraction, in Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Verlag, April 2010
- Shuvendu Lahiri, Alexander Malkis, and Shaz Qadeer, Abstract Threads, in Conference on Verification, Model Checking, and Abstract Interpretation, Springer Verlag, January 2010
- Mohamed Faouzi Atig, Ahmed Bouajjani, and Shaz Qadeer, Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads, in Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Verlag, April 2009
- 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
