Kismet: Parallel Speedup Estimates for Serial Programs
Skadu : Efficient Vector Shadow Memories for Poly- Scopic Program Analysis