Joseph Tafese
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Show Me The Money: An Exercise in Proof-Driven Software Understanding. | Joseph Tafese, Karthik Nukala, Hassen Sadi, Natarajan Shankar, Arie Gurfinkel, Giuliano Losa |
| 2025 | FMCAD | A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SEABMC. | Joseph Tafese, Siddharth Priya, Giuliano Losa, Arie Gurfinkel, Graydon Hoare |
| 2024 | LPAR | Efficient Simulation for Hardware Model Checking. | Joseph Tafese, Arie Gurfinkel |
| 2023 | FMCAD | BTOR2MLIR: A Format and Toolchain for Hardware Verification. | Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel |