|
Former Projects
|
Register allocation by puzzle solving
Compiling object-oriented programs to FPGAs
Optimization and verification of parallel programs
Sensor network simulation
Resource-aware compilation
Type inference and static analysis for object-oriented software
Type-based analysis and applications
|