logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
L

Liam O’Connor

australian national university

8H-index
47Paper Count
245Citation Count
Published Papers 2
Publication Date
logo
Memory Safety: Uniqueness as Separation
errPROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
err2026-01-01
err0
PREAI
errArevalo, Pilar Selene Linares; de Amorim, Arthur Azevedo; Jackson, Vincent; O'Connor, Liam; Schachte, Peter; Rizkallah, Christine
errShare
errSave
Provably trustworthy systems
errPHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
IF3.7
err2017-09-04
err8
errOAAI
errKlein, Gerwin; Andronick, June; Keller, Gabriele; Matichuk, Daniel; Murray, Toby; O'Connor, Liam
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
G
Gerwin Klein
H-index: 29 · Papers: 161
G
Gabriele Keller
H-index: 23 · Papers: 103
T
Toby Murray
H-index: 19 · Papers: 140
J
June Andronick
H-index: 18 · Papers: 62
P
Peter Schachte
H-index: 15 · Papers: 90
View more