RELAY: Static Race Detection on Millions of Lines of Code

Show HN: Cryptris, a video game on cryptography