Joseph Tafese

1. Btor2MLIR: A Format and Toolchain for Hardware Verification
   2023/09/16 by Joseph Tafese, Tafese, Joseph, Isabel Garcia-Contreras +3 · 1 citation
   Computer Science · Engineering · #Software Testing and Debugging Techniques #Formal Methods in Verification #Radiation Effects in Electronics
2. Show Me The Money: An Exercise in Proof-Driven Software Understanding
   2026/07/17 by Joseph Tafese, Karthik Nukala, Hassen Saïdi +3
   #cs.LO #cs.SE