Sam Blackshear

5/3: Pre-Prints Available

Pre-prints of Thresher: Precise Refutations for Heap Reachability
(with Evan Chang and Manu Sridharan) and
Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings
(with Shuvendu Lahiri) (both to appear at PLDI 2013) are now available.

5/3: Thresher Source

The source code for Thresher is online.

2/22: Bug Fix

Google confirmed and fixed a bug found (mostly) by Thresher in the Android core library.

2/4: Accepted!

Thresher: Precise Refutations for Heap Reachability
(with Evan Chang and Manu Sridharan) and
Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings
(with Shuvendu Lahiri) accepted to PLDI 2013!

11/13: Submitted!

Sent off two papers to PLDI 2013. Fingers (double) crossed!

9/15: MVD '12

Gave a talk on the Thresher project at MVD 2012 in Lawrence, KS.

8/10: Completed.

Just finished internship at MSR Redmond with Manuel Fahndrich, Shuvendu Lahiri, and Francesco Logozzo.