Christine Rizkallah

Registered user since Tue 23 Aug 2016

Name: Christine Rizkallah

Country: Australia

Affiliation: UNSW Sydney

Personal website: http://www.cse.unsw.edu.au/~crizkallah/

Research interests: Formal Verification, Interactive Theorem Proving

Contributions

CoqPL 2020Committee Member in Program Committee within the CoqPL-track
ICFP 2020Committee Member in External Review Committee within the Research Papers-track
CPP 2020Committee Member in Program Committee within the CPP 2020-track
FTfJP 2019Committee Member in Program Committee within the FTfJP 2019-track
Haskell 2019Session Chair of Paper Session 5: FRP (part of Haskell 2019)
Committee Member in Program Committee within the Haskell 2019-track
PriSC 2019Author of A Data Layout Description Language for Cogent within the PriSC 2019-track
DeepSpec 2018Speaker of A Formal Equational Theory for Call-By-Push-Value within the DeepSpec 2018-track
POPL 2019Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CPP 2018Author of Total Haskell is Reasonable Coq within the CPP 2018-track
ICFP 2018Author 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 2017Presenter of Cogent: Where we Stand and What Comes Next (Short talk) within the SCM-track
CPP 2017Author of COMPLX: a verification framework for concurrent imperative programs within the CPP-track
ICFP 2016Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track