Dartmouth Events

Computer Science Colloquium: Dr. Stephen Taylor

Dr. Stephen Taylor of the Scalable Concurrent Systems Laboratory at the Thayer School of Engineering will speak about: "Bear -- Embracing Non-determinism."

Wednesday, April 23, 2014
006 Steele
Intended Audience(s): Public
Categories: Lectures & Seminars

This presentation describes Bear, a clean-slate operating system design that operates on scalable multi-processors. The system combines a minimalist micro-kernel with an associated hypervisor and presents only a small attack surface on 64-bit x86 blade servers. MULTICS-like protections are strictly enforced through extended page tables and Intel VT-x extensions. The design utilizes multiple, overlapping, non-deterministic techniques to continually re-establish trust.

Stephen Taylor is a Professor of Computer Engineering at Dartmouth College. He received the USAF Exemplary Civilian Service Medal (2012), the Secretary of Defense Medal for Outstanding Public Service (2008), and the DARPA Directors Award for Outstanding Portfolio of Technical Programs (2007).

For more information, contact:
Shannon Stearne

Events are free and open to the public unless otherwise noted.