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

Aïna Linn Georges

institute of science & technology - austria
H指数:5
被引数:89
浏览量:0

个人简介

暂无内容

教育背景

暂无内容

工作经历

暂无内容

荣誉奖项

暂无内容

Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation

因语言而濒危，却因编译器得救：通过语义反向翻译实现鲁棒性安全

Proceedings of the ACM on Programming Languages-PACMPL
IF2.8
2026-01-010
PRE
Muck, Niklas; Georges, Aina Linn; Dreyer, Derek; Garg, Deepak; Sammler, Michael

研究方向

暂未获取到该数据
N
Niklas Mück
H 指数:2论文数:6被引数:5
D
Deepak Garg
H 指数:6论文数:14被引数:69
M
Michael Sammler
H 指数:9论文数:19被引数:324
D
Derek Dreyer
H 指数:39论文数:141被引数:5,030