David F. Bacon
Google (United States)(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance, Embedded Systems Design Techniques, Real-Time Systems Scheduling, Logic, programming, and type systems
Most-Cited Works
- → Compiler transformations for high-performance computing(1994)804 cited
- → Fast static analysis of C++ virtual function calls(1996)509 cited
- → A real-time garbage collector with low overhead and consistent utilization(2003)322 cited
- → Pad++: A Zoomable Graphical Sketchpad For Exploring Alternate Interface Physics(1996)312 cited
- → Thin locks(1998)228 cited
- → Lime(2010)151 cited
- → FPGA programming for the masses(2013)146 cited