Qianchuan Ye, Benjamin Delaware: A verified protocol buffer compiler. CPP 2019: 222-233