Joseph Tafese

According to our database, Joseph Tafese authored at least 3 papers between 2023 and 2025.

Collaborative distances:

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

2025

A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SEABMC.

Joseph Tafese, Siddharth Priya, Giuliano Losa, Arie Gurfinkel, Graydon Hoare

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

2024

Efficient Simulation for Hardware Model Checking.

Joseph Tafese, Arie Gurfinkel

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023

BTOR2MLIR: A Format and Toolchain for Hardware Verification.

Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel

Proceedings of the Formal Methods in Computer-Aided Design, 2023