logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
L

Liam O’Connor

australian national university

8H指数
47论文数
245被引数
收录论文 2
发表时间
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
err分享
err收藏
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
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
G
Gerwin Klein
H 指数: 29 · 论文数: 161
G
Gabriele Keller
H 指数: 23 · 论文数: 103
T
Toby Murray
H 指数: 19 · 论文数: 140
J
June Andronick
H 指数: 18 · 论文数: 62
P
Peter Schachte
H 指数: 15 · 论文数: 90
查看更多