Christine Rizkallah

Registered user since Tue 23 Aug 2016

Name:Christine Rizkallah
Country:Australia
Affiliation:UNSW Sydney
Research interests:Formal Verification, Interactive Theorem Proving

Contributions

PriSC 2022 Committee Member in Program Committee within the PriSC 2022-track
PLMW 2022 Committee Member in Organizing Committee within the PLMW 2022-track
POPL 2021 Author of Panel Discussion 1: Choosing Research Topics within the POPL Meetups-track
Panelist of Panel Discussion 4: Finding Friends and Collaborators in Academia within the POPL Meetups-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
CoqPL 2020 Committee Member in Program Committee within the CoqPL-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
CPP 2020 Committee Member in Program Committee within the CPP 2020-track
FTfJP 2019 Committee Member in Program Committee within the FTfJP 2019-track
Haskell 2019 Session Chair of Paper Session 5: FRP (part of Haskell 2019)
Committee Member in Program Committee within the Haskell 2019-track
PriSC 2019 Author of A Data Layout Description Language for Cogent within the PriSC 2019-track
DeepSpec 2018 Speaker of A Formal Equational Theory for Call-By-Push-Value within the DeepSpec 2018-track
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CPP 2018 Author of Total Haskell is Reasonable Coq within the CPP 2018-track
ICFP 2018 Author of Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report) within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
SCM 2017 Presenter of Cogent: Where we Stand and What Comes Next (Short talk) within the SCM-track
CPP 2017 Author of COMPLX: a verification framework for concurrent imperative programs within the CPP-track
ICFP 2016 Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track