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).