Dr Christine Rizkallah
Senior Lecturer in Software Engineering
School of Computing and Information Systems
35 Scholarly works
0 Projects
HIGHLIGHTS
2026
Book Chapter
Formalising Fairness in the Assignment Problem with Ordinal Preferences in Isabelle/HOL
DOI: 10.1007/978-3-032-07021-0_222026
Book Chapter
The Memorist Tale: Every Thunk Every Cost All At Once
DOI: 10.1007/978-3-032-22720-1_172026
Book Chapter
Memory Safety: Uniqueness as Separation
DOI: 10.1007/978-981-95-3585-9_12025
Journal article
Welcome from the Chairs
2025
Conference Proceedings
A Verified Cost Model for Call-By-Push-Value
DOI: 10.4230/LIPIcs.ITP.2025.72025
Conference Proceedings
Formalized Burrows-Wheeler Transform
DOI: 10.1145/3703595.37058832025
Journal article
Formally Verified Suffix Array Construction
DOI: 10.1007/s10817-025-09735-8
RECENT SCHOLARLY WORKS
2024
Conference Proceedings
A Generalised Union of Rely-Guarantee and Separation Logic Using Permission Algebras
DOI: 10.4230/LIPIcs.ITP.2024.232024
Conference Proceedings
T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations
DOI: 10.4230/LIPIcs.ICALP.2024.1392023
Journal article
Dargent: A Silver Bullet for Verified Data Layout Refinement
DOI: 10.1145/3571240