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

John Regehr

university of california san diego

38H指数
119论文数
4.8K被引数
收录论文 6
发表时间
logo
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers很高兴认识你：合成实用的MLIR摘要转换器
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errPeng, Xuanyu; Kennedy, Dominic; Fan, Yuyou; Greenman, Ben; Regehr, John; D'Antoni, Loris
err分享
err收藏
Translation Validation for LLVM's AArch64 BackendLLVM的AArch64后端翻译验证
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errBerger, Ryan; Briles, Mitch; Moradi, Nader Boushehrinejad; Coughlin, Nicholas; Lam, Kait; Lopes, Nuno P.; Mada, Stefan; Tirpankar, Tanmay; Regehr, John
err分享
err收藏
Practical Verification of Peephole Optimizations with Alive
errCOMMUNICATIONS OF THE ACM
IF12.2
err2018-01-23
err16
PREAI
errLopes, Nuno P.; Menendez, David; Nagarakatte, Santosh; Regehr, John
err分享
err收藏
Research for Practice: Vigorous Public Debates in Academic Computer Science
errCOMMUNICATIONS OF THE ACM
IF12.2
err2017-11-27
err1
PREAI
errRegehr, John
err分享
err收藏
Technical Perspective STACKing Up Undefined Behaviors技术观点叠加了未定义的行为
errCOMMUNICATIONS OF THE ACM
IF12.2
err2016-02-25
err0
PREAI
errRegehr, John
err分享
err收藏
Understanding Integer Overflow in C/C plus了解C/C plus中的整数溢出
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2015-12-02
err44
PREAI
errDietz, Will; Li, Peng; Regehr, John; Adve, Vikram
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
V
Vikram Adve
H 指数: 45 · 论文数: 179
L
Loris D’Antoni
H 指数: 25 · 论文数: 146
S
Santosh Nagarakatte
H 指数: 24 · 论文数: 104
N
Nuno P. Lopes
H 指数: 18 · 论文数: 45
P
Peng Li
H 指数: 11 · 论文数: 43
查看更多