Systems of Martin Rinard

Genesis, Prophet, SPR, and Kali

CodeCarbonCopy and CodePhage

DIODE

DroidSafe

Chisel and Rely

RCV

SIFT

The Flex Program Analysis and Compilation System

The SPAN Pointer Analysis Package

The Jade Programming Language