Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andrew Head
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
ICSE 2024 profile
SPLASH 2022 profile
SPLASH 2024 profile
VL/HCC 2023 profile
VL/HCC 2024 profile
Not registered as user
Name:
Andrew Head
Affiliation:
University of Pennsylvania
Contributions
2025
SPLASH
Author of QED in Context: An Observation Study of Proof Assistant Users within the OOPSLA-track
2024
HATRA
Committee Member in Program Committee within the HATRA 2024-track
LIVE
Committee Member in Program Committee within the LIVE 2024-track
VL/HCC
Committee Member in Program Committee
ICSE
Author of Property-Based Testing in Practice within the Research Track-track
2023
VL/HCC
PC Member in Program Committee
2022
HATRA
Author of Some Problems with Properties: A Study on Property-Based Testing in Industry within the Human Aspects of Types and Reasoning Assistants-track
Share
x
Mon 8 Sep 19:53