| 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 | 139 | 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 | 76 | 2018 |
| 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 |
| 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 | 60 | 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 | 35 | 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 | 32 | 2016 |
| 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 | 27 | 2016 |
| Verification of certifying computations E Alkassar, S Böhme, K Mehlhorn, C Rizkallah Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 27 | 2011 |
| 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 |
| 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 |
| 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 | 18 | 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 | 18 | 2018 |
| 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 |
| 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 | 13 | 2018 |
| Glivenko and Kuroda for simple type theory CE Brown, C Rizkallah The Journal of Symbolic Logic 79 (2), 485-495, 2014 | 13 | 2014 |
| 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 | 12 | 2023 |
| 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 |
| Verification of program computations C Rizkallah | 10 | 2015 |
Toby MurraySchool of Computing and Information Systems, University of Melbourne確認したメール アドレス: unimelb.edu.au
