HATRA 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (40)

A Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Session Chair of In-Person Talks (part of HATRA) Static Information Flow Control Made Simple Discussion Committee Member in Organizing Committee within the HATRA-track
Meghan AllenAllen, Meghan University of British ColumbiaCanada Committee Member in Program Committee within the SPLASH -E-track
Rayhana AmjadAmjad, Rayhana The University of Edinburgh Holbert: Reading, Writing, Proving and Learning in the Browser
B Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Steering Committee Chair in Steering Committee within the SPLASH -E-track
Mike BarkminBarkmin, Mike University of Duisburg-Essen, GermanyGermany Committee Member in Program Committee within the SPLASH -E-track
C Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the SPLASH -E-track 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 Discussion Committee Member in Organizing Committee within the HATRA-track
Will CrichtonCrichton, Will Stanford University Committee Member in Program Committee within the HATRA-track
Charlie CurtsingerCurtsinger, Charlie Grinnell College Committee Member in Steering Committee within the SPLASH -E-track
Joseph W. CutlerCutler, Joseph W. University of Pennsylvania Some Problems with Properties: A Study on Property-Based Testing in Industry
E Jonathan EdwardsEdwards, Jonathan IndependentUnited States Committee Member in Program Committee within the HATRA-track
F Molly FeldmanFeldman, Molly Oberlin CollegeUnited States Session Chair of Morning 1 (part of SPLASH -E) Committee Member in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Program Committee within the HATRA-track
Kathi FislerFisler, Kathi Brown UniversityUnited States Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Program Committee within the HATRA-track
G Harrison GoldsteinGoldstein, Harrison University of PennsylvaniaUnited States Some Problems with Properties: A Study on Property-Based Testing in Industry
Hemant GouniGouni, Hemant University of Minnesota at Twin CitiesUnited States Static Information Flow Control Made Simple
Ben GreenmanGreenman, Ben Brown UniversityUnited States Committee Member in Program Committee within the HATRA-track
Philip GuoGuo, Philip University of California San Diego Committee Member in Program Committee within the SPLASH -E-track
H Andrew HeadHead, Andrew University of Pennsylvania Some Problems with Properties: A Study on Property-Based Testing in Industry
Bastiaan HeerenHeeren, Bastiaan Open University of the Netherlands, Netherlands Program Synthesis Using Example Propagation
Martin HenzHenz, Martin National University of SingaporeSingapore Session Chair of Morning 2 (part of SPLASH -E) Co-chair in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
J Alan JeffreyJeffrey, Alan RobloxUnited States Session Chair of Information Flow and Discussion (part of HATRA) Committee Member in Program Committee within the HATRA-track
Johan JeuringJeuring, Johan Utrecht University Program Synthesis Using Example Propagation
K Austin KothigKothig, Austin University of Waterloo Exploring the Verifiability of Code Generated by GitHub Copilot
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States Committee Member in Program Committee within the HATRA-track
L Patrick LamLam, Patrick University of Waterloo Exploring the Verifiability of Code Generated by GitHub Copilot
Benjamin LernerLerner, Benjamin Northeastern University, United StatesUnited States Session Chair of Afternoon 2 (part of SPLASH -E) Co-chair in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
M Niek MullenersMulleners, Niek Utrecht UniversityNetherlands Program Synthesis Using Example Propagation Committee Member in Program Committee within the HATRA-track
O Liam O'ConnorO'Connor, Liam University of EdinburghUnited Kingdom Holbert: Reading, Writing, Proving and Learning in the Browser
Cyrus OmarOmar, Cyrus University of MichiganUnited States Session Chair of Remote Talks (part of HATRA) 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 Bryan ParnoParno, Bryan Carnegie Mellon University, USA Committee Member in Program Committee within the HATRA-track
Hila PelegPeleg, Hila TechnionIsrael Committee Member in Program Committee within the HATRA-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Some Problems with Properties: A Study on Property-Based Testing in Industry
R Alastair ReidReid, Alastair Arm LtdUnited Kingdom Committee Member in Program Committee within the HATRA-track
S Matthew SotoudehSotoudeh, Matthew Stanford University A Survey of Weak Reasoning Assistants
Adam SteinStein, Adam University of Pennsylvania Some Problems with Properties: A Study on Property-Based Testing in Industry
T Eli TilevichTilevich, Eli Virginia TechUnited States Session Chair of Afternoon 1 (part of SPLASH -E) Committee Member in Program Committee within the SPLASH -E-track
W Dakota WongWong, Dakota University of Waterloo Exploring the Verifiability of Code Generated by GitHub Copilot
Z Tianyi ZhangZhang, Tianyi Purdue UniversityUnited States Committee Member in Program Committee within the HATRA-track

HATRA 2022 Contributors

Results (40)

Tracks

SPLASH 2022