I've uploaded the WiP slides from OSDI.

The picture here has also been updated to properly reflect the structure of the lagniappe compiler in terms of the high-level transformations that occur to the models as we do our source to source translation.

There have been some updates in the code repository as we've added a replicated, ordered queue application (one of the components of a BFT RSM).

Thanks!

Labels: BFT, OSDI