Brigitte Pientka -

Registered user since Fri 16 Dec 2016

Name:Brigitte Pientka

Affiliation:McGill University

Personal website:http://www.cs.mcgill.ca/~bpientka/

Contributions

CPP 2022	Committee Member in Program Committee within the CPP 2022-track
PLMW @ ICFP 2021	Speaker of Introduction to Mechanized Metatheory within the PLMW @ ICFP 2021-track
POPL 2022	Author of Moebius: Metaprogramming using Contextual Types within the POPL-track
ICFP 2021	Committee Member in Program Committee within the Research Papers-track
PLMW 2020	General Chair of Opening within the PLMW 2020-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
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
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 2019	Author of Teaching the Art of Functional Programming Using Automated Grading (Experience Report) within the Research Papers-track
Off the Beaten Track 2018	Committee Member in Program Committee within the Off the Beaten Track 2018-track
FSCD 2017	Author of Relating System F and λ2: A Case Study in Coq, Abella and Beluga within the FSCD 2017-track
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
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)
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
POPL 2018	Committee Member in Steering Committee
PLMW	Committee Member in Speaker within the PLMW-track Author of Mechanizing Meta-Theory in Beluga within the PLMW-track
TTT 2017	Author of A Case Study in Programming Coinductive Proofs in Beluga: Howe's Method within the TTT-track
TyDe 2016	Committee Member in Program Committee within the TyDe-track
ICFP 2016	Author of Indexed Codata Types within the Research Papers-track
POPL 2016	ERC member in External Reviewing Committee within the Research Papers-track ERC member in External Reviewing Committee