HATRA 2023 Contributors

Sun 22 - Fri 27 October 2023 Cascais, Portugal

co-located with SPLASH 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (34)

A Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Session Chair of Interactivity and Visualization for Programmers (part of HATRA) Latte: Lightweight Aliasing Tracking for Java Discussion Committee Member in Organizing Committee within the HATRA-track
Nada AminAmin, Nada Harvard UniversityUnited States Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard Approach
B Andrew BlinnBlinn, Andrew University of MichiganUnited States Totally Live Programming with Hazel (Progress Report)
Lily BrownBrown, Lily RobloxUnited States Goals of the Luau Type System, Two Years On
C Shardul ChiplunkarChiplunkar, Shardul EPFLSwitzerland Diagrammatic notations for interactive theorem proving
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the HATRA-track
Luke ChurchChurch, Luke University of Cambridge \| Lund University \| Lark SystemsUnited Kingdom Discussion Committee Member in Organizing Committee within the HATRA-track
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States Session Chair of Formalisms and Synthesis (part of HATRA) REVIS: An Error Visualization Tool for Rust Discussion Committee Member in Organizing Committee within the HATRA-track
Will CrichtonCrichton, Will Brown UniversityUnited States Session Chair of Type Systems and Discussion (part of HATRA)
Will CrichtonCrichton, Will Brown UniversityUnited States Debugging Trait Errors as Logic Programs Discussion Committee Member in Organizing Committee within the HATRA-track
F Kasra FerdowsiFerdowsi, Kasra University of California at San DiegoUnited States Committee Member in Program Committee within the HATRA-track
Alcides FonsecaFonseca, Alcides LASIGE, University of LisbonPortugal Latte: Lightweight Aliasing Tracking for Java
Andy FriesenFriesen, Andy Roblox Goals of the Luau Type System, Two Years On
G Catarina GamboaGamboa, Catarina Carnegie Mellon University and LASIGE, University of LisbonPortugal Latte: Lightweight Aliasing Tracking for Java
Elena GlassmanGlassman, Elena Harvard UniversityUnited States Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard Approach Committee Member in Program Committee within the HATRA-track
Harrison GoldsteinGoldstein, Harrison University of PennsylvaniaUnited States Committee Member in Program Committee within the HATRA-track
Gavin GrayGray, Gavin ETH ZurichSwitzerland Debugging Trait Errors as Logic Programs
Ben GreenmanGreenman, Ben University of UtahUnited States Committee Member in Program Committee within the HATRA-track
H Tyler HollowayHolloway, Tyler Harvard University Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard Approach
J Alan JeffreyJeffrey, Alan RobloxUnited States Goals of the Luau Type System, Two Years On Committee Member in Program Committee within the HATRA-track
K Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States Committee Member in Program Committee within the HATRA-track
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Committee Member in Program Committee within the HATRA-track
L Slim LimLim, Slim UC BerkeleyUnited 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 Molly MacLarenMacLaren, Molly University of California, San DiegoUnited States REVIS: An Error Visualization Tool for Rust
David MoonMoon, David University of MichiganUnited States Totally Live Programming with Hazel (Progress Report)
Niek MullenersMulleners, Niek Utrecht UniversityNetherlands Committee Member in Program Committee within the HATRA-track
O Cyrus OmarOmar, Cyrus University of MichiganUnited States Totally Live Programming with Hazel (Progress Report) Committee Member in Program Committee within the HATRA-track 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 Committee Member in Program Committee within the HATRA-track
P Clément Pit-ClaudelPit-Claudel, Clément EPFLUnited States Diagrammatic notations for interactive theorem proving
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Committee Member in Program Committee within the HATRA-track
W Ruochen WangWang, Ruochen University of California, San DiegoUnited States REVIS: An Error Visualization Tool for Rust
Z Tianyi ZhangZhang, Tianyi Purdue UniversityUnited States Committee Member in Program Committee within the HATRA-track
Conrad ZimmermanZimmerman, Conrad Brown UniversityUnited States Latte: Lightweight Aliasing Tracking for Java