Co-authors

1. Thomas A. Henzinger (45 paper(s) during 1999-2008)
2. Ranjit Jhala (27 paper(s) during 2002-2010)
3. Luca de Alfaro (17 paper(s) during 2001-2008)
4. Krishnendu Chatterjee (14 paper(s) during 2003-2010)
5. Dirk Beyer (9 paper(s) during 2004-2008)
6. Ru-Gang Xu (8 paper(s) during 2006-2009)
7. Lei He (7 paper(s) during 2007-2010)
8. Yu Hu (7 paper(s) during 2007-2010)
9. Andrey Rybalchenko (6 paper(s) during 2007-2010)
10. Michael Emmi (6 paper(s) during 2006-2010)
11. Jeffrey Fischer (6 paper(s) during 2005-2009)
12. Mariëlle Stoelinga (6 paper(s) during 2003-2008)
13. Vishwanath Raman (5 paper(s) during 2005-2008)
14. Marco Faella (5 paper(s) during 2003-2006)
15. Pierre Ganty (4 paper(s) during 2008-2010)
16. Adam J. Chlipala (4 paper(s) during 2004)
17. Todd D. Millstein (3 paper(s) during 2001-2009)
18. Orna Kupferman (3 paper(s) during 2003-2006)
19. Jean-François Raskin (3 paper(s) during 2000-2005)
20. Grégoire Sutre (3 paper(s) during 2002-2003)
21. Benjamin Monmege (2 paper(s) during 2008-2010)
22. Deepak Kapur (2 paper(s) during 2006-2010)
23. Ju-Yueh Lee (2 paper(s) during 2009-2010)
24. Ashutosh Gupta (2 paper(s) during 2008-2009)
25. Zhe Feng 0002 (2 paper(s) during 2008-2009)
26. Victor Shih (2 paper(s) during 2007-2008)
27. Koushik Sen (2 paper(s) during 2007)
28. Di Ma (2 paper(s) during 2003-2004)
29. Jennifer L. Wong (2 paper(s) during 2001-2004)
30. Jens Palsberg (2 paper(s) during 2003-2004)
31. Tian Zhao (2 paper(s) during 2003-2004)
32. Christoph M. Kirsch (2 paper(s) during 2001-2002)
33. Freddy Y. C. Mang (2 paper(s) during 2000-2001)
34. Benjamin Horowitz (2 paper(s) during 1999-2000)
35. Darko Stefanovic (1 paper(s) during 2010)
36. Manu Jose (1 paper(s) during 2010)
37. Mark Marron (1 paper(s) during 2010)
38. Roman Manevich (1 paper(s) during 2010)
39. Samuel B. Luckenbill (1 paper(s) during 2010)
40. Daniel Marino (1 paper(s) during 2009)
41. Eddie Kohler (1 paper(s) during 2009)
42. Indranil Saha (1 paper(s) during 2009)
43. Adam Meyerson (1 paper(s) during 2008)
44. Damien Zufferey (1 paper(s) during 2008)
45. Francesco Sorrentino 0002 (1 paper(s) during 2008)
46. Gunes Ercal (1 paper(s) during 2008)
47. Patrice Godefroid (1 paper(s) during 2008)
48. Rafit Izhak-Ratzin (1 paper(s) during 2008)
49. Jeffrey S. Fischer (1 paper(s) during 2007)
50. Calogero G. Zarba (1 paper(s) during 2006)
51. Arindam Chakrabarti (1 paper(s) during 2005)
52. Vinayak S. Prabhu (1 paper(s) during 2005)
53. Kenneth L. McMillan (1 paper(s) during 2004)
54. Marcin Jurdzinski (1 paper(s) during 2004)
55. Miodrag Potkonjak (1 paper(s) during 2004)
56. Marco A. A. Sanvido (1 paper(s) during 2003)
57. Shaz Qadeer (1 paper(s) during 2003)
58. George C. Necula (1 paper(s) during 2002)
59. Slobodan Matic (1 paper(s) during 2002)
60. Westley Weimer (1 paper(s) during 2002)
61. Bow-Yaw Wang (1 paper(s) during 2001)
62. M. Kang (1 paper(s) during 2001)
63. Radu Grosu (1 paper(s) during 2001)
64. Rajeev Alur (1 paper(s) during 2001)
65. Sriram K. Rajamani (1 paper(s) during 2001)
66. Thomas Ball (1 paper(s) during 2001)
67. Howard Wong-Toi (1 paper(s) during 2000)
68. R. K. Shyamasundar (1 paper(s) during 1996)