Ian Roessle

According to our database, Ian Roessle authored at least 3 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

X86 instruction semantics and basic block symbolic execution.

Freek Verbeek, Abhijith Bharadwaj, Joshua A. Bockenek, Ian Roessle, Timmy Weerwag, Binoy Ravindran

Arch. Formal Proofs, 2021

2019

Establishing a refinement relation between binaries and abstract code.

Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

Formally verified big step semantics out of x86-64 binaries.

Ian Roessle, Freek Verbeek, Binoy Ravindran

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019