巴里斯·卡西奇
人员信息
优化列表
2020年-今天
2024 [公元48年] 阿坎沙·贾因 , 汉娜·林 , 卡洛斯·维拉维娅 , 巴里斯·卡西奇 , 克里斯·肯内利 , 米拉德·哈希米 , 帕塔萨拉西·兰加纳坦 :
Limoncello:Scale的预取器。 阿斯普洛斯(3) 2024 : 577-590 [公元47年] 张宇轩 , 内森·索博特卡 , Soyoon公园 , 萨巴·贾米兰 , 坦维尔·艾哈迈德·汗 , 巴里斯·卡西奇 , 吉尔斯·波卡姆 , 海纳·利茨 , 约瑟夫·迪瓦蒂 :
角色扮演游戏 2 :健壮的配置文件引导的运行时预取生成。 ASPLOS(2) 2024 : 999-1013 [i4] Keisuke Kamahori公司 , 伊勒古 , Kan Zhu先生 , 巴里斯·卡西奇 :
提琴手:用于快速推断专家混合模型的CPU-GPU编排。 CoRR公司 abs/2402.07033 ( 2024 ) [i3] 凯蒂·林 , 马修·佐丹奴 , 剧院Stavrinos , 巴里斯·卡西奇 , 汤姆·安德森 :
蜂巢:直接连接加速器的灵活网络堆栈。 CoRR公司 abs/2403.14770 ( 2024 ) 2023 [j6] 张宇轩 , 坦维尔·艾哈迈德·汗 , 吉尔斯·波卡姆 , 巴里斯·卡西奇 , 海纳·利茨 , 约瑟夫·迪瓦蒂 :
通过OCOLOS进行在线代码布局优化。 IEEE微型 43 ( 4 ) : 71至79 ( 2023 ) [j5] 安德鲁·D·洛夫莱斯 , 林思轩(Linh Thi Xuan Phan) , 丽莎·埃里克森 , 罗纳德·德雷斯林斯基 , 巴里斯·卡西奇 :
串扰:通过利用冗余网络使低延迟容错变得便宜。 ACM事务处理。 嵌入。 计算。 系统。 22 ( 5秒 ) : 147:1-147:25 ( 2023 ) [公元46年] 左格非 , 马嘉诚 , 安德鲁·奎因 , 巴里斯·卡西奇 :
视频:可配置硬件的录制重播。 阿斯普洛斯(3) 2023 : 806-820 [公元45年] 凯文·劳克林 , 乔纳·罗森布鲁姆 , 斯特凡·萨鲁 , 亚历克·沃尔曼 , 迪米特里奥斯·斯卡拉托斯 , 巴里斯·卡西奇 :
Siloz:利用DRAM隔离域防止跨VM Rowhammer。 SOSP(标准操作程序) 2023 : 417-433 [公元44年] 安德鲁·D·洛夫莱斯 , 林思轩(Linh Thi Xuan Phan) , 罗纳德·德雷斯林斯基 , 巴里斯·卡西奇 :
PCSPOOF:破坏时间触发以太网的安全性。 服务提供商 2023 : 3193-3208 [i2] 赵一龙 , 林建宇 , Kan Zhu先生 , 叶子豪 , 陈乐群 , 尺寸Zheng , 路易斯·塞泽 , 阿尔温德·克里斯纳姆塞 , 陈天奇(Tianqi Chen) , 巴里斯·卡西奇 :
原子:低比特量化,实现高效准确的LLM服务。 CoRR公司 abs/2310.19102 ( 2023 ) 2022 【j4】 穆罕默德·乌格尔 , 程江 , 亚历克斯·埃尔夫 , 坦维尔·艾哈迈德·汗 , 巴里斯·卡西奇 :
一个配置文件适合所有人:针对数据中心应用程序的配置文件引导的Linux内核优化。 ACM SIGOPS操作。 系统。 版次。 56 ( 1 ) : 26日至33日 ( 2022 ) [公元43年] 马嘉诚 , 左格非 , 凯文·劳克林 , 张浩阳 , 安德鲁·奎因 , 巴里斯·卡西奇 :
在可重构硬件的全新世界中进行调试。 ASPLOS公司 2022 : 946-962 [公元42年] 萨巴·贾米兰 , 坦维尔·艾哈迈德·汗 , 格兰特·艾尔斯 , 巴里斯·卡西奇 , 海纳·利茨 :
APT-GET:轮廓引导 及时 软件预取。 欧洲系统 2022 : 747-764 [公元41年] 凯文·劳克林 , 斯特凡·萨鲁 , 亚历克·沃尔曼 , 亚丁·A·马内卡 , 巴里斯·卡西奇 :
MOESI-时间:防止商品工作负载中由一致性引起的锤击。 国际标准协会 2022 : 670-684 [公元40年] 宋世新 , 坦维尔·艾哈迈德·汗 , 萨拉·马赫迪扎德·沙赫里 , Akshitha Sriraman公司 , 尼兰詹·桑达拉扬(Niranjan K.Soundararajan) , Sreenivas Subramoney公司 , 丹尼尔·吉梅内斯(Daniel A.Jiménez) , 海纳·利茨 , 巴里斯·卡西奇 :
温度计:用于数据中心应用程序的轮廓引导btb替换。 国际标准协会 2022 : 742-756 [公元39年] 坦维尔·艾哈迈德·汗 , 穆罕默德·乌格尔 , 克里希南德拉·纳塞拉 , Sunwoo大坝 , 海纳·利茨 , 丹尼尔·吉梅内斯(Daniel A.Jiménez) , 巴里斯·卡西奇 :
悄悄话:针对数据中心应用程序的概要文件引导的分支预测失误消除。 微型的 2022 : 19-34 [公元38年] 张宇轩 , 坦维尔·艾哈迈德·汗 , 吉尔斯·波卡姆 , 巴里斯·卡西奇 , 海纳·利茨 , 约瑟夫·迪瓦蒂 :
OCOLOS:联机COde布局优化。 微型的 2022 : 530-545 [公元37年] 安德鲁·奎因 , 杰森·弗林 , 迈克尔·卡瓦雷拉 , 巴里斯·卡西奇 :
调试OmniTable方式。 OSDI公司 2022 : 357-373 [公元36年] 马浩军(Haojun Ma) , 哈马德·艾哈迈德 , 阿曼·戈尔 , 埃利·戈德韦伯 , Jean-Baptiste珍妮 , 马诺斯·卡普里索斯 , 巴里斯·卡西奇 :
筛选:使用优化引导的自动化来验证复杂的分布式系统。 USENIX年度技术会议 2022 : 151-166 [公元35年] Truls Asheim公司 , 坦维尔·艾哈迈德·汗 , 巴里斯·卡西奇 , 拉凯什·库马尔 :
微体系结构状态重用对无服务器功能的影响。 WOSC@中间件 2022 : 7-12 2021 [j3] 劳伦·比尔纳基 , 马克·加拉赫 , 徐志兴 , Misiker Tadesse Aga公司 , 奥斯汀·哈里斯 , 史家伟 , 莫希特·蒂瓦里 , 巴里斯·卡西奇 , 沙拉德·马利克 , 托德·奥斯汀 :
软件驱动的安全攻击:从漏洞源到耐用硬件防御。 ACM J.Emerg.技术。 计算。 系统。 17 ( 三 ) : 42:1-42:38 ( 2021 ) [公元34年] 伊恩·尼尔 , 安德鲁·奎因 , 巴里斯·卡西奇 :
希波克拉底:在不造成任何伤害的情况下治愈持久性记忆错误。 ASPLOS公司 2021 : 401-414 [公元33年] 伊恩·尼尔 , 左格非 , 埃里克·希普尔 , 坦维尔·艾哈迈德·汗 , Youngjin Kwon先生 , 西门彼得 , 巴里斯·卡西奇 :
重新思考永久内存的文件映射。 快速 2021 : 97-111 [公元32年] 奥斯汀·哈里斯 , 塔鲁内什维玛 , 史家伟 , 劳伦·比尔纳基 , 亚历克斯·基西尔 , Misiker Tadesse Aga公司 , 瓦莱丽亚·贝塔科 , 巴里斯·卡西奇 , 莫希特·蒂瓦里 , 托德·奥斯汀 :
Morpheus II:RISC-V安全扩展,用于保护易受攻击的软件和硬件。 主机 2021 : 226-238 [c31] 托德·奥斯汀 , 奥斯汀·哈里斯 , 塔鲁内什维玛 , 史家伟 , 亚历克斯·基西尔 , Misiker Tadesse Aga公司 , 瓦莱丽娅·贝塔科 , 巴里斯·卡西奇 , 莫希特·蒂瓦里 :
Morpheus II:RISC-V安全扩展,用于保护易受攻击的软件和硬件。 HCS公司 2021 : 1-18 [公元30年] 凯文·劳克林 , 斯特凡·萨鲁 , 亚历克·沃尔曼 , 巴里斯·卡西奇 :
停下! 锤子时间:重新思考我们的划船锤子缓解方法。 热操作系统 2021 : 88-95 [公元29年] 坦维尔·艾哈迈德·汗 , 张德欣(Dexin Zhang) , Akshitha Sriraman公司 , 约瑟夫·迪瓦蒂 , 吉尔斯·波卡姆 , 海纳·利茨 , 巴里斯·卡西奇 :
Ripple:数据中心应用程序的配置文件引导指令缓存替换。 国际标准协会 2021 : 734-747 [公元28年] 尼兰詹·桑达拉扬(Niranjan K.Soundararajan) , 彼得·布劳恩 , 坦维尔·艾哈迈德·汗 , 巴里斯·卡西奇 , 海纳·利茨 , Sreenivas Subramoney公司 :
PDede:分区、重复数据消除、增量分支目标缓冲区。 微型的 2021 : 779-791 [公元27年] 坦维尔·艾哈迈德·汗 , 内森·布朗 , Akshitha Sriraman公司 , 尼兰詹·桑达拉扬(Niranjan K.Soundararajan) , 拉凯什·库马尔 , 约瑟夫·迪瓦蒂 , Sreenivas Subramoney公司 , 吉尔斯·波卡姆 , 海纳·利茨 , 巴里斯·卡西奇 :
Twig:数据中心应用程序的档案引导BTB预取。 微型的 2021 : 816-829 [公元26年] 坦维尔·艾哈迈德·汗 , 伊恩·尼尔 , 吉尔斯·波卡姆 , 巴尔赞·莫扎法里 , 巴里斯·卡西奇 :
DMon:使用选择性分析有效检测和纠正数据位置问题。 OSDI公司 2021 : 163-181 [公元25年] 左格非 , 马嘉诚 , 安德鲁·奎因 , 普拉莫德·巴托蒂亚 , 佩德罗·丰塞卡 , 巴里斯·卡西奇 :
执行重建:利用故障重复发生来再现故障。 PLDI公司 2021 : 1155-1170 [公元24年] 安德鲁·D·洛夫莱斯 , 罗纳德·德雷斯林斯基 , 巴里斯·卡西奇 , 林思轩(Linh Thi Xuan Phan) :
IGOR:加快拜占庭式实时系统的容错能力,实现紧急执行。 RTAS公司 2021 : 360-373 【c23】 凯文·劳克林 , 伊恩·尼尔 , 马嘉诚 , 蔡英文(Elisa Tsai) , 奥菲尔·韦斯 , 萨蒂什·纳拉亚纳萨米 , 巴里斯·卡西奇 :
DOLMA:利用瞬态不可观测性原则确保投机。 USENIX安全研讨会 2021 : 1397-1414 [电子2] 塞巴斯蒂安吉尔 , 巴里斯·卡西奇 , 埃迪·科勒 :
HotOS’21:操作系统热门话题研讨会,美国密歇根州安阿伯,2021年6月1日至3日。 ACM公司 2021 ,国际标准图书编号 978-1-4503-8438-4 [目录] 2020 [公元22年] 马嘉诚 , 左格非 , 凯文·劳克林 , 小河城 , 刘延强 , Abel Mulugeta Eneyew公司 , 郑维琪 , 巴里斯·卡西奇 :
共享内存FPGA平台的虚拟机监控程序。 ASPLOS公司 2020 : 827-844 【c21】 Yuhan Chen(陈玉涵) , 朱靖远 , 坦维尔·艾哈迈德·汗 , 巴里斯·卡西奇 :
云视频转码的CPU微体系结构性能表征。 IISWC公司 2020 : 72-82 [公元20年] 坦维尔·艾哈迈德·汗 , Akshitha Sriraman公司 , 约瑟夫·迪瓦蒂 , 吉尔斯·波卡姆 , 海纳·利茨 , 巴里斯·卡西奇 :
I-SPY:上下文驱动的条件指令预取与合并。 微型的 2020 : 146-159 [第19条] 伊恩·尼尔 , 里夫斯 , 本·斯托勒 , 安德鲁·奎因 , Youngjin Kwon先生 , 西门彼得 , 巴里斯·卡西奇 :
阿加莫托:持久内存应用程序的持久性如何? OSDI公司 2020 : 1047-1064 [电子1] Santosh Nagarakatte公司 , 安德鲁·鲍曼 , 巴里斯·卡西奇 :
VEE’20:2020年3月17日,第16届ACM SIGPLAN/SIGOPS虚拟执行环境国际会议,虚拟活动[瑞士洛桑]。 ACM公司 2020 ,国际标准图书编号 978-1-4503-7554-2 [目录] [i1] 安德鲁·D·洛夫莱斯 , 罗纳德·德雷斯林斯基 , 巴里斯·卡西奇 :
通过并行执行实现最佳且无错误的多值拜占庭共识。 IACR加密。 电子打印架构。 2020 : 322 ( 2020 )
2010 – 2019
2019 [注2] 乔·范·布尔克 , 玛丽娜·明金 , 奥菲尔·韦斯 , 丹尼尔·根金 , 巴里斯·卡西奇 , 弗兰克·皮森斯 , 马克·西尔伯斯坦 , 托马斯·韦尼施 , 尤瓦尔·亚罗姆 , 拉乌尔·斯特拉克 :
用Foreshadow打破虚拟内存保护和SGX生态系统。 IEEE微型 39 ( 三 ) : 66-74 ( 2019 ) [第18条] 马克·加拉赫 , 劳伦·比尔纳基 , 陈世波 , Zelalem Birhanu Aweke公司 , Salessawi Ferede Yitbarek公司 , Misiker Tadesse Aga公司 , 奥斯汀·哈里斯 , 徐志兴 , 巴里斯·卡西奇 , 瓦莱丽亚·贝塔科 , 沙拉德·马利克 , 莫希特·蒂瓦里 , 托德·奥斯汀 :
Morpheus:一种基于移动目标攻击防御系统的漏洞容忍安全体系结构。 ASPLOS公司 2019 : 469-484 [第17条] 马浩军(Haojun Ma) , 阿曼·戈尔 , Jean-Baptiste珍妮 , 马诺斯·卡普里索斯 , 巴里斯·卡西奇 , 卡伦·萨卡拉 :
归纳不变量的自动推断。 热操作系统 2019 : 30-36 [第16条] 奥菲尔·韦斯 , 伊恩·尼尔 , 凯文·劳克林 , 托马斯·韦尼施 , 巴里斯·卡西奇 :
NDA:从源头防止推测性执行攻击。 微型的 2019 : 572-586 [第15条] 坦维尔·艾哈迈德·汗 , 赵一凡 , 吉尔斯·波卡姆 , 巴尔赞·莫扎法里 , 巴里斯·卡西奇 :
Huron:混合错误共享检测和修复。 PLDI公司 2019 : 453-468 [第14条] 马浩军(Haojun Ma) , 阿曼·戈尔 , Jean-Baptiste珍妮 , 马诺斯·卡普里索斯 , 巴里斯·卡西奇 , 卡伦·萨卡拉 :
I4:用于验证分布式协议的归纳不变量的增量推理。 SOSP(标准操作程序) 2019 : 370-384 2018 [第13条] 巴里斯·卡西奇 , 马克·西尔伯斯坦 :
SysTEX’18:2018可信执行系统软件研讨会。 CCS系统 2018 : 2180 [第12条] 托德·奥斯汀 , 瓦莱丽亚·贝塔科 , 巴里斯·卡西奇 , 沙拉德·马利克 , 莫希特·蒂瓦里 :
容忍漏洞的安全体系结构。 国际民航组织 2018 : 46 [第11条] 崔卫东 , 信阳阁 , 巴里斯·卡西奇 , 本牛 , 乌帕曼尤·夏尔马 , 王若愚 , 因苏云 :
报告:对部署的软件中的故障进行反向调试。 OSDI公司 2018 : 17至32 [第10条] 约格·塔尔海姆 , 普拉莫德·巴托蒂亚 , 佩德罗·丰塞卡 , 巴里斯·卡西奇 :
控制:轻量级操作系统容器。 USENIX年度技术会议 2018 : 199-212 [c9] 乔·范·布尔克 , 玛丽娜·明金 , 奥菲尔·韦斯 , 丹尼尔·根金 , 巴里斯·卡西奇 , 弗兰克·皮森斯 , 马克·西尔伯斯坦 , 托马斯·韦尼施 , 尤瓦尔·亚罗姆 , 拉乌尔·斯特拉克 :
Foreshadow:使用临时无序执行提取Intel SGX王国的密钥。 USENIX安全研讨会 2018 : 991-1008 2017 【c8】 巴里斯·卡西奇 , 崔卫东 , 信阳阁 , 本牛 :
生产中并发错误的延迟诊断。 SOSP(标准操作程序) 2017 : 582-598 2015 【b1】 巴里斯·卡西奇 :
生产中并发错误的检测、根本原因诊断和分类技术。 EPFL,瑞士, 2015 [j1] 巴里斯·卡西奇 , 克里斯蒂安·赞菲尔 , 乔治·坎迪亚 :
强记忆和弱记忆模型下的数据竞争自动分类。 ACM事务处理。 程序。 语言系统。 37 ( 三 ) : 8:1-8:44 ( 2015 ) 【c7】 巴里斯·卡西奇 , 克里斯蒂安·佩雷拉 , 吉尔斯·波卡姆 , 本杰明·舒伯特 , 穆苏瓦蒂夫人 , 乔治·坎迪亚 :
失败草图:一种更好的调试方法。 热操作系统 2015 【c6】 巴里斯·卡西奇 , 本杰明·舒伯特 , 克里斯蒂安·佩雷拉 , 吉尔斯·波卡姆 , 乔治·坎迪亚 :
故障草图:一种自动诊断生产中故障根本原因的技术。 SOSP(标准操作程序) 2015 : 344-360 2014 【c5】 巴里斯·卡西奇 , 托马斯·鲍尔 , 乔治·坎迪亚 , 约翰·埃里克森 , 穆苏瓦蒂夫人 :
通过无偏差采样实现冷代码的有效跟踪。 USENIX年度技术会议 2014 : 243-254 2013 【c4】 克里斯蒂安·赞菲尔 , 巴里斯·卡西奇 , 约翰内斯·金德 , 爱德华·布尼翁 , 乔治·坎迪亚 :
任意长执行的自动调试。 热操作系统 2013 【c3】 巴里斯·卡西奇 , 克里斯蒂安·赞菲尔 , 乔治·坎迪亚 :
RaceMob:众包数据竞赛检测。 SOSP(标准操作程序) 2013 : 406-422 2012 【c2】 巴里斯·卡西奇 , 克里斯蒂安·赞菲尔 , 乔治·坎迪亚 :
数据竞赛vs.数据竞赛错误:用portend区分。 ASPLOS公司 2012 : 185-198 【c1】 巴里斯·卡西奇 , 克里斯蒂安·赞菲尔 , 乔治·坎迪亚 :
CORD:一个用于分布式数据竞争检测的协作框架。 HotDep公司 2012