<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
<!--StartFragment--><p class="MsoNormal" align="center" style="text-align: left;"><font class="Apple-style-span" size="6"><span class="Apple-style-span" style="font-size: 24px;"><b><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Helvetica" size="3" style="font: 12.0px Helvetica">DEPARTMENT OF COMPUTER SCIENCE - TALK </font></div></b></span></font></p><p class="MsoNormal" align="center" style="text-align: left;"><font class="Apple-style-span" size="4"><span class="Apple-style-span" style="font-size: 14px;">Date:<span class="Apple-tab-span" style="white-space:pre"> </span>Monday, January 14, 2008</span></font></p><p class="MsoNormal" align="center" style="text-align: left;"><span style=""><font class="Apple-style-span" size="4"><span class="Apple-style-span" style="font-size: 14px;">Time:<span class="Apple-tab-span" style="white-space:pre"> </span>2:30 p.m.</span></font><font class="Apple-style-span" size="4"><span class="Apple-style-span" style="font-size: 14px;"><o:p></o:p></span></font></span></p><p class="MsoNormal" align="center" style="text-align: left;"><span style=""><font class="Apple-style-span" size="4"><span class="Apple-style-span" style="font-size: 14px;">Place:<span class="Apple-tab-span" style="white-space:pre"> </span>Ryerson 251, 1100 E. 58th St.</span></font><o:p></o:p></span></p><p class="MsoNormal" align="center" style="text-align: left;"><font class="Apple-style-span" size="4"><span class="Apple-style-span" style="font-size: 14px;">---------------------------------------------------</span></font></p> <div class="MsoNormal" style="text-align: left;"><span style="font-size:18.0pt">Speaker: James Larus</span></div><p class="MsoNormal" align="center" style="text-align: left;"><span style="font-size:12.0pt">From: Microsoft Research<o:p></o:p></span></p><p class="MsoNormal" align="center" style="text-align: left;"><font class="Apple-style-span" size="4"><span class="Apple-style-span" style="font-size: 16px;">Web page: <span class="Apple-style-span" style="color: rgb(0, 0, 255); "><a href="http://research.microsoft.com/~larus">http://research.microsoft.com/~larus</a></span></span></font></p><p class="MsoNormal" align="center" style="text-align: left;"><font class="Apple-style-span" size="4"><span class="Apple-style-span" style="font-size: 16px; text-decoration: underline;"><br></span></font></p><p class="MsoNormal" style="mso-pagination:none;tab-stops:28.0pt 56.0pt 84.0pt 112.0pt 140.0pt 168.0pt 196.0pt 224.0pt 3.5in 280.0pt 308.0pt 336.0pt; mso-layout-grid-align:none;text-autospace:none"><span style="">Title:</span><span style="font-family: Helvetica; "> Singularity: Rethinking the Software Stack<o:p></o:p></span></p> <div class="MsoNormal"><span style=""> <o:p></o:p></span></div><p class="MsoNormal" style="mso-pagination:none;tab-stops:28.0pt 56.0pt 84.0pt 112.0pt 140.0pt 168.0pt 196.0pt 224.0pt 3.5in 280.0pt 308.0pt 336.0pt; mso-layout-grid-align:none;text-autospace:none">Abstract: <span style="font-family: Helvetica; ">Every operating system embodies a collection of design decisions some explicit, some implicit. Contemporary operating systems Windows, Linux, Mac OS X, and BSD<span style="mso-spacerun: yes"> </span>share a large number of design decisions. This commonality is not entirely accidental, as these systems are all rooted in OS architectures and development tools of the late 1960’s and early 1970’s. While some design decisions have withstood the test of time, others have aged less gracefully. </span></p><p class="MsoNormal" style="mso-pagination:none;tab-stops:28.0pt 56.0pt 84.0pt 112.0pt 140.0pt 168.0pt 196.0pt 224.0pt 3.5in 280.0pt 308.0pt 336.0pt; mso-layout-grid-align:none;text-autospace:none"><span style="font-family: Helvetica; ">The Singularity project started in 2003 to re-examine the design decisions and increasingly obvious shortcomings of existing systems and software stacks, including: wide-spread security vulnerabilities; unexpected interactions among applications; failures caused by errant extensions, plug-ins, and drivers, and a perceived lack of robustness. We believe that many of these problems are attributable to systems that have not evolved far beyond the computer architectures and programming languages of the 1960’s and 1970’s. </span></p><p class="MsoNormal" style="mso-pagination:none;tab-stops:28.0pt 56.0pt 84.0pt 112.0pt 140.0pt 168.0pt 196.0pt 224.0pt 3.5in 280.0pt 308.0pt 336.0pt; mso-layout-grid-align:none;text-autospace:none"><span style="font-family: Helvetica; ">In the Singularity project, we have built a new operating system, a new programming language, and new software verification tools. The Singularity operating system incorporates a new software architecture based on software isolation of processes. Our programming language, Sing#, is an extension of C# that provides verifiable, first-class support for OS communication primitives as well as strong support for systems programming and code factoring.<o:p></o:p></span></p><p class="MsoNormal" style="mso-pagination:none;tab-stops:28.0pt 56.0pt 84.0pt 112.0pt 140.0pt 168.0pt 196.0pt 224.0pt 3.5in 280.0pt 308.0pt 336.0pt; mso-layout-grid-align:none;text-autospace:none"><span style="font-family: Helvetica; color: black; "> </span></p> <div class="MsoNormal"><span style="font-size:12.0pt"> <o:p></o:p></span></div><p class="MsoNormal" align="center" style="text-align:center">Host: “Anne Rogers”</p><p class="MsoNormal" align="center" style="text-align:center">*The talk will be followed by refreshments in Ryerson 255*</p><p class="MsoNormal" align="center" style="text-align:center">Persons who need assistance should call 773-702-6614</p> <!--EndFragment--> <br><div> <span class="Apple-style-span" style="border-collapse: separate; border-spacing: 0px 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-align: auto; -khtml-text-decorations-in-effect: none; text-indent: 0px; -apple-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="Apple-style-span" style="border-collapse: separate; border-spacing: 0px 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-align: auto; -khtml-text-decorations-in-effect: none; text-indent: 0px; -apple-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">Nita</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px Helvetica; min-height: 14.0px"><br></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">**************************</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">Nita Yack</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">Departmental Administrator</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">Computer Science Department</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">1100 E. 58th Street - Room 151</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">Chicago, IL 60637</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">(773) 702-6019</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">(773) 702-8487 FAX</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><br class="khtml-block-placeholder"></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font class="Apple-style-span" face="Arial" size="4"><span class="Apple-style-span" style="font-size: 16px;; font-family: Arial; "><span class="Apple-style-span" style="font-family: Arial; font-size: 16px; "><span class="Apple-style-span" style="font-family: Arial; font-size: 16px; ">"Hard work spotlights the character of people: some turn up their </span></span></span></font><font class="Apple-style-span" face="Arial" size="4"><span class="Apple-style-span" style="font-size: 16px;; font-family: Arial; "><span class="Apple-style-span" style="font-family: Arial; font-size: 16px; "><span class="Apple-style-span" style="font-family: Arial; font-size: 16px; ">sleeves, some turn up their noses, and </span></span></span></font><font class="Apple-style-span" face="Arial" size="4"><span class="Apple-style-span" style="font-size: 16px;; font-family: Arial; "><span class="Apple-style-span" style="font-family: Arial; font-size: 16px; "><span class="Apple-style-span" style="font-family: Arial; font-size: 16px; ">some don't turn up at all."</span></span></span></font></p><br class="Apple-interchange-newline"></span></span> </div><br></body></html>