|Sun 15 - Fri 20 November 2020 Chicago, Illinois, United States|
HATRA 2020 with SPLASH 2020
Programming language designers seek to provide strong tools to help developers reason about their programs. For example, the formal methods community seeks to enable developers to prove correctness properties of their code, and type system designers seek to exclude classes of undesirable behavior from programs. The security community creates tools to help developers achieve their security goals. In order to make ...