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 2020	Committee Member in Program Committee within the CoqPL-track
ICFP 2020	Committee Member in External Review Committee within the ICFP Research Papers-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