Shaz Qadeer
PRINCIPAL RESEARCHER
.
Contact information
- Address: One Microsoft Way, Redmond, WA 98052
- Email: last_name@microsoft.com
- Phone: (425) 707-9146
- Fax: (425) 936-7329
- Safe programming of asynchronous interaction: Can we do it for real?
- Invited Lecture, Verified Software Workshop, 2012
- QED: A simplifier for concurrent programs
- Scalable contract checking for systems software using SMT solvers
- Invited Lecture, International Static Analysis Symposium (SAS), 2009
- Taming concurrency: A program verification perspective
- Distinguished Lecture, Computer Science Department, Princeton University, December 2007
- Invited Lecture, International Conference on Concurrency Theory (CONCUR), August 2008
- Algorithmic verification of concurrent programs
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.
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.
Projects
Selected talks
Publications
- Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey, P: Safe Asynchronous Event-Driven Programming, in Programming Languages Design and Implementation (PLDI) 2013, ACM, June 2013
- Michael Emmi, Akash Lal, and Shaz Qadeer, Asynchronous programs with prioritized task buffers, in Foundations of Software Engineering (FSE), November 2012
- Akash Lal, Shaz Qadeer, and Shuvendu Lahiri, Corral: A Solver for Reachability Modulo Theories, in Computer-Aided Verification (CAV), July 2012
- Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, and Shaz Qadeer, RADISH: Always-On Sound and Complete Race Detection in Software and Hardware, in Proceedings of the 39th International Symposium on Computer Architecture, IEEE, June 2012
- 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
- 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
- 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
