PHOENIX DIRECT FUNDING AWARDS – 2007

Phoenix for Real-Time Robotics and Process Control
Andreas Polze
University of Potsdam
Step-by-step lab instructions supported by video snippets (podcasts) that will involve tools and software frameworks for dynamic system update (analytic redundancy) developed in the DCL space ported to Phoenix technology. The multimedia teaching materials will be made widely available through a curriculum repository site and presented at international conferences.

Moving Future IMPACT Development into the Phoenix Infrastructure
Wen-Mei Hwu
University of Illinois-Urbana-Champaign
This research will complete the migration of IMPACT development to Phoenix. The project will deliver a visualization tool to present reader-writer analysis results for code and data objects to developers in a meaningful form. This tool will demonstrate the safety, accuracy, scalability and descriptiveness of our analysis and the aptness of Phoenix in constructing such high-impact tools. Future IMPACT development in Phoenix will also provide generally useful, highly configurable multi-core parallelization information in the Phoenix framework.

Software Testing for Security Vulnerabilities
Mary Lou Soffa
University of Virginia
The overall goal of our research project is to develop robust, flexible and scalable techniques for determining security flaws before software release. The expected outcomes using the Phoenix infrastructure, the Disolver constraint solver, and the SSCLI and Windows Research Kernel case studies are expected next year.

Phoenix Solution of the Dragon Book
Al Aho
Columbia University
The project will use Microsoft Phoenix to create solutions for the exercises in “Compilers: Principals, Techniques, and Tools (2nd Edition)”, or the “The 2007 dragon book”. The goal is to create solutions that are robust and easy to use in the classroom. Potentially, the outcome can be used for teaching advanced compiler courses at universities.