Programming Languages + Human-Computer Interaction: Continuing the story at SPLASH 2020

Programming Languages + Human-Computer Interaction: Continuing the story at SPLASH 2020
by Michael Coblenz, Chris Martens, and Luke Church on Jul 6, 2021 | Tags: formal reasoning, type systems, usability
As programming languages researchers, we are interested in designing
beautiful abstractions, which enable sound reasoning and construction of
safe systems. But ultimately, human beings employ those abstractions to construct systems in ways that make sense to them. HATRA (Human Aspects of Types and Reasoning Assistants), which debuted at SPLASH 2020, is a new workshop intended to build community and establish a research agenda on this topic. A group of thirty researchers and software engineers convened over two days to discuss the relationship between formal approaches and programmers that use them.

Related Keywords

Cambridge ,Cambridgeshire ,United Kingdom ,North Carolina ,United States ,Dalastair Reid ,Richard Lin ,Gongmin Gabriel Luo ,Jean Yang ,Bjoern Hartmann ,Michael Coblenz ,Hannah Potter ,Chris Martens ,Lecturer At Cambridge University ,University Of Maryland College Park ,Luke Church ,Human Aspects ,Reasoning Assistants ,Towards Solver Aided Creativity ,Dominic Orchard ,Basili Postdoctoral Fellow ,College Park ,Assistant Professor ,North Carolina State ,Cambridge University ,கேம்பிரிட்ஜ் ,கேம்பிரிட்ஜ்ஷைர் ,ஒன்றுபட்டது கிஂக்டம் ,வடக்கு கரோலினா ,ஒன்றுபட்டது மாநிலங்களில் ,அலெஸ்டர் ரீட் ,ரிச்சர்ட் லின் ,ஜீன் யாங் ,ஹன்னா பாடர் ,கிறிஸ் மார்டென்ஸ் ,பல்கலைக்கழகம் ஆஃப் மேரிலாந்து கல்லூரி பூங்கா ,லூக் தேவாலயம் ,மனிதன் அம்சங்கள் ,ஆதிக்கம் செலுத்தும் ஆர்சர்ட் ,கல்லூரி பூங்கா ,உதவியாளர் ப்ரொஃபெஸர் ,வடக்கு கரோலினா நிலை ,கேம்பிரிட்ஜ் பல்கலைக்கழகம் ,