share/doc/papers/bsdreferences.bib

   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},
  11 year = {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 }