Christine Rizkallah

发表

Glivenko and Kuroda for Simple Type Theory

Chad E. Brown, Christine Rizkallah, 2014, J. Symb. Log..

Bringing Effortless Refinement of Data Layouts to Cogent

Gabriele Keller, Gerwin Klein, Christine Rizkallah, 2018, ISoLA.

An Axiomatic Characterization of the Single-Source Shortest Path Problem

Christine Rizkallah, 2013, Arch. Formal Proofs.

A Formal Equational Theory for Call-By-Push-Value

Steve Zdancewic, Christine Rizkallah, Dmitri Garbuzov, 2018, ITP.

Verification of Certifying Computations

Kurt Mehlhorn, Sascha Böhme, Eyad Alkassar, 2011, CAV.

A Framework for the Verification of Certifying Computations

Kurt Mehlhorn, Sascha Böhme, Eyad Alkassar, 2013, Journal of Automated Reasoning.

Total Haskell is reasonable Coq

Stephanie Weirich, Antal Spector-Zabusky, Joachim Breitner, 2017, CPP.

An Introduction to Certifying Algorithms Zertifizierende Algorithmen: Eine Einführung

Sascha Böhme, Eyad Alkassar, Christine Rizkallah, 2011 .

Maximum Cardinality Matching

Christine Rizkallah, 2011, Arch. Formal Proofs.

COGENT: Certified Compilation for a Functional Systems Language pdf

Sidney Amani, Yutaka Nagashima, Gabriele Keller, 2016, ArXiv.

A Dependent Security Type System for Concurrent Imperative Programs

Toby C. Murray, Christine Rizkallah, Robert Sison, 2016, Arch. Formal Proofs.

Refinement through restraint: bringing down the cost of verification

Sidney Amani, Yutaka Nagashima, Gerwin Klein, 2016, ICFP 2016.

Cogent: Verifying High-Assurance File System Implementations

Sidney Amani, Gernot Heiser, Yutaka Nagashima, 2016, ASPLOS.

CDSL Version 1: Simplifying Verification with Linear Types

Sidney Amani, Toby Murray, Gabriele Keller, 2014 .

Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference

Toby C. Murray, Christine Rizkallah, Robert Sison, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).

Rank Maximal Equal Contribution: a Probabilistic Social Choice Function pdf

Haris Aziz, Christine Rizkallah, Pang Luo, 2017, AAAI.

Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency

Carroll Morgan, June Andronick, Corey Lewis, 2016, ITP.

From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction

Chad E. Brown, Christine Rizkallah, C. Rizkallah, 2013, PxTP@CADE.

A Simpl Shortest Path Checker Verification

Christine Rizkallah, C. Rizkallah, 2014 .

An Introduction to Certifying Algorithms

Kurt Mehlhorn, Pascal Schweitzer, Sascha Böhme, 2011, it Inf. Technol..

Structural Operational Semantics for Control Flow Graph Machines pdf

Steve Zdancewic, Christine Rizkallah, William Mansky, 2018, ArXiv.

A data layout description language for Cogent

Christine Rizkallah, Zilin Chen, Matt Di Meglio, 2019 .

Incompatibility of Efficiency and Strategyproofness in the Random Assignment Setting with Indifferences pdf

Haris Aziz, Christine Rizkallah, Pang Luo, 2016, ArXiv.

Compositional Security-Preserving Refinement for Concurrent Imperative Programs

Toby C. Murray, Christine Rizkallah, Robert Sison, 2016, Arch. Formal Proofs.

Verification of Certifying Computations through AutoCorres and Simpl

Kurt Mehlhorn, Lars Noschinski, Christine Rizkallah, 2014, NASA Formal Methods.

A Framework for the Automatic Formal Verification of Refinement from Cogent to C

Yutaka Nagashima, Gabriele Keller, Gerwin Klein, 2016, ITP.

Thesis for obtaining the title of Doctor of Engineering of the Faculties of Natural Sciences and Technology of Saarland University vorgelegt von

Christine Rizkallah, C. Rizkallah, 2015 .

Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report)

Antal Spector-Zabusky, Stephanie Weirich, Yao Li, 2018, Journal of Functional Programming.

Verification of program computations

Christine Rizkallah, C. Rizkallah, 2015 .

Complx: a verification framework for concurrent imperative programs

Sidney Amani, June Andronick, Corey Lewis, 2017, Arch. Formal Proofs.

Overcoming restraint: composing verification of foreign functions with cogent

Christine Rizkallah, Liam O'Connor, Louis Cheung, 2021, CPP.

Overcoming Restraint: Modular Refinement using Cogent's Principled Foreign Function Interface pdf

Christine Rizkallah, Liam O'Connor, Louis Cheung, 2021, ArXiv.

Proof Representations for Higher-Order Logic

Gert Smolka, Chad E. Brown, Christine Rizkallah, 2009 .