HATRA 2021 Contributors

Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

co-located with SPLASH 2021

Filter

Role Type

Contributing to

Number of Roles

Country

Results (29)

A Jonathan AldrichAldrich, Jonathan Carnegie Mellon University Session Chair of Novel Interfaces and Discussion (part of HATRA) Human Aspects of SASyLF, an Educational Proof Assistant for Type Theory An Empirical Study of Protocols in Smart Contracts
B Lily BrownBrown, Lily Roblox Position Paper: Goals of the Luau Type System
C Paulo CanelasCanelas, Paulo LASIGE, Faculdade de Ciências da Universidade de LisboaPortugal User-driven design and evaluation of Liquid Types in Java
Luke ChurchChurch, Luke University of Cambridge \| Lund University \| Lark SystemsUnited Kingdom Committee Member in Organizing Committee within the HATRA-track
Michael CoblenzCoblenz, Michael University of Maryland at College ParkUnited States Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load An Empirical Study of Protocols in Smart Contracts Committee Member in Organizing Committee within the HATRA-track
Will CrichtonCrichton, Will Stanford University A New Medium for Communicating Research on Programming Languages Committee Member in Program Committee within the HATRA-track
E Jonathan EdwardsEdwards, Jonathan United States Typed Image-based Programming with Structure Editing Committee Member in Program Committee within the HATRA-track
F Molly FeldmanFeldman, Molly Oberlin CollegeUnited States Committee Member in Program Committee within the HATRA-track
Alcides FonsecaFonseca, Alcides LASIGE, Faculdade de Ciências da Universidade de LisboaPortugal User-driven design and evaluation of Liquid Types in Java
Andy FriesenFriesen, Andy Roblox Position Paper: Goals of the Luau Type System
G Catarina GamboaGamboa, Catarina LASIGE, Faculdade de Ciências da Universidade de LisboaPortugal User-driven design and evaluation of Liquid Types in Java
H Andrew HeadHead, Andrew UC BerkeleyUnited States Committee Member in Program Committee within the HATRA-track
J Alan JeffreyJeffrey, Alan RobloxUnited States Session Chair of Types, Proofs, and Design Theory (part of HATRA) Position Paper: Goals of the Luau Type System Committee Member in Program Committee within the HATRA-track
K Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States Committee Member in Program Committee within the HATRA-track
Lindsey KuperKuper, Lindsey University of California at Santa Cruz Toward SMT-Based Refinement Types in Agda Toward Hole-Driven Development with Liquid Haskell
M Chris MartensMartens, Chris North Carolina State UniversityUnited States Session Chair of Type Systems (part of HATRA) Committee Member in Organizing Committee within the HATRA-track
Timothy MouMou, Timothy Swarthmore College An Empirical Study of Protocols in Smart Contracts
Niek MullenersMulleners, Niek Utrecht UniversityNetherlands Committee Member in Program Committee within the HATRA-track
N Max S. NewNew, Max S. Northeastern University Committee Member in Program Committee within the HATRA-track
O Cyrus OmarOmar, Cyrus University of MichiganUnited States Committee Member in Program Committee within the HATRA-track
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in Program Committee within the HATRA-track
P Hila PelegPeleg, Hila TechnionIsrael Committee Member in Program Committee within the HATRA-track
Tomas PetricekPetricek, Tomas University of KentUnited Kingdom Typed Image-based Programming with Structure Editing
R Patrick RedmondRedmond, Patrick University of California at Santa Cruz Toward Hole-Driven Development with Liquid Haskell
Alastair ReidReid, Alastair Google ResearchUnited Kingdom Committee Member in Program Committee within the HATRA-track
S Gan ShenShen, Gan University of California, Santa Cruz, USA Toward SMT-Based Refinement Types in Agda Toward Hole-Driven Development with Liquid Haskell
T Hanneli TavanteTavante, Hanneli McGill University Towards an Incremental Dataset of Proofs
Christopher Steven TimperleyTimperley, Christopher Steven Carnegie Mellon University User-driven design and evaluation of Liquid Types in Java
Z Tianyi ZhangZhang, Tianyi Purdue UniversityUnited States Committee Member in Program Committee within the HATRA-track