Brigitte Pientka

Registered user since Fri 16 Dec 2016

Name:Brigitte Pientka
Country:Canada
Affiliation:McGill University

Contributions

SIGCSE TS 2023 Author of Identifying different student clusters in functional programming assignments: From quick learners to struggling students within the Papers-track
POPL 2023 Session Chair of Type Theory (part of POPL)
Committee Member in Program Committee within the POPL-track
CPP 2023 PC Chair in Organizing Committee within the CPP 2023-track
Committee Member in Steering Committee within the CPP 2023-track
Session Chair of Proof Search (part of CPP 2023)
Session Chair of Business Meeting (part of CPP 2023)
PC Chair in Program Committee within the CPP 2023-track
APLAS 2022 Author of Novice Type Error Diagnosis with Natural Language Models within the APLAS-track
POPL 2022 Author of Mœbius: Metaprogramming using Contextual Types: The Stage Where System F Can Pattern Match on Itself within the POPL-track
CPP 2022 Committee Member in Program Committee within the CPP 2022-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
PLMW @ ICFP 2021 Speaker of Introduction to Mechanized Metatheory within the PLMW @ ICFP 2021-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
Author of POPLMark reloaded: Mechanizing proofs by logical relations within the ICFP Program-track
PLMW 2020 General Chair of Opening within the PLMW 2020-track
POPL 2020 Session Chair of Invited Talk (part of Research Papers)
Session Chair of Datalog, OO + Functional Programming (part of Research Papers)
Session Chair of Invited Talk (part of Research Papers)
Committee Member in Organizers within the W@POPL Dinner-track
Session Chair of Welcome + SIGPLAN Award Ceremony (part of Research Papers)
General Chair in Organizing Committee
Panelist in Panel within the POPLmark 15 Year Retrospective Panel-track
ICFP 2019 Author of Teaching the Art of Functional Programming Using Automated Grading (Experience Report) within the Research Papers-track
ESOP 2019 Committee Member in Program Committee within the ESOP 2019-track
POPL 2019 Keynote Speaker of Mechanized Metatheory - The Next Chapter within the Research Papers-track
Committee Member in Steering Committee
Presenter of POPL 2020 Announcement within the Research Papers-track
ICFP 2018 Author of T04: Beluga: Programming Proofs About Formal Systems within the Tutorials-track
Session Chair of T04: Beluga: Programming Proofs About Formal Systems (part of Tutorials)
CPP 2018 Session Chair of Formalizing Meta-Theory (part of CPP 2018)
Author of POPLMark Reloaded: Mechanizing Logical Relations Proofs (Invited Talk) within the CPP 2018-track
Off the Beaten Track 2018 Committee Member in Program Committee within the Off the Beaten Track 2018-track
POPL 2018 Committee Member in Steering Committee
PLMW 2017 Session Chair of Welcome (part of PLMW 2017)
Committee Member in Organizing Committee within the PLMW 2017-track
Author of Welcome within the PLMW 2017-track
ICFP 2017 PLMW Co-Chair in Organizing Committee
FSCD 2017 Author of Relating System F and λ2: A Case Study in Coq, Abella and Beluga within the FSCD 2017-track
TTT 2017 Author of A Case Study in Programming Coinductive Proofs in Beluga: Howe's Method within the TTT-track
PLMW Committee Member in Speaker within the PLMW-track
Author of Mechanizing Meta-Theory in Beluga within the PLMW-track
ICFP 2016 Author of Indexed Codata Types within the Research Papers-track
TyDe 2016 Committee Member in Program Committee within the TyDe-track
POPL 2016 ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee