Shaz Qadeer (Microsoft Research
Identifiers
- name variant Shaz Qadeer (Microsoft Research 0.60 · backfill
Papers (1)
- Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads cs.LO · 2011 · author #7
Mentions
- 1111.1011 #7 · backfill · confidence 0.70 Shaz Qadeer (Microsoft Research
Frequent Coauthors
- Ahmed Bouajjani (LIAFA 1 shared papers
- CNRS 1 shared papers
- Mohamed Faouzi Atig (LIAFA 1 shared papers
- Redmond) 1 shared papers
- University of Paris Diderot (Paris 7)) 1 shared papers