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

Benjamin C. Pierce

university of california los angeles

61H指数
352论文数
1.5W被引数
收录论文 4
发表时间
logo
Bennet: Randomized Specification Testing for Heap-Manipulating ProgramsBennet: 堆操作程序的随机化规格测试
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errAamer, Zain K.; Pierce, Benjamin C.
err分享
err收藏
Tuning Random Generators Property-Based Testing as Probabilistic Programming通过属性化测试调优随机生成器作为概率编程
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errTjoa, Ryan; Garg, Poorva; Goldstein, Harrison; Millstein, Todd; Pierce, Benjamin C.; Van Den Broeck, Guy
err分享
err收藏
A view of the sustainable computing landscape可持续计算领域概览
errPatterns
IF7.4
err2025-06-25
err0
errOAAI
errBenjamin C. Lee; David Brooks; Arthur van Benthem; Mariam Elgamal; Udit Gupta; Gage Hills; Vincent Liu; Linh Thi Xuan Phan; Benjamin Pierce; Christopher Stewart; Emma Strubell; Gu-Yeon Wei; Adam Wierman; Yuan Yao; Minlan Yu
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收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
D
David Brooks
H 指数: 62 · 论文数: 318
G
Gu-Yeon Wei
H 指数: 57 · 论文数: 323
A
Andrew W. Appel
H 指数: 53 · 论文数: 347
A
Adam Wierman
H 指数: 50 · 论文数: 476
S
Steve Zdancewic
H 指数: 46 · 论文数: 167
查看更多