Co-authors

1. Thomas Ball (17 paper(s) during 2000-2006)
2. Thomas A. Henzinger (15 paper(s) during 1997-2006)
3. Shaz Qadeer (14 paper(s) during 1997-2005)
4. Aditya V. Nori (10 paper(s) during 2006-2010)
5. Jakob Rehof (8 paper(s) during 2001-2004)
6. Prasad Naldurg (4 paper(s) during 2006-2008)
7. Rajeev Alur (4 paper(s) during 1997-2001)
8. Avik Chaudhuri (3 paper(s) during 2008)
9. Bhargav S. Gulavani (3 paper(s) during 2006-2008)
10. Madhu Gopinathan (3 paper(s) during 2008)
11. Byron Cook (3 paper(s) during 2004-2006)
12. Vladimir Levin (3 paper(s) during 2004-2006)
13. Andreas Podelski (3 paper(s) during 2001-2003)
14. Serdar Tasiran (3 paper(s) during 1998-2002)
15. SaiDeep Tetali (2 paper(s) during 2009-2010)
16. G. Ramalingam (2 paper(s) during 2008-2009)
17. Joseph M. Joy (2 paper(s) during 2007-2009)
18. Christian Stefansen (2 paper(s) during 2008)
19. Parameswaran Seshan (2 paper(s) during 2008)
20. Todd D. Millstein (2 paper(s) during 2001-2005)
21. Manuvir Das (2 paper(s) during 2002-2004)
22. Tony Andrews (2 paper(s) during 2004)
23. Yichen Xie (2 paper(s) during 2004)
24. Orna Kupferman (2 paper(s) during 1997-2002)
25. Sagar Chaki (2 paper(s) during 2001-2002)
26. Robert K. Brayton (2 paper(s) during 1997-2001)
27. Akash Lal (1 paper(s) during 2010)
28. Patrice Godefroid (1 paper(s) during 2010)
29. William R. Harris (1 paper(s) during 2010)
30. Aditya V. Thakur (1 paper(s) during 2009)
31. Anindya Banerjee (1 paper(s) during 2009)
32. B. Ashok (1 paper(s) during 2009)
33. Gopal Srinivasa (1 paper(s) during 2009)
34. Hongkang Liang (1 paper(s) during 2009)
35. Kapil Vaswani (1 paper(s) during 2009)
36. V. Benjamin Livshits (1 paper(s) during 2009)
37. Venkatesh Prasad Ranganath (1 paper(s) during 2009)
38. Vipindeep Vangala (1 paper(s) during 2009)
39. Lakshmisubrahmanyam Velaga (1 paper(s) during 2008)
40. Nels E. Beckman (1 paper(s) during 2008)
41. Robert J. Simmons (1 paper(s) during 2008)
42. Supratik Chakraborty (1 paper(s) during 2008)
43. A. Prasad Sistla (1 paper(s) during 2007)
44. Christopher L. Conway (1 paper(s) during 2007)
45. Krishna K. Mehra (1 paper(s) during 2007)
46. Prakash Chandrasekaran (1 paper(s) during 2007)
47. Sumit Kumar Jha (1 paper(s) during 2007)
48. Abdullah Ustuner (1 paper(s) during 2006)
49. Bohus Ondrusek (1 paper(s) during 2006)
50. Con McGarvey (1 paper(s) during 2006)
51. Ella Bounimova (1 paper(s) during 2006)
52. Jakob Lichtenberg (1 paper(s) during 2006)
53. John Lambert (1 paper(s) during 2006)
54. Stefan Schwoon (1 paper(s) during 2006)
55. Yamini Kannan (1 paper(s) during 2006)
56. Robert Palmer (1 paper(s) during 2005)
57. Cédric Fournet (1 paper(s) during 2004)
58. C. A. R. Hoare (1 paper(s) during 2004)
59. James R. Larus (1 paper(s) during 2004)
60. Jonathan D. Pincus (1 paper(s) during 2004)
61. Manuel Fähndrich (1 paper(s) during 2004)
62. Ramanathan Venkatapathy (1 paper(s) during 2004)
63. Randal E. Bryant (1 paper(s) during 2004)
64. Robert DeLine (1 paper(s) during 2004)
65. Satyaki Das (1 paper(s) during 2004)
66. Mayur Naik (1 paper(s) during 2003)
67. Mark Seigle (1 paper(s) during 2002)
68. Sorin Lerner (1 paper(s) during 2002)
69. Stephen Adams (1 paper(s) during 2002)
70. Westley Weimer (1 paper(s) during 2002)
71. Rupak Majumdar (1 paper(s) during 2001)
72. Xiaojun Liu (1 paper(s) during 1999)
73. Freddy Y. C. Mang (1 paper(s) during 1998)