@Comment{A Bilbiography of papers that either use or extend FreeBSD.}
@Comment{NOTE: Entries are alphabetical by primary key (author)}
@article{Anderson2014a,
author = {Anderson, J and Watson, Rnm and Chisnall, D and Gudka, K. and Marinos, I and Davis, B},
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},
isbn = {9781450327046},
journal = {Proceedings of the European Conference on Computer Systems},
mendeley-groups = {CADETS},
title = {{TESLA: temporally enhanced system logic assertions}},
url = {http://dl.acm.org/citation.cfm?id=2592801},
year = {2014}
}
@article{Armitage:2003:MSE:956993.957010,
author = {Armitage, Grenville},
title = {Maximising Student Exposure to Networking Using FreeBSD Virtual Hosts},
journal = {SIGCOMM Comput. Commun. Rev.},
issue_date = {July 2003},
volume = {33},
number = {3},
month = jul,
year = {2003},
issn = {0146-4833},
pages = {137--143},
numpages = {7},
url = {http://doi.acm.org/10.1145/956993.957010},
doi = {10.1145/956993.957010},
acmid = {957010},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {FreeBSD, IP, Unix, networking, students, teaching, virtual hosts},
}
@article{Armitage:2008:IHI:1384609.1384613,
author = {Armitage, Grenville and Stewart, Lawrence and Welzl, Michael and Healy, James},
title = {An Independent H-TCP Implementation Under FreeBSD 7.0: Description and Observed Behaviour},
journal = {SIGCOMM Comput. Commun. Rev.},
issue_date = {July 2008},
volume = {38},
number = {3},
month = jul,
year = {2008},
issn = {0146-4833},
pages = {27--38},
numpages = {12},
url = {http://doi.acm.org/10.1145/1384609.1384613},
doi = {10.1145/1384609.1384613},
acmid = {1384613},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {FreeBSD, H-TCP, TCP, congestion control},
}
@inproceedings{Bless:2004:IFT:1161734.1162020,
author = {Bless, Roland and Doll, Mark},
title = {Integration of the FreeBSD TCP/IP-stack into the Discrete Event Simulator OMNet++},
booktitle = {Proceedings of the 36th Conference on Winter Simulation},
series = {WSC '04},
year = {2004},
isbn = {0-7803-8786-4},
location = {Washington, D.C.},
pages = {1556--1561},
numpages = {6},
url = {http://dl.acm.org/citation.cfm?id=1161734.1162020},
acmid = {1162020},
publisher = {Winter Simulation Conference},
}
@inproceedings{Canfora:2011:SIA:1985441.1985463,
author = {Canfora, Gerardo and Cerulo, Luigi and Cimitile, Marta and Di Penta, Massimiliano},
title = {Social Interactions Around Cross-system Bug Fixings: The Case of FreeBSD and OpenBSD},
booktitle = {Proceedings of the 8th Working Conference on Mining Software Repositories},
series = {MSR '11},
year = {2011},
isbn = {978-1-4503-0574-7},
location = {Waikiki, Honolulu, HI, USA},
pages = {143--152},
numpages = {10},
url = {http://doi.acm.org/10.1145/1985441.1985463},
doi = {10.1145/1985441.1985463},
acmid = {1985463},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {bug fixing, code migration, empirical study, social network analysis},
}
@inproceedings{Chang:2008:ESC:1370750.1370766,
author = {Chang, Hung-Fu and Mockus, Audris},
title = {Evaluation of Source Code Copy Detection Methods on Freebsd},
booktitle = {Proceedings of the 2008 International Working Conference on Mining Software Repositories},
series = {MSR '08},
year = {2008},
isbn = {978-1-60558-024-1},
location = {Leipzig, Germany},
pages = {61--66},
numpages = {6},
url = {http://doi.acm.org/10.1145/1370750.1370766},
doi = {10.1145/1370750.1370766},
acmid = {1370766},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {clone detection, cloning, code copying, open source, version control},
}
@article{Chisnall:2015:BPA:2786763.2694367,
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.},
title = {Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine},
journal = {SIGARCH Comput. Archit. News},
issue_date = {March 2015},
volume = {43},
number = {1},
month = mar,
year = {2015},
issn = {0163-5964},
pages = {117--130},
numpages = {14},
url = {http://doi.acm.org/10.1145/2786763.2694367},
doi = {10.1145/2786763.2694367},
acmid = {2694367},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {C language, bounds checking, capabilities, compilers, memory protection, memory safety, processor design, security},
}
@article{Chisnall:2015:BPA:2775054.2694367,
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.},
title = {Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine},
journal = {SIGPLAN Not.},
issue_date = {April 2015},
volume = {50},
number = {4},
month = mar,
year = {2015},
issn = {0362-1340},
pages = {117--130},
numpages = {14},
url = {http://doi.acm.org/10.1145/2775054.2694367},
doi = {10.1145/2775054.2694367},
acmid = {2694367},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {C language, bounds checking, capabilities, compilers, memory protection, memory safety, processor design, security},
}
@inproceedings{Chisnall:2015:BPA:2694344.2694367,
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.},
title = {Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine},
booktitle = {Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems},
series = {ASPLOS '15},
year = {2015},
isbn = {978-1-4503-2835-7},
location = {Istanbul, Turkey},
pages = {117--130},
numpages = {14},
url = {http://doi.acm.org/10.1145/2694344.2694367},
doi = {10.1145/2694344.2694367},
acmid = {2694367},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {C language, bounds checking, capabilities, compilers, memory protection, memory safety, processor design, security},
}
@article{Frenger:2000:FFB:360271.360272,
author = {Frenger, Paul},
title = {Forth and the FreeBSD Bootloader},
journal = {SIGPLAN Not.},
issue_date = {Aug., 2000},
volume = {35},
number = {8},
month = aug,
year = {2000},
issn = {0362-1340},
pages = {15--17},
numpages = {3},
url = {http://doi.acm.org/10.1145/360271.360272},
doi = {10.1145/360271.360272},
acmid = {360272},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Hsu:2003:RSF:1250972.1250973,
author = {Hsu, Jeffrey},
title = {Reasoning About SMP in FreeBSD},
booktitle = {Proceedings of the BSD Conference 2003 on BSD Conference},
series = {BSDC'03},
year = {2003},
location = {San Mateo, California},
pages = {1--1},
numpages = {1},
url = {http://dl.acm.org/citation.cfm?id=1250972.1250973},
acmid = {1250973},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{Izurieta:2006:EFL:1159733.1159765,
author = {Izurieta, Clemente and Bieman, James},
title = {The Evolution of FreeBSD and Linux},
booktitle = {Proceedings of the 2006 ACM/IEEE International Symposium on Empirical Software Engineering},
series = {ISESE '06},
year = {2006},
isbn = {1-59593-218-6},
location = {Rio de Janeiro, Brazil},
pages = {204--211},
numpages = {8},
url = {http://doi.acm.org/10.1145/1159733.1159765},
doi = {10.1145/1159733.1159765},
acmid = {1159765},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {FreeBSD, evolution, linux, open source software, replication study, software engineering},
}
@inproceedings{Li:2009:OBR:1592631.1592641,
author = {Li, Qing and Macy, Kip},
title = {Optimizing the BSD Routing System for Parallel Processing},
booktitle = {Proceedings of the 2Nd ACM SIGCOMM Workshop on Programmable Routers for Extensible Services of Tomorrow},
series = {PRESTO '09},
year = {2009},
isbn = {978-1-60558-446-1},
location = {Barcelona, Spain},
pages = {37--42},
numpages = {6},
url = {http://doi.acm.org/10.1145/1592631.1592641},
doi = {10.1145/1592631.1592641},
acmid = {1592641},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {arp, flow table, freebsd, ip, ipv6, mp, neighbor cache, routing, server load balancing (slb), smp, synchronization},
}
@book{McKusick:1996:DIO:231070,
author = {McKusick, Marshall Kirk and Bostic, Keith and Karels, Michael J. and Quarterman, John S.},
title = {The Design and Implementation of the 4.4BSD Operating System},
year = {1996},
isbn = {0-201-54979-4},
publisher = {Addison Wesley Longman Publishing Co., Inc.},
address = {Redwood City, CA, USA},
}
@book{McKusick:2004:DIF:1014910,
author = {McKusick, Marshall Kirk and Neville-Neil, George V.},
title = {The Design and Implementation of the FreeBSD Operating System},
year = {2004},
isbn = {0201702452},
publisher = {Pearson Education},
}
@book{McKusick:2014:DIF:2659919,
author = {McKusick, Marshall Kirk and Neville-Neil, George and Watson, Robert N.M.},
title = {The Design and Implementation of the FreeBSD Operating System},
year = {2014},
isbn = {0321968972, 9780321968975},
edition = {2nd},
publisher = {Addison-Wesley Professional},
}
@article{McKusick:2004:TSF:1035594.1035622,
author = {McKusick, Marshall Kirk and Neville-Neil, George V.},
title = {Thread Scheduling in FreeBSD 5.2},
journal = {Queue},
issue_date = {October 2004},
volume = {2},
number = {7},
month = oct,
year = {2004},
issn = {1542-7730},
pages = {58--64},
numpages = {7},
url = {http://doi.acm.org/10.1145/1035594.1035622},
doi = {10.1145/1035594.1035622},
acmid = {1035622},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Murray:2002:IYP:1250894.1250900,
author = {Murray, Mark R. V.},
title = {An Implementation of the Yarrow PRNG for FreeBSD},
booktitle = {Proceedings of the BSD Conference 2002 on BSD Conference},
series = {BSDC'02},
year = {2002},
location = {San Francisco, California},
pages = {6--6},
numpages = {1},
url = {http://dl.acm.org/citation.cfm?id=1250894.1250900},
acmid = {1250900},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{Spinellis:2006:GSD:1138506.1138524,
author = {Spinellis, Diomidis},
title = {Global Software Development in the freeBSD Project},
booktitle = {Proceedings of the 2006 International Workshop on Global Software Development for the Practitioner},
series = {GSD '06},
year = {2006},
isbn = {1-59593-404-9},
location = {Shanghai, China},
pages = {73--79},
numpages = {7},
url = {http://doi.acm.org/10.1145/1138506.1138524},
doi = {10.1145/1138506.1138524},
acmid = {1138524},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {global development, open source, quantitative analysis},
}
@inproceedings{Spinellis:2008:TFK:1368088.1368140,
author = {Spinellis, Diomidis},
title = {A Tale of Four Kernels},
booktitle = {Proceedings of the 30th International Conference on Software Engineering},
series = {ICSE '08},
year = {2008},
isbn = {978-1-60558-079-1},
location = {Leipzig, Germany},
pages = {381--390},
numpages = {10},
url = {http://doi.acm.org/10.1145/1368088.1368140},
doi = {10.1145/1368088.1368140},
acmid = {1368140},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {comparison, freebsd, linux, open source, opensolaris, proprietary software, wrk},
}
@inproceedings{Woodruff:2014:CCM:2665671.2665740,
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},
title = {The CHERI Capability Model: Revisiting RISC in an Age of Risk},
booktitle = {Proceeding of the 41st Annual International Symposium on Computer Architecuture},
series = {ISCA '14},
year = {2014},
isbn = {978-1-4799-4394-4},
location = {Minneapolis, Minnesota, USA},
pages = {457--468},
numpages = {12},
url = {http://dl.acm.org/citation.cfm?id=2665671.2665740},
acmid = {2665740},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
}
@article{Woodruff:2014:CCM:2678373.2665740,
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},
title = {The CHERI Capability Model: Revisiting RISC in an Age of Risk},
journal = {SIGARCH Comput. Archit. News},
issue_date = {June 2014},
volume = {42},
number = {3},
month = jun,
year = {2014},
issn = {0163-5964},
pages = {457--468},
numpages = {12},
url = {http://doi.acm.org/10.1145/2678373.2665740},
doi = {10.1145/2678373.2665740},
acmid = {2665740},
publisher = {ACM},
address = {New York, NY, USA},
}