James Bennett
Esri
Software Engineer
James Bennett maintains legacy code and develops refactoring tools. Even though he has seen many questionable uses of reinterpret_cast, he still believes all code is redeemable. If you are aware of any usage of formal verification with C++ code, he'd like to talk to you.