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

ICFP 2023 Committee Member in Program Committee within the ICFP Research Papers-track
ICFP 2022 Accessibility Co-Chair in Organizing Committee
CPP 2022 Committee Member in Program Committee within the CPP 2022-track
ICFP 2021 Accessibility Co-Chair in Organizing Committee
HOPE 2021 Committee Member in Program Committee within the HOPE 2021-track
POPL 2021 Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
CPP 2021 Committee Member in Program Committee within the CPP 2021-track
CoqPL 2021 Committee Member in Program Committee within the CoqPL-track
ICFP 2020 Author of POPLMark reloaded: Mechanizing proofs by logical relations within the ICFP Program-track
CPP 2020 Session Chair of Decidability and complexity (part of CPP 2020)
Committee Member in Program Committee within the CPP 2020-track
Author of Coq à la Carte - A Practical Approach to Modular Syntax with Binders within the CPP 2020-track
CoqPL 2020 Invited Speaker in Invited speakers within the CoqPL-track
Author of Autosubst 2: Mechanising binders in Coq (Keynote) within the CoqPL-track
CPP 2019 Author of Autosubst 2: Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions within the CPP 2019-track
Author of Call-By-Push-Value in Coq: Operational, Equational, and Denotational Theory within the CPP 2019-track
CPP 2018 Author of Binder Aware Recursion over Well-Scoped de Bruijn Syntax within the CPP 2018-track