Shaz Qadeer - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Shaz Qadeer' as author, editor, or advisor:

Reachability Modulo TheoriesAkash Lal, Shaz Qadeer. rp 2013: 23-44 [doi]
Modular verification of multithreaded programsCormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia. TCS, 338(1-3):153-183, 2005. [doi]
Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!)Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte. FAST 2016: 249-262 [doi]
Verifying properties of well-founded linked listsShuvendu K. Lahiri, Shaz Qadeer. POPL 2006: 115-126 [doi]
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU KernelsPeter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer. ESOP 2013: 270-289 [doi]
Call InvariantsShuvendu K. Lahiri, Shaz Qadeer. NFM 2011: 237-251 [doi]
Back to the future: revisiting precise program verification using SMT solversShuvendu K. Lahiri, Shaz Qadeer. POPL 2008: 171-182 [doi]
Decomposing Refinement Proofs Using Assume-Guarantee ReasoningThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani. iccad 2000: 245-252
Checking Concise Specifications for Multithreaded SoftwareStephen N. Freund, Shaz Qadeer. jot, 3(6):81-101, 2004. [doi]
Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. ProceedingsGanesh Gopalakrishnan, Shaz Qadeer, editors, Volume 6806 of Lecture Notes in Computer Science, Springer, 2011. [doi]
Building Reliable Cloud Services Using Coyote ActorsPantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer. CLOUD 2021: 108-121 [doi]
Linear mapsShuvendu K. Lahiri, Shaz Qadeer, David Walker. plpv 2011: 3-14 [doi]
Sound Transaction-Based Reduction Without Cycle DetectionVladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani. spin 2005: 106-122 [doi]
DRONA: a framework for safe distributed mobile roboticsAnkush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia. iccps 2017: 239-248 [doi]
A calculus of atomic actionsTayfun Elmas, Shaz Qadeer, Serdar Tasiran. POPL 2009: 2-15 [doi]
An assume-guarantee rule for checking simulationThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran. TOPLAS, 24(1):51-64, 2002. [doi]
09361 Abstracts Collection - Design and Validation of Concurrent SystemsCormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer. Dagstuhl 2009: [doi]
A Modular Checker for Multithreaded ProgramsCormac Flanagan, Shaz Qadeer, Sanjit A. Seshia. cav 2002: 180-194 [doi]
Preemption Sealing for Efficient Concurrency TestingThomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer. TACAS 2010: 420-434 [doi]
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, 2014Stefan Sauer, Manuel Wimmer, Marcela Genero, Shaz Qadeer, editors, Volume 1258 of CEUR Workshop Proceedings, CEUR-WS.org, 2014. [doi]
Goldilocks: Efficiently Computing the Happens-Before Relation Using LocksetsTayfun Elmas, Shaz Qadeer, Serdar Tasiran. fates 2006: 193-208 [doi]
P: a domain-specific language for asynchronous event-driven programming (invited talk abstract)Shaz Qadeer. ISSTA 2014: 8 [doi]
Types for atomicityCormac Flanagan, Shaz Qadeer. tldi 2003: 1-12 [doi]
Thread-Modular Verification for Shared-Memory ProgramsCormac Flanagan, Stephen N. Freund, Shaz Qadeer. ESOP 2002: 262-277 [doi]
Sequential optimization in the absence of global resetVigyan Singhal, Carl Pixley, Adnan Aziz, Shaz Qadeer, Robert K. Brayton. todaes, 8(2):222-251, 2003. [doi]
Complexity and Algorithms for Monomial and Clausal Predicate AbstractionShuvendu K. Lahiri, Shaz Qadeer. cade 2009: 214-229 [doi]
Formal Verification of FIRE: A Case StudyJae-Young Jang, Shaz Qadeer, Matt Kaufmann, Carl Pixley. dac 1997: 173-177 [doi]
DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programsAkash Lal, Shaz Qadeer. PLDI 2015: 280-290 [doi]
From Pre-Historic to Post-Modern Symbolic Model CheckingThomas A. Henzinger, Orna Kupferman, Shaz Qadeer. fmsd, 23(3):303-327, 2003. [doi]
The Civl VerifierBernhard Kragl, Shaz Qadeer. FMCAD 2021: 143-152 [doi]
Explicating SDKs: Uncovering Assumptions Underlying Secure Authentication and AuthorizationRui Wang 0010, Yuchen Zhou, Shuo Chen, Shaz Qadeer, David Evans, Yuri Gurevich. uss 2013: 399-314 [doi]
You Assume, We Guarantee: Methodology and Case StudiesThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani. cav 1998: 440-451
Transactions for Software Model CheckingCormac Flanagan, Shaz Qadeer. ENTCS, 89(3):518-539, 2003. [doi]
Finding and Reproducing Heisenbugs in Concurrent ProgramsMadanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu. osdi 2008: 267-280 [doi]
KISS: keep it simple and sequentialShaz Qadeer, Dinghao Wu. PLDI 2004: 14-24 [doi]
Systematic testing of asynchronous reactive systemsAnkush Desai, Shaz Qadeer, Sanjit A. Seshia. FSE 2015: 73-83 [doi]
Promising Directions in Hardware Design Verification (invited)Shaz Qadeer, Serdar Tasiran. isqed 2002: 381-387 [doi]
Deconstructing concurrency heisenbugsThomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer. ICSE 2009: 403-404 [doi]
Iterative context bounding for systematic testing of multithreaded programsMadanlal Musuvathi, Shaz Qadeer. PLDI 2007: 446-455 [doi]
Run-Time Verification of Optimistic ConcurrencyAli Sezgin, Serdar Tasiran, Kivanc Muslu, Shaz Qadeer. RV 2010: 384-398 [doi]
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data ValuesJesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang. cav 2004: 427-439 [doi]
Verifying Controllers Against Adversarial Examples with Bayesian OptimizationShromona Ghosh, Felix Berkenkamp, Gireeja Ranade, Shaz Qadeer, Ashish Kapoor. icra 2018: 7306-7313 [doi]
Unifying type checking and property checking for low-level codeJeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer. POPL 2009: 302-314 [doi]
Armada: low-effort verification of high-performance concurrent programsJacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao. PLDI 2020: 197-210 [doi]
Thread-Modular Abstraction RefinementThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer. cav 2003: 262-274 [doi]
Fast and Reliable Formal Verification of Smart Contracts with the Move ProverDavid L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong. TACAS 2022: 183-200 [doi]
A Solver for Reachability Modulo TheoriesAkash Lal, Shaz Qadeer, Shuvendu K. Lahiri. cav 2012: 427-443 [doi]
Armada: Automated Verification of Concurrent Code with Sound Semantic ExtensibilityJacob R. Lorch, Yixuan Chen 0002, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao. TOPLAS, 44(2), 2022. [doi]
SMACK+Corral: A Modular Verifier - (Competition Contribution)Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric. TACAS 2015: 451-454 [doi]
Self-Verifying Execution (Position Paper)Matt McCutchen, Daniel Song, Shuo Chen, Shaz Qadeer. secdev 2016: 117-123 [doi]
Verifying Optimistic Concurrency: Prophecy Variables and Backward ReasoningSerdar Tasiran, Ali Sezgin, Shaz Qadeer. Dagstuhl 2009: [doi]
Benchmarking and Analysis of Architectures for CAD ApplicationsAmit Mehrotra, Shaz Qadeer, Rajeev K. Ranjan, Randy H. Katz. iccd 1997: 670-675
Abstract ThreadsShuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer. vmcai 2010: 231-246 [doi]
Securing Multiparty Online Services Via Certification of Symbolic TransactionsEric Y. Chen, Shuo Chen, Shaz Qadeer, Rui Wang 0010. sp 2015: 833-849 [doi]
Reasoning About Vectors: Satisfiability Modulo a Theory of SequencesYing Sheng 0007, Andres Nötzli, Andrew Reynolds 0001, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli. JAR, 67(3):32, September 2023. [doi]
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous SystemsAnkush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson. cav 2015: 429-448 [doi]
A low-level memory model and an accompanying reachability predicateShaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric. STTT, 11(2):105-116, 2009. [doi]
Context-Bounded Model Checking of Concurrent SoftwareShaz Qadeer, Jakob Rehof. TACAS 2005: 93-107 [doi]
P: Modular and Safe Asynchronous ProgrammingAnkush Desai, Shaz Qadeer. RV 2017: 3-7 [doi]
VYRD: verifYing concurrent programs by runtime refinement-violation detectionTayfun Elmas, Serdar Tasiran, Shaz Qadeer. PLDI 2005: 27-37 [doi]
VISRobert 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. FMCAD 1996: 248-256
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernelsNathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer. OOPSLA 2013: 605-622 [doi]
Formal specification and verification of a dataflow processor arrayThomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani. iccad 1999: 494-499 [doi]
Lasso detection using partial-state cachingRashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer. FMCAD 2017: 84-91 [doi]
Piranha: a scalable architecture based on single-chip multiprocessingLuiz André Barroso, Kourosh Gharachorloo, Robert McNamara, Andreas Nowatzyk, Shaz Qadeer, Barton Sano, Scott Smith, Robert Stets, Ben Verghese. isca 2000: 282-293 [doi]
Programming Safe Robotics Systems: Challenges and AdvancesAnkush Desai, Shaz Qadeer, Sanjit A. Seshia. ISoLA 2018: 103-119 [doi]
On the Completeness of Verifying Message Passing Programs Under Bounded AsynchronyAhmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer. cav 2018: 372-391 [doi]
Delay-bounded schedulingMichael Emmi, Shaz Qadeer, Zvonimir Rakamaric. POPL 2011: 411-422 [doi]
Compositional programming and testing of dynamic distributed systemsAnkush Desai, Amar Phanishayee, Shaz Qadeer, Sanjit A. Seshia. PACMPL, 2(OOPSLA), 2018. [doi]
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT SolversShuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric. cav 2009: 509-524 [doi]
The Case for Context-Bounded Verification of Concurrent ProgramsShaz Qadeer. spin 2008: 3-6 [doi]
Intra-module InferenceShuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies. cav 2009: 493-508 [doi]
Asynchronous programs with prioritized task-buffersMichael Emmi, Akash Lal, Shaz Qadeer. FSE 2012: 48 [doi]
Partial-Order Reduction in Symbolic State-Space ExplorationRajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani. fmsd, 18(2):97-116, 2001.
Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected PapersShaz Qadeer, Serdar Tasiran, editors, Volume 7687 of Lecture Notes in Computer Science, Springer, 2013. [doi]
Practical parallel and concurrent programmingCaitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub. sigcse 2011: 189-194 [doi]
PrefaceGanesh Gopalakrishnan, Shaz Qadeer. fmsd, 41(1):3, 2012. [doi]
Exact and Linear-Time Gas-Cost AnalysisAnkush Das, Shaz Qadeer. SAS 2020: 333-356 [doi]
Refinement for Structured Concurrent ProgramsBernhard Kragl, Shaz Qadeer, Thomas A. Henzinger. cav 2020: 275-298 [doi]
CHESS: Systematic Stress Testing of Concurrent SoftwareMadan Musuvathi, Shaz Qadeer. LOPSTR 2007: 15-16 [doi]
Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model CheckingShaz Qadeer. tpds, 14(8):730-741, 2003. [doi]
Predictable and Progressive Testing of Multithreaded CodeThomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer. IEEE Software, 28(3):75-83, 2011. [doi]
A Reachability Predicate for Analyzing Low-Level SoftwareShaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric. TACAS 2007: 19-33 [doi]
Verifying Sequential Consistency on Shared-Memory Multiprocessor SystemsThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani. cav 1999: 301-315 [doi]
Goldilocks: a race and transaction-aware java runtimeTayfun Elmas, Shaz Qadeer, Serdar Tasiran. PLDI 2007: 245-255 [doi]
SVAuth - A Single-Sign-On Integration Solution with Runtime VerificationShuo Chen, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer. RV 2017: 349-358 [doi]
Layered Concurrent ProgramsBernhard Kragl, Shaz Qadeer. cav 2018: 79-102 [doi]
Reasoning About Vectors: Satisfiability Modulo a Theory of SequencesYing Sheng 0007, Andres Nötzli, Andrew Reynolds 0001, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli. JAR, 67(3):32, September 2023. [doi]
Simplifying Linearizability Proofs with Reduction and AbstractionTayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran. TACAS 2010: 296-311 [doi]
Tressa: Claiming the FutureAli Sezgin, Serdar Tasiran, Shaz Qadeer. vstte 2010: 25-39 [doi]
Partial-Order Reduction in Symbolic State Space ExplorationRajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani. cav 1997: 340-351
Powering the static driver verifier using corralAkash Lal, Shaz Qadeer. FSE 2014: 202-212 [doi]
The Move ProverJingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill. cav 2020: 137-150 [doi]
Sequential optimisation without state space explorationAmit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli. iccad 1997: 208-215 [doi]
Predicate abstraction for software verificationCormac Flanagan, Shaz Qadeer. POPL 2002: 191-202 [doi]
RADISH: Always-on sound and complete race detection in software and hardwareJoseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer. isca 2012: 201-212 [doi]
Assume-Guarantee Refinement Between Different Time ScalesThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani. cav 1999: 208-221 [doi]
Types for atomicity: Static checking and inference for JavaCormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer. TOPLAS, 30(4), 2008. [doi]
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked StructuresAhmed Bouajjani, Séverine Fratani, Shaz Qadeer. cav 2007: 207-220 [doi]
Algorithmic Verification of Systems Software Using SMT SolversShaz Qadeer. SAS 2009: 2 [doi]
Exploiting purity for atomicityCormac Flanagan, Stephen N. Freund, Shaz Qadeer. ISSTA 2004: 221-231 [doi]
Goldilocks: a race-aware Java runtimeTayfun Elmas, Shaz Qadeer, Serdar Tasiran. CACM, 53(11):85-92, 2010. [doi]
An annotation assistant for interactive debugging of programs with common synchronization idiomsTayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer. ISSTA 2009: [doi]
The Design and Implementation of a Verification Technique for GPU KernelsAdam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson. TOPLAS, 37(3):10, 2015. [doi]
Zing: A Model Checker for Concurrent SoftwareTony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie. cav 2004: 484-487 [doi]
From ::::Pre::::-historic to ::::Post::::-modern Symbolic Model CheckingThomas A. Henzinger, Orna Kupferman, Shaz Qadeer. cav 1998: 195-206
Thread-Modular Model CheckingCormac Flanagan, Shaz Qadeer. spin 2003: 213-224 [doi]
Towards Scalable Modular Checking of User-Defined PropertiesThomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue. vstte 2010: 1-24 [doi]
VIS: A System for Verification and SynthesisRobert 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. cav 1996: 428-432
How to Shop for Free Online - Security Analysis of Cashier-as-a-Service Based Web StoresRui Wang 0010, Shuo Chen, Xiaofeng Wang, Shaz Qadeer. sp 2011: 465-480 [doi]
Taming Concurrency: A Program Verification PerspectiveShaz Qadeer. concur 2008: 5 [doi]
Automated and Modular Refinement Reasoning for Concurrent ProgramsChris Hawblitzel, Erez Petrank, Shaz Qadeer, Serdar Tasiran. cav 2015: 449-465 [doi]
Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-racesBrandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-Juergen Boehm. isca 2010: 210-221 [doi]
Exploiting Purity for AtomicityCormac Flanagan, Stephen N. Freund, Shaz Qadeer. TSE, 31(4):275-291, 2005. [doi]
Synchronizing the AsynchronousBernhard Kragl, Shaz Qadeer, Thomas A. Henzinger. concur 2018: [doi]
Fair stateless model checkingMadanlal Musuvathi, Shaz Qadeer. PLDI 2008: 362-371 [doi]
Induction in Compositional Model CheckingKenneth L. McMillan, Shaz Qadeer, James B. Saxe. cav 2000: 312-327
Reasoning About Vectors Using an SMT Theory of SequencesYing Sheng 0007, Andres Nötzli, Andrew Reynolds 0001, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli. cade 2022: 125-143 [doi]
P: safe asynchronous event-driven programmingAnkush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey. PLDI 2013: 321-332 [doi]
Runtime verification of concurrency-specific correctness criteriaShaz Qadeer, Serdar Tasiran. STTT, 14(3):291-305, 2012. [doi]
Summarizing procedures in concurrent programsShaz Qadeer, Sriram K. Rajamani, Jakob Rehof. POPL 2004: 245-255 [doi]
Poirot - A Concurrency SleuthShaz Qadeer. icfem 2011: 15 [doi]
A program transformation for faster goal-directed searchAkash Lal, Shaz Qadeer. FMCAD 2014: 147-154 [doi]
MOCHA: Modularity in Model CheckingRajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran. cav 1998: 521-525
A type and effect system for atomicityCormac Flanagan, Shaz Qadeer. PLDI 2003: 338-349 [doi]
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of ThreadsMohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer. TACAS 2009: 107-123 [doi]
An Assume-Guarantee Rule for Checking SimulationThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran. FMCAD 1998: 421-432 [doi]
GPUVerify: a verifier for GPU kernelsAdam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson. OOPSLA 2012: 113-132 [doi]
Inductive sequentialization of asynchronous programsBernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer. PLDI 2020: 227-242 [doi]
Engineering a Static Verification Tool for GPU KernelsEthel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer. cav 2014: 226-242 [doi]
Runtime Refinement Checking of Concurrent Data StructuresSerdar Tasiran, Shaz Qadeer. ENTCS, 113:163-179, 2005. [doi]
Design and Validation of Concurrent Systems, 30.08. - 04.09.2009Cormac Flanagan, Madhusan Parthasarathy, Shaz Qadeer, editors, Volume 09361 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009. [doi]
Latch Redundancy Removal Without Global ResetShaz Qadeer, Robert K. Brayton, Vigyan Singhal. iccd 1996: 432-439 [doi]
Verifying a self-stabilizing mutual exclusion algorithmShaz Qadeer, Natarajan Shankar. procomet 1998: 424-443
Zing: Exploiting Program Structure for Model Checking Concurrent SoftwareTony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie. concur 2004: 1-15 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Shaz Qadeer's Profile

Unidentified Publications