普拉塔普·辛格
人员信息
其他同名人员
巴努·普拉塔普·辛格·拉瓦特 瓦比哈夫·赛尼 (又名:Vaibhav Pratap Singh Saini) -美国加州大学欧文分校 德维什·普拉塔普·辛格 克里希娜·普拉塔普·辛格 马努·普拉塔普·辛格 纳根德拉·普拉塔普·辛格 罗汉·辛格 (又名:罗汉·普拉塔普·辛格) — 日本国家先进工业科学技术研究所联合机器人实验室 (还有1个) S.Pratap Singh公司 乌代·普拉塔普·辛格 维奈·普拉塔普·辛格 显示所有相似的名称
优化列表
2020年–今天
2023 [注2] 托马斯·布尔盖特 , 伊恩·克莱斯特 , 安德烈斯·埃尔布森 , 塞缪尔·格鲁特 , 普拉塔普·辛格 , 安迪·赖特 , 亚当·克利帕拉 :
灵活的教学——通过抽象单数设置语义(经验报告)。 程序。 ACM计划。 语言。 7 ( ICFP公司 ) : 108-124 ( 2023 ) 【c3】 约书亚·甘彻 , 西德尼·吉布森 , 普拉塔普·辛格 , 桑维德·达拉尼科塔 , 布莱恩·帕诺 :
猫头鹰:通过信息流类型系统对安全协议进行组合验证。 服务提供商 2023 : 1130-1147 【c2】 马克·赵 , Satadru锅 , Niket阿加瓦尔 , 赵多文 , 徐大卫(David Xu) , 阿南·纳塔拉扬 , 库马尔 , Shiva Shankar P.公司。 , Ritesh Tijoriwala公司 , 卡兰·阿舍 , 郝武 , 阿尔蒂·巴桑特 , 丹尼尔·福特 , 迪莉娅·戴维 , 内齐赫·伊吉塔巴西 , 普拉塔普·辛格 , 卡罗尔·让·吴 :
构造转换:用于大规模ML训练的复合存储结构。 USENIX年度技术会议 2023 : 433-449 [i1] 约书亚·甘彻 , 西德尼·吉布森 , 普拉塔普·辛格 , 桑维德·达拉尼科塔 , 布莱恩·帕诺 :
猫头鹰:通过信息流类型系统对安全协议进行组合验证。 IACR加密。 电子打印架构。 2023 : 473 ( 2023 ) 2022 [j1] 普拉塔普·辛格 , 里希·帕尔·辛格 , 尤德维尔·辛格 , 贾斯古普雷特·辛格·乔恩 , Shubham Sharma公司 , 米拉德·萨德格扎德 , Alibek Issakhov公司 :
基于磁感应技术的地下基础设施、土壤条件监测和环境观测应用的无线传感器网络:挑战和未来。 J.传感器 2022 : 9332917:1-9332917:18 ( 2022 ) 2021 【c1】 Satadru锅 , 蒂亚诺·斯塔夫里诺斯 , 张云桥 , 阿图尔·西卡里亚 , 帕维尔·扎哈罗夫 , 阿比纳夫·夏尔马 , Shiva Shankar P.公司。 , 迈克·舒伊 , 理查德·沃林 , 莫妮卡·甘加普拉姆 , 曹光磊 , 克里斯蒂安·普雷索 , 普拉塔普·辛格 , 凯斯图蒂斯·帕蒂朱纳斯 , J.R.蒂普顿 , 伊桑·卡兹·巴塞特 , 怀亚特·劳埃德 :
脸书的构造文件系统:Exascale的效率。 快速 2021 : 217-231