3 ms·Hah, I went to a few of his talksby symbogra 1y agoHah, I went to a few of his talksInsanity 1y agoWho are you guys talking about lolshakna 1y agoLikely Marc Brooker, who has given some pretty great talks.symbogra 1y agoIt wasn't him although he did give some good talks. It was another guy who headed up the formal verification group. The used it for finding bugs in caches and whatnot