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