Andrew Head -

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