Kathrin Stark -

Registered user since Tue 8 Jan 2019

Name:Kathrin Stark

Country:United Kingdom

Affiliation:Heriot-Watt University

Personal website: http://www.k-stark.de

Contributions

2025

CoqPL

Co-chair in Program Committee within the CoqPL 2025-track

POPL

Author in Selection Committee within the Student Research Competition-track
Author of A Verified Foreign Function Interface Between Coq and C within the POPL-track

CPP

Conference Chair in Organizing Committee within the CPP 2025-track

2024

CoqPL

Co-chair in Program Committee within the CoqPL 2024-track

POPL

Committee Member in Program Committee within the POPL-track

2023

LOPSTR

Author of Towards a Certified Proof Checker for Deep Neural Network Verification within the LOPSTR 2023-track

ICFP

Committee Member in Program Committee within the ICFP Papers and Events-track

2022

ICFP

Accessibility Co-Chair in Organizing Committee

CPP

Committee Member in Program Committee within the CPP 2022-track

2021

ICFP

Accessibility Co-Chair in Organizing Committee

HOPE

Committee Member in Program Committee within the HOPE 2021-track

POPL

Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track

CPP

Committee Member in Program Committee within the CPP 2021-track

CoqPL

Committee Member in Program Committee within the CoqPL-track

2020

ICFP

Author of POPLMark reloaded: Mechanizing proofs by logical relations within the ICFP Program-track

CPP

CoqPL

2019

CPP

2018

CPP

Author of Binder Aware Recursion over Well-Scoped de Bruijn Syntax within the CPP 2018-track