Projects

I maintain the Sparse semantic parser and static analysis tool for C, originally written by Linus Torvalds.

My current research focuses on non-sequentially-consistent or "relativistic" programming techniques, with particular emphasis on the Read-Copy Update (RCU) synchronization technique.

I work on Linux, primarily on the RCU subsystem and on Sparse-related code. I maintain the rcutorture test module.

I co-maintain the X C Binding (XCB). I developed the XML-XCB format to describe the X Window System protocol, and the XSLT to generate C bindings from these descriptions. I also work on other Xorg projects on Freedesktop.org.

I maintain several packages in the Debian project.