Follow
Christine Rizkallah
Christine Rizkallah
Senior Lecturer at the University of Melbourne
Verified email at unimelb.edu.au - Homepage
Title
Cited by
Cited by
Year
Cogent: Verifying high-assurance file system implementations
S Amani, A Hixon, Z Chen, C Rizkallah, P Chubb, L O'Connor, J Beeren, ...
ACM SIGARCH Computer Architecture News 44 (2), 175-188, 2016
1282016
Compositional verification and refinement of concurrent value-dependent noninterference
T Murray, R Sison, E Pierzchalski, C Rizkallah
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 417-431, 2016
702016
Total haskell is reasonable coq
A Spector-Zabusky, J Breitner, C Rizkallah, S Weirich
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
652018
Refinement through restraint: Bringing down the cost of verification
L O'Connor, Z Chen, C Rizkallah, S Amani, J Lim, T Murray, Y Nagashima, ...
ACM SIGPLAN Notices 51 (9), 89-102, 2016
562016
Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report)
J Breitner, A Spector-Zabusky, Y Li, C Rizkallah, J Wiegley, S Weirich
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-16, 2018
352018
A framework for the verification of certifying computations
E Alkassar, S Böhme, K Mehlhorn, C Rizkallah
Journal of automated reasoning 52 (3), 241-273, 2014
332014
A framework for the automatic formal verification of refinement from Cogent to C
C Rizkallah, J Lim, Y Nagashima, T Sewell, Z Chen, L O’Connor, T Murray, ...
International Conference on Interactive Theorem Proving, 323-340, 2016
272016
Proof of OS scheduling behavior in the presence of interrupt-induced concurrency
J Andronick, C Lewis, D Matichuk, C Morgan, C Rizkallah
International Conference on Interactive Theorem Proving, 52-68, 2016
262016
Cogent: uniqueness types and certifying compilation
L O’CONNOR, Z Chen, C Rizkallah, V Jackson, S Amani, G Klein, ...
Journal of Functional Programming 31, e25, 2021
232021
Verification of certifying computations through AutoCorres and Simpl
L Noschinski, C Rizkallah, K Mehlhorn
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
232014
Verification of certifying computations
E Alkassar, S Böhme, K Mehlhorn, C Rizkallah
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
232011
Complx: A verification framework for concurrent imperative programs
S Amani, J Andronick, M Bortin, C Lewis, C Rizkallah, J Tuong
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
182017
Rank Maximal Equal Contribution: A Probabilistic Social Choice Function
H Aziz, P Luo, C Rizkallah
The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), 910-916, 2018
172018
Cogent: certified compilation for a functional systems language
L O'Connor, C Rizkallah, Z Chen, S Amani, J Lim, Y Nagashima, T Sewell, ...
arXiv preprint arXiv:1601.05520, 2016
162016
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
J Breitner, A Spector-Zabusky, Y Li, C Rizkallah, J Wiegley, J Cohen, ...
Journal of Functional Programming 31, e5, 2021
132021
Bringing Effortless Refinement of Data Layouts to Cogent
L O’Connor, Z Chen, P Susarla, C Rizkallah, G Klein, G Keller
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
112018
Glivenko and Kuroda for simple type theory
CE Brown, C Rizkallah
The Journal of Symbolic Logic 79 (2), 485-495, 2014
102014
Compositional security-preserving refinement for concurrent imperative programs
T Murray, R Sison, E Pierzchalski, C Rizkallah
Archive of Formal Proofs, 2016
92016
Verification of program computations
C Rizkallah
92015
An introduction to certifying algorithms
E Alkassar, S Böhme, K Mehlhorn, C Rizkallah, P Schweitzer
it-Information Technology 53 (6), 287-293, 2011
82011
The system can't perform the operation now. Try again later.
Articles 1–20