Shaz Qadeer

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 30

Top Venues

CoRR

PLDI

CAV (2)

CAV (1)

Publications

Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences. J. Autom. Reason. 67 (3) (2023)
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
Reasoning About Vectors using an SMT Theory of Sequences. CoRR (2022)
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility. ACM Trans. Program. Lang. Syst. 44 (2) (2022)
David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover. TACAS (1) (2022)
Sam Blackshear, John C. Mitchell, Todd Nowacki, Shaz Qadeer
The Move Borrow Checker. CoRR (2022)
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
Reasoning About Vectors Using an SMT Theory of Sequences. IJCAR (2022)
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
Building Reliable Cloud Services Using Coyote Actors. SoCC (2021)
Bernhard Kragl, Shaz Qadeer
The Civl Verifier. FMCAD (2021)
David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover. CoRR (2021)
Sam Blackshear, David L. Dill, Shaz Qadeer, Clark W. Barrett, John C. Mitchell, Oded Padon, Yoni Zohar
Resources: A Safe Language Abstraction for Money. CoRR (2020)
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
Armada: low-effort verification of high-performance concurrent programs. PLDI (2020)
Ankush Das, Shaz Qadeer
Exact and Linear-Time Gas-Cost Analysis. SAS (2020)
Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer
Inductive sequentialization of asynchronous programs. PLDI (2020)
Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger
Refinement for Structured Concurrent Programs. CAV (1) (2020)
Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill
The Move Prover. CAV (1) (2020)
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
Building Reliable Cloud Services Using P# (Experience Report). CoRR (2020)
Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer
On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony. CAV (2) (2018)
Ankush Desai, Amar Phanishayee, Shaz Qadeer, Sanjit A. Seshia
Compositional programming and testing of dynamic distributed systems. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger
Synchronizing the Asynchronous. CONCUR (2018)
Shromona Ghosh, Felix Berkenkamp, Gireeja Ranade, Shaz Qadeer, Ashish Kapoor
Verifying Controllers Against Adversarial Examples with Bayesian Optimization. ICRA (2018)
Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer
On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony. CoRR (2018)
Ankush Desai, Shaz Qadeer, Sanjit A. Seshia
Programming Safe Robotics Systems: Challenges and Advances. ISoLA (2) (2018)
Bernhard Kragl, Shaz Qadeer
Layered Concurrent Programs. CAV (1) (2018)
Shromona Ghosh, Felix Berkenkamp, Gireeja Ranade, Shaz Qadeer, Ashish Kapoor
Verifying Controllers Against Adversarial Examples with Bayesian Optimization. CoRR (2018)
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
Lasso detection using partial-state caching. FMCAD (2017)
Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia
DRONA: a framework for safe distributed mobile robotics. ICCPS (2017)
Ankush Desai, Shaz Qadeer
P: Modular and Safe Asynchronous Programming. RV (2017)
Shuo Chen, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer
SVAuth - A Single-Sign-On Integration Solution with Runtime Verification. RV (2017)
Matt McCutchen, Daniel Song, Shuo Chen, Shaz Qadeer
Self-Verifying Execution (Position Paper). SecDev (2016)
Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). FAST (2016)
Akash Lal, Shaz Qadeer
DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs. PLDI (2015)
Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
SMACK+Corral: A Modular Verifier - (Competition Contribution). TACAS (2015)
Ankush Desai, Shaz Qadeer, Sanjit A. Seshia
Systematic testing of asynchronous reactive systems. ESEC/SIGSOFT FSE (2015)
Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. CAV (2) (2015)
Chris Hawblitzel, Erez Petrank, Shaz Qadeer, Serdar Tasiran
Automated and Modular Refinement Reasoning for Concurrent Programs. CAV (2) (2015)
Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson
The Design and Implementation of a Verification Technique for GPU Kernels. ACM Trans. Program. Lang. Syst. 37 (3) (2015)
Eric Y. Chen, Shuo Chen, Shaz Qadeer, Rui Wang
Securing Multiparty Online Services Via Certification of Symbolic Transactions. IEEE Symposium on Security and Privacy (2015)
Shaz Qadeer
P: a domain-specific language for asynchronous event-driven programming (invited talk abstract). WODA+PERTEA@ISSTA (2014)
Akash Lal, Shaz Qadeer
A program transformation for faster goal-directed search. FMCAD (2014)
Akash Lal, Shaz Qadeer
Powering the static driver verifier using corral. SIGSOFT FSE (2014)
Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer
Engineering a Static Verification Tool for GPU Kernels. CAV (2014)
Rui Wang, Yuchen Zhou, Shuo Chen, Shaz Qadeer, David Evans, Yuri Gurevich
Explicating SDKs: Uncovering Assumptions Underlying Secure Authentication and Authorization. USENIX Security Symposium (2013)
Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. OOPSLA (2013)
Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. ESOP (2013)
Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey
P: safe asynchronous event-driven programming. PLDI (2013)
Akash Lal, Shaz Qadeer
Reachability Modulo Theories. RP (2013)
Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri
A Solver for Reachability Modulo Theories. CAV (2012)
Michael Emmi, Akash Lal, Shaz Qadeer
Asynchronous programs with prioritized task-buffers. SIGSOFT FSE (2012)
Ganesh Gopalakrishnan, Shaz Qadeer
Preface. Formal Methods Syst. Des. 41 (1) (2012)
Shaz Qadeer, Serdar Tasiran
Runtime verification of concurrency-specific correctness criteria. Int. J. Softw. Tools Technol. Transf. 14 (3) (2012)
Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer
RADISH: Always-on sound and complete race detection in software and hardware. ISCA (2012)
Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson
GPUVerify: a verifier for GPU kernels. OOPSLA (2012)
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer
Predictable and Progressive Testing of Multithreaded Code. IEEE Softw. 28 (3) (2011)
Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads Log. Methods Comput. Sci. 7 (4) (2011)
Shuvendu K. Lahiri, Shaz Qadeer
Call Invariants. NASA Formal Methods (2011)
Shaz Qadeer
Poirot - A Concurrency Sleuth. ICFEM (2011)
Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub
Practical parallel and concurrent programming. SIGCSE (2011)
Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric
Delay-bounded scheduling. POPL (2011)
Shuvendu K. Lahiri, Shaz Qadeer, David Walker
Linear maps. PLPV (2011)
Rui Wang, Shuo Chen, XiaoFeng Wang, Shaz Qadeer
How to Shop for Free Online - Security Analysis of Cashier-as-a-Service Based Web Stores. IEEE Symposium on Security and Privacy (2011)
Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer
Preemption Sealing for Efficient Concurrency Testing. TACAS (2010)
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
Goldilocks: a race-aware Java runtime. Commun. ACM 53 (11) (2010)
Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran
Simplifying Linearizability Proofs with Reduction and Abstraction. TACAS (2010)
Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-Juergen Boehm
Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races. ISCA (2010)
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue
Towards Scalable Modular Checking of User-Defined Properties. VSTTE (2010)
Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer
Abstract Threads. VMCAI (2010)
Ali Sezgin, Serdar Tasiran, Shaz Qadeer
Tressa: Claiming the Future. VSTTE (2010)
Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer
Run-Time Verification of Optimistic Concurrency. RV (2010)
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. CAV (2009)
Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer
An annotation assistant for interactive debugging of programs with common synchronization idioms. PADTAD (2009)
Shuvendu K. Lahiri, Shaz Qadeer
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. CADE (2009)
Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer
Unifying type checking and property checking for low-level code. POPL (2009)
Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer
09361 Abstracts Collection - Design and Validation of Concurrent Systems. Design and Validation of Concurrent Systems (2009)
Shaz Qadeer
Algorithmic Verification of Systems Software Using SMT Solvers. SAS (2009)
Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads. TACAS (2009)
Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
Intra-module Inference. CAV (2009)
Serdar Tasiran, Ali Sezgin, Shaz Qadeer
Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning. Design and Validation of Concurrent Systems (2009)
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
A calculus of atomic actions. POPL (2009)
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer
Deconstructing concurrency heisenbugs. ICSE Companion (2009)
Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
A low-level memory model and an accompanying reachability predicate. Int. J. Softw. Tools Technol. Transf. 11 (2) (2009)
Shaz Qadeer
The Case for Context-Bounded Verification of Concurrent Programs. SPIN (2008)
Shaz Qadeer
Taming Concurrency: A Program Verification Perspective. CONCUR (2008)
Shuvendu K. Lahiri, Shaz Qadeer
Back to the future: revisiting precise program verification using SMT solvers. POPL (2008)
Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu
Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI (2008)
Madanlal Musuvathi, Shaz Qadeer
Fair stateless model checking. PLDI (2008)
Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer
Types for atomicity: Static checking and inference for Java. ACM Trans. Program. Lang. Syst. 30 (4) (2008)
Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. CAV (2007)
Madanlal Musuvathi, Shaz Qadeer
Iterative context bounding for systematic testing of multithreaded programs. PLDI (2007)
Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
A Reachability Predicate for Analyzing Low-Level Software. TACAS (2007)
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
Goldilocks: a race and transaction-aware java runtime. PLDI (2007)
Shuvendu K. Lahiri, Shaz Qadeer
Verifying properties of well-founded linked lists. POPL (2006)
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. FATES/RV (2006)
Madan Musuvathi, Shaz Qadeer
CHESS: Systematic Stress Testing of Concurrent Software. LOPSTR (2006)
Shaz Qadeer, Jakob Rehof
Context-Bounded Model Checking of Concurrent Software. TACAS (2005)
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31 (4) (2005)
Tayfun Elmas, Serdar Tasiran, Shaz Qadeer
VYRD: verifYing concurrent programs by runtime refinement-violation detection. PLDI (2005)
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia
Modular verification of multithreaded programs. Theor. Comput. Sci. 338 (1-3) (2005)
Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani
Sound Transaction-Based Reduction Without Cycle Detection. SPIN (2005)
Serdar Tasiran, Shaz Qadeer
Runtime Refinement Checking of Concurrent Data Structures. Electron. Notes Theor. Comput. Sci. 113 (2005)
Shaz Qadeer, Dinghao Wu
KISS: keep it simple and sequential. PLDI (2004)

Shaz Qadeer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shaz Qadeer