Projects


Research

Slipstream
Automatic Interprocess Communication Optimization.
CHILI
Research initiative with Cornell and Harvard.
IOC
Integer Overflow Checker.
JOVE
JIT Compilation of the Linux Kernel using LLVM.
Koala
Dynamic Resource Scheduling and Live Migration on Eucalyptus
MoZyg
Secure Framework for Cross-Platform Applications on Mobile Devices
OpenJDK Port of VMKit
Port of LLVM-based JVM to OpenJDK.

WebOS

wTerm
WebOS Terminal Emulator.
VisualBoyAdvance (hot apps winner)
Game Boy, Game Boy Color, and Game Boy Advance Emulator.
SuperNES (hot apps winner)
Super Nintendo Emulator.
X11
X Windows on WebOS (in a card).
Quake
WebOS port of Quake.