Christine Rizkallah

Registered user since Tue 23 Aug 2016

Name:Christine Rizkallah
Country:Australia
Affiliation:University of Melbourne
Research interests:Formal Verification, Interactive Theorem Proving, Programming Languages

Contributions

TyDe 2023 Committee Member in Program Committee within the TyDe 2023-track
VIMPL 2023 Author of Uniqueness is Separation within the VIMPL 2023-track
CoqPL 2023 Committee Member in Program Committee within the CoqPL 2023-track
POPL 2023 Author of Dargent: A Silver Bullet for Verified Data Layout Refinement within the POPL-track
CPP 2023 Committee Member in Program Committee within the CPP 2023-track
SLE 2022 Author of Property-Based Testing: Climbing the Stairway to Verification within the SLE 2022-track
SPLASH 2022 Mentor in Mentors within the PLMW-track
PLMW 2022 Committee Member in Organizing Committee within the PLMW 2022-track
CPP 2022 Author of Overcoming Restraint: Composing Verification of Foreign Functions with Cogent within the CPP 2022-track
PriSC 2022 Committee Member in Program Committee within the PriSC 2022-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-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 2020 Committee Member in External Review Committee within the ICFP Program-track
CPP 2020 Committee Member in Program Committee within the CPP 2020-track
CoqPL 2020 Committee Member in Program Committee within the CoqPL-track
Haskell 2019 Session Chair of Paper Session 5: FRP (part of Haskell 2019)
Committee Member in Program Committee within the Haskell 2019-track
FTfJP 2019 Committee Member in Program Committee within the FTfJP 2019-track
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PriSC 2019 Author of A Data Layout Description Language for Cogent within the PriSC 2019-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
DeepSpec 2018 Speaker of A Formal Equational Theory for Call-By-Push-Value within the DeepSpec 2018-track
CPP 2018 Author of Total Haskell is Reasonable Coq within the CPP 2018-track
CPP 2017 Author of COMPLX: a verification framework for concurrent imperative programs within the CPP-track
SCM 2017 Presenter of Cogent: Where we Stand and What Comes Next (Short talk) within the SCM-track
ICFP 2016 Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track