Shaz Qadeer

Identifiers

No identifiers captured yet.

Papers (3)

1. On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony cs.PL · 2018 · author #4
2. Verifying Controllers Against Adversarial Examples with Bayesian Optimization cs.SY · 2018 · author #4
3. Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking cs.DC · 2001 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ahmed Bouajjani 1 shared papers
• Ashish Kapoor 1 shared papers
• Constantin Enea 1 shared papers
• Felix Berkenkamp 1 shared papers
• Gireeja Ranade 1 shared papers
• Kailiang Ji 1 shared papers
• Shromona Ghosh 1 shared papers