Dave Mandelin links to a paper on TraceMonkey's trace-based dynamic compilation technique. Great stuff.