1 @Comment{A Bilbiography of papers that either use or extend FreeBSD.}
2 @Comment{NOTE: Entries are alphabetical by primary key (author)}
3 @article{Anderson2014a,
4 author = {Anderson, J and Watson, Rnm and Chisnall, D and Gudka, K. and Marinos, I and Davis, B},
5 file = {:Users/gnn/Documents/Mendeley Desktop/Anderson et al/Proceedings of the European Conference on Computer Systems/Anderson et al. - 2014 - TESLA temporally enhanced system logic assertions.pdf:pdf},
6 isbn = {9781450327046},
7 journal = {Proceedings of the European Conference on Computer Systems},
8 mendeley-groups = {CADETS},
9 title = {{TESLA: temporally enhanced system logic assertions}},
10 url = {http://dl.acm.org/citation.cfm?id=2592801},
14 @article{Armitage:2003:MSE:956993.957010,
15 author = {Armitage, Grenville},
16 title = {Maximising Student Exposure to Networking Using FreeBSD Virtual Hosts},
17 journal = {SIGCOMM Comput. Commun. Rev.},
18 issue_date = {July 2003},
26 url = {http://doi.acm.org/10.1145/956993.957010},
27 doi = {10.1145/956993.957010},
30 address = {New York, NY, USA},
31 keywords = {FreeBSD, IP, Unix, networking, students, teaching, virtual hosts},
34 @article{Armitage:2008:IHI:1384609.1384613,
35 author = {Armitage, Grenville and Stewart, Lawrence and Welzl, Michael and Healy, James},
36 title = {An Independent H-TCP Implementation Under FreeBSD 7.0: Description and Observed Behaviour},
37 journal = {SIGCOMM Comput. Commun. Rev.},
38 issue_date = {July 2008},
46 url = {http://doi.acm.org/10.1145/1384609.1384613},
47 doi = {10.1145/1384609.1384613},
50 address = {New York, NY, USA},
51 keywords = {FreeBSD, H-TCP, TCP, congestion control},
54 @inproceedings{Bless:2004:IFT:1161734.1162020,
55 author = {Bless, Roland and Doll, Mark},
56 title = {Integration of the FreeBSD TCP/IP-stack into the Discrete Event Simulator OMNet++},
57 booktitle = {Proceedings of the 36th Conference on Winter Simulation},
60 isbn = {0-7803-8786-4},
61 location = {Washington, D.C.},
64 url = {http://dl.acm.org/citation.cfm?id=1161734.1162020},
66 publisher = {Winter Simulation Conference},
69 @inproceedings{Canfora:2011:SIA:1985441.1985463,
70 author = {Canfora, Gerardo and Cerulo, Luigi and Cimitile, Marta and Di Penta, Massimiliano},
71 title = {Social Interactions Around Cross-system Bug Fixings: The Case of FreeBSD and OpenBSD},
72 booktitle = {Proceedings of the 8th Working Conference on Mining Software Repositories},
75 isbn = {978-1-4503-0574-7},
76 location = {Waikiki, Honolulu, HI, USA},
79 url = {http://doi.acm.org/10.1145/1985441.1985463},
80 doi = {10.1145/1985441.1985463},
83 address = {New York, NY, USA},
84 keywords = {bug fixing, code migration, empirical study, social network analysis},
88 @inproceedings{Chang:2008:ESC:1370750.1370766,
89 author = {Chang, Hung-Fu and Mockus, Audris},
90 title = {Evaluation of Source Code Copy Detection Methods on Freebsd},
91 booktitle = {Proceedings of the 2008 International Working Conference on Mining Software Repositories},
94 isbn = {978-1-60558-024-1},
95 location = {Leipzig, Germany},
98 url = {http://doi.acm.org/10.1145/1370750.1370766},
99 doi = {10.1145/1370750.1370766},
102 address = {New York, NY, USA},
103 keywords = {clone detection, cloning, code copying, open source, version control},
106 @article{Chisnall:2015:BPA:2786763.2694367,
107 author = {Chisnall, David and Rothwell, Colin and Watson, Robert N.M. and Woodruff, Jonathan and Vadera, Munraj and Moore, Simon W. and Roe, Michael and Davis, Brooks and Neumann, Peter G.},
108 title = {Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine},
109 journal = {SIGARCH Comput. Archit. News},
110 issue_date = {March 2015},
118 url = {http://doi.acm.org/10.1145/2786763.2694367},
119 doi = {10.1145/2786763.2694367},
122 address = {New York, NY, USA},
123 keywords = {C language, bounds checking, capabilities, compilers, memory protection, memory safety, processor design, security},
126 @article{Chisnall:2015:BPA:2775054.2694367,
127 author = {Chisnall, David and Rothwell, Colin and Watson, Robert N.M. and Woodruff, Jonathan and Vadera, Munraj and Moore, Simon W. and Roe, Michael and Davis, Brooks and Neumann, Peter G.},
128 title = {Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine},
129 journal = {SIGPLAN Not.},
130 issue_date = {April 2015},
138 url = {http://doi.acm.org/10.1145/2775054.2694367},
139 doi = {10.1145/2775054.2694367},
142 address = {New York, NY, USA},
143 keywords = {C language, bounds checking, capabilities, compilers, memory protection, memory safety, processor design, security},
146 @inproceedings{Chisnall:2015:BPA:2694344.2694367,
147 author = {Chisnall, David and Rothwell, Colin and Watson, Robert N.M. and Woodruff, Jonathan and Vadera, Munraj and Moore, Simon W. and Roe, Michael and Davis, Brooks and Neumann, Peter G.},
148 title = {Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine},
149 booktitle = {Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems},
150 series = {ASPLOS '15},
152 isbn = {978-1-4503-2835-7},
153 location = {Istanbul, Turkey},
156 url = {http://doi.acm.org/10.1145/2694344.2694367},
157 doi = {10.1145/2694344.2694367},
160 address = {New York, NY, USA},
161 keywords = {C language, bounds checking, capabilities, compilers, memory protection, memory safety, processor design, security},
164 @article{Frenger:2000:FFB:360271.360272,
165 author = {Frenger, Paul},
166 title = {Forth and the FreeBSD Bootloader},
167 journal = {SIGPLAN Not.},
168 issue_date = {Aug., 2000},
176 url = {http://doi.acm.org/10.1145/360271.360272},
177 doi = {10.1145/360271.360272},
180 address = {New York, NY, USA},
183 @inproceedings{Hsu:2003:RSF:1250972.1250973,
184 author = {Hsu, Jeffrey},
185 title = {Reasoning About SMP in FreeBSD},
186 booktitle = {Proceedings of the BSD Conference 2003 on BSD Conference},
189 location = {San Mateo, California},
192 url = {http://dl.acm.org/citation.cfm?id=1250972.1250973},
194 publisher = {USENIX Association},
195 address = {Berkeley, CA, USA},
198 @inproceedings{Izurieta:2006:EFL:1159733.1159765,
199 author = {Izurieta, Clemente and Bieman, James},
200 title = {The Evolution of FreeBSD and Linux},
201 booktitle = {Proceedings of the 2006 ACM/IEEE International Symposium on Empirical Software Engineering},
202 series = {ISESE '06},
204 isbn = {1-59593-218-6},
205 location = {Rio de Janeiro, Brazil},
208 url = {http://doi.acm.org/10.1145/1159733.1159765},
209 doi = {10.1145/1159733.1159765},
212 address = {New York, NY, USA},
213 keywords = {FreeBSD, evolution, linux, open source software, replication study, software engineering},
216 @inproceedings{Li:2009:OBR:1592631.1592641,
217 author = {Li, Qing and Macy, Kip},
218 title = {Optimizing the BSD Routing System for Parallel Processing},
219 booktitle = {Proceedings of the 2Nd ACM SIGCOMM Workshop on Programmable Routers for Extensible Services of Tomorrow},
220 series = {PRESTO '09},
222 isbn = {978-1-60558-446-1},
223 location = {Barcelona, Spain},
226 url = {http://doi.acm.org/10.1145/1592631.1592641},
227 doi = {10.1145/1592631.1592641},
230 address = {New York, NY, USA},
231 keywords = {arp, flow table, freebsd, ip, ipv6, mp, neighbor cache, routing, server load balancing (slb), smp, synchronization},
234 @book{McKusick:1996:DIO:231070,
235 author = {McKusick, Marshall Kirk and Bostic, Keith and Karels, Michael J. and Quarterman, John S.},
236 title = {The Design and Implementation of the 4.4BSD Operating System},
238 isbn = {0-201-54979-4},
239 publisher = {Addison Wesley Longman Publishing Co., Inc.},
240 address = {Redwood City, CA, USA},
243 @book{McKusick:2004:DIF:1014910,
244 author = {McKusick, Marshall Kirk and Neville-Neil, George V.},
245 title = {The Design and Implementation of the FreeBSD Operating System},
248 publisher = {Pearson Education},
251 @book{McKusick:2014:DIF:2659919,
252 author = {McKusick, Marshall Kirk and Neville-Neil, George and Watson, Robert N.M.},
253 title = {The Design and Implementation of the FreeBSD Operating System},
255 isbn = {0321968972, 9780321968975},
257 publisher = {Addison-Wesley Professional},
260 @article{McKusick:2004:TSF:1035594.1035622,
261 author = {McKusick, Marshall Kirk and Neville-Neil, George V.},
262 title = {Thread Scheduling in FreeBSD 5.2},
264 issue_date = {October 2004},
272 url = {http://doi.acm.org/10.1145/1035594.1035622},
273 doi = {10.1145/1035594.1035622},
276 address = {New York, NY, USA},
279 @inproceedings{Murray:2002:IYP:1250894.1250900,
280 author = {Murray, Mark R. V.},
281 title = {An Implementation of the Yarrow PRNG for FreeBSD},
282 booktitle = {Proceedings of the BSD Conference 2002 on BSD Conference},
285 location = {San Francisco, California},
288 url = {http://dl.acm.org/citation.cfm?id=1250894.1250900},
290 publisher = {USENIX Association},
291 address = {Berkeley, CA, USA},
294 @inproceedings{Spinellis:2006:GSD:1138506.1138524,
295 author = {Spinellis, Diomidis},
296 title = {Global Software Development in the freeBSD Project},
297 booktitle = {Proceedings of the 2006 International Workshop on Global Software Development for the Practitioner},
300 isbn = {1-59593-404-9},
301 location = {Shanghai, China},
304 url = {http://doi.acm.org/10.1145/1138506.1138524},
305 doi = {10.1145/1138506.1138524},
308 address = {New York, NY, USA},
309 keywords = {global development, open source, quantitative analysis},
312 @inproceedings{Spinellis:2008:TFK:1368088.1368140,
313 author = {Spinellis, Diomidis},
314 title = {A Tale of Four Kernels},
315 booktitle = {Proceedings of the 30th International Conference on Software Engineering},
318 isbn = {978-1-60558-079-1},
319 location = {Leipzig, Germany},
322 url = {http://doi.acm.org/10.1145/1368088.1368140},
323 doi = {10.1145/1368088.1368140},
326 address = {New York, NY, USA},
327 keywords = {comparison, freebsd, linux, open source, opensolaris, proprietary software, wrk},
330 @inproceedings{Woodruff:2014:CCM:2665671.2665740,
331 author = {Woodruff, Jonathan and Watson, Robert N.M. and Chisnall, David and Moore, Simon W. and Anderson, Jonathan and Davis, Brooks and Laurie, Ben and Neumann, Peter G. and Norton, Robert and Roe, Michael},
332 title = {The CHERI Capability Model: Revisiting RISC in an Age of Risk},
333 booktitle = {Proceeding of the 41st Annual International Symposium on Computer Architecuture},
336 isbn = {978-1-4799-4394-4},
337 location = {Minneapolis, Minnesota, USA},
340 url = {http://dl.acm.org/citation.cfm?id=2665671.2665740},
342 publisher = {IEEE Press},
343 address = {Piscataway, NJ, USA},
346 @article{Woodruff:2014:CCM:2678373.2665740,
347 author = {Woodruff, Jonathan and Watson, Robert N.M. and Chisnall, David and Moore, Simon W. and Anderson, Jonathan and Davis, Brooks and Laurie, Ben and Neumann, Peter G. and Norton, Robert and Roe, Michael},
348 title = {The CHERI Capability Model: Revisiting RISC in an Age of Risk},
349 journal = {SIGARCH Comput. Archit. News},
350 issue_date = {June 2014},
358 url = {http://doi.acm.org/10.1145/2678373.2665740},
359 doi = {10.1145/2678373.2665740},
362 address = {New York, NY, USA},