-
Wanted: Invariant-Based Synchronization
Although a significant fraction of the programming languages community works on detecting race conditions in multi-threaded software, I haven’t been able to get very excited about this. Certainly race-free programs have some nice properties, but race freedom is neither a necessary nor sufficient condition for concurrency correctness. This research area doesn’t feel to me like…
-
Wanted: One RSS Feed Per Conference
I attend a few computer science conferences each year, and look closely at the proceedings for another half dozen. I know how to deal with these conferences. On the other hand, the conferences that give me trouble are the next 25 or so that I’m passingly interested in, that probably each contain 1-2 papers per…
-
Angel’s Landing
[nggallery id=27] Earlier this fall while visiting Zion NP I did the Angel’s Landing hike with friends. This route climbs the spine of a sandstone fin that sticks out into the middle of Zion Canyon, with thousand-foot drops on both sides. This video captures the feel, though the use of a wide-angle lens makes it…
-
Reviewers Get Worse Over Time
This is a depressing paper. The study shows that: 92% of peer reviewers deteriorated during 14 years of study in the quality and usefulness of their reviews (as judged by editors at the time of decision) The quality of reviews that I write has definitely decreased over the 12 or so years that I’ve been…
-
Computer Systems Evaluation Mistake #1
Tonight I wrote this in a paper review: The results section of this paper contains what is probably the most elementary and most annoying flaw that could possibly plague a computer systems paper. All of the numbers are relative and we’re never told the absolute values. It’s great that you can achieve a 30% reduction…
-
Independence in N-Version Programming
N-version programming is a way to reduce the impact of software bugs by independently implementing the same specification N times, running the implementations in parallel, and using voting to heuristically choose the right answer. A key weakness of N-version programming is that the increased reliability is predicated on faults occurring independently. As Knight and Leveson…
-
Compiler Bug-Finding Project Milestones
Despite the Fall semester being crappy for me (double course load, and I keep getting sick) this project has made good progress: Xuejun gave a talk at the LLVM Developer’s Meeting We submitted our 300th compiler bug report (up from 200 in March 2010) We submitted a paper to PLDI 2011 summarizing our methods and…