Christine Rizkallah

Homepages 🌐

• https://www.mpi-inf.mpg.de/~crizkall/

E-Mails 📧

• ua.ude.bleminu @hallakzir.enitsirhc

Entries

2025

Formalised Burrows-Wheeler Transform

by Louis Cheung 📧 and Christine Rizkallah 📧

Jan 17

2024

Formally Verified Suffix Array Construction

by Louis Cheung 📧 and Christine Rizkallah 🌐

Sep 25

2016

COMPLX: A Verification Framework for Concurrent Imperative Programs

by Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah and Joseph Tuong

Nov 29

Compositional Security-Preserving Refinement for Concurrent Imperative Programs

by Toby Murray 🌐, Robert Sison, Edward Pierzchalski and Christine Rizkallah 🌐

Jun 28

A Dependent Security Type System for Concurrent Imperative Programs

by Toby Murray 🌐, Robert Sison, Edward Pierzchalski and Christine Rizkallah 🌐

Jun 25

2013

An Axiomatic Characterization of the Single-Source Shortest Path Problem

by Christine Rizkallah 🌐

May 22

2011

Maximum Cardinality Matching

by Christine Rizkallah 🌐

Jul 21