First pass over related work.  Experiment with moving related work to early in the paper to give the reader a sense what the landscape is since many readers are likely to be very familiar with verification and it allows us to highlight the strength of our contributions.
First pass over related work.  Experiment with moving related work to early in the paper
to give the reader a sense what the landscape is since many readers are likely to be
very familiar with verification and it allows us to highlight the strength
of our contributions.

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl