Christine Rizkallah
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
12
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | The Memorist Tale: Every Thunk Every Cost All At Once. | Xing Li, Yao Li, Peter Schachte, Christine Rizkallah |
| 2025 | APLAS | Memory Safety: Uniqueness as Separation. | Pilar Selene Linares-Arvalo, Arthur Azevedo de Amorim, Vincent Jackson, Liam O'Connor, Peter Schachte, Christine Rizkallah |
| 2025 | CPP | Formalized Burrows-Wheeler Transform. | Louis Cheung, Alistair Moffat, Christine Rizkallah |
| 2025 | ITP | A Verified Cost Model for Call-By-Push-Value. | Zhuo Zoey Chen, Johannes man Pohjola, Christine Rizkallah |
| 2024 | ICALP | T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations. | Raphael Douglas Giles, Vincent Jackson, Christine Rizkallah |
| 2024 | ITP | A Generalised Union of Rely-Guarantee and Separation Logic Using Permission Algebras. | Vincent Jackson, Toby Murray, Christine Rizkallah |
| 2022 | CPP | Overcoming restraint: composing verification of foreign functions with cogent. | Louis Cheung, Liam O'Connor, Christine Rizkallah |
| 2022 | SLE | Property-Based Testing: Climbing the Stairway to Verification. | Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller |
| 2018 | AAAI | Rank Maximal Equal Contribution: A Probabilistic Social Choice Function. | Haris Aziz, Pang Luo, Christine Rizkallah |
| 2018 | CPP | Total Haskell is reasonable Coq. | Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich |
| 2018 | ISoLA | Bringing Effortless Refinement of Data Layouts to Cogent. | Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller |
| 2018 | ITP | A Formal Equational Theory for Call-By-Push-Value. | Christine Rizkallah, Dmitri Garbuzov, Steve Zdancewic |
| 2017 | CPP | Complx: a verification framework for concurrent imperative programs. | Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong |
| 2016 | ASPLOS | CoGENT: Verifying High-Assurance File System Implementations. | Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby C. Murray, Gerwin Klein, Gernot Heiser |
| 2016 | ICFP | Refinement through restraint: bringing down the cost of verification. | Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein |
| 2016 | ITP | Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency. | June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan, Christine Rizkallah |
| 2016 | ITP | A Framework for the Automatic Formal Verification of Refinement from Cogent to C. | Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby C. Murray, Gabriele Keller, Gerwin Klein |
| 2013 | CADE | From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction. | Chad E. Brown, Christine Rizkallah |
| 2011 | CAV | Verification of Certifying Computations. | Eyad Alkassar, Sascha Bhme, Kurt Mehlhorn, Christine Rizkallah |