Jeff Turner

Learn More
To an unappreciated degree, research both in operating systems and their programming languages has been severely hampered by the lack of cleanly reusable code providing mundane low-level OS infrastructure such as bootstrap code and device drivers. The Flux OS Toolkit solves this problem by providing a set of clean, well-documented components. These(More)
The formal methods community has long known about the need to formally analyze concurrent software, but the OS community has been slow to adopt such methods. The foremost reasons for this are the cultural and knowledge gaps between formalists and OS hackers, fostered by three beliefs: inaccessibility of the tools, the disabling gap between the validated(More)
Accurate saturation flow values are a fundamental building block in the management of efficient urban traffic signal control and junction design. This paper describes an evaluation of several alternate methods to collect accurate saturation flow data in 'typical' developing country conditions. Three methods were tested side-by-side at 4 junctions, with 57(More)