UCLA Compilers Group

Current Support

• NSF: Certification of Medical Device Software
• NSF: An Electronic Design Automation Approach to Embedded Networked Software
• NSF: Event Driven Software Quality.

Earlier Support

• NSF: Foundations of ILP-based Static Analysis.
• NSF: Static Timing of Interrupt-Driven Software.
• Intel: Resource-Aware Compilation for IXP Network Processors.
• Okawa Foundation: Resource-Aware Compilation.
• Lockheed Martin: Curriculum Development in Software Engineering.