120 citations · 269 across the 10 of their papers we have counts for
10 papers
Transaction Repair: Full Serializability Without Locks
Todd L. Veldhuizen
Transaction Repair is a method for lock-free, scalable transaction processing that achieves full serializability. It demonstrates parallel speedup even in inimical scenarios where…
Incremental Maintenance for Leapfrog Triejoin
Todd L. Veldhuizen
We present an incremental maintenance algorithm for leapfrog triejoin. The algorithm maintains rules in time proportional (modulo log factors) to the edit distance between leapfrog…
Leapfrog Triejoin: a worst-case optimal join algorithm
Todd L. Veldhuizen
Recent years have seen exciting developments in join algorithms. In 2008, Atserias, Grohe and Marx (henceforth AGM) proved a tight bound on the maximum result size of a full conjun…
Dynamic Multilevel Graph Visualization
Todd L. Veldhuizen
We adapt multilevel, force-directed graph layout techniques to visualizing dynamic graphs in which vertices and edges are added and removed in an online fashion (i.e., unpredictabl…
Parsimony Principles for Software Components and Metalanguages
Todd L. Veldhuizen
Software is a communication system. The usual topic of communication is program behavior, as encoded by programs. Domain-specific libraries are codebooks, domain-specific languages…
Tradeoffs in Metaprogramming
Todd L. Veldhuizen
The design of metaprogramming languages requires appreciation of the tradeoffs that exist between important language characteristics such as safety properties, expressive power, an…