Chip's Technical Blog

Tech commentary of thoughts, challenges, how-to's, and the mundane.

Archive for May, 2011

FSE Paper (Finding Latent Performance Bugs in Systems Implementations)

Monday, May 2nd, 2011

This post was promised some time ago, about our paper published at the conference on Foundations of Software Engineering (2010), a top conference in software engineering. Instead of posting it here, however, Karthik (one of my student co-authors), posted a description of our FSE paper here: http://www.macesystems.org/2011/04/finding-latent-performance-bugs-in-systems-implementations-fse-2010/ The very short description: by building robust systems, we hide some of our correctness bugs, converting them into performance problems. Our paper is about using model checking concepts to discover such bugs with a minimum of developer effort. See the post and paper on the group website.

Chip's Technical Blog is proudly powered by WordPress
Entries (RSS) and Comments (RSS).