泰吉·查杰德
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2024 [j3] 米海布迪乌 , 泰吉·查杰德 , 弗兰克·麦克谢里 , 列奥尼德·雷日克 , 瓦尔·坦宁 :
DBSP:流的增量计算及其在数据库中的应用。 SIGMOD记录。 53 ( 1 ) : 87-95 ( 2024 ) [第14条] 刘静(音译) , 郝祥鹏 , 安德烈亚·阿帕西·杜塞奥 , Remzi H.Arpaci-Dusseau先生 , 泰吉·查杰德 :
影子文件系统:通过稳健的替代执行从文件系统运行时错误中恢复。 热存储 2024 [i1] 伊登·弗兰克尔 , 泰吉·查杰德 , 奇怪的帕顿 , 沙伦·肖姆 :
量化一阶公式抽象域的有效实现。 CoRR公司 abs/2405.10308 ( 2024 ) 2023 [注2] 米哈伊·布迪乌 , 泰吉·查杰德 , 弗兰克·麦克雪莉 , 列奥尼德·雷日克 , 瓦尔·坦宁 :
DBSP:富查询语言的自动增量视图维护。 程序。 荷兰VLDB。 16 ( 7 ) : 1601-1614 ( 2023 ) [第13条] 马蒂亚斯·布伦 , 雷托·阿赫尔曼 , 泰吉·查杰德 , 乔恩·豪厄尔 , Gerd Zellweger公司 , 安德烈亚·拉图阿达 :
超越隔离:操作系统验证是正确应用程序的基础。 热操作系统 2023 : 158-165 2022 [第12条] 泰吉·查杰德 , 约瑟夫·塔萨洛蒂 , 马克·登 , M.Frans Kaashoek先生 , 尼古拉·泽利多维奇 :
使用顺序推理验证DaisyNFS并发和防崩溃文件系统。 OSDI公司 2022 : 447-463 2021 [第11条] 泰吉·查杰德 , 约瑟夫·塔萨洛蒂 , 马克·登 , 拉尔夫·荣格 , M.Frans Kaashoek先生 , 尼古拉·泽利多维奇 :
GoJournal:一个经过验证的并发防撞日志系统。 OSDI公司 2021 : 423-439
2010 – 2019
2019 [第10条] 泰伊·查耶德 , 约瑟夫·塔萨罗蒂 , M.Frans Kaashoek先生 , 尼古拉·泽利多维奇 :
Argosy:使用恢复优化验证分层存储系统。 PLDI公司 2019 : 1054-1068 【c9】 泰吉·查杰德 , 约瑟夫·塔萨洛蒂 , M.Frans Kaashoek先生 , 尼古拉·泽利多维奇 :
使用Perennial验证并发、防撞系统。 SOSP(标准操作程序) 2019 : 243-258 【c8】 塔希娜·拉马南安德罗 , 安托万·德利格纳·拉瓦德 , Cédric Fornet公司 , 尼基尔·斯瓦米 , 泰吉·查杰德 , 纳迪姆·科贝斯 , 乔纳森·普罗琴科 :
EverParse:经过验证的安全零拷贝消息格式分析器。 USENIX安全研讨会 2019 : 1465-1482 2018 【c7】 泰吉·查杰德 , M.Frans Kaashoek先生 , 巴特勒·W·兰普森 , 尼古拉·泽利多维奇 :
使用CSPEC中的移动器验证并发软件。 OSDI公司 2018 : 306-322 【c6】 阿塔莱·默特·伊莱里 , 泰吉·查杰德 , 亚当·克利帕拉 , M.Frans Kaashoek先生 , 尼古拉·泽利多维奇 :
使用DiskSec在文件系统中证明机密性。 OSDI公司 2018 : 323-338 2017 [j1] 泰伊·查耶德 , 陈浩刚 , 亚当·克利帕拉 , M.Frans Kaashoek先生 , 尼古拉·泽利多维奇 , 丹尼尔·齐格勒 :
使用崩溃灰逻辑验证文件系统:崩溃时的正确性。 Commun公司。 ACM公司 60 ( 4 ) : 75-84 ( 2017 ) 【c5】 陈浩刚 , 泰吉·查杰德 , 亚历克斯·科纳迪 , 斯蒂芬妮·王 , 阿塔莱·默特·伊莱里 , 亚当·克利帕拉 , M.Frans Kaashoek先生 , 尼古拉·泽利多维奇 :
使用树规范验证高性能防撞文件系统。 SOSP(标准操作程序) 2017 : 270-286 2016 【c4】 陈浩刚 , 丹尼尔·齐格勒 , 泰吉·查杰德 , 亚当·克利帕拉 , M.Frans Kaashoek先生 , 尼古拉·泽利多维奇 :
使用Crash-Hoare Logic认证FSCQ文件系统。 USENIX年度技术会议 2016 2015 【c3】 泰吉·查杰德 , 乔恩·吉恩塞特 , 杰尔·范登·胡夫 , M.Frans Kaashoek先生 , 詹姆斯·米肯斯 , 罗伯特·泰潘·莫里斯 , 尼古拉·泽利多维奇 :
琥珀色:从Web应用程序中解耦用户数据。 热操作系统 2015 【c2】 陈浩刚 , 丹尼尔·齐格勒 , 泰吉·查杰德 , 亚当·克利帕拉 , M.Frans Kaashoek先生 , 尼古拉·泽利多维奇 :
使用Crash-Hoare逻辑验证FSCQ文件系统。 SOSP(标准操作程序) 2015 : 18-37 2013 【c1】 布赖恩·乔 , 蒙塔西尔·雷汉·拉赫曼 , 泰吉·查杰德 , 因德拉尼尔·古普塔 , 克里斯蒂娜·拉巴德 , 内森·罗伯茨 , 菲利普·林 :
Natjam:设计和评估驱逐政策,以支持mapreduce集群中的优先级和截止日期。 SoCC公司 2013 : 6:1-6:17
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)