Artigos com autorizações de acesso público - Liam O'ConnorSaiba mais
6 artigos disponíveis publicamente
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
Autorizações: Australian Research Council
File systems deserve verification too!
G Keller, T Murray, S Amani, L O'Connor, Z Chen, L Ryzhyk, G Klein, ...
Proceedings of the Seventh Workshop on Programming Languages and Operating …, 2013
Autorizações: Australian Research Council
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
Autorizações: Australian Research Council
Provably trustworthy systems
G Klein, J Andronick, G Keller, D Matichuk, T Murray, L O'Connor
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017
Autorizações: US Department of Defense
Shoggoth: A Formal Foundation for Strategic Rewriting
X Qin, L O’Connor, R van Glabbeek, P Höfner, O Kammar, M Steuwer
Proceedings of the ACM on Programming Languages 8 (POPL), 61-89, 2024
Autorizações: Royal Society UK
Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML
Y Nagashima, L O'Connor
arXiv preprint arXiv:1608.03350, 2016
Autorizações: Australian Research Council
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador