@conference {amin2017lms,
	title = {LMS-verify: Abstraction without regret for verified systems programming},
	booktitle = {44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL{\textquoteright}17)},
	year = {2017},
	note = {(code)},
	author = {Amin, Nada and Rompf, Tiark}
}
