Dr Christine Rizkallah
Senior Lecturer in Software Engineering
School of Computing and Information Systems
36 Scholarly works
0 Projects
HIGHLIGHTS
2027
Book Chapter
Optimising Metamath Proofs for Human Working Memory
DOI: 10.1007/978-3-032-38214-6_142026
Conference Proceedings
Formalising Fairness in the Assignment Problem with Ordinal Preferences in Isabelle/HOL
DOI: 10.1007/978-3-032-07021-0_222026
Conference Proceedings
The Memorist Tale: Every Thunk Every Cost All At Once
DOI: 10.1007/978-3-032-22720-1_172026
Conference Proceedings
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.3705883
RECENT SCHOLARLY WORKS
2025
Journal article
Formally Verified Suffix Array Construction
DOI: 10.1007/s10817-025-09735-82024
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.139