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

Steve Zdancewic

University of Pennsylvania

46H指数
167论文数
6.9K被引数
收录论文 6
发表时间
logo
Compiling to Linear Neurons编译为线性神经元
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errVelez-ginorio, Joey; Amin, Nada; Kording, Konrad; Zdancewic, Steve
err分享
err收藏
Structural Temporal Logic for Mechanized Program Verification结构化时序逻辑用于机械化程序验证
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errIoannidis, Eleftherios; Zakowski, Yannick; Zdancewic, Steve; Angel, Sebastian
err分享
err收藏
Opportunistically Parallel Lambda Calculus机会性并行 Lambda 演算
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errMell, Stephen; Kallas, Konstantinos; Zdancewic, Steve; Bastani, Osbert
err分享
err收藏
Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq选择树：在Rocq中表示和推理关于非确定性、递归和不可纯程序的表示
errJOURNAL OF FUNCTIONAL PROGRAMMING
IF0
err2025-09-23
err0
PREAI
errChappe, Nicolas; He, Paul; Henrio, Ludovic; Ioannidis, Eleftherios; Zakowski, Yannick; Zdancewic, Steve
err分享
err收藏
Technical Perspective Building Bug-Free Compilers
errCOMMUNICATIONS OF THE ACM
IF12.2
err2018-01-23
err1
PREAI
errZdancewic, Steve
err分享
err收藏
Position paper: the science of deep specification
errPHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
IF3.7
err2017-09-04
err31
errOAAI
errAppel, Andrew W.; Beringer, Lennart; Chlipala, Adam; Pierce, Benjamin C.; Shao, Zhong; Weirich, Stephanie; Zdancewic, Steve
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
K
Konrad P. Körding
H 指数: 73 · 论文数: 447
B
Benjamin C. Pierce
H 指数: 61 · 论文数: 352
A
Andrew W. Appel
H 指数: 53 · 论文数: 347
Z
Zhong Shao
H 指数: 39 · 论文数: 206
S
Stephanie Weirich
H 指数: 33 · 论文数: 184
查看更多