Medic: metaprogramming and trace-oriented debugging.

Xiangqi Li, Matthew Flatt

Browse the full OOPSLA paper archive.