Shaz Qadeer - RankMe

146 papers A* 44A 18B 15C 4Journal 28Unranked 34

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Reduction for Structured Concurrent Programs. ESOP (1) Namratha Gangamreddypalli, Constantin Enea, Shaz Qadeer
2026	J	`jnl`	Reduction for Structured Concurrent Programs. CoRR Namratha Gangamreddypalli, Constantin Enea, Shaz Qadeer
2023	J	`jnl`	Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences. J. Autom. Reason. Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
2022	J	`jnl`	Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility. ACM Trans. Program. Lang. Syst. Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
2022	—	`conf`	Fast and Reliable Formal Verification of Smart Contracts with the Move Prover. TACAS (1) David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong
2022	A	`conf`	Reasoning About Vectors Using an SMT Theory of Sequences. IJCAR Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
2022	J	`jnl`	Reasoning About Vectors using an SMT Theory of Sequences. CoRR Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
2022	J	`jnl`	The Move Borrow Checker. CoRR Sam Blackshear, John C. Mitchell, Todd Nowacki, Shaz Qadeer
2021	—	`conf`	Building Reliable Cloud Services Using Coyote Actors. SoCC Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
2021	J	`jnl`	Fast and Reliable Formal Verification of Smart Contracts with the Move Prover. CoRR David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong
2021	B	`conf`	The Civl Verifier. FMCAD Bernhard Kragl, Shaz Qadeer
2020	A*	`conf`	Armada: low-effort verification of high-performance concurrent programs. PLDI Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
2020	J	`jnl`	Building Reliable Cloud Services Using P# (Experience Report). CoRR Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
2020	B	`conf`	Exact and Linear-Time Gas-Cost Analysis. SAS Ankush Das, Shaz Qadeer
2020	A*	`conf`	Inductive sequentialization of asynchronous programs. PLDI Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer
2020	—	`conf`	Refinement for Structured Concurrent Programs. CAV (1) Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger
2020	J	`jnl`	Resources: A Safe Language Abstraction for Money. CoRR Sam Blackshear, David L. Dill, Shaz Qadeer, Clark W. Barrett, John C. Mitchell, Oded Padon, Yoni Zohar
2020	—	`conf`	The Move Prover. CAV (1) Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill
2018	J	`jnl`	Compositional programming and testing of dynamic distributed systems. Proc. ACM Program. Lang. Ankush Desai, Amar Phanishayee, Shaz Qadeer, Sanjit A. Seshia
2018	—	`conf`	Layered Concurrent Programs. CAV (1) Bernhard Kragl, Shaz Qadeer
2018	—	`ch.`	Model Checking Concurrent Programs. Handbook of Model Checking Aarti Gupta, Vineet Kahlon, Shaz Qadeer, Tayssir Touili
2018	—	`conf`	On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony. CAV (2) Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer
2018	J	`jnl`	On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony. CoRR Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer
2018	—	`conf`	Programming Safe Robotics Systems: Challenges and Advances. ISoLA (2) Ankush Desai, Shaz Qadeer, Sanjit A. Seshia
2018	B	`conf`	Synchronizing the Asynchronous. CONCUR Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger
2018	A*	`conf`	Verifying Controllers Against Adversarial Examples with Bayesian Optimization. ICRA Shromona Ghosh, Felix Berkenkamp, Gireeja Ranade, Shaz Qadeer, Ashish Kapoor
2018	J	`jnl`	Verifying Controllers Against Adversarial Examples with Bayesian Optimization. CoRR Shromona Ghosh, Felix Berkenkamp, Gireeja Ranade, Shaz Qadeer, Ashish Kapoor
2017	—	`conf`	DRONA: a framework for safe distributed mobile robotics. ICCPS Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia
2017	B	`conf`	Lasso detection using partial-state caching. FMCAD Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
2017	B	`conf`	P: Modular and Safe Asynchronous Programming. RV Ankush Desai, Shaz Qadeer
2017	B	`conf`	SVAuth - A Single-Sign-On Integration Solution with Runtime Verification. RV Shuo Chen, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer
2016	—	`conf`	Self-Verifying Execution (Position Paper). SecDev Matt McCutchen, Daniel Song, Shuo Chen, Shaz Qadeer
2016	A	`conf`	Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). FAST Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
2015	—	`conf`	Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. CAV (2) Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson
2015	—	`conf`	Automated and Modular Refinement Reasoning for Concurrent Programs. CAV (2) Chris Hawblitzel, Erez Petrank, Shaz Qadeer, Serdar Tasiran
2015	A*	`conf`	DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs. PLDI Akash Lal, Shaz Qadeer
2015	A	`conf`	SMACK+Corral: A Modular Verifier - (Competition Contribution). TACAS Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
2015	A*	`conf`	Securing Multiparty Online Services Via Certification of Symbolic Transactions. IEEE Symposium on Security and Privacy Eric Yawei Chen, Shuo Chen, Shaz Qadeer, Rui Wang
2015	—	`conf`	Systematic testing of asynchronous reactive systems. ESEC/SIGSOFT FSE Ankush Desai, Shaz Qadeer, Sanjit A. Seshia
2015	J	`jnl`	The Design and Implementation of a Verification Technique for GPU Kernels. ACM Trans. Program. Lang. Syst. Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson
2014	B	`conf`	A program transformation for faster goal-directed search. FMCAD Akash Lal, Shaz Qadeer
2014	A*	`conf`	Engineering a Static Verification Tool for GPU Kernels. CAV Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer
2014	—	`ed.`	Joint Proceedings of MODELS 2014 Poster Session and the ACM Student Research Competition (SRC) co-located with the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28 - October 3, 2014. PSRC@MoDELS Stefan Sauer, Manuel Wimmer, Marcela Genero, Shaz Qadeer
2014	—	`conf`	P: a domain-specific language for asynchronous event-driven programming (invited talk abstract). WODA+PERTEA@ISSTA Shaz Qadeer
2014	—	`conf`	Powering the static driver verifier using corral. SIGSOFT FSE Akash Lal, Shaz Qadeer
2013	A	`conf`	Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. OOPSLA Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer
2013	A*	`conf`	Explicating SDKs: Uncovering Assumptions Underlying Secure Authentication and Authorization. USENIX Security Symposium Rui Wang, Yuchen Zhou, Shuo Chen, Shaz Qadeer, David Evans, Yuri Gurevich
2013	A	`conf`	Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. ESOP Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer
2013	A*	`conf`	P: safe asynchronous event-driven programming. PLDI Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey
2013	—	`conf`	Reachability Modulo Theories. RP Akash Lal, Shaz Qadeer
2013	B	`ed.`	Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers RV Shaz Qadeer, Serdar Tasiran
2012	A*	`conf`	A Solver for Reachability Modulo Theories. CAV Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri
2012	—	`conf`	Asynchronous programs with prioritized task-buffers. SIGSOFT FSE Michael Emmi, Akash Lal, Shaz Qadeer
2012	A	`conf`	GPUVerify: a verifier for GPU kernels. OOPSLA Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson
2012	J	`jnl`	Preface. Formal Methods Syst. Des. Ganesh Gopalakrishnan, Shaz Qadeer
2012	A*	`conf`	RADISH: Always-on sound and complete race detection in software and hardware. ISCA Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer
2012	J	`jnl`	Runtime verification of concurrency-specific correctness criteria. Int. J. Softw. Tools Technol. Transf. Shaz Qadeer, Serdar Tasiran
2011	—	`conf`	Call Invariants. NASA Formal Methods Shuvendu K. Lahiri, Shaz Qadeer
2011	A*	`ed.`	Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings CAV Ganesh Gopalakrishnan, Shaz Qadeer
2011	J	`jnl`	Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads Log. Methods Comput. Sci. Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer
2011	A*	`conf`	Delay-bounded scheduling. POPL Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric
2011	A*	`conf`	How to Shop for Free Online - Security Analysis of Cashier-as-a-Service Based Web Stores. IEEE Symposium on Security and Privacy Rui Wang, Shuo Chen, Xiaofeng Wang, Shaz Qadeer
2011	—	`conf`	Linear maps. PLPV Shuvendu K. Lahiri, Shaz Qadeer, David Walker
2011	C	`conf`	Poirot - A Concurrency Sleuth. ICFEM Shaz Qadeer
2011	A	`conf`	Practical parallel and concurrent programming. SIGCSE Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub
2011	J	`jnl`	Predictable and Progressive Testing of Multithreaded Code. IEEE Softw. Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer
2010	B	`conf`	Abstract Threads. VMCAI Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer
2010	A*	`conf`	Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races. ISCA Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-Juergen Boehm
2010	J	`jnl`	Goldilocks: a race-aware Java runtime. Commun. ACM Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
2010	A	`conf`	Preemption Sealing for Efficient Concurrency Testing. TACAS Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer
2010	B	`conf`	Run-Time Verification of Optimistic Concurrency. RV Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer
2010	A	`conf`	Simplifying Linearizability Proofs with Reduction and Abstraction. TACAS Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran
2010	—	`conf`	Towards Scalable Modular Checking of User-Defined Properties. VSTTE Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue
2010	—	`conf`	Tressa: Claiming the Future. VSTTE Ali Sezgin, Serdar Tasiran, Shaz Qadeer
2009	—	`conf`	09361 Abstracts Collection - Design and Validation of Concurrent Systems. Design and Validation of Concurrent Systems Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer
2009	A*	`conf`	A calculus of atomic actions. POPL Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
2009	J	`jnl`	A low-level memory model and an accompanying reachability predicate. Int. J. Softw. Tools Technol. Transf. Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
2009	B	`conf`	Algorithmic Verification of Systems Software Using SMT Solvers. SAS Shaz Qadeer
2009	—	`conf`	An annotation assistant for interactive debugging of programs with common synchronization idioms. PADTAD Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer
2009	A	`conf`	Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. CADE Shuvendu K. Lahiri, Shaz Qadeer
2009	A	`conf`	Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads. TACAS Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer
2009	—	`conf`	Deconstructing concurrency heisenbugs. ICSE Companion Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer
2009	—	`ed.`	Design and Validation of Concurrent Systems, 30.08. - 04.09.2009 Design and Validation of Concurrent Systems Cormac Flanagan, Madhusan Parthasarathy, Shaz Qadeer
2009	A*	`conf`	Intra-module Inference. CAV Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
2009	A*	`conf`	Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. CAV Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
2009	A*	`conf`	Unifying type checking and property checking for low-level code. POPL Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer
2009	—	`conf`	Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning. Design and Validation of Concurrent Systems Serdar Tasiran, Ali Sezgin, Shaz Qadeer
2008	A*	`conf`	Back to the future: revisiting precise program verification using SMT solvers. POPL Shuvendu K. Lahiri, Shaz Qadeer
2008	A*	`conf`	Fair stateless model checking. PLDI Madanlal Musuvathi, Shaz Qadeer
2008	A*	`conf`	Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu
2008	B	`conf`	Taming Concurrency: A Program Verification Perspective. CONCUR Shaz Qadeer
2008	—	`conf`	The Case for Context-Bounded Verification of Concurrent Programs. SPIN Shaz Qadeer
2008	J	`jnl`	Types for atomicity: Static checking and inference for Java. ACM Trans. Program. Lang. Syst. Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer
2007	A	`conf`	A Reachability Predicate for Analyzing Low-Level Software. TACAS Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
2007	A*	`conf`	Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. CAV Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer
2007	A*	`conf`	Goldilocks: a race and transaction-aware java runtime. PLDI Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
2007	A*	`conf`	Iterative context bounding for systematic testing of multithreaded programs. PLDI Madanlal Musuvathi, Shaz Qadeer
2006	C	`conf`	CHESS: Systematic Stress Testing of Concurrent Software. LOPSTR Madan Musuvathi, Shaz Qadeer
2006	—	`conf`	Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. FATES/RV Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
2006	A*	`conf`	Verifying properties of well-founded linked lists. POPL Shuvendu K. Lahiri, Shaz Qadeer
2005	A	`conf`	Context-Bounded Model Checking of Concurrent Software. TACAS Shaz Qadeer, Jakob Rehof
2005	J	`jnl`	Exploiting Purity for Atomicity. IEEE Trans. Software Eng. Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
2005	J	`jnl`	Modular verification of multithreaded programs. Theor. Comput. Sci. Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia
2005	—	`conf`	Sound Transaction-Based Reduction Without Cycle Detection. SPIN Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani
2005	A*	`conf`	VYRD: verifYing concurrent programs by runtime refinement-violation detection. PLDI Tayfun Elmas, Serdar Tasiran, Shaz Qadeer
2004	A*	`conf`	Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values. CAV Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang
2004	J	`jnl`	Checking Concise Specifications for Multithreaded Software. J. Object Technol. Stephen N. Freund, Shaz Qadeer
2004	A	`conf`	Exploiting purity for atomicity. ISSTA Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
2004	A*	`conf`	KISS: keep it simple and sequential. PLDI Shaz Qadeer, Dinghao Wu
2004	—	`conf`	Runtime Refinement Checking of Concurrent Data Structures. RV@ETAPS Serdar Tasiran, Shaz Qadeer
2004	A*	`conf`	Summarizing procedures in concurrent programs. POPL Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof
2004	A*	`conf`	Zing: A Model Checker for Concurrent Software. CAV Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie
2004	B	`conf`	Zing: Exploiting Program Structure for Model Checking Concurrent Software. CONCUR Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie
2003	A*	`conf`	A type and effect system for atomicity. PLDI Cormac Flanagan, Shaz Qadeer
2003	J	`jnl`	From Pre-Historic to Post-Modern Symbolic Model Checking. Formal Methods Syst. Des. Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer
2003	J	`jnl`	Sequential optimization in the absence of global reset. ACM Trans. Design Autom. Electr. Syst. Vigyan Singhal, Carl Pixley, Adnan Aziz, Shaz Qadeer, Robert K. Brayton
2003	A*	`conf`	Thread-Modular Abstraction Refinement. CAV Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer
2003	—	`conf`	Thread-Modular Model Checking. SPIN Cormac Flanagan, Shaz Qadeer
2003	—	`conf`	Transactions for Software Model Checking. SoftMC@CAV Cormac Flanagan, Shaz Qadeer
2003	—	`conf`	Types for atomicity. TLDI Cormac Flanagan, Shaz Qadeer
2003	J	`jnl`	Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking. IEEE Trans. Parallel Distributed Syst. Shaz Qadeer
2002	A*	`conf`	A Modular Checker for Multithreaded Programs. CAV Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia
2002	J	`jnl`	An assume-guarantee rule for checking simulation. ACM Trans. Program. Lang. Syst. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
2002	A*	`conf`	Predicate abstraction for software verification. POPL Cormac Flanagan, Shaz Qadeer
2002	—	`conf`	Promising Directions in Hardware Design Verification (invited). ISQED Shaz Qadeer, Serdar Tasiran
2002	A	`conf`	Thread-Modular Verification for Shared-Memory Programs. ESOP Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
2001	J	`jnl`	Partial-Order Reduction in Symbolic State-Space Exploration. Formal Methods Syst. Des. Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
2001	J	`jnl`	Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking CoRR Shaz Qadeer
2000	A	`conf`	Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. ICCAD Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
2000	A*	`conf`	Induction in Compositional Model Checking. CAV Kenneth L. McMillan, Shaz Qadeer, James B. Saxe
2000	A*	`conf`	Piranha: a scalable architecture based on single-chip multiprocessing. ISCA Luiz André Barroso, Kourosh Gharachorloo, Robert McNamara, Andreas Nowatzyk, Shaz Qadeer, Barton Sano, Scott Smith, Robert Stets, Ben Verghese
1999	A*	`conf`	Assume-Guarantee Refinement Between Different Time Scales. CAV Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
1999	A	`conf`	Formal specification and verification of a dataflow processor array. ICCAD Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani
1999	A*	`conf`	Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. CAV Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
1998	B	`conf`	An Assume-Guarantee Rule for Checking Simulation. FMCAD Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
1998	A*	`conf`	From CAV Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer
1998	A*	`conf`	MOCHA: Modularity in Model Checking. CAV Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
1998	—	`conf`	Verifying a self-stabilizing mutual exclusion algorithm. PROCOMET Shaz Qadeer, Natarajan Shankar
1998	A*	`conf`	You Assume, We Guarantee: Methodology and Case Studies. CAV Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
1997	C	`conf`	Benchmarking and Analysis of Architectures for CAD Applications. ICCD Amit Mehrotra, Shaz Qadeer, Rajeev K. Ranjan, Randy H. Katz
1997	A*	`conf`	Formal Verification of FIRE: A Case Study. DAC Jae-Young Jang, Shaz Qadeer, Matt Kaufmann, Carl Pixley
1997	A*	`conf`	Partial-Order Reduction in Symbolic State Space Exploration. CAV Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
1997	A	`conf`	Sequential optimisation without state space exploration. ICCAD Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli
1996	C	`conf`	Latch Redundancy Removal Without Global Reset. ICCD Shaz Qadeer, Robert K. Brayton, Vigyan Singhal
1996	B	`conf`	VIS. FMCAD Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa
1996	A*	`conf`	VIS: A System for Verification and Synthesis. CAV Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa