Export 3 results:
Filters: Author is Butler Lampson  [Clear All Filters]
Chajed T, Kaashoek F, Lampson B, Zeldovich N.  2018.  Verifying concurrent software using movers in CSPEC. 13th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 18). :306--322.
Engle D, Lampson B, Lepreau J, Noble B.  2007.  Panel: Putting the Science in Computer Science. 11th Workshop on Hot Topics in Operating Systems (HotOS {XI}).
Lampson B.  1997.  Operating System Security Meets the Internet . Large-Scale System Administration of Windows {NT} Workshop (Large-Scale System Administration of Windows {NT} Workshop).