- Btor2MLIR: A Format and Toolchain for Hardware Verification
2023/09/16 by Joseph Tafese, Isabel Garcia-Contreras, Tafese, Joseph +3 · 1 citation
Computer Science · Engineering · #Compiler #Computer architecture #Computer science #Embedded system #Executable #Formal Methods in Verification #Parsing #Programming language #Radiation Effects in Electronics #Reuse #Software #Software Testing and Debugging Techniques #Software engineering #Toolchain
- C-rusted: The Advantages of Rust, in C, without the Disadvantages
2023/02/10 by Roberto Bagnara, Bagnara, Roberto, Abramo Bagnara +3 · 3 voices
Computer Science · #Code (set theory) #Computer science #Logic, programming, and type systems #Programming language #Security and Verification in Computing #Software #Software Reliability and Analysis Research #Toolchain #cs.CR #cs.PL #cs.SE
- Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries
2020/11/27 by Giuseppe Antonio Di Luna, Di Luna, Giuseppe Antonio, Davide Italiano +10 · 3 voices · 2 citations
Computer Science · #Algorithmic program debugging #Background debug mode interface #Compiler #Computer science #Debugger #Debugging #Embedded system #Operating system #Programming language #Security and Verification in Computing #Software #Software Engineering Research #Software Testing and Debugging Techniques #Software bug #Toolchain #cs.SE