Tag Archives: c++

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