Raghavan Komondoor公司
人员信息
其他同名人员
优化列表
2020年–今天
2024 [公元33年] 动画Modi , 罗汉·蒂克马尼 , 塔努·马利克 , Raghavan Komondoor公司 , 阿什什·盖哈尼 , Deepak D'Souza公司 :
近藤:有效的普罗旺斯驱动数据去浮。 集成电路驱动单元 2024 : 4965-4978 [电子1] 苏吉特·库马尔·查克拉巴蒂 , Raghavan Komondoor公司 , 拉文德拉·库马尔·梅迪切拉 , 阿西姆·拉斯托吉 , 苏迪普托·戈什 :
第17届软件工程创新会议论文集,ISEC 2024,印度班加罗尔,2024年2月22日至24日。 ACM公司 2024 [目录] 2023 [公元32年] J.S.萨吉夫·库马尔 , Raghavan Komondoor公司 :
基于公式转换的通信延迟无功系统的控制器综合。 ATVA(1) 2023 : 292-311 [公元31年] 斯坦利·塞缪尔 , Deepak D'Souza公司 , Raghavan Komondoor公司 :
逻辑LTL游戏的符号定点算法。 ASE公司 2023 : 698-709 [公元30年] Rupashree Rangaiyengar公司 , Raghavan Komondoor公司 , 拉文德拉·库马尔·梅迪切拉 :
基于微服务系统中故障定位的多层可观测性。 桑纳 2023 : 733-737 [第九章] 斯坦利·塞缪尔 , Deepak D'Souza公司 , Raghavan Komondoor公司 :
面向逻辑LTL游戏的高效控制器综合技术。 CoRR公司 abs/2306.02427 ( 2023 ) 2022 [公元29年] 吉塔姆·查拉 , Navneet阿曼 , Raghavan Komondoor公司 , Ashish博基尔 , 尼勒什·哈拉特 :
通过总结推理验证基于ORM的控制器。 集成电路 2022 : 2340-2351 [公元28年] 维尼·坎瓦尔 , Srikanth Tamilselvam公司 , Raghavan Komondoor公司 :
在微服务之间的通信中处理内存指针。 ICWS公司 2022 : 85-90 2021 [公元27年] Snigdha Athaiya公司 , Raghavan Komondoor公司 , K.Narayan Kumar :
使用无限抽象域的异步系统的数据流分析。 员工持股计划 2021 : 30-58 [公元26年] 斯坦利·塞缪尔 , Deepak D'Souza公司 , Raghavan Komondoor公司 :
GenSys:用于无限状态空间上最大控制器综合的可扩展定点引擎。 ESEC/SIGSOFT FSE 2021 : 1585-1589 [i8] Snigdha Athaiya公司 , Raghavan Komondoor公司 , K.Narayan Kumar :
使用无限抽象域的异步系统的数据流分析。 CoRR公司 abs/2101.10233 ( 2021 ) [i7] 拉文德拉·库马尔·梅迪切拉 , 马拉西·纳加拉克什米 , 坦尼亚·夏尔马 , Raghavan Komondoor公司 :
HDR-Fuzz:使用AddressSanitizer Instrumentation和Fuzzing检测缓冲区溢出。 CoRR公司 abs/2104.10466 ( 2021 ) [i6] 斯坦利·塞缪尔 , Deepak D'Souza公司 , Raghavan Komondoor公司 :
GenSys:用于无限状态空间上最大控制器综合的可扩展定点引擎。 CoRR公司 abs/2107.08794 ( 2021 ) 2020 [公元25年] 拉文德拉·库马尔·梅迪切拉 , Raghavan Komondoor公司 , 阿比克·罗伊乔杜里 :
使用灰盒模糊进行健身指导漏洞检测。 ICSE(研讨会) 2020 : 513-520 [公元24年] Raghavan Komondoor公司 :
博士研讨会轨道报告:ISEC 2020。 国际标准化委员会 2020 : 24:1-24:2
2010 – 2019
2019 [c23] 希曼舒·阿罗拉 , Raghavan Komondoor公司 , G.拉马林加姆 :
检查程序的观察纯度。 FASE公司 2019 : 228-243 [i5] 希曼舒·阿罗拉 , Raghavan Komondoor公司 , G.拉马林加姆 :
检查程序的观察纯度。 CoRR公司 腹肌/1902.05436 ( 2019 ) 2018 [j3] 吉里什·马斯克里·拉玛 , Raghavan Komondoor公司 , 希曼舒·夏尔马 :
对象敏感点的细化——通过切片进行分析。 程序。 ACM计划。 语言。 2 ( OOPSLA公司 ) : 142:1-142:27 ( 2018 ) 2017 [公元22年] 吉里什·马斯克里·拉玛 , Raghavan Komondoor公司 :
检测对象的完整初始化点以支持代码重构。 亚太经合组织 2017 : 110-119 【c21】 Snigdha Athaiya公司 , Raghavan Komondoor公司 :
使用页面模型测试和分析web应用程序。 ISSTA公司 2017 : 181-191 2016 [公元20年] 泰贾斯·帕蒂尔 , Raghavan Komondoor公司 , Deepak D'Souza公司 , Indrajit Bhattacharya公司 :
一种将文本域模型与现有代码匹配的优化方法。 国际中小企业联合会 2016 : 133-143 2015 [注2] 阿莫·马戈尔 , Raghavan Komondoor公司 :
两种技术用于提高需求驱动的零引用验证方法的精度。 科学。 计算。 程序。 98 : 645-679 ( 2015 ) [第19条] 拉文德拉·库马尔·梅迪切拉 , Raghavan Komondoor公司 , S.纳伦德兰 :
使用文件格式规范进行程序专门化和验证。 国际中小企业联合会 2015 : 191-200 [第18条] 拉文德拉·库马尔·梅迪切拉 , Raghavan Komondoor公司 :
精确性与可伸缩性:使用前缀近似进行上下文敏感分析。 桑纳 2015 : 281-290 [i4] 拉文德拉·库马尔 , Raghavan Komondoor公司 , S.纳伦德兰 :
使用文件格式规范对文件处理程序进行静态分析。 CoRR公司 abs/1501.04730 ( 2015 ) 2014 [第17条] K.Vasanta Lakshmi公司 , 阿拉文德·阿查里亚 , Raghavan Komondoor公司 :
使用可达性分析检查Presburger计数器系统的活性特性。 FM公司 2014 : 335-350 [第16条] 吉里什·马斯克里·拉玛 , Raghavan Komondoor公司 :
支持对象共享代码重构的动态分析。 ASE公司 2014 : 713-724 2013 [第15条] Raghavan Komondoor公司 :
通过术语重写和抽象解释在命令式程序中实现精确切片。 SAS公司 2013 : 259-282 [第14条] Raghavan Komondoor公司 , Indrajit Bhattacharya公司 , Deepak D'Souza公司 , 萨钦·卡莱 :
使用关系将文本域模型与现有代码匹配。 WCRE公司 2013 : 371-380 [i3] K.Vasanta Lakshmi公司 , 阿拉文德·阿查里亚 , Raghavan Komondoor公司 :
使用可达性分析检查Presburger计数器系统的时间特性。 CoRR公司 abs/1312.1070 ( 2013 ) 2012 [第13条] Raghavan Komondoor公司 , V.克里斯纳·南迪瓦达 , 索拉巴·辛哈 , 约翰·菲尔德 :
识别旧批处理应用程序中的服务。 国际标准化委员会 2012 : 13-22 [第12条] Raghavan Komondoor公司 , K.Vasanta Lakshmi公司 , 德瓦·塞塔拉姆 , 苏达·巴罗迪亚 :
使用数据流分析的IP网络中的数据包流分析。 国际标准化委员会 2012 : 49-52 2011 [第11条] 拉维坎德兰·马德哈万 , Raghavan Komondoor公司 :
通过过近似的最弱前置条件分析进行零解引用验证。 OOPSLA公司 2011 : 1033-1052 [i2] Raghavan Komondoor公司 , K.Vasanta Lakshmi公司 , 德瓦·塞塔拉姆 , 苏达·巴罗迪亚 :
通过抽象解释进行IP网络中的数据包流分析。 CoRR公司 abs/1111.6808 ( 2011 ) 2010 [c10] 哈里·古普塔 , Deepak D'Souza公司 , Raghavan Komondoor公司 , 吉里什·拉玛 :
将服务描述与现有系统中的实现相匹配的案例研究。 ICSM公司 2010 : 1-10 [i1] 哈里·古普塔 , Deepak D'Souza公司 , Raghavan Komondoor公司 , 吉里什·拉玛 :
将服务描述与现有系统中的实现相匹配的案例研究。 CoRR公司 abs/1008.2458 ( 2010 )
2000 – 2009
2007 【c9】 索拉巴·辛哈 , G.拉马林加姆 , Raghavan Komondoor公司 :
参数化过程模型推断。 WCRE公司 2007 : 21-30 【c8】 Raghavan Komondoor公司 , G.拉马林加姆 :
通过受保护的依赖项恢复数据模型。 WCRE公司 2007 : 110-119 2006 [j1] 萨蒂什·钱德拉 , 杰基·德弗里斯 , 约翰·菲尔德 , 霍华德·赫斯 , 马尼瓦南·卡利达桑 , Raghavan Komondoor公司 , 弗兰斯·尼沃斯 , 加内桑·拉马林根 , 贾斯汀·薛 :
技术论坛:使用逻辑数据模型来理解和转换遗留业务应用程序。 IBM系统。 J。 45 ( 三 ) : 647-655 ( 2006 ) 【c7】 加内桑·拉马林根 , Raghavan Komondoor公司 , 约翰·菲尔德 , 索拉巴·辛哈 :
面向对象数据模型的基于语义的逆向工程。 集成电路 2006 : 192-201 2005 【c6】 Raghavan Komondoor公司 , 加内桑·拉马林根 , 萨蒂什·钱德拉 , 约翰·菲尔德 :
程序理解的依赖类型。 TACAS公司 2005 : 157-173 2003 【c5】 Raghavan Komondoor公司 , 苏珊·霍维茨 :
有效的自动过程提取。 IWPC公司 2003 : 33-43 2001 【c4】 Raghavan Komondoor公司 , 苏珊·霍维茨 :
工具演示:使用程序依赖项查找重复的代码。 员工持股计划 2001 : 383-386 【c3】 Raghavan Komondoor公司 , 苏珊·霍维茨 :
使用切片识别源代码中的重复。 SAS公司 2001 : 40-56 2000 【c2】 Raghavan Komondoor公司 , 苏珊·霍维茨 :
语义保留过程提取。 POPL公司 2000 : 155-169
1990 – 1999
1999 【c1】 尤里·布莱巴特 , Raghavan Komondoor公司 , 拉吉夫·拉斯托吉 , S.Seshadri公司 , 西尔伯查茨 :
更新复制数据库的传播协议。 SIGMOD会议 1999 : 97-108