Phoenix and SSCLI: Compilation and Managed Execution 2006 Awards
Microsoft Research announced the 16 recipients of the Phoenix and SSCLI Request for Proposals awards, totaling $670,000 (USD) in funding. The objective of the Phoenix and SSCLI Award is to encourage first-rate cross-cutting and cross-fertilizing research that examines and reconsiders the relationships between development tools, compilers, managed runtime environments, runtime code generation, and underlying operating systems. It is an opportunity for you to work with key technologies at the heart of Microsoft’s .NET architecture. Microsoft Research will use this award to support leading-edge work which looks past the status quo and imagines new and different relationships between the various components that transform source code into running programs. It will also allow us to assess and improve the value of Phoenix for the research and instructional communities and afford a chance to get feedback early enough in the development cycle to make a significant difference to the product.
Phoenix and SSCLI: Compilation and Managed Execution 2005 Award Recipients
- Compiler Support for Software Transactional Memory
- Phoenix-Based Optimizing Compilers Course Development
- Integrating Dynamic Slicing into the coredbg Debugger
- A Testbed for Studying the Order and Combination of Code Optimization Phases
- PTV: Translation Validation in the Phoenix Compiler Framework
- Phase Detection and Optimization
- Extending Dynamic Features of the SSCLI
- A Lua Compiler for the Phoenix Framework
- Developing a Testing Framework for Security
- A Viable Approach to Compiling Sequential Codes for CMPs
- Improving the Compilation of Lazy Functional Languages Using Phoenix and the SSCLI
- A Phoenix-Based Tool for Data Flow Testing
- Concurrency Support for Managed Code and Interactive AsmL
- SPBU for Phoenix (SPBU4PHX): A Set of Compiler Development and AOP Tools Based on Phoenix
- Adaptive Heap Size Control Using Phoenix and .NET Virtual Machine
- Region Memory System for Scalable Performance
Compiler Support for Software Transactional Memory
Brown University, U.S.
Phoenix-Based Optimizing Compilers Course Development
Indian Institute of Information Technology, Hyderabad, India
Integrating Dynamic Slicing into the coredbg Debugger
University of Arizona, U.S.
A Testbed for Studying the Order and Combination of Code Optimization Phases
Harvard University, U.S.
PTV: Translation Validation in the Phoenix Compiler Framework
University of Illinois at Chicago, U.S.
Phase Detection and Optimization
University of California at Santa Barbara, U.S.
Extending Dynamic Features of the SSCLI
University of Oviedo, Spain
A Lua Compiler for the Phoenix Framework
Pontifícia Universidade Católica do Rio de Janeiro, Brazil
Developing a Testing Framework for Security
University of Virginia, U.S.
A Viable Approach to Compiling Sequential Codes for CMPs
Princeton University, U.S.
Improving the Compilation of Lazy Functional Languages Using Phoenix and the SSCLI
Federal University of Pernambuco, Brazil
A Phoenix-Based Tool for Data Flow Testing
University of Belgrade, Serbia and Montenegro
Concurrency Support for Managed Code and Interactive AsmL
University of Zagreb, Croatia
SPBU for Phoenix (SPBU4PHX): A Set of Compiler Development and AOP Tools Based on Phoenix
St. Petersburg University, Russia
Adaptive Heap Size Control Using Phoenix and .NET Virtual Machine
University of Rochester, U.S.
Region Memory System for Scalable Performance
National University of Singapore
