[Pl-seminar] Manuvir Das, Microsoft Research @ MIT *TUES 9/17*

Mitchell Wand wand at ccs.neu.edu
Thu, 12 Sep 2002 22:58:12 -0400


MIT Colloquium on Computer Architecture and Compiler Technology

and the Laboratory for Computer Science


Manuvir Das, Microsoft Research

Title: ESP: Program Verification of Millions of Lines of Code

Tuesday, September 17, 2002
3:30 PM

Building NE43
2nd Floor Lounge
200 Technology Square

Refreshments at 3:15 PM

Hosted by Professor Martin Rinard, EECS

Title: ESP: Program Verification of Millions of Lines of Code


Software is increasingly being used in settings where reliability and
resistance to malicious attacks are crucial requirements. The goal of
the ESP project is to use compile-time program verification to guarantee
the absence of programming errors that lead to unreliable code. The
primary research result in ESP is the application of specification
methods and program verification to very large programs.


Manuvir Das leads the Rule Based Programming group at Microsoft
Research, and is an Affiliate Assistant Professor at the University of
Washington. His primary interests are programming languages and compiler
technology, and their application to software reliability. Manuvir holds
a B.Tech. in Computer Science from the Indian Institute of Technology,
Bombay, and M.S. and Ph.D. degrees in Computer Science from the
University of Wisconsin-Madison. 

For more information, please call 617.253.9620.