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, 4author = {Anderson, J and Watson, Rnm and Chisnall, D and Gudka, K. and Marinos, I and Davis, B}, 5file = {: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}, 6isbn = {9781450327046}, 7journal = {Proceedings of the European Conference on Computer Systems}, 8mendeley-groups = {CADETS}, 9title = {{TESLA: temporally enhanced system logic assertions}}, 10url = {http://dl.acm.org/citation.cfm?id=2592801}, 11year = {2014} 12} 13 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}, 19 volume = {33}, 20 number = {3}, 21 month = jul, 22 year = {2003}, 23 issn = {0146-4833}, 24 pages = {137--143}, 25 numpages = {7}, 26 url = {http://doi.acm.org/10.1145/956993.957010}, 27 doi = {10.1145/956993.957010}, 28 acmid = {957010}, 29 publisher = {ACM}, 30 address = {New York, NY, USA}, 31 keywords = {FreeBSD, IP, Unix, networking, students, teaching, virtual hosts}, 32} 33 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}, 39 volume = {38}, 40 number = {3}, 41 month = jul, 42 year = {2008}, 43 issn = {0146-4833}, 44 pages = {27--38}, 45 numpages = {12}, 46 url = {http://doi.acm.org/10.1145/1384609.1384613}, 47 doi = {10.1145/1384609.1384613}, 48 acmid = {1384613}, 49 publisher = {ACM}, 50 address = {New York, NY, USA}, 51 keywords = {FreeBSD, H-TCP, TCP, congestion control}, 52} 53 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}, 58 series = {WSC '04}, 59 year = {2004}, 60 isbn = {0-7803-8786-4}, 61 location = {Washington, D.C.}, 62 pages = {1556--1561}, 63 numpages = {6}, 64 url = {http://dl.acm.org/citation.cfm?id=1161734.1162020}, 65 acmid = {1162020}, 66 publisher = {Winter Simulation Conference}, 67} 68 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}, 73 series = {MSR '11}, 74 year = {2011}, 75 isbn = {978-1-4503-0574-7}, 76 location = {Waikiki, Honolulu, HI, USA}, 77 pages = {143--152}, 78 numpages = {10}, 79 url = {http://doi.acm.org/10.1145/1985441.1985463}, 80 doi = {10.1145/1985441.1985463}, 81 acmid = {1985463}, 82 publisher = {ACM}, 83 address = {New York, NY, USA}, 84 keywords = {bug fixing, code migration, empirical study, social network analysis}, 85} 86 87 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}, 92 series = {MSR '08}, 93 year = {2008}, 94 isbn = {978-1-60558-024-1}, 95 location = {Leipzig, Germany}, 96 pages = {61--66}, 97 numpages = {6}, 98 url = {http://doi.acm.org/10.1145/1370750.1370766}, 99 doi = {10.1145/1370750.1370766}, 100 acmid = {1370766}, 101 publisher = {ACM}, 102 address = {New York, NY, USA}, 103 keywords = {clone detection, cloning, code copying, open source, version control}, 104} 105 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}, 111 volume = {43}, 112 number = {1}, 113 month = mar, 114 year = {2015}, 115 issn = {0163-5964}, 116 pages = {117--130}, 117 numpages = {14}, 118 url = {http://doi.acm.org/10.1145/2786763.2694367}, 119 doi = {10.1145/2786763.2694367}, 120 acmid = {2694367}, 121 publisher = {ACM}, 122 address = {New York, NY, USA}, 123 keywords = {C language, bounds checking, capabilities, compilers, memory protection, memory safety, processor design, security}, 124} 125 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}, 131 volume = {50}, 132 number = {4}, 133 month = mar, 134 year = {2015}, 135 issn = {0362-1340}, 136 pages = {117--130}, 137 numpages = {14}, 138 url = {http://doi.acm.org/10.1145/2775054.2694367}, 139 doi = {10.1145/2775054.2694367}, 140 acmid = {2694367}, 141 publisher = {ACM}, 142 address = {New York, NY, USA}, 143 keywords = {C language, bounds checking, capabilities, compilers, memory protection, memory safety, processor design, security}, 144} 145 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}, 151 year = {2015}, 152 isbn = {978-1-4503-2835-7}, 153 location = {Istanbul, Turkey}, 154 pages = {117--130}, 155 numpages = {14}, 156 url = {http://doi.acm.org/10.1145/2694344.2694367}, 157 doi = {10.1145/2694344.2694367}, 158 acmid = {2694367}, 159 publisher = {ACM}, 160 address = {New York, NY, USA}, 161 keywords = {C language, bounds checking, capabilities, compilers, memory protection, memory safety, processor design, security}, 162} 163 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}, 169 volume = {35}, 170 number = {8}, 171 month = aug, 172 year = {2000}, 173 issn = {0362-1340}, 174 pages = {15--17}, 175 numpages = {3}, 176 url = {http://doi.acm.org/10.1145/360271.360272}, 177 doi = {10.1145/360271.360272}, 178 acmid = {360272}, 179 publisher = {ACM}, 180 address = {New York, NY, USA}, 181} 182 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}, 187 series = {BSDC'03}, 188 year = {2003}, 189 location = {San Mateo, California}, 190 pages = {1--1}, 191 numpages = {1}, 192 url = {http://dl.acm.org/citation.cfm?id=1250972.1250973}, 193 acmid = {1250973}, 194 publisher = {USENIX Association}, 195 address = {Berkeley, CA, USA}, 196} 197 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}, 203 year = {2006}, 204 isbn = {1-59593-218-6}, 205 location = {Rio de Janeiro, Brazil}, 206 pages = {204--211}, 207 numpages = {8}, 208 url = {http://doi.acm.org/10.1145/1159733.1159765}, 209 doi = {10.1145/1159733.1159765}, 210 acmid = {1159765}, 211 publisher = {ACM}, 212 address = {New York, NY, USA}, 213 keywords = {FreeBSD, evolution, linux, open source software, replication study, software engineering}, 214} 215 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}, 221 year = {2009}, 222 isbn = {978-1-60558-446-1}, 223 location = {Barcelona, Spain}, 224 pages = {37--42}, 225 numpages = {6}, 226 url = {http://doi.acm.org/10.1145/1592631.1592641}, 227 doi = {10.1145/1592631.1592641}, 228 acmid = {1592641}, 229 publisher = {ACM}, 230 address = {New York, NY, USA}, 231 keywords = {arp, flow table, freebsd, ip, ipv6, mp, neighbor cache, routing, server load balancing (slb), smp, synchronization}, 232} 233 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}, 237 year = {1996}, 238 isbn = {0-201-54979-4}, 239 publisher = {Addison Wesley Longman Publishing Co., Inc.}, 240 address = {Redwood City, CA, USA}, 241} 242 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}, 246 year = {2004}, 247 isbn = {0201702452}, 248 publisher = {Pearson Education}, 249} 250 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}, 254 year = {2014}, 255 isbn = {0321968972, 9780321968975}, 256 edition = {2nd}, 257 publisher = {Addison-Wesley Professional}, 258} 259 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}, 263 journal = {Queue}, 264 issue_date = {October 2004}, 265 volume = {2}, 266 number = {7}, 267 month = oct, 268 year = {2004}, 269 issn = {1542-7730}, 270 pages = {58--64}, 271 numpages = {7}, 272 url = {http://doi.acm.org/10.1145/1035594.1035622}, 273 doi = {10.1145/1035594.1035622}, 274 acmid = {1035622}, 275 publisher = {ACM}, 276 address = {New York, NY, USA}, 277} 278 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}, 283 series = {BSDC'02}, 284 year = {2002}, 285 location = {San Francisco, California}, 286 pages = {6--6}, 287 numpages = {1}, 288 url = {http://dl.acm.org/citation.cfm?id=1250894.1250900}, 289 acmid = {1250900}, 290 publisher = {USENIX Association}, 291 address = {Berkeley, CA, USA}, 292} 293 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}, 298 series = {GSD '06}, 299 year = {2006}, 300 isbn = {1-59593-404-9}, 301 location = {Shanghai, China}, 302 pages = {73--79}, 303 numpages = {7}, 304 url = {http://doi.acm.org/10.1145/1138506.1138524}, 305 doi = {10.1145/1138506.1138524}, 306 acmid = {1138524}, 307 publisher = {ACM}, 308 address = {New York, NY, USA}, 309 keywords = {global development, open source, quantitative analysis}, 310} 311 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}, 316 series = {ICSE '08}, 317 year = {2008}, 318 isbn = {978-1-60558-079-1}, 319 location = {Leipzig, Germany}, 320 pages = {381--390}, 321 numpages = {10}, 322 url = {http://doi.acm.org/10.1145/1368088.1368140}, 323 doi = {10.1145/1368088.1368140}, 324 acmid = {1368140}, 325 publisher = {ACM}, 326 address = {New York, NY, USA}, 327 keywords = {comparison, freebsd, linux, open source, opensolaris, proprietary software, wrk}, 328} 329 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}, 334 series = {ISCA '14}, 335 year = {2014}, 336 isbn = {978-1-4799-4394-4}, 337 location = {Minneapolis, Minnesota, USA}, 338 pages = {457--468}, 339 numpages = {12}, 340 url = {http://dl.acm.org/citation.cfm?id=2665671.2665740}, 341 acmid = {2665740}, 342 publisher = {IEEE Press}, 343 address = {Piscataway, NJ, USA}, 344} 345 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}, 351 volume = {42}, 352 number = {3}, 353 month = jun, 354 year = {2014}, 355 issn = {0163-5964}, 356 pages = {457--468}, 357 numpages = {12}, 358 url = {http://doi.acm.org/10.1145/2678373.2665740}, 359 doi = {10.1145/2678373.2665740}, 360 acmid = {2665740}, 361 publisher = {ACM}, 362 address = {New York, NY, USA}, 363} 364