Christine Rizkallah

Identifiers

• name variant Christine Rizkallah 0.60 · backfill

Papers (8)

1. From Empirical Evaluation to Context-Aware Enhancement: Repairing Regression Errors with LLMs cs.SE · 2025 · author #4
2. Structural Operational Semantics for Control Flow Graph Machines cs.PL · 2018 · author #3
3. Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code cs.PL · 2018 · author #4
4. Total Haskell is Reasonable Coq cs.PL · 2017 · author #3
5. Rank Maximal Equal Contribution: a Probabilistic Social Choice Function cs.GT · 2017 · author #3
6. Incompatibility of Efficiency and Strategyproofness in the Random Assignment Setting with Indifferences cs.GT · 2016 · author #3
7. COGENT: Certified Compilation for a Functional Systems Language cs.PL · 2016 · author #2
8. A Framework for the Verification of Certifying Computations cs.LO · 2013 · author #4

Mentions

• 2506.13182 #4 · arxiv_oai · confidence 0.70 Christine Rizkallah
• 1301.7462 #4 · backfill · confidence 0.70 Christine Rizkallah

Frequent Coauthors

• Antal Spector-Zabusky 2 shared papers
• Haris Aziz 2 shared papers
• Joachim Breitner 2 shared papers
• Pang Luo 2 shared papers
• Stephanie Weirich 2 shared papers
• Alex Hixon 1 shared papers
• Anh Ho 1 shared papers
• Bach Le 1 shared papers
• Dmitri Garbuzov 1 shared papers
• Eyad Alkassar 1 shared papers
• Gabriele Keller 1 shared papers
• Gerwin Klein 1 shared papers
• Japheth Lim 1 shared papers
• John Wiegley 1 shared papers
• Kurt Mehlhorn 1 shared papers
• Liam O'Connor 1 shared papers
• Sascha B\"ohme 1 shared papers
• Sidney Amani 1 shared papers
• Steve Zdancewic 1 shared papers
• Thanh Le-Cong 1 shared papers