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.