|
Daniel Dunbar daniel@zuster.org About I have recently joined the Compiler Team at Apple and am working on the clang C, Objective-C and C++ front-end. Before joining Apple I was a graduate student in the Computer Science Department at Stanford. At Stanford I built the klee symbolic execution system under Dawson Engler.In the past I have worked as a programmer for a Dutch software company on the Blender 3D package, written experiments for the Kubovy psychology lab, amused myself by studying computer science in Christchurch, New Zealand, and studied mathematics at the University of Virginia. I ride a Donek Incline 155 (and love it), which replaced my ancient Morrow Spoon 156. I also a big fan of a good dance party. Nowadays I tend to spend a significant part of my spare time trying to leave the earth behind. I am not a superhero. Publications KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Program (to appear) Cristian Cadar, Daniel Dunbar, Dawson EnglerProceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI 2008)
A Spatial Data Structure for Fast Poisson-Disk Sample Generation
Dot-sampled structured grids: From geometry to perceptual organization
Software
CCGSubSurf
|
|