卡罗琳·特里佩尔
人员信息
优化列表
2020年–今天
2024 [第18条] 丹尼尔·门多萨 , 弗朗西斯科·罗梅罗 , 卡罗琳·特里佩尔 :
潜在关键推理服务的模型选择。 欧洲系统 2024 : 1016-1038年 [i16] 阿比纳夫·拉瓦尼 , 洛维希·乔普拉 , 克里斯托弗·哈恩 , 卡罗琳·特里佩尔 , 金志静(Zhijing Jin) , Mrinmaya Sachan先生 :
NL2FOL:将自然语言转换为一阶逻辑,用于逻辑错误检测。 CoRR公司 abs/2405.02318 ( 2024 ) 2023 [第17条] 马蒂亚斯·科斯勒 , 克里斯托弗·哈恩 , 丹尼尔·门多萨 , 弗雷德里克·施密特 , 卡罗琳·特里佩尔 :
nl2spec:使用大型语言模型将非结构化自然语言交互式翻译为时间逻辑。 CAV(2) 2023 : 383-396 [第16条] 沙兰尤·查托帕德耶 , Keerthikumara Devarajegowda公司 , 赵碧涵 , 弗洛里安·朗辛 , 布兰登·A·达戈斯蒂诺 , 伊奥娜·瓦维利多 , 维杰·迪普·巴特 , 塞巴斯蒂安·普雷贝克 , 沃尔夫冈·埃克尔 , 卡罗琳·特里佩尔 , 克拉克·W·巴雷特 , 萨巴辛·密特拉 :
G-QED:超越非干涉硬件加速器的广义QED硅片前验证。 数模转换器 2023 : 1-6 【i15】 马蒂亚斯·科斯勒 , 克里斯托弗·哈恩 , 丹尼尔·门多萨 , 弗雷德里克·施密特 , 卡罗琳·特里佩尔 :
nl2spec:使用大型语言模型将非结构化自然语言交互式翻译为时间逻辑。 CoRR公司 abs/2303.04864 ( 2023 ) [第14条] 尼古拉斯·莫西尔 , 哈米德·内马蒂 , 约翰·C·米切尔 , 卡罗琳·特里佩尔 :
塞族人:在编译时保护密码免受Spectres攻击。 CoRR公司 abs/2309.05174 ( 2023 ) 2022 [第15条] 吉特·塞蒂 , 舱底Acun , 尼科特·阿加瓦尔 , 克里斯托斯·科兹拉基斯 , 卡罗琳·特里佩尔 , 卡罗尔·让·吴 :
RecShard:针对行业级神经推荐的基于统计特征的内存优化。 ASPLOS公司 2022 : 344-358 [第14条] 尼古拉斯·莫西尔 , 汉娜·拉奇尼特 , 哈米德·内马蒂 , 卡罗琳·特里佩尔 :
Axiomatic安全硬件软件合同。 国际标准协会 2022 : 72-86 [i13] 吉特·塞蒂 , 舱底Acun , 尼科特·阿加瓦尔 , 克里斯托斯·科兹拉基斯 , 卡罗琳·特里佩尔 , 卡罗尔·让·吴 :
RecShard:基于统计特征的工业级神经推荐记忆优化。 CoRR公司 abs/2201.10095 ( 2022 ) [i12] 丹尼尔·门多萨 , 卡罗琳·特里佩尔 :
推理时的动态网络适应。 CoRR公司 abs/2204.08400 ( 2022 ) 2021 [第13条] 马克·威尔科宁 , 乌迪特·古普塔 , 塞缪尔·夏 , 卡罗琳·特里佩尔 , 卡罗尔·让·吴 , 大卫·布鲁克斯 , 顾延伟 :
RecSSD:基于固态驱动器的推荐推理的近数据处理。 ASPLOS公司 2021 : 717-729 [第12条] Deeksha Dangwal公司 , 文森特·李 , Hyo Jin Kim先生 , 沈天伟 , 梅根·考恩 , 拉吉维·沙阿 , 卡罗琳·特里佩尔 , 布兰登·里根 , 蒂莫西·舍伍德 , Vasileios Balntas公司 , 阿明·阿拉吉 , 埃迪·伊尔格 :
缓解对本地特征描述符的反向工程攻击。 BMVC公司 2021 : 106 [第11条] 沙兰尤·查托帕德耶 , 弗洛里安·朗辛 , 卢卡·皮科波尼 , Deepraj Soni公司 , 彭伟 , 张晓凡 , 袁周(音) , 卢卡·卡洛尼 , 陈德铭(Deming Chen) , 丛京生 , 拉梅什·卡里 , 张志儒 , 卡罗琳·特里佩尔 , 克拉克·W·巴雷特 , 萨巴辛·密特拉 :
使用A-QED和功能分解扩大硬件加速器验证。 FMCAD公司 2021 : 42-52 [第10条] 何塞·罗德里戈·桑切斯·维卡特 , Pradyumna Shome公司 , Nandeka Nayak公司 , 卡罗琳·特里佩尔 , 亚当-莫里森 , 大卫·科尔布伦纳 , 克里斯托弗·弗莱彻 :
打开潘多拉的盒子:对微体系结构泄露私人数据的新方法的系统研究。 国际标准协会 2021 : 347-360 【c9】 萧瑶 , 多米尼克·P·穆利根 , Nikos Nikoleris公司 , 古斯塔沃·佩特里 , 卡罗琳·特里佩尔 :
从RTL合成硬件的形式化模型,以有效验证内存模型实现。 微型的 2021 : 679-694年 【c8】 Kiwan Maeng先生 , 希瓦姆·巴鲁卡 , 伊莎贝尔·高 , 马克·杰弗里 , 维克拉姆·萨拉夫 , 苏伯乐 , 卡罗琳·特里佩尔 , 杨吉燕(Jiyan Yang) , 迈克·拉巴特 , 布兰登·露西亚 , 卡罗尔·让·吴 :
理解并改进部分恢复的深度学习建议的容错训练。 ML系统 2021 【c7】 梅根·考恩 , Deeksha Dangwal公司 , 阿明·阿拉吉 , 卡罗琳·特里佩尔 , 文森特·李 , 布兰登·里根 :
豪猪:矢量同态加密的合成编译器。 PLDI公司 2021 : 375-389 [i11] 梅根·考恩 , Deeksha Dangwal公司 , 阿明·阿拉吉 , 卡罗琳·特里佩尔 , 文森特·李 , 布兰登·里根 :
豪猪:矢量同态加密的合成编译器。 CoRR公司 abs/2101.07841 ( 2021 ) [i10] 马克·威尔科宁 , 乌迪特·古普塔 , 塞缪尔·夏 , 卡罗琳·特里佩尔 , 卡罗尔·让·吴 , 大卫·布鲁克斯 , 顾延伟 :
RecSSD:基于固态驱动器的推荐推理的近数据处理。 CoRR公司 abs/2102.00075 ( 2021 ) [第九章] Deeksha Dangwal公司 , 梅根·考恩 , 阿明·阿拉吉 , 文森特·李 , 布兰登·里根 , 卡罗琳·特里佩尔 :
SoK:下一代安全计算的软件-硬件-安全代码设计机会。 CoRR公司 abs/2105.00378 ( 2021 ) [i8] Deeksha Dangwal公司 , 文森特·李 , Hyo Jin Kim先生 , 沈天伟 , 梅根·考恩 , 拉吉维·沙阿 , 卡罗琳·特里佩尔 , 布兰登·里根 , 蒂莫西·舍伍德 , Vasileios Balntas公司 , 阿明·阿拉吉 , 埃迪·伊尔格 :
对局部特征描述符的反向工程攻击的分析和缓解。 CoRR公司 abs/2105.03812 ( 2021 ) [i7] 沙兰尤·查托帕德耶 , 弗洛里安·朗辛 , 卢卡·皮科波尼 , Deepraj Soni公司 , 彭伟 , 张晓凡 , 袁周(音) , 卢卡·卡洛尼 , 陈德铭(Deming Chen) , 丛京生 , 拉梅什·卡里 , 张志儒 , 卡罗琳·特里佩尔 , 克拉克·W·巴雷特 , 萨巴辛·密特拉 :
使用A-QED和功能分解扩大硬件加速器验证。 CoRR公司 腹肌/2108.06081 ( 2021 ) [i6] 尼古拉斯·莫西尔 , 汉娜·拉奇尼特 , 哈米德·内马蒂 , 卡罗琳·特里佩尔 :
用于形式安全分析的微体系结构的关系模型。 CoRR公司 abs/2112.10511 ( 2021 ) 2020 【c6】 纳奥林·侯赛因 , 卡罗琳·特里佩尔 , 玛格丽特·马托诺西 :
转换形式:正式指定瞬态模型并合成增强型石蕊测试。 国际标准协会 2020 : 874-887 【c5】 Deeksha Dangwal公司 , 梅根·考恩 , 阿明·阿拉吉 , 文森特·李 , 布兰登·里根 , 卡罗琳·特里佩尔 :
SoK:下一代安全计算的软件-硬件-安全代码设计机会。 微型HASP 2020 : 8:1-8:9分 [i5] 纳奥林·侯赛因 , 卡罗琳·特里佩尔 , 玛格丽特·马托诺西 :
转换形式:正式指定瞬态模型并合成增强型石蕊测试。 CoRR公司 abs/2008.03578 ( 2020 ) [i4] Kiwan Maeng先生 , 希瓦姆·巴鲁卡 , 伊莎贝尔·高 , 马克·杰弗里 , 维克拉姆·萨拉夫 , 苏伯乐 , 卡罗琳·特里佩尔 , 杨吉燕(Jiyan Yang) , 迈克·拉巴特 , 布兰登·露西亚 , 卡罗尔·让·吴 :
CPR:理解和改进部分恢复的深度学习推荐容错训练。 CoRR公司 abs/2011.02999 ( 2020 )
2010 – 2019
2019 [注2] 卡罗琳·特里佩尔 , 丹尼尔·卢斯蒂格 , 玛格丽特·马托诺西 :
通过自动硬件利用合成进行安全验证:CheckMate方法。 IEEE微型 39 ( 三 ) : 84-93 ( 2019 ) 2018 [j1] 卡罗琳·特里佩尔 , 亚丁·A·马内卡 , 丹尼尔·卢斯蒂格 , 迈克尔·佩劳尔 , 玛格丽特·马托诺西 :
使用TriCheck进行全堆栈内存模型验证。 IEEE微型 38 ( 三 ) : 58-68 ( 2018 ) 【c4】 张洪策 , 卡罗琳·特里佩尔 , 亚丁·A·马内卡 , 阿尔蒂·古普塔 , 玛格丽特·马托诺西 , 莎拉·马利克 :
ILA-MCM:将内存一致性模型与指令级抽象集成,用于异构系统芯片验证。 FMCAD公司 2018 : 1-10 【c3】 卡罗琳·特里佩尔 , 丹尼尔·卢斯蒂格 , 玛格丽特·马托诺西 :
CheckMate:硬件开发和安全Litmus测试的自动合成。 微型的 2018 : 947-960 [i3] 卡罗琳·特里佩尔 , 丹尼尔·卢斯蒂格 , 玛格丽特·马托诺西 :
MeltdownPrime和SpectrePrime:利用基于失效的一致性协议的自动合成攻击。 CoRR公司 abs/1802.03802 ( 2018 ) 2017 【c2】 卡罗琳·特里佩尔 , 亚丁·A·马内卡 , 丹尼尔·卢斯蒂格 , 迈克尔·佩劳尔 , 玛格丽特·马托诺西 :
TriCheck:软件、硬件和ISA三部分的内存模型验证。 ASPLOS公司 2017 : 119-133 2016 [i2] 卡罗琳·特里佩尔 , 亚丁·A·马内卡 , 丹尼尔·卢斯蒂格 , 迈克尔·佩劳尔 , 玛格丽特·马托诺西 :
探索内存模型设计中软件、硬件和ISA的三部分。 CoRR公司 abs/1608.07547 ( 2016 ) [i1] 亚丁·A·马内卡 , 卡罗琳·特里佩尔 , 丹尼尔·卢斯蒂格 , 迈克尔·佩劳尔 , 玛格丽特·马托诺西 :
C/C++到POWER和ARMv7跟踪同步编译器映射的反例和证明漏洞。 CoRR公司 abs/1611.01507 ( 2016 ) 2015 【c1】 丹尼尔·卢斯蒂格 , 卡罗琳·特里佩尔 , 迈克尔·佩劳尔 , 玛格丽特·马托诺西 :
ArMOR:防止异构架构中的内存一致性模型不匹配。 国际标准协会 2015 : 388-400