External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language

Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel. Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language. In Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel, editors, Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers. Volume 12549 of Lecture Notes in Computer Science, pages 106-123, Springer, 2020. [doi]

Authors

Jay Bosamiya

This author has not been identified. Look up 'Jay Bosamiya' in Google

Sydney Gibson

This author has not been identified. Look up 'Sydney Gibson' in Google

Yao Li

This author has not been identified. Look up 'Yao Li' in Google

Bryan Parno

This author has not been identified. Look up 'Bryan Parno' in Google

Chris Hawblitzel

This author has not been identified. Look up 'Chris Hawblitzel' in Google
runs on