Thursday, September 28, 2000
One of the major tools for creating PCC binaries is the certifying compiler. A certifying compiler starts with a high-level source language - in this case, Java - and compiles it into optimized native code with an attached proof of safety. This talk will describe a certifying compiler for Java, including an overview of its internal structure and a short demonstration of how it works. This will be followed by a brief discussion of the benefits that PCC provides in compiler construction, and directions for future work.
After receiving his Ph.D. at the University of Michigan in 1987, Peter Lee's research and teaching have been devoted to improving the reliability, security, and performance of computer systems. His approach of applying theoretical ideas in programming language design to practical systems has led to numerous research contributions in the areas of programming language design, compiler technology, networking, and operating systems. Most recently, he has focused his attention on developing Proof-Carrying Code (PCC), a technique which uses program verification in a practical way to enhance the performance and safety of mobile code. Recently, he has directed Cedilla Systems Incorporated in the development of industrial-strength tools and infrastructure for exploiting PCC.
For Further Seminar Info: