Daniel Dunbar
daniel@zuster.org (Twitter) (GitHub)

Software Projects

  • llbuild: A low-level build system.

  • Swift Package Manager: A package manager and build system for Swift.

  • clang: World's best C/C++ compiler.

  • KLEE: Open source symbolic execution engine (bug finding / test case generation tool).

  • zcov: Project coverage report generation (based on gcov).

    • Publications

    KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Program
    Cristian Cadar, Daniel Dunbar, Dawson Engler
    Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI 2008)

    A Spatial Data Structure for Fast Poisson-Disk Sample Generation
    Daniel Dunbar and Greg Humphreys
    Proceedings of SIGGRAPH 2006

    Dot-sampled structured grids: From geometry to perceptual organization
    Daniel Dunbar, Lars Strother, and Michael Kubovy
    Perception (ECVP), 2004, Supplement (abstract 0211)