Christine Rizkallah -

Registered user since Tue 23 Aug 2016

Name:Christine Rizkallah

Country:Australia

Affiliation:University of Melbourne

Personal website:https://people.eng.unimelb.edu.au/rizkallahc/

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