HATRA 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (51)

A Jonathan AldrichAldrich, Jonathan Carnegie Mellon University User-Centered Programming Language Design: A Course-Based Case Study
Marcelo AlmeidaAlmeida, Marcelo University of Michigan RustViz: Interactively Visualizing Ownership and Borrowing
C Sarah E. ChasinsChasins, Sarah E. University of California, Berkeley Committee Member in Program Committee within the HATRA-track
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the HATRA-track
Luke ChurchChurch, Luke University of CambridgeUnited Kingdom Session Chair of Novices and Application Domains (part of HATRA) Session Chair of Design (part of HATRA) Towards making formal methods normal: meeting developers where they are Committee Member in Organizing Committee within the HATRA-track
Michael CoblenzCoblenz, Michael University of Maryland at College ParkUnited States Session Chair of Formal Methods (part of HATRA) Session Chair of Research Agenda Planning (part of HATRA) User-Centered Programming Language Design: A Course-Based Case Study Committee Member in Organizing Committee within the HATRA-track
Mistral ContrastinContrastin, Mistral Facebook LondonUnited Kingdom Guiding user annotations for units-of-measure verification
Will CrichtonCrichton, Will Stanford University The Usability of Ownership
D Matthew DanishDanish, Matthew University of Cambridge, UK Guiding user annotations for units-of-measure verification
Ariel DavisDavis, Ariel Carnegie Mellon University User-Centered Programming Language Design: A Course-Based Case Study
Sarah de Haasde Haas, Sarah Google Research Towards making formal methods normal: meeting developers where they are
Robert DeLineDeLine, Robert Microsoft Research Committee Member in Program Committee within the HATRA-track
Ke DuDu, Ke University of Michigan RustViz: Interactively Visualizing Ownership and Borrowing
F Molly FeldmanFeldman, Molly Williams CollegeUnited States Committee Member in Program Committee within the HATRA-track
Shaked FlurFlur, Shaked Google Research Towards making formal methods normal: meeting developers where they are
G Elena GlassmanGlassman, Elena Harvard UniversityUnited States Committee Member in Program Committee within the HATRA-track
April GonçalvesGonçalves, April Metastate AGDenmark Towards user-friendliness in proof assistants: automated strategies algebraic effects and handlers
H Bjoern HartmannHartmann, Bjoern UC Berkeley Opportunities and Challenges for Circuit Board Level Hardware Description Languages
Felienne HermansHermans, Felienne Leiden UniversityNetherlands Committee Member in Program Committee within the HATRA-track
Megan HofmannHofmann, Megan Carnegie Mellon University User-Centered Programming Language Design: A Course-Based Case Study
Vivian HuangHuang, Vivian Carnegie Mellon University User-Centered Programming Language Design: A Course-Based Case Study
J Johan JeuringJeuring, Johan Open University of the Netherlands, Netherlands Model-Driven Synthesis for Programming Tutors
Siyue JinJin, Siyue Carnegie Mellon University User-Centered Programming Language Design: A Course-Based Case Study
Maritza JohnsonJohnson, Maritza Google Research Towards making formal methods normal: meeting developers where they are
K Max KriegerKrieger, Max User-Centered Programming Language Design: A Course-Based Case Study
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States Committee Member in Program Committee within the HATRA-track
Neel KrishnaswamiKrishnaswami, Neel Computer Laboratory, University of Cambridge Committee Member in Program Committee within the HATRA-track
L Ben LaurieLaurie, Ben Google Research Towards making formal methods normal: meeting developers where they are
Kyle LiangLiang, Kyle Carnegie Mellon University User-Centered Programming Language Design: A Course-Based Case Study
Richard LinLin, Richard University of California, Berkeley Opportunities and Challenges for Circuit Board Level Hardware Description Languages
Gongming (Gabriel) LuoLuo, Gongming (Gabriel) University of Michigan RustViz: Interactively Visualizing Ownership and Borrowing
M Chris MartensMartens, Chris North Carolina State UniversityUnited States Towards Solver-Aided Creativity Committee Member in Organizing Committee within the HATRA-track
Niek MullenersMulleners, Niek Utrecht University Model-Driven Synthesis for Programming Tutors
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 RustViz: Interactively Visualizing Ownership and Borrowing Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies Committee Member in Program Committee within the HATRA-track
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Guiding user annotations for units-of-measure verification
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Session Chair of Types (part of HATRA) Committee Member in Program Committee within the HATRA-track
P Hila PelegPeleg, Hila University of California at San Diego Committee Member in Program Committee within the HATRA-track
Gabriel PickardPickard, Gabriel Programming languages shouldn't and needn't be Turing complete
Nadia PolikarpovaPolikarpova, Nadia University of California at San Diego Committee Member in Program Committee within the HATRA-track
Hannah PotterPotter, Hannah University of Michigan Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies
R Vishnu ReddyReddy, Vishnu University of Michigan RustViz: Interactively Visualizing Ownership and Borrowing
Alastair ReidReid, Alastair Arm LtdUnited Kingdom Towards making formal methods normal: meeting developers where they are
Andrew RiceRice, Andrew University of Cambridge, UKUnited Kingdom Guiding user annotations for units-of-measure verification
Talia RingerRinger, Talia University of WashingtonUnited States Committee Member in Program Committee within the HATRA-track
T Franklyn TurbakTurbak, Franklyn Wellesley CollegeUnited States Committee Member in Program Committee within the HATRA-track
W Hillel WayneWayne, Hillel Independent ConsultantUnited States Committee Member in Program Committee within the HATRA-track
Brian WeiWei, Brian Carnegie Mellon University User-Centered Programming Language Design: A Course-Based Case Study
Y Katherine YeYe, Katherine Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the HATRA-track
Mengchen Sam YongYong, Mengchen Sam Carnegie Mellon University User-Centered Programming Language Design: A Course-Based Case Study
Z Yingying ZhuZhu, Yingying University of Michigan RustViz: Interactively Visualizing Ownership and Borrowing