Search for Author All Reviews
	Qadeer, Shaz     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       A calculus of atomic actions Elmas T., Qadeer S., Tasiran S.  POPL 2009 (Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Savannah, GA, Jan 21-23, 2009) 2-15, 2008.  Type: Proceedings Verification of partial correctness of shared-variable parallel programs is a very old subject. Nearly 35 years ago, Owicki and Gries proposed the first axiomatization of partial verification of parallel programs, using Hoare-style log...... Mar 16 2009     Iterative context bounding for systematic testing of multithreaded programs Musuvathi M., Qadeer S.  Programming language design and implementation (Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, San Diego, California, Jun 10-13, 2007) 446-455, 2007.  Type: Proceedings An interesting technique for systematic and efficient exploration of executions of multithreaded programs for finding bugs is proposed in this paper. The class of programs considered is shared variable programs. The efficiency arises o...... Aug 15 2007
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy