Sam Blackshear

PhD Student, University of Colorado at Boulder

Contact: samuel (DOT) blackshear (AT) colorado (DOT) edu

News

10/30: Joining Facebook

I'm excited to be joining Facebook to work on static analysis and developer tools! I'll start Fall 2015.

10/24: Hopper released

Check out Hopper, a much-improved version of Thresher with support for goal-directed control-flow abstraction.

8/22: Facebook internship

Just finished a fantastic internship with the Infer team at Facebook London.

4/28: Droidel released

Check out Droidel, a new pre-processing tool for static analysis of Android apps.

4/11: PLDI SRC

Soundly jumping over irrelevant code with piecewise refutation analysis
accepted for presentation in the PLDI 2014 student research competition.

2/10: Facebook Fellowship

I have been awarded a Facebook Graduate Fellowship for 2014 - 2015. Thank you Facebook!

2/4: VMV accepted!

Our paper Verification Modulo Versions: Towards Usable Verification
(with Francesco Logozzo, Manuel Fahndrich, and Shuvendu Lahiri) was accepted to PLDI 2014!

7/19: Thresher Project Page

Thresher now has a project page with links to the paper, code, slides, poster, talk screencast, benchmarks, and reported bugs.

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.