HATRA
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
co-located with SPLASH 2024
All Editions
Sun 20 - Fri 25 October 2024 Pasadena, California, United States

HATRA with SPLASH 2024

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 22 - Fri 27 October 2023 Cascais, Portugal

HATRA 2023 with SPLASH 2023

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

Mon 5 - Sat 10 December 2022 Auckland, New Zealand

HATRA 2022 with SPLASH 2022

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 17 - Fri 22 October 2021 Chicago, Illinois, United States

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