(Based on an earlier blog post.) ACM Queue, July 2012 - http://queue.acm.org/detail.cfm?id=2333133 Software Needs Seatbelts and Airbags Finding and fixing bugs in deployed software is difficult and time-consuming. Here are some […]
(This post is a draft version of an article slated to appear in ACM Queue.) Finding and fixing bugs in deployed software is difficult and time-consuming: here are some alternatives. […]
Camera-ready versions of recent pubs from our research group: SOSP 2011: Dthreads: Efficient and Deterministic Multithreading, Tongping Liu, Charlie Curtsinger, and Emery Berger. OOPSLA 2011: Sheriff: Precise Detection and Automatic […]
Dthreads: Efficient Deterministic Multithreading, Tongping Liu, Charlie Curtsinger, Emery D. Berger SOSP 2011 [paper (PDF)][source code] [YouTube video of presentation][PPT slides] Multithreaded programming is notoriously difficult to get right. A […]
Sheriff: Precise Detection and Automatic Mitigation of False Sharing Tongping Liu, Emery D. Berger, OOPSLA 2011 False sharing is an insidious problem for multithreaded programs running on multicore processors, where […]
I was just at POPL and got a very nice compliment on a talk I gave on Grace from someone who watched it on-line (!). That talk was the first […]
I just released a new version of Hoard that incorporates lots of changes (one of which I described in an earlier post). This release incorporates a number of fixes and […]
In the previous post, I described a “puzzler”. Here’s the brief version: After testing the code (debug build), and verifying that it worked fine, I re-ran the code in an […]
I came across a pretty cool bug that threw me for a loop. In the spirit of Car Talk, I’m turning this into a puzzler. We have developed some cool […]
Turns out I was wrong and right at the same time. I thought that the problem Thomson Reuters had discovered (detailed in the last post) was that Hoard’s spinlock implementation […]
