Bringing extensibility to verified compilers.

Zachary Tatlock, Sorin Lerner

Browse the full PLDI paper archive.