-
Notifications
You must be signed in to change notification settings - Fork 7
/
acknowledgments.tex
162 lines (150 loc) · 3.59 KB
/
acknowledgments.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
\section*{Acknowledgments}
\vspace{-0.2cm}
The authors of this report thank members of the CTSRD, MRC2, ECATS,
CIFV, REMS, ETC, MTSS, and CHaOS teams, our past and current research collaborators at SRI and
Cambridge, as well as colleagues at other institutions who have provided
invaluable feedback and continuing support throughout this work:
\medskip
\begin{small}
\noindent\begin{autogrid}{4}
Sam Ainsworth \\
Ross J. Anderson \\
Ruben Ayrapetyan \\
Rosie Baish \\
Hadrien Barral \\
Thomas Bauereiss \\
Stuart Biles \\
Andrew Bivin \\
Peter Blandford-Baker \\
Matthias Boettcher \\
David Brazdil \\
Reuben Broadfoot \\
Kevin Brodsky \\
Ruslan Bukin \\
Brian Campbell \\
Gregory Chadwick \\
Jianyi Cheng \\
Serban Constantinescu \\
Kian Cross \\
Chris Dalton \\
Nirav Dave \\
Dominique Devriese \\
Mike Dodson \\
Lawrence Esswood \\
Jonas Fiala \\
Wedson Filho \\
Anthony Fox \\
Paul J. Fox \\
Ivan Gomes Ribeiro \\
Dapeng Gao \\
Paul Gotch \\
Tom Grocutt \\
Khilan Gudka \\
Brett Gutstein \\
Jong Hun Han \\
Andy Hopper \\
Alex Horsman \\
Graeme Jenkinson \\
Timothy Jones \\
Asif Khan \\
Myron King \\
Joe Kiniry \\
Chris Kitching \\
Wojciech Koszek \\
Robert Kovacsics \\
Karthik Muthusamy \\
Brian Li \\
Nix Li \\
Patrick Lincoln \\
Marno van der Maas \\
Anil Madhavapeddy \\
Jessica Man \\
Ilias Marinos \\
Tim Marsland \\
Ed Maste \\
Alfredo Mazzinghi \\
Kayvan Memarian \\
Paul Metzger \\
Dejan Milojicic \\
Andrew W. Moore \\
Will Morland \\
Alan Mujumdar \\
Prashanth Mundkur \\
Edward Napierala \\
George V. Neville-Neil \\
Philip Paeps \\
Lucian Paul-Trifu \\
Alex Porter \\
Austin Roach \\
Colin Rothwell \\
John Rushby \\
Hassen Saidi \\
Hans Petter Selasky \\
Andrew Scull \\
Muhammad Shahbaz \\
Bradley Smith \\
Lee Smith \\
Ian Stark \\
Samuel Stark \\
Ramy Tadros \\
Andrew Turner \\
Richard Uhler \\
Munraj Vadera \\
Jacques Vidrine \\
Hugo Vincent \\
Philip Withnall \\
Vadim Zaliva \\
Bjoern A. Zeeb \\
\end{autogrid}
\end{small}
\medskip
\noindent
The CTSRD team also thanks past and current members of its external oversight
group:
\medskip
\begin{small}
\noindent\begin{autogrid}{5}
Lee Badger \\
Simon Cooper \\
Rance DeLong \\
Jeremy Epstein \\
Virgil Gligor \\
Li Gong \\
Mike Gordon \\
Steven Hand \\
Andrew Herbert \\
Warren A. Hunt Jr. \\
Doug Maughan \\
Greg Morrisett \\
Brian Randell \\
Kenneth F. Shotting \\
Joe Stoy \\
Tom Van Vleck \\
Samuel M. Weber \\
\end{autogrid}
\end{small}
\medskip
\noindent
We would also like to acknowledge the late David Wheeler and Paul Karger,
whose conversations with the authors about the CAP computer and capability
systems contributed to our thinking, and whose prior work provided
considerable inspiration.
\medskip
\noindent
Finally, we are grateful to Howie Shrobe, MIT professor and past DARPA CRASH
and MRC program manager, who offered both technical insight and support
throughout this work.
We are also grateful to Robert Laddaga, Stu Wagner, and Jonathan Smith,
who succeeded Howie in overseeing the CRASH program,
John Launchbury (DARPA I2O office director),
Dale Waters (DARPA AEO office director),
Linton Salmon (DARPA SSITH program manager),
Keith Rebello (DARPA SSITH program manager),
Lok Yan (DARPA SSITH program manager),
Brad Martin (DARPA program manager for ETC seedling),
Sergey Bratus (DARPA program manager for MTSS seedling),
Daniel Adams and Laurisa Goergen (DARPA I2O SETAs supporting the CRASH and MRC programs),
Marnie Dunsmore and John Marsh (DARPA MTO SETAs supporting the SSITH program),
Garrett Ramela (DARPA I2O SETA supporting the ETC seedling),
Thomas Maddern (DARPA I2O SETA supporting the MTSS seedling),
John Goodacre (UKRI), and Georgios Papadakis (UKRI).