Christine Rizkallah

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formalising fairness in the assignment problem with ordinal preferences in Isabelle/HOL	2026-02-19	Paper
A generalised union of rely-guarantee and separation logic using permission algebras	2026-02-10	Paper
T-rex: termination of recursive functions using lexicographic linear combinations	2026-01-14	Paper
Formally verified suffix array construction Journal of Automated Reasoning	2025-10-22	Paper
Cogent: uniqueness types and certifying compilation Journal of Functional Programming	2021-12-27	Paper
Ready, set, verify! Applying hs-to-coq to real-world Haskell code Journal of Functional Programming	2021-12-22	Paper
A formal equational theory for call-by-push-value	2018-10-04	Paper
Incompatibility of efficiency and strategyproofness in the random assignment setting with indifferences Economics Letters	2018-09-25	Paper
Refinement through restraint: bringing down the cost of verification Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
Proof of OS scheduling behavior in the presence of interrupt-induced concurrency Interactive Theorem Proving	2016-10-27	Paper
A framework for the automatic formal verification of refinement from \textsc{Cogent} to C Interactive Theorem Proving	2016-10-27	Paper
A framework for the verification of certifying computations Journal of Automated Reasoning	2015-06-23	Paper
Glivenko and Kuroda for simple type theory The Journal of Symbolic Logic	2014-09-30	Paper

Research outcomes over time

This page was built for person: Christine Rizkallah