Secure Internet Programming - menu
Secure Internet Programming
Home
Projects
People
Publications
Support
Seminar
History
FAQ
Princeton University
Department of Computer Science

sip@cs.princeton.edu

Secure Runtime Support - Debugging and Reflection
Juan Chen, Andrew Appel

The recent revolution in compiling techniques for type-safe programming languages, using typed intermediate languages and intensional type analysis, will make possible a remarkably clean and modular design and implementation of source-level debuggers. This research project is still in a very early stage, so we don't have more to tell you at the moment.