Tag Archives: week of papers

Multidimensional Approximate Agreement in Byzantine Asynchronous Systems

Available from Brown University; authors are Hammurabi Mendes and Maurice Herlihy from Brown University. This is the only pure theory paper of the week; as a result, it has more that I can’t see a good way of explaining intuitively, … Continue reading

Posted in papers | Tagged , , , , | Leave a comment

Knowledge discovery by accuracy maximization

Available from researchgate, with a web page as well.  Authors are Stefano Cacciatore, Claudio Luchinat and Leonardo Tenori, from, collectively, the University of Florence, Harvard Medical School, Rovira i Virgili University, and the FiorGen Foundation.  (Some authors are apparently at … Continue reading

Posted in papers | Tagged , , , , , | Leave a comment

Don’t Sweat the Small Stuff: Formal Verification of C Code Without the Pain

Available from NICTA.  Authors are David Greenaway, Japheth Lim, June Andronick, and Gerwin Klein from NICTA and UNSW, Sydney, Australia. This paper feels much more technical than the earlier ones, and is building on earlier work in a way that’s … Continue reading

Posted in papers | Tagged , , , , , , | Leave a comment

Dataflow Execution of Sequential Imperative Programs on Multicore Architectures

Available from the University of Wisconsin-Madison; authors are Gagan Gupta and Gurindar S. Sohi from that institution. I read The Road to Parallelism Leads Through Sequential Programming this morning as well, but that delegates back to this paper for the … Continue reading

Posted in papers | Tagged , , , , , | Leave a comment

Dynamic Enforcement of Determinism in a Parallel Scripting Language

Available from the University of Rochester; authors are Li Lu and Michael L. Scott from Rochester and Weixing Ji from the Beijing Institute of Technology. Parallel programming is notoriously difficult; there are a number of specialized systems to deal with … Continue reading

Posted in papers | Tagged , , , , , , | Leave a comment

Project Lancet: Surgical Precision JIT Compilers

Project Lancet: Surgical Precision JIT Compilers Available from EPFL; by Tiark Rompf, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Kunle Olukotun, and Martin Odersky, from Oracle Labs, EPFL, and Stanford (for a full mapping, see the paper.) … Continue reading

Posted in papers | Tagged , , , , , | Leave a comment

The Locality-Aware Adaptive Cache Coherence Protocol

Kicking off the week of papers is The Locality-Aware Adaptive Cache Coherence Protocol by George Kurian and Srinivas Devadas from MIT and Omer Khan from the University of Connecticut. (Apparently estimating time is hard – I expected an hour or … Continue reading

Posted in papers | Tagged , , , | Leave a comment