戈瑟姆·卡基
人员信息
优化列表
2020年–今天
2024 [i3] 理查德·罗伯逊 , 戈瑟姆·卡基 , 阿什图什·特里维迪 :
分析大型语言模型在文本到SQL合成中的有效性。 CoRR公司 abs/2401.12379 ( 2024 ) 2023 [j6] 柯比·林维尔 , 戈瑟姆·卡基 , 埃里克·乌斯特罗 :
验证隐私保护协议的不可区分性。 程序。 ACM计划。 语言。 7 ( OOPSLA2公司 ) : 1442-1469 ( 2023 ) [j5] 肖恩·迈尔 , 塞尔吉奥·莫弗 , 戈瑟姆·卡基 , Bor Yuh Evan Chang :
Historia:使用消息历史逻辑拒绝回调可到达性。 程序。 ACM计划。 语言。 7 ( OOPSLA2公司 ) : 1905-1934 ( 2023 ) [i2] 肖恩·迈尔 , 塞尔吉奥·莫弗 , 戈瑟姆·卡基 , Bor Yuh Evan Chang :
Historia:使用消息历史逻辑(扩展版本)拒绝回调可访问性。 CoRR公司 abs/2309.04464 ( 2023 ) 2022 【c6】 戈瑟姆·卡基 , 普拉桑特·普拉拉丹 , 尼古拉斯·V·列申科 :
运行时辅助的复制数据类型聚合。 PLDI公司 2022 : 364-378
2010 – 2019
2019 [j4] 戈瑟姆·卡基 , 斯瓦恩·普利亚 , K.C.西瓦拉马克里希南 , 苏雷什·贾甘纳森 :
可合并的已复制数据类型。 程序。 ACM计划。 语言。 三 ( OOPSLA公司 ) : 154:1-154:29 ( 2019 ) 【c5】 戈瑟姆·卡基 , K.C.西瓦拉马克里希南 , 苏雷什·贾甘纳森 :
版本控制也适用于您的数据。 SNAPL公司 2019 : 8:1-8:18 2018 [j3] 戈瑟姆·卡基 , 卡皮尔·厄兰基 , K.C.西瓦拉马克里希南 , 苏雷什·贾甘纳森 :
通过有界并发验证进行安全复制。 程序。 ACM计划。 语言。 2 ( OOPSLA公司 ) : 164:1-164:27 ( 2018 ) [注2] 戈瑟姆·卡基 , 卡提克·纳加尔 , 马赫萨·纳贾夫扎德 , 苏雷什·贾甘纳森 :
单独在一起:组合推理和弱隔离推理。 程序。 ACM计划。 语言。 2 ( POPL公司 ) : 27:1-27:34 ( 2018 ) 【c4】 戈瑟姆·卡基 , G.拉马林加姆 :
安全可转移区域。 生态合作社 2018 : 11:1-11:31 【c3】 基亚·拉赫曼尼 , 戈瑟姆·卡基 , 苏雷什·贾甘纳森 :
细粒度的分布式一致性通过有效的编排来保证。 PaPoC@EuroSys 2018 : 6:1-6:5 2017 [i1] 戈瑟姆·卡基 , 卡提克·纳加尔 , 马赫萨·纳贾夫扎德 , 苏雷什·贾甘纳森 :
单独在一起:弱隔离的组合推理和推理。 CoRR公司 abs/1710.09844 ( 2017 ) 2016 [j1] K.C.西瓦拉马克里希南 , 戈瑟姆·卡基 , 苏雷什·贾甘纳森 :
无税代表:最终一致的关键价值商店的统一、低端和高级接口。 IEEE数据工程牛。 39 ( 1 ) : 52-64 ( 2016 ) 2015 【c2】 K.C.西瓦拉马克里希南 , 戈瑟姆·卡基 , 苏雷什·贾甘纳森 :
最终一致数据存储上的声明性编程。 PLDI公司 2015 : 413-424 2014 【c1】 戈瑟姆·卡基 , 苏雷什·贾甘纳森 :
高阶形状分析的关系框架。 ICFP公司 2014 : 311-324