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

Magnus O. Myreen

eth zurich

24H指数
89论文数
2.6K被引数
收录论文 4
发表时间
logo
BRACK: A Verified Compiler for Scheme via CakeMLBRACK：通过CakeML实现的Scheme语言验证编译器
errPROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
err2026-01-01
err0
PREAI
errLasnier, Pascal Y.; Yallop, Jeremy; Myreen, Magnus O.
err分享
err收藏
Verified VCG and Verified Compiler for DafnyDafny语言的验证型VCG和验证型编译器
errPROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
err2026-01-01
err0
PREAI
errNezamabadi, Daniel; Myreen, Magnus O.; Tan, Yong Kiam
err分享
err收藏
Candle: A Verified Implementation of HOL Light (Extended Version)Candle: HOL Light的验证实现（扩展版）
errJournal of Automated Reasoning
IF0.8
err2025-12-05
err0
errOAAI
errAbrahamsson, Oskar; Myreen, Magnus O.; Kumar, Ramana; Sewell, Thomas
err分享
err收藏
x86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-07-01
err280
PREAI
errSewell, Peter; Sarkar, Susmit; Owens, Scott; Nardelli, Francesco Zappa; Myreen, Magnus O.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Peter Sewell
H 指数: 47 · 论文数: 179
S
Scott Owens
H 指数: 28 · 论文数: 74
S
Susmit Sarkar
H 指数: 27 · 论文数: 61
F
Francesco Zappa Nardelli
H 指数: 25 · 论文数: 59
T
Thomas Sewell
H 指数: 16 · 论文数: 38
查看更多