HATRA 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois
co-located with SPLASH 2021
Conference Editions
Sun 17 - Fri 22 October 2021 Chicago, Illinois

HATRA 2021 with SPLASH 2021

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 ...

Sun 15 - Fri 20 November 2020 Online Conference

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 ...