Co-authors

1. J. Gregory Morrisett (9 paper(s) during 1998-2003)
2. Yitzhak Mandelbaum (8 paper(s) during 2003-2010)
3. Kathleen Fisher (8 paper(s) during 2006-2009)
4. Jay Ligatti (7 paper(s) during 2003-2007)
5. Karl Crary (7 paper(s) during 1998-2003)
6. Anna Philippou (7 paper(s) during 1995-2001)
7. Limin Jia (6 paper(s) during 2003-2009)
8. Neal Glew (6 paper(s) during 1998-2005)
9. Kenny Qili Zhu (4 paper(s) during 2008-2009)
10. Lujo Bauer (4 paper(s) during 2002-2005)
11. Xinxin Liu (4 paper(s) during 1995-2000)
12. Joachim Parrow (4 paper(s) during 1991-1993)
13. Robin Milner (4 paper(s) during 1991-1993)
14. Daniel S. Dantas (3 paper(s) during 2005-2009)
15. Frances Perry (3 paper(s) during 2006-2008)
16. Kevin Watkins (3 paper(s) during 2001-2008)
17. Mary F. Fernández (3 paper(s) during 2006-2007)
18. Paola Quaglia (3 paper(s) during 1998-2005)
19. Amal J. Ahmed (3 paper(s) during 2003)
20. Colin Stirling (3 paper(s) during 1989-1991)
21. Qian Xi (2 paper(s) during 2009-2010)
22. Frank Pfenning (2 paper(s) during 2003-2008)
23. Iliano Cervesato (2 paper(s) during 2003-2008)
24. David I. August (2 paper(s) during 2006-2007)
25. George A. Reis (2 paper(s) during 2006-2007)
26. Lester W. Mackey (2 paper(s) during 2006-2007)
27. Mark Daly (2 paper(s) during 2006)
28. Steve Zdancewic (2 paper(s) during 2003-2006)
29. Andrew W. Appel (1 paper(s) during 2010)
30. Christian J. Bell (1 paper(s) during 2010)
31. Matthew L. Meola (1 paper(s) during 2010)
32. Trevor Jim (1 paper(s) during 2010)
33. Vivek Pai (1 paper(s) during 2009)
34. Henry Rolka (1 paper(s) during 2008)
35. Jean C. O'Connor (1 paper(s) during 2008)
36. Michael Sadowitz (1 paper(s) during 2008)
37. Peter White (1 paper(s) during 2008)
38. Shahram Latifi (1 paper(s) during 2008)
39. Artem Gleyzer (1 paper(s) during 2007)
40. Chee Quek (1 paper(s) during 2007)
41. Hauw Liem (1 paper(s) during 2007)
42. Mohamed Mostafa (1 paper(s) during 2007)
43. Robert Koupal (1 paper(s) during 2007)
44. Shayan Farahvash (1 paper(s) during 2007)
45. William Roberts (1 paper(s) during 2007)
46. Coral Calero (1 paper(s) during 2006)
47. Maria Ángeles Moraga (1 paper(s) during 2006)
48. Mario Piattini (1 paper(s) during 2006)
49. Robert Gruber (1 paper(s) during 2006)
50. Xuan Zheng (1 paper(s) during 2006)
51. Ahmet Uyar (1 paper(s) during 2005)
52. Beytullah Yildiz (1 paper(s) during 2005)
53. Frances Spalding (1 paper(s) during 2005)
54. Geoffrey Fox (1 paper(s) during 2005)
55. Geoffrey Washburn (1 paper(s) during 2005)
56. Hongbin Liu (1 paper(s) during 2005)
57. Marc E. Fiuczynski (1 paper(s) during 2005)
58. Robert Grimm (1 paper(s) during 2005)
59. Shrideep Pallickara (1 paper(s) during 2005)
60. Stephanie Weirich (1 paper(s) during 2005)
61. Xi Rao (1 paper(s) during 2005)
62. Yvonne Coady (1 paper(s) during 2005)
63. Gang Tan (1 paper(s) during 2004)
64. Peter Arbenz (1 paper(s) during 2004)
65. Rolf Hempel (1 paper(s) during 2004)
66. Xinming Ou (1 paper(s) during 2004)
67. Robert Harper (1 paper(s) during 2003)
68. Jarred Ligatti (1 paper(s) during 2002)
69. Davide Sangiorgi (1 paper(s) during 2001)
70. Frederick Smith (1 paper(s) during 2000)
71. William F. McColl (1 paper(s) during 1998)
72. Anne McMahon (1 paper(s) during 1994)
73. Errol Martin (1 paper(s) during 1994)
74. Frank Hicks (1 paper(s) during 1994)
75. Penny Collins (1 paper(s) during 1994)
76. Anke Kamrath (1 paper(s) during 1990)
77. Arnold Alagar (1 paper(s) during 1990)
78. Clive F. Baillie (1 paper(s) during 1990)
79. Edward W. Felten (1 paper(s) during 1990)
80. Jack M. Rogers (1 paper(s) during 1990)
81. Paul Hipes (1 paper(s) during 1990)
82. Paul Messina (1 paper(s) during 1990)
83. Ray Williams (1 paper(s) during 1990)
84. Robert Leary (1 paper(s) during 1990)
85. Wayne Pfeiffer (1 paper(s) during 1990)