A new approach for software correctness and reliability (keynote)
Martin Rinard · 2018
Software correctness and security have been a central issue in the field for decades. Researchers have developed a wide range of approaches to these problems, none of which has solved these problems to date.