HATRA
Mon 5 - Sat 10 December 2022 Auckland, New ZealandHATRA 2022 with SPLASH 2022Programming 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 StatesHATRA 2021 with SPLASH 2021Programming 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 ConferenceHATRA 2020 with SPLASH 2020Programming 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 ... |
Elisa BaniassadSteering Committee Chair
University of British Columbia
Canada
Charlie Curtsinger
Grinnell College
Molly Feldman
Oberlin College
United States
Kathi Fisler
Brown University
United States
Martin Henz
National University of Singapore
Singapore
Benjamin Lerner
Northeastern University, United States
United States