<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
</head>
<body bgcolor="#ffffff" text="#000000">
Reminder: Talk today by Juan Chen of Microsoft Research<br>
<span style="color: rgb(31, 73, 125);">Title: Type-Preserving
Compilation for
Large-Scale Optimizing Object-Oriented Compilers</span><br>
Time:&nbsp; 12:30<br>
Place:&nbsp; Room 302 of the C.S. building.&nbsp; Pizza will be served.<br>
<p><span style="color: rgb(31, 73, 125);">&nbsp;Abstract: Type-preserving
compilers
translate well-typed source code into verifiable target code, so that
we do not
have to trust the compilers.&nbsp; This talk explains our experience with
type-preserving compilation in large-scale object-oriented compilers.&nbsp;
Our
type systems are simpler than existing class and object encodings, yet
expressive enough to describe standard implementation techniques for
object-oriented primitives. &nbsp;We implemented the type systems in an
optimizing compiler with 200,000 lines of code, an order of magnitude
larger
than existing systems. &nbsp;The generated target code is only 2.3% slower
than
the base compiler's generated untyped code, and the type-preserving
compiler is
42% slower than the base compiler.<br>
</span></p>
<p>Juan Chen received her PhD from Princeton in 2004.&nbsp; She is a
researcher in the Advanced Compiler Technology group at Microsoft
Research.<br>
<br>
<span style="color: rgb(31, 73, 125);"><o:p></o:p></span></p>
<p class="MsoNormal"><span
 style="font-size: 11pt; font-family: &quot;Calibri&quot;,&quot;sans-serif&quot;; color: rgb(31, 73, 125);"><o:p>&nbsp;</o:p></span></p>
<br>
<br>
</body>
</html>