Yahya Sohail

According to our database, Yahya Sohail authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Extended Abstract: Mutable Objects with Several Implementations.

Matt Kaufmann, Yahya Sohail, Warren A. Hunt Jr.

Proceedings of the Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications, August, 2025

A Method for the Verification of Memory Management Software in the Presence of TLBs.

Yahya Sohail, Warren A. Hunt Jr.

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025