Christine Rizkallah

Available identifiers

zbMath Open rizkallah.christineMaRDI QIDQ1786740

List of research outcomes

Publication	Date of Publication	Type
Cogent: uniqueness types and certifying compilation	2021-12-27	Paper
Ready,Set, Verify! Applyinghs-to-coqto real-world Haskell code	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	2018-09-25	Paper
Refinement through restraint: bringing down the cost of verification	2017-05-10	Paper
Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency	2016-10-27	Paper
A Framework for the Automatic Formal Verification of Refinement from Cogent to C	2016-10-27	Paper
A framework for the verification of certifying computations	2015-06-23	Paper
Glivenko and Kuroda for simple type theory	2014-09-30	Paper

Research outcomes over time

This page was built for person: Christine Rizkallah