HATRA 2020
Sun 15 - Fri 20 November 2020 Chicago, Illinois, United States
co-located with SPLASH 2020
Conference Editions
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 ...