Shaz Qadeer

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Verifying properties of well-founded linked lists

Shuvendu K. Lahiri and others (2006) · ACM SIGPLAN Notices · Association for Computing Machinery

Piranha: a scalable architecture based on single-chip multiprocessing

Luiz André Barroso and others (2000) · Proceedings - International Symposium on Computer Architecture/Proceedings

VIS: A system for verification and synthesis

Robert K. Brayton and others (1996) · Computer Aided Verification · Springer Berlin Heidelberg