u/mttdin r/Compilers • Recommends
A Decade Verifying LLVM, or How to Retrofit Soundness in Industrial Software
0:00 / 0:00
#llvm#alive2#formalverification
Nuno Lopez 2022-10-08 11:00 GEP Pavillon Workshop on Dependable and Secure Software Systems
ETH WSCR
421 subscribers • 2 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Nuno Lopes, researcher at ETH Zurich
Advanced. Deep dive for people who know the field.
481 views3 years ago1 recommendation
Systems programmingSecurityCompilers and interpretersFormal methods and verification
Nuno Lopes discusses a decade of research into verifying LLVM and using tools like Alive2 to find translation validation bugs.
The uploader added no description.