I'm interested in any prior work to tailoring a GC for a particular program. I'm only aware of work by Stephen Thomas and Richard Jones for Lazy ML. I'd like to know if anyone has tried this on a larger scale, and what the performance tradeoffs are.