Zachary Anderson

Zachary Anderson
Computer Science Ph.D. Candidate
zra at cs.berkeley.edu

About Me

I am a final year Ph.D. candidate in EECS at the University of California, Berkeley. My research advisor is Eric Brewer. I enjoy designing compiler and programming language features that can ease the construction and maintenance of correct, low-level systems software.

In particular, I work on the concurrency checking component of the Ivy Compiler, called SharC (said "shark"), with some folks at Intel Research, Berkeley. I also hang out with the OSQ folks, and the ParLab folks.

I am originally from Pittsburgh, Pennsylvania, home of the 2008 Super Bowl Champion Pittsburgh Steelers, where I grew up in the South Hills and studied Computer Science at Carnegie-Mellon University.

I am intending to graduate in December 2009. I will be considering both industrial and academic research positions, and would be interested to learn about openings at your institution!

Publications

Lightweight Annotations for Controlling Sharing in Concurrent Data Structures
Zachary Anderson, David Gay, Mayur Naik
PLDI 2009 [PDF]
SharC: Checking Data Sharing Strategies for Multithreaded C
Zachary Anderson, David Gay, Rob Ennals, Eric Brewer
PLDI 2008 [PDF]
Note: SharC is pronouced "shark," as in the fearsome aquatic predator.
Beyond Bug-Finding: Sound Program Analysis for Linux
Zachary Anderson, Eric Brewer, Jeremy Condit, Rob Ennals, David Gay, Matthew Harren, George Necula, and Feng Zhou.
HotOS 2007 [PDF]
Dependent Types for Low-Level Programming.
Jeremy Condit, Matthew Harren, Zachary Anderson, David Gay, George Necula.
ESOP 2007 [PDF]
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques
Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak, Rob Ennals, Matthew Harren, George Necula, Eric Brewer
OSDI 2006 [PDF]

Tech Reports

Lightweight Annotations for Controlling Sharing in Concurrent Data Structures.
Zachary Anderson, David Gay, Mayur Naik.
UC Berkeley Technical Report EECS-2009-44 [PDF]
Note: Same as conference version, but with proofs and more typos.
SharC: Checking Data Sharing Strategies for Multithreaded C.
Zachary Anderson, David Gay, Rob Ennals, Eric Brewer.
UC Berkeley Technical Report EECS-2008-25 [PDF]
Note: Same as conference version, but with proofs.
Static Analysis of C for Hybrid Type Checking.
Zachary Anderson.
UC Berkeley Technical Report EECS-2007-1 [PDF]

At CMU

Synopsis Diffusion for Robust Aggregation in Sensor Networks
Suman Nath, Phillip B. Gibbons, Srini Seshan, Zachary Anderson
ACM SenSys 2004.
[PDF]
Choosing Beacon Period for Improved Response Time for Wireless HTTP Clients.
Zachary Anderson, Suman Nath, Srini Seshan.
ACM Workshop on Mobility Management and Wireless Access (MobiWac) 2004.
[PDF]

Personal

This google calendar might tell you where I am and what I am up to.
I like to travel and take pictures.
Erdős number 3: Paul Erdős -> (Márió Szegedy | Noga Alon) -> Phillip B. Gibbons -> Me