<html><head><style type='text/css'>p { margin: 0; }</style></head><body><div style='font-family: arial,helvetica,sans-serif; font-size: 12pt; color: #000000'><div style="color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Tahoma;
panose-1:2 11 6 4 3 5 4 4 2 4;}
@font-face
{font-family:Consolas;
panose-1:2 11 6 9 2 2 4 3 2 4;}
@font-face
{font-family:Georgia;
panose-1:2 4 5 2 5 4 5 2 3 3;}
@font-face
{font-family:NewCenturySchlbk;}
@font-face
{font-family:Times;
panose-1:2 2 6 3 5 4 5 2 3 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Plain Text Char";
margin:0in;
margin-bottom:.0001pt;
font-size:10.5pt;
font-family:Consolas;}
p.MsoAcetate, li.MsoAcetate, div.MsoAcetate
{mso-style-priority:99;
mso-style-link:"Balloon Text Char";
margin:0in;
margin-bottom:.0001pt;
font-size:8.0pt;
font-family:"Tahoma","sans-serif";}
span.PlainTextChar
{mso-style-name:"Plain Text Char";
mso-style-priority:99;
mso-style-link:"Plain Text";
font-family:Consolas;}
span.BalloonTextChar
{mso-style-name:"Balloon Text Char";
mso-style-priority:99;
mso-style-link:"Balloon Text";
font-family:"Tahoma","sans-serif";}
p.Standard, li.Standard, div.Standard
{mso-style-name:Standard;
margin-top:12.0pt;
margin-right:0in;
margin-bottom:0in;
margin-left:0in;
margin-bottom:.0001pt;
text-align:justify;
text-indent:17.85pt;
line-height:14.0pt;
mso-line-height-rule:exactly;
text-autospace:ideograph-other;
font-size:12.0pt;
font-family:Times;}
p.References, li.References, div.References
{mso-style-name:References;
margin-top:0in;
margin-right:0in;
margin-bottom:0in;
margin-left:.5in;
margin-bottom:.0001pt;
text-indent:-.5in;
line-height:14.0pt;
mso-line-height-rule:exactly;
text-autospace:ideograph-other;
font-size:12.0pt;
font-family:Times;}
p.MCReference, li.MCReference, div.MCReference
{mso-style-name:"MC Reference";
margin:0in;
margin-bottom:.0001pt;
font-size:8.0pt;
font-family:"Times New Roman","serif";}
span.EmailStyle24
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:windowtext;}
span.EmailStyle25
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle26
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle27
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle28
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle29
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle30
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle31
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle32
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle33
{mso-style-type:personal;
font-family:"Times New Roman","serif";
color:#1F497D;}
span.EmailStyle34
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle35
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle36
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle37
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle38
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle39
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle40
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle41
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle42
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle43
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle44
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle45
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle46
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style>
<div class="WordSection1"><p class="MsoNormal" style="text-align:center" align="center"><img id="Picture_x0020_1" src="cid:image001.jpg@01CC834C.F1941A30" alt="SeminarLogo.jpg" height="160" width="480"></p>
<p class="MsoNormal" style="text-indent:.5in;text-autospace:none"><b><span style="font-family:"Georgia","serif""> </span></b></p>
<p class="MsoNormal" style="text-indent:.5in;text-autospace:none"><b><span style="font-family:"Georgia","serif"">Speaker: Dr. Simon Moore</span></b></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Georgia","serif""> University of Cambridge</span></p>
<p class="MsoNormal" style="text-indent:.5in;text-autospace:none"><b><span style="font-family:"Georgia","serif"">Title: Does Rigorous Computer Systems Research Demand Open Source Hardware?<i></i></span></b></p>
<p class="MsoNormal" style="text-indent:.5in"><b><span style="font-family:"Georgia","serif"">Date: Monday, May 13, 2013
</span></b></p>
<p class="MsoNormal" style="text-indent:.5in"><b><span style="font-family:"Georgia","serif"">Time:
</span></b><span style="font-family:"Georgia","serif"">12:30 p.m.<b> <i><span style="color:red">(Light lunch will be served.)</span></i> </b></span></p>
<p class="MsoNormal" style="text-indent:.5in"><b><span style="font-family:"Georgia","serif"">Room:
</span></b><span style="font-family:"Georgia","serif"">E-Quad, Room B205</span></p>
<p class="MsoNormal" style="text-indent:.5in"><b><span style="font-family:"Georgia","serif"">Host: Prof. Ruby Lee</span></b></p>
<p class="MsoNormal" style="text-indent:.5in"><b><span style="font-family:NewCenturySchlbk"> </span></b></p>
<p class="MsoPlainText"><b><span style="font-size:11.5pt;font-family:"Georgia","serif"">Abstract: </span></b><span style="font-size:11.5pt;font-family:"Georgia","serif"">Computer systems research relies heavily on open source software like the LLVM compiler
framework, operating systems like FreeBSD and Linux, para virtualisation like Xen, etc. However, much of this research is bounded by the availability of commodity hardware which provides an unnecessary</span></p>
<p class="MsoPlainText"><span style="font-size:11.5pt;font-family:"Georgia","serif"">fixed point in the design space exploration process. In this talk I argue that we need more open source and rigorously engineered hardware platforms to facilitate computer
systems research which straddles traditional boundaries. To illustrate the point, the CHERI processor (a 64-bit RISC based capability machine soon to be open sourced) will be introduced together with observations from associated compilation (LLVM based) and
operating system (FreeBSD based) research into fine grained sand boxing. By making changes all the way from the gate-level to the application-level we believe that much more secure computer systems can be constructed whilst providing a migration path for
legacy systems.</span></p>
<p class="MsoNormal" style="text-autospace:none"><b><span style="font-size:11.5pt;font-family:"Georgia","serif""> </span></b></p>
<p class="MsoNormal" style="text-autospace:none"><b><span style="font-size:11.5pt;font-family:"Georgia","serif"">Bio:
</span></b><span style="font-size:11.5pt;font-family:"Georgia","serif"">Simon Moore is Reader (Associate Professor in USA terms) in Computer Architecture at the University of Cambridge Computer Laboratory in England, where he undertakes research and teaching
in the general area of computer design with particular interests in massively parallel secure computer architecture. Dr. Moore is the senior member of the Computer Architecture research group <</span><a href="http://www.cl.cam.ac.uk/research/comparch/" target="_blank"><span style="font-size:11.5pt;font-family:"Georgia","serif"">http://www.cl.cam.ac.uk/research/comparch/</span></a><span style="font-size:11.5pt;font-family:"Georgia","serif"">>.</span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:11.5pt;font-family:"Georgia","serif""> </span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:11.5pt;font-family:"Georgia","serif"">This work was undertaken in collaboration with SRI International. Portions of this work were sponsored by the Defense Advanced Research Projects Agency
(DARPA) and the Air Force Research Laboratory (AFRL), under contract FA8750-10-C-0237. The views, opinions, and/or findings contained in this report are those of the author and should not be interpreted as representing the official views or policies, either
expressed or implied, of the Defense Advanced Research Projects Agency or the Department of Defense.</span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:11.5pt;font-family:"Georgia","serif""> </span></p>
<p class="MsoNormal" style="margin-bottom:6.0pt;text-autospace:none"><b><span style="font-size:12.0pt;font-family:NewCenturySchlbk"> </span></b></p>
<p class="MsoNormal" style="text-autospace:none"><b><span style="font-size:12.0pt;color:#1F497D"> </span></b></p>
</div>
</div><br></div></body></html>