Christine Rizkallah

Citée par

	Toutes	Depuis 2019
Citations	717	478
indice h	15	11
indice i10	20	15

100

201120122013201420152016201720182019202020212022202320242 6 7 13 16 39 76 75 100 73 95 74 86 50

Accès public

Tout afficher

10 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Toby MurraySchool of Computing and Information Systems, University of MelbourneAdresse e-mail validée de unimelb.edu.au
Liam O'ConnorThe Australian National University and The University of EdinburghAdresse e-mail validée de anu.edu.au
Zilin ChenUNSWAdresse e-mail validée de unswalumni.com
Gerwin KleinProofcraft and UNSWAdresse e-mail validée de unsw.edu.au
Gabriele KellerUtrecht UniversityAdresse e-mail validée de uu.nl
Yutaka NagashimaInstitute of Computer Science, the Czech Academy of SciencesAdresse e-mail validée de cs.cas.cz
Joachim BreitnerLean FROAdresse e-mail validée de joachim-breitner.de
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Kurt MehlhornProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusAdresse e-mail validée de mpi-inf.mpg.de
Gernot HeiserProfessor of Computer Science, University of New South WalesAdresse e-mail validée de unsw.edu.au
Rob SisonSchool of Computer Science and Engineering, UNSW SydneyAdresse e-mail validée de unsw.edu.au
Peter ChubbUNSW, SydneyAdresse e-mail validée de unsw.edu.au
Eyad AlkassarAdresse e-mail validée de wjpserver.cs.uni-saarland.de
Yao LiPortland State UniversityAdresse e-mail validée de pdx.edu
June AndronickCEO and co-founcer, ProofcraftAdresse e-mail validée de proofcraft.systems
Haris AzizUNSW Sydney - Scientia Associate ProfessorAdresse e-mail validée de unsw.edu.au
Carroll MorganProfessor, University of New South WalesAdresse e-mail validée de unsw.edu.au
Daniel MatichukPhD Graduate, UNSWAdresse e-mail validée de unswalumni.com
Lars NoschinskiTechnische Universität MünchenAdresse e-mail validée de in.tum.de
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu

Suivre

Christine Rizkallah

Senior Lecturer at the University of Melbourne

Adresse e-mail validée de unimelb.edu.au - Page d'accueil

Verification Interactive Theorem Proving Programming Languages Proof Theory Logic


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	135	2016
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	71	2016
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	68	2018
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	59	2016
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	40	2018
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	34	2014
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	31	2016
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	25	2021
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	25	2016
Verification of certifying computations E Alkassar, S Böhme, K Mehlhorn, C Rizkallah Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	25	2011
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	22	2014
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	19	2016
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	18	2017
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	17	2021
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	16	2018
Glivenko and Kuroda for simple type theory CE Brown, C Rizkallah The Journal of Symbolic Logic 79 (2), 485-495, 2014	13	2014
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	12	2018
An introduction to certifying algorithms E Alkassar, S Böhme, K Mehlhorn, C Rizkallah, P Schweitzer it-Information Technology 53 (6), 287-293, 2011	11	2011
Dargent: a silver bullet for verified data layout refinement Z Chen, A Lafont, L O'Connor, G Keller, C McLaughlin, V Jackson, ... Proceedings of the ACM on Programming Languages 7 (POPL), 1369-1395, 2023	10	2023
Verification of program computations C Rizkallah	10	2015

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs