HATRA Contributors

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

co-located with SPLASH 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (31)

A Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Session Chair of Papers 2 (part of HATRA) Organizing Chair in Organizing Committee within the HATRA-track
Razan AlghamdiAlghamdi, Razan University of Colorado, Boulder Leroy: Library Learning for Imperative Programming Languages
Ian ArawjoArawjo, Ian Cornell University Committee Member in Program Committee within the HATRA-track
B Shraddha BarkeBarke, Shraddha University of California at San DiegoUnited States Committee Member in Program Committee within the HATRA-track
Abhiram BellurBellur, Abhiram University of Colorado Boulder Leroy: Library Learning for Imperative Programming Languages
Andrew BlinnBlinn, Andrew University of MichiganUnited States Committee Member in Program Committee within the HATRA-track
C Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the HATRA-track
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States Session Chair of Keynote (part of HATRA) Organizing Chair in Organizing Committee within the HATRA-track
Will CrichtonCrichton, Will Brown UniversityUnited States Session Chair of Papers 1 (part of HATRA) Organizing Chair in Organizing Committee within the HATRA-track
F Molly Q FeldmanFeldman, Molly Q Oberlin CollegeUnited States Committee Member in Program Committee within the HATRA-track
G Ben GreenmanGreenman, Ben University of UtahUnited States Toward a Corpus Study of the Dynamic Gradual Type Committee Member in Program Committee within the HATRA-track
H Andrew HeadHead, Andrew University of Pennsylvania Committee Member in Program Committee within the HATRA-track
I Joe IzraelevitzIzraelevitz, Joe University of Colorodo Boulder Leroy: Library Learning for Imperative Programming Languages
K Matthew KeenanKeenan, Matthew University of Michigan Learner-Centered Design Criteria for Classroom Proof Assistants
L Patrick LamLam, Patrick University of Waterloo Surveying the Rust Verification Landscape
Alex Le BlancLe Blanc, Alex University of Waterloo Surveying the Rust Verification Landscape
Slim LimLim, Slim UC Berkeley, Notion LabsUnited States Committee Member in Program Committee within the HATRA-track
Justin LubinLubin, Justin University of California at BerkeleyUnited States Committee Member in Program Committee within the HATRA-track
M David MoonMoon, David University of MichiganUnited States Committee Member in Program Committee within the HATRA-track
Niek MullenersMulleners, Niek Utrecht UniversityNetherlands Committee Member in Program Committee within the HATRA-track
N Tim NelsonNelson, Tim Brown UniversityUnited States Committee Member in Program Committee within the HATRA-track
Dibri NsoforNsofor, Dibri University of Utah Toward a Corpus Study of the Dynamic Gradual Type
O Cyrus OmarOmar, Cyrus University of MichiganUnited States Research Methods for Designing Next-Generation Programming Systems Learner-Centered Design Criteria for Classroom Proof Assistants Publicity Chair in Organizing Committee within the HATRA-track
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in Program Committee within the HATRA-track
P Bryan ParnoParno, Bryan Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the HATRA-track
Hila PelegPeleg, Hila TechnionIsrael Committee Member in Program Committee within the HATRA-track
Tomas PetricekPetricek, Tomas Charles UniversityCzechia Don’t Call Us, We’ll Call You
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland Committee Member in Program Committee within the HATRA-track
Josh PollockPollock, Josh MIT CSAILUnited States Committee Member in Program Committee within the HATRA-track
V Jan Liam VerterVerter, Jan Liam Faculty of Mathematics and Physics, Charles University Don’t Call Us, We’ll Call You
W Kidus WorknehWorkneh, Kidus University of Colorado, Boulder Leroy: Library Learning for Imperative Programming Languages