USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 3 results:
Filters: Author is Butler Lampson [Clear All Filters]
Verifying concurrent software using movers in CSPEC. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :306--322.
.
2018. Panel: Putting the Science in Computer Science. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
.
2007. Operating System Security Meets the Internet . Large-Scale System Administration of Windows NT Workshop (Large-Scale System Administration of Windows NT Workshop).
.
1997.