Co-authors

1. Karl Crary (15 paper(s) during 1999-2007)
2. Guy E. Blelloch (11 paper(s) during 2001-2009)
3. Peter Lee (8 paper(s) during 1994-2003)
4. Frank Pfenning (7 paper(s) during 1998-2005)
5. J. Gregory Morrisett (7 paper(s) during 1995-2001)
6. John C. Mitchell (6 paper(s) during 1988-1999)
7. Tom Murphy VII (5 paper(s) during 2002-2007)
8. Christopher A. Stone (5 paper(s) during 1996-2006)
9. Umut A. Acar (5 paper(s) during 2002-2006)
10. Perry Cheng (5 paper(s) during 1996-2003)
11. Daniel R. Licata (4 paper(s) during 2008-2009)
12. Derek Dreyer (4 paper(s) during 2003-2007)
13. Leaf Petersen (4 paper(s) during 2003-2005)
14. Mark Lillibridge (4 paper(s) during 1993-1996)
15. Daniel Spoonhower (3 paper(s) during 2005-2009)
16. Andrzej Tarlecki (3 paper(s) during 1989-1994)
17. Donald Sannella (3 paper(s) during 1989-1994)
18. Noam Zeilberger (2 paper(s) during 2008-2009)
19. Phillip B. Gibbons (2 paper(s) during 2008-2009)
20. Aleksandar Nanevski (2 paper(s) during 2001-2003)
21. Joseph Vanderwaart (2 paper(s) during 2003)
22. Edoardo Biagioni (2 paper(s) during 1994-2001)
23. Benjamin C. Pierce (2 paper(s) during 1991-2000)
24. Lars Birkedal (2 paper(s) during 1997-1999)
25. David Tarditi (2 paper(s) during 1996)
26. Bruce F. Duba (2 paper(s) during 1991-1993)
27. David B. MacQueen (2 paper(s) during 1991-1993)
28. Furio Honsell (2 paper(s) during 1987-1993)
29. Gordon D. Plotkin (2 paper(s) during 1987-1993)
30. Robert Pollack (2 paper(s) during 1989-1991)
31. Anupam Datta (1 paper(s) during 2010)
32. Kumar Avijit (1 paper(s) during 2010)
33. Kathleen Fisher (1 paper(s) during 2009)
34. Kim B. Bruce (1 paper(s) during 2009)
35. Mark W. Bailey (1 paper(s) during 2009)
36. Stuart Reges (1 paper(s) during 2009)
37. Daniel K. Lee (1 paper(s) during 2007)
38. David Jonker (1 paper(s) during 2007)
39. David Schroh (1 paper(s) during 2007)
40. Gabriele Keller (1 paper(s) during 2007)
41. Lynn Chien (1 paper(s) during 2007)
42. Manuel M. T. Chakravarty (1 paper(s) during 2007)
43. Pascale Proulx (1 paper(s) during 2007)
44. Thomas Kapler (1 paper(s) during 2007)
45. William Wright (1 paper(s) during 2007)
46. David Swasey (1 paper(s) during 2006)
47. Iain E. Buchan (1 paper(s) during 2006)
48. Ismael Juma (1 paper(s) during 2006)
49. John Ainsworth (1 paper(s) during 2006)
50. Kanat Tangwongsan (1 paper(s) during 2006)
51. Matthias Blume (1 paper(s) during 2006)
52. Adam J. Chlipala (1 paper(s) during 2005)
53. David A. Basin (1 paper(s) during 2004)
54. Jorge L. Vittes (1 paper(s) during 2004)
55. Olivier Danvy (1 paper(s) during 2004)
56. Shan Leung Maverick Woo (1 paper(s) during 2004)
57. Christopher Colby (1 paper(s) during 2003)
58. David Walker (1 paper(s) during 2003)
59. Yitzhak Mandelbaum (1 paper(s) during 2003)
60. Bor-Yuh Evan Chang (1 paper(s) during 2002)
61. Jason Liszka (1 paper(s) during 2002)
62. Margaret DeLap (1 paper(s) during 2002)
63. Fred B. Schneider (1 paper(s) during 2001)
64. Gary L. Miller (1 paper(s) during 2001)
65. Hal Burch (1 paper(s) during 2001)
66. Hongwei Xi (1 paper(s) during 2001)
67. Joseph Y. Halpern (1 paper(s) during 2001)
68. Moshe Y. Vardi (1 paper(s) during 2001)
69. Neil Immerman (1 paper(s) during 2001)
70. Noel Walkington (1 paper(s) during 2001)
71. Phokion G. Kolaitis (1 paper(s) during 2001)
72. Victor Vianu (1 paper(s) during 2001)
73. Sidd Puri (1 paper(s) during 1999)
74. Andrew Bernard (1 paper(s) during 1998)
75. Yasuhiko Minamide (1 paper(s) during 1996)
76. Matthias Felleisen (1 paper(s) during 1995)
77. Brian Milnes (1 paper(s) during 1994)
78. Eugenio Moggi (1 paper(s) during 1990)
79. Mads Tofte (1 paper(s) during 1987)
80. Robin Milner (1 paper(s) during 1987)