Search results for "Shaz Qadeer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Shaz Qadeer, Serdar Tasiran	Runtime verification of concurrency-specific correctness criteria.	STTT	2012	DBLP DOI BibTeX RDF
1	Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer	Predictable and Progressive Testing of Multithreaded Code.	IEEE Software	2011	DBLP DOI BibTeX RDF
1	Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer	Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads	Logical Methods in Computer Science	2011	DBLP DOI BibTeX RDF
1	Rui Wang 0010, 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	DBLP DOI BibTeX RDF	Cashier-as-a-Service, logic bug, program verification, web API, e-Commerce security
1	Shaz Qadeer	Poirot - A Concurrency Sleuth.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Shuvendu K. Lahiri, Shaz Qadeer, David Walker	Linear maps.	PLPV	2011	DBLP DOI BibTeX RDF
1	Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric	Delay-bounded scheduling.	POPL	2011	DBLP DOI BibTeX RDF
1	Ganesh Gopalakrishnan, Shaz Qadeer (eds.)	Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings	CAV	2011	DBLP DOI BibTeX RDF
1	Shuvendu K. Lahiri, Shaz Qadeer	Call Invariants.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	Goldilocks: a race-aware Java runtime.	Commun. ACM	2010	DBLP DOI BibTeX RDF
1	Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer	Run-Time Verification of Optimistic Concurrency.	RV	2010	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	multicores, threads, data-races, memory consistency models, bug detection
1	Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer	Preemption Sealing for Efficient Concurrency Testing.	TACAS	2010	DBLP DOI BibTeX RDF
1	Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran	Simplifying Linearizability Proofs with Reduction and Abstraction.	TACAS	2010	DBLP DOI BibTeX RDF
1	Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue	Towards Scalable Modular Checking of User-Defined Properties.	VSTTE	2010	DBLP DOI BibTeX RDF
1	Ali Sezgin, Serdar Tasiran, Shaz Qadeer	Tressa: Claiming the Future.	VSTTE	2010	DBLP DOI BibTeX RDF
1	Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer	Abstract Threads.	VMCAI	2010	DBLP DOI BibTeX RDF
1	Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric	A low-level memory model and an accompanying reachability predicate.	STTT	2009	DBLP DOI BibTeX RDF
1	Shuvendu K. Lahiri, Shaz Qadeer	Complexity and Algorithms for Monomial and Clausal Predicate Abstraction.	CADE	2009	DBLP DOI BibTeX RDF
1	Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer	Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads.	TACAS	2009	DBLP DOI BibTeX RDF
1	Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer	An annotation assistant for interactive debugging of programs with common synchronization idioms.	PADTAD	2009	DBLP DOI BibTeX RDF	synchronization idioms, concurrent programs, atomicity
1	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	A calculus of atomic actions.	POPL	2009	DBLP DOI BibTeX RDF	abstraction, concurrent programs, reduction, atomicity
1	Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer	Unifying type checking and property checking for low-level code.	POPL	2009	DBLP DOI BibTeX RDF	assertion checking, low-level code, decision procedure, type checking, smt solver, property checking
1	Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies	Intra-module Inference.	CAV	2009	DBLP DOI BibTeX RDF
1	Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric	Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers.	CAV	2009	DBLP DOI BibTeX RDF
1	Shaz Qadeer	Algorithmic Verification of Systems Software Using SMT Solvers.	SAS	2009	DBLP DOI BibTeX RDF
1	Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer	Deconstructing concurrency heisenbugs.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer	Types for atomicity: Static checking and inference for Java.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	type systems, concurrent programs, type inference, Atomicity
1	Shaz Qadeer	Taming Concurrency: A Program Verification Perspective.	CONCUR	2008	DBLP DOI BibTeX RDF
1	Madanlal Musuvathi, Shaz Qadeer	Fair stateless model checking.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, concurrency, software testing, fairness, multi-threading, liveness, shared-memory programs
1	Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu	Finding and Reproducing Heisenbugs in Concurrent Programs.	OSDI	2008	DBLP BibTeX RDF
1	Shuvendu K. Lahiri, Shaz Qadeer	Back to the future: revisiting precise program verification using SMT solvers.	POPL	2008	DBLP DOI BibTeX RDF	heap-manipulating programs, software verification, decision procedures, reachability, linked lists, SMT solvers
1	Shaz Qadeer	The Case for Context-Bounded Verification of Concurrent Programs.	SPIN	2008	DBLP DOI BibTeX RDF
1	Madanlal Musuvathi, Shaz Qadeer	Iterative context bounding for systematic testing of multithreaded programs.	PLDI	2007	DBLP DOI BibTeX RDF	context-bounding, model checking, concurrency, software testing, multithreading, partial-order reduction, shared-memory programs
1	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	Goldilocks: a race and transaction-aware java runtime.	PLDI	2007	DBLP DOI BibTeX RDF	Java runtime, software transactions, runtime monitoring, data-race detection
1	Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric	A Reachability Predicate for Analyzing Low-Level Software.	TACAS	2007	DBLP DOI BibTeX RDF
1	Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer	Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures.	CAV	2007	DBLP DOI BibTeX RDF
1	Shuvendu K. Lahiri, Shaz Qadeer	Verifying properties of well-founded linked lists.	POPL	2006	DBLP DOI BibTeX RDF	first-order axiomatization, heap abstraction, well-founded linked lists, decision procedure, automated theorem proving
1	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets.	FATES/RV	2006	DBLP DOI BibTeX RDF
1	Madan Musuvathi, Shaz Qadeer	CHESS: Systematic Stress Testing of Concurrent Software.	LOPSTR	2006	DBLP DOI BibTeX RDF
1	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer	Exploiting Purity for Atomicity.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	purity, concurrent programs, reduction, Atomicity
1	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia	Modular verification of multithreaded programs.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Serdar Tasiran, Shaz Qadeer	Runtime Refinement Checking of Concurrent Data Structures.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Tayfun Elmas, Serdar Tasiran, Shaz Qadeer	VYRD: verifYing concurrent programs by runtime refinement-violation detection.	PLDI	2005	DBLP DOI BibTeX RDF	refinement, runtime verification, concurrent data structures
1	Shaz Qadeer, Jakob Rehof	Context-Bounded Model Checking of Concurrent Software.	TACAS	2005	DBLP DOI BibTeX RDF
1	Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani	Sound Transaction-Based Reduction Without Cycle Detection.	SPIN	2005	DBLP DOI BibTeX RDF
1	Stephen N. Freund, Shaz Qadeer	Checking Concise Specifications for Multithreaded Software.	Journal of Object Technology	2004	DBLP DOI BibTeX RDF
1	Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie	Zing: Exploiting Program Structure for Model Checking Concurrent Software.	CONCUR	2004	DBLP DOI BibTeX RDF
1	Shaz Qadeer, Dinghao Wu	KISS: keep it simple and sequential.	PLDI	2004	DBLP DOI BibTeX RDF	assertion checking, concurrent software, model checking, program analysis, race detection
1	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer	Exploiting purity for atomicity.	ISSTA	2004	DBLP DOI BibTeX RDF	purity, concurrent programs, reduction, atomicity
1	Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof	Summarizing procedures in concurrent programs.	POPL	2004	DBLP DOI BibTeX RDF	interprocedural dataflow analysis, procedure summaries, model checking, transactions, concurrent programs, reduction, pushdown systems
1	Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie	Zing: A Model Checker for Concurrent Software.	CAV	2004	DBLP DOI BibTeX RDF
1	Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang	Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values.	CAV	2004	DBLP DOI BibTeX RDF
1	Shaz Qadeer	Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking.	IEEE Trans. Parallel Distrib. Syst.	2003	DBLP DOI BibTeX RDF	specifying and verifying and reasoning about programs, model checking, verification, multiprocessors, Logic design
1	Vigyan Singhal, Carl Pixley, Adnan Aziz, Shaz Qadeer, Robert K. Brayton	Sequential optimization in the absence of global reset.	ACM Trans. Design Autom. Electr. Syst.	2003	DBLP DOI BibTeX RDF	Sequential logic synthesis, no-reset latches, safe replaceability
1	Cormac Flanagan, Shaz Qadeer	Transactions for Software Model Checking.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer	From Pre-Historic to Post-Modern Symbolic Model Checking.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	forward traversal, regular specifications, symbolic model checking, calculus
1	Cormac Flanagan, Shaz Qadeer	A type and effect system for atomicity.	PLDI	2003	DBLP DOI BibTeX RDF	multithreading, atomicity, race conditions, static checking
1	Cormac Flanagan, Shaz Qadeer	Thread-Modular Model Checking.	SPIN	2003	DBLP DOI BibTeX RDF
1	Cormac Flanagan, Shaz Qadeer	Types for atomicity.	TLDI	2003	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer	Thread-Modular Abstraction Refinement.	CAV	2003	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran	An assume-guarantee rule for checking simulation.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	verification rules, Simulation relations
1	Shaz Qadeer, Serdar Tasiran	Promising Directions in Hardware Design Verification (invited). (PDF / PS)	ISQED	2002	DBLP DOI BibTeX RDF
1	Cormac Flanagan, Shaz Qadeer	Predicate abstraction for software verification.	POPL	2002	DBLP DOI BibTeX RDF
1	Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia	A Modular Checker for Multithreaded Programs.	CAV	2002	DBLP DOI BibTeX RDF
1	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer	Thread-Modular Verification for Shared-Memory Programs.	ESOP	2002	DBLP DOI BibTeX RDF
1	Shaz Qadeer	Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking	CoRR	2001	DBLP BibTeX RDF
1	Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	Partial-Order Reduction in Symbolic State-Space Exploration.	Formal Methods in System Design	2001	DBLP DOI BibTeX RDF
1	Luiz André Barroso, Kourosh Gharachorloo, Robert McNamara, Andreas Nowatzyk, Shaz Qadeer, Barton Sano, Scott Smith, Robert Stets, Ben Verghese	Piranha: a scalable architecture based on single-chip multiprocessing.	ISCA	2000	DBLP DOI BibTeX RDF
1	Kenneth L. McMillan, Shaz Qadeer, James B. Saxe	Induction in Compositional Model Checking.	CAV	2000	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.	ICCAD	2000	DBLP BibTeX RDF
1	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	Assume-Guarantee Refinement Between Different Time Scales.	CAV	1999	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.	CAV	1999	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani	Formal specification and verification of a dataflow processor array.	ICCAD	1999	DBLP BibTeX RDF
1	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran	An Assume-Guarantee Rule for Checking Simulation.	FMCAD	1998	DBLP DOI BibTeX RDF
1	Shaz Qadeer, Natarajan Shankar	Verifying a self-stabilizing mutual exclusion algorithm.	PROCOMET	1998	DBLP BibTeX RDF
1	Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer	From Pre-historic to Post-modern Symbolic Model Checking.	CAV	1998	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	You Assume, We Guarantee: Methodology and Case Studies.	CAV	1998	DBLP DOI BibTeX RDF
1	Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran	MOCHA: Modularity in Model Checking.	CAV	1998	DBLP DOI BibTeX RDF
1	Jae-Young Jang, Shaz Qadeer, Matt Kaufmann, Carl Pixley	Formal Verification of FIRE: A Case Study.	DAC	1997	DBLP DOI BibTeX RDF
1	Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	Partial-Order Reduction in Symbolic State Space Exploration.	CAV	1997	DBLP DOI BibTeX RDF
1	Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli	Sequential optimisation without state space exploration.	ICCAD	1997	DBLP DOI BibTeX RDF	compatible unobservability, safe delay replacement, sequential circuits, recursive learning, Sequential optimization
1	Amit Mehrotra, Shaz Qadeer, Rajeev K. Ranjan, Randy H. Katz	Benchmarking and Analysis of Architectures for CAD Applications.	ICCD	1997	DBLP BibTeX RDF
1	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	VIS.	FMCAD	1996	DBLP DOI BibTeX RDF
1	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	VIS: A System for Verification and Synthesis.	CAV	1996	DBLP DOI BibTeX RDF
1	Shaz Qadeer, Robert K. Brayton, Vigyan Singhal	Latch Redundancy Removal Without Global Reset. (PDF / PS)	ICCD	1996	DBLP DOI BibTeX RDF	global reset assumption, latch redundancy, safe replacement, delayed replacement, Finite state machine, core, strongly connected components

Publications of "Shaz Qadeer" ( http://dblp.L3S.de/Authors/Shaz_Qadeer )