Shaz Qadeer

Identifiers

• name variant Shaz Qadeer 0.60 · backfill

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

• 1802.08678 #4 · arxiv_oai · confidence 0.70 Shaz Qadeer

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