SEDE2009

Refinement and Optimization of Data-Flow Architectures

We present techniques to develop, explain, test, and verify designs of data flow architectures in an incremental manner. We start with standard ideas of hierachical refinement and transcend them to allow component refinements and optimizations. We illustrate our approach with two case studies: implementing hash-joins in database machines and recoverable crash consensus client-server architectures. {Tuesday June 23rd 2009}

Tom is a Senior Research Scientist in the Mobile and Media Systems Lab within Hewlett-Packard Laboratories. Tom works at the intersection of computer graphics, computer vision and signal processing. He has developed the techniques of Reflectance Transformation, Polynomial Texture Mapping (PTM) and Fourier Volume Rendering. Tom also developed the capacitive sensing technology that allowed HP to penetrate the consumer graphics tablet market. His PTM methods are used by the National Gallery in London, the Tate Gallery and in the fields of criminal forensics, paleontology and archeology. His recent work on imaging the Antikythera Mechanism led to the deciphering of this ancient astronomical computer. Tom is on the program committee for several 3D graphics and vision conferences. More information can be found at http://www.hpl.hp.com/personal/Tom_Malzbender . {Monday June 22rd 2009}