A partial evaluator for the Maruti hard real-time system.

Vivek Nirkhe, William W. Pugh

Browse the full RTSS paper archive.