This is the source repo that I missed for the paper below that I previously submitted. Editing to add another that was good in the docs.
Coq: The World’s Best Macro-Assembler?
https://www.microsoft.com/en-us/research/publication/coq-worlds-best-macro-assembler/?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fnick%2Fcoqasm.pdf
Separation Logic for Low-Level Code (x86)
https://www.microsoft.com/en-us/research/publication/high-level-separation-logic-low-level-code/?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fnick%2Fhlsl.pdf
This is the source repo that I missed for the paper below that I previously submitted. Editing to add another that was good in the docs.
Coq: The World’s Best Macro-Assembler?
https://www.microsoft.com/en-us/research/publication/coq-worlds-best-macro-assembler/?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fnick%2Fcoqasm.pdf
Separation Logic for Low-Level Code (x86)
https://www.microsoft.com/en-us/research/publication/high-level-separation-logic-low-level-code/?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fnick%2Fhlsl.pdf