Redmond)

Identifiers

• name variant Redmond) 0.60 · backfill

Papers (2)

1. SyGuS-Comp 2016: Results and Analysis cs.SE · 2016 · author #4
2. Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads cs.LO · 2011 · author #8

Mentions

• 1111.1011 #8 · backfill · confidence 0.70 Redmond)

Frequent Coauthors

• Ahmed Bouajjani (LIAFA 1 shared papers
• Armando Solar-Lezama (Massachusetts Institute of Technology) 1 shared papers
• CNRS 1 shared papers
• Dana Fisman (Ben-Gurion University) 1 shared papers
• Mohamed Faouzi Atig (LIAFA 1 shared papers
• Rajeev Alur (University of Pennsylvania) 1 shared papers
• Rishabh Singh (Microsoft Research 1 shared papers
• Shaz Qadeer (Microsoft Research 1 shared papers
• University of Paris Diderot (Paris 7)) 1 shared papers