Christine Rizkallah

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 28

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Raphael Douglas Giles, Vincent Jackson, Christine Rizkallah
T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations. ICALP (2024)
Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah
Dargent: A Silver Bullet for Verified Data Layout Refinement. Proc. ACM Program. Lang. 7 (POPL) (2023)
Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller
Property-Based Testing: Climbing the Stairway to Verification. SLE (2022)
Louis Cheung, Liam O'Connor, Christine Rizkallah
Overcoming restraint: composing verification of foreign functions with cogent. CPP (2022)
Louis Cheung, Liam O'Connor, Christine Rizkallah
Overcoming Restraint: Composing Verification of Foreign Functions with Cogent. CoRR (2021)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Joshua Cohen, Stephanie Weirich
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. J. Funct. Program. 31 (2021)
Louis Cheung, Liam O'Connor, Christine Rizkallah
Overcoming Restraint: Modular Refinement using Cogent's Principled Foreign Function Interface. CoRR (2021)
Liam O'Connor, Zilin Chen, Christine Rizkallah, Vincent Jackson, Sidney Amani, Gerwin Klein, Toby Murray, Thomas Sewell, Gabriele Keller
Cogent: uniqueness types and certifying compilation. J. Funct. Program. 31 (2021)
Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich
Total Haskell is reasonable Coq. CPP (2018)
Christine Rizkallah, Dmitri Garbuzov, Steve Zdancewic
A Formal Equational Theory for Call-By-Push-Value. ITP (2018)
Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller
Bringing Effortless Refinement of Data Layouts to Cogent. ISoLA (1) (2018)
Dmitri Garbuzov, William Mansky, Christine Rizkallah, Steve Zdancewic
Structural Operational Semantics for Control Flow Graph Machines. CoRR (2018)
Haris Aziz, Pang Luo, Christine Rizkallah
Rank Maximal Equal Contribution: A Probabilistic Social Choice Function. AAAI (2018)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich
Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report). Proc. ACM Program. Lang. 2 (ICFP) (2018)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. CoRR (2018)
Haris Aziz, Pang Luo, Christine Rizkallah
Rank Maximal Equal Contribution: a Probabilistic Social Choice Function. CoRR (2017)
Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich
Total Haskell is Reasonable Coq. CoRR (2017)
Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong
Complx: a verification framework for concurrent imperative programs. CPP (2017)
Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong
COMPLX: A Verification Framework for Concurrent Imperative Programs. Arch. Formal Proofs 2016 (2016)
Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby C. Murray, Gabriele Keller, Gerwin Klein
A Framework for the Automatic Formal Verification of Refinement from Cogent to C. ITP (2016)
Haris Aziz, Pang Luo, Christine Rizkallah
Incompatibility of Efficiency and Strategyproofness in the Random Assignment Setting with Indifferences. CoRR (2016)
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
CoGENT: Verifying High-Assurance File System Implementations. ASPLOS (2016)
Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah
Compositional Security-Preserving Refinement for Concurrent Imperative Programs. Arch. Formal Proofs 2016 (2016)
Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah
A Dependent Security Type System for Concurrent Imperative Programs. Arch. Formal Proofs 2016 (2016)
June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan, Christine Rizkallah
Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency. ITP (2016)
Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah
Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference. CSF (2016)
Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby C. Murray, Gerwin Klein
COGENT: Certified Compilation for a Functional Systems Language. CoRR (2016)
Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein
Refinement through restraint: bringing down the cost of verification. ICFP (2016)
Chad E. Brown, Christine Rizkallah
Glivenko and Kuroda for Simple Type Theory. J. Symb. Log. 79 (2) (2014)
Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
A Framework for the Verification of Certifying Computations. J. Autom. Reason. 52 (3) (2014)
Lars Noschinski, Christine Rizkallah, Kurt Mehlhorn
Verification of Certifying Computations through AutoCorres and Simpl. NASA Formal Methods (2014)
Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
A Framework for the Verification of Certifying Computations CoRR (2013)
Chad E. Brown, Christine Rizkallah
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction. PxTP@CADE (2013)
Christine Rizkallah
An Axiomatic Characterization of the Single-Source Shortest Path Problem. Arch. Formal Proofs 2013 (2013)
Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah, Pascal Schweitzer
An Introduction to Certifying Algorithms. it Inf. Technol. 53 (6) (2011)
Christine Rizkallah
Maximum Cardinality Matching. Arch. Formal Proofs 2011 (2011)
Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
Verification of Certifying Computations. CAV (2011)

Christine Rizkallah.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christine Rizkallah