Someone on a Reddit thread pointed to the Nimrod GC design -- looks potentially interesting from your perspective: http://nimrod-code.org/gc.html
From the page:
but it may scan the delta-subgraph of the heap that changed since its last run
Hmm, so I guess it needs write barriers?
