Omer跳闸
人员信息
附属: 亚马逊网络服务,美国圣克拉拉
优化列表
2020年–今天
2024 [j5] 索尼娅·宾塔·侯赛因 , 南江 , Qiang Zhou(周强) , 李小鹏 , 蒋文浩 , 吕英俊 , Hoan Anh Nguyen先生 , Omer跳闸 :
深入研究用于自动错误定位和修复的大型语言模型。 程序。 ACM软件。 工程师。 1 ( FSE公司 ) : 1471-1493 ( 2024 ) [公元53年] 蒋文浩 , 李佩萱 , Qiang Zhou(周强) , 苏巴诺·巴纳吉 , 马丁·施瓦夫 , 吕英俊 , 阮元 , Omer跳闸 :
污点分析中常变政策的推断。 ICSE-SEIP系统 2024 : 452-462 [第52条] 叶兴 , 君欢 , 威亨托克 , 丛深 , 格尔克 , 凯瑟琳·林 , 阿琼·古哈 , Omer跳闸 , 穆拉利·克里希纳·拉马纳坦 :
NL2针对代码开发的LLM的代码推理和规划。 KDD公司 2024 : 6745-6746 [i5] 索尼娅·宾塔·侯赛因 , 南江 , Qiang Zhou(周强) , 李小鹏 , 蒋文浩 , 吕英俊 , Hoan Anh Nguyen先生 , Omer跳闸 :
深入研究用于自动错误定位和修复的大型语言模型。 CoRR公司 abs/2404.11595 ( 2024 ) 2023 [第51条] 本·利布利特 , 罗玲慧 , 亚历杭德罗·莫利纳 , 拉杰迪德·穆克吉 , 扎卡里·帕特森 , 戈兰·皮斯卡切夫 , 马丁·施瓦夫 , Omer跳闸 , 威廉·维瑟 :
向左移动以早期检测机器学习错误。 FM公司 2023 : 584-597 [公元50年] 罗玲慧 , 拉杰迪德·穆克吉 , Omer跳闸 , 马丁·施瓦夫 , Qiang Zhou(周强) , 丹尼尔·桑切斯 :
使用真否定词的长期静态分析规则质量监控。 ICSE-SEIP系统 2023 : 315-326 [公元49年] 塞迪克·贝克·埃芬迪 , 虹膜伯克 , 拉杰迪德·穆克吉 , Hoan Anh Nguyen先生 , Omer跳闸 :
用于从代码更改中挖掘静态分析规则的语言不可知框架。 ICSE-SEIP系统 2023 : 327-339 [公元48年] 本·利布利特 , 吕英俊 , 拉杰迪德·穆克吉 , Omer跳闸 , 王彦军(Yanjun Wang) :
用户支持的代码查询优化。 SOAP@PLDI 2023 : 40-46 [公元47年] 苏巴诺·巴纳吉 , 崔思伟 , 迈克尔·埃米 , 安东尼奥·菲列里 , 莉安娜·哈达伦 , 李佩萱 , 罗玲慧 , 戈兰·皮斯卡切夫 , 尼科拉斯·罗斯纳 , 阿里特拉·森古普塔 , Omer跳闸 , 王晶波 :
大规模实施安全政策的成分分析。 ESEC/SIGSOFT FSE 2023 : 1985-1996 2022 [公元46年] 拉杰迪德·穆克吉 , Omer跳闸 , 本·利布利特 , 米高·威尔逊 :
Python代码中AWS最佳实践的静态分析。 ECOOP公司 2022 : 14:1-14:28 [i4] 拉杰迪德·穆克吉 , Omer跳闸 , 本·利布利特 , 米高·威尔逊 :
Python代码中AWS最佳实践的静态分析。 CoRR公司 abs/2205.04432 ( 2022 ) 2021 [c45] 吕英俊 , 萨沙·沃洛赫 , 威廉·G·J·哈尔丰德 , Omer跳闸 :
SAND:用于检测SQL反模式的静态分析方法。 ISSTA公司 2021 : 270-282 2020 【j4】 克什蒂吉·班萨尔 , 埃里克·科斯基宁 , Omer跳闸 :
合成精确且有用的交换条件。 J.汽车。 原因。 64 ( 7 ) : 1333-1359 ( 2020 )
2010 – 2019
2019 [j3] 阿戈斯蒂诺·科尔特斯 , Omer跳闸 :
专题介绍:SAAP-2017(Android应用程序的静态分析:安全和隐私)。 J.计算。 语言。 52 : 25 ( 2019 ) 2018 [公元44年] 克什蒂吉·班萨尔 , 埃里克·科斯基宁 , Omer跳闸 :
自动生成精确有用的交换条件。 TACAS(1) 2018 : 115-132 [i3] 克什蒂吉·班萨尔 , 埃里克·科斯基宁 , Omer跳闸 :
精确和有用交换条件的自动生成(扩展版)。 CoRR公司 abs/1802.08748 ( 2018 ) 2017 [注2] 郑云辉 , 维杰·加内什 , 萨努·苏布拉曼尼亚语 , Omer跳闸 , 墨菲·贝尔齐什 , 朱利安·杜比 , 张湘玉 :
Z3str2:字符串、正则表达式和长度约束的高效求解器。 形式方法系统。 设计。 50 ( 2-3 ) : 249-288 ( 2017 ) [公元43年] 阿卜杜勒巴基·艾丁 , 大卫·皮奥尔科夫斯基 , Omer跳闸 , 彼得罗·费拉拉 , 马可·皮斯托亚 :
移动隐私策略的可视化配置。 FASE公司 2017 : 338-355 [公元42年] 萨努·苏布拉曼尼亚语 , 墨菲·贝尔齐什 , 维杰·加内什 , Omer跳闸 :
字符串和位向量理论的求解器。 ICSE(配套卷) 2017 : 124-126 [公元41年] 萨勒曼·阿卜杜勒·巴斯特 , 李诗伟 , 菲利普·苏特 , Omer跳闸 :
在存在代码混淆和最小化的情况下识别Android库的依赖性。 ICSE(配套卷) 2017 : 250-252 [公元40年] 大卫·皮奥尔科夫斯基 , 肖恩·彭尼 , 奥斯汀·Z·亨利 , 马可·皮斯托亚 , 玛格丽特·伯内特 , Omer跳闸 , 彼得罗·费拉拉 :
Forage goes mobile:在移动设备上调试时进行Forage。 VL/HCC 2017 : 9-17 [公元39年] 彼得罗·费拉拉 , Omer跳闸 , 刘鹏(音) , 埃里克·科斯基宁 :
使用抽象解释纠正同步故障。 VMCAI公司 2017 : 187-208 2016 [公元38年] 彼得·赞科夫 , 马可·皮斯托亚 , Omer跳闸 , 马丁·T·韦切夫 , 彼得罗·费拉拉 :
FASE:功能感知安全实施。 痤疮 2016 : 471-483 [公元37年] 大卫·M·卢本斯基 , 马可·皮斯托亚 , 程永林 , Omer跳闸 :
认知移动安全:受邀参加会议主题演讲。 移动软件 2016 : 267-268 [公元36年] Omer跳闸 , 马可·皮斯托亚 , 彼得罗·费拉拉 , 朱莉娅·鲁宾 :
使用代码分析查明移动恶意软件。 移动软件 2016 : 275-276 [公元35年] 乔·W·利格曼 , 马可·皮斯托亚 , Omer跳闸 , 格吉·托马斯 :
改进移动应用程序用户界面实现的设计验证。 移动软件 2016 : 277-278 [公元34年] Supriyo Chakraborty公司 , Omer跳闸 :
智能手机的窃听和模糊处理技术。 移动软件 2016 : 291-292 [公元33年] 毛罗·巴卢达 , 马可·皮斯托亚 , 保罗·卡斯特罗 , Omer跳闸 :
移动应用程序中自动异常检测的框架。 移动软件 2016 : 297-298 [公元32年] 刘鹏(音) , Omer跳闸 , 张湘玉 :
IPA:用指针分析改进预测分析。 ISSTA公司 2016 : 59-69 [公元31年] 马拉维卡沙马 , Omer跳闸 , 穆拉利·克里希纳·拉马纳坦 :
失败并发执行的定向合成。 OOPSLA公司 2016 : 430-446 [公元30年] Shiyi Wei公司 , Omer跳闸 , 芭芭拉·G·莱德 , 朱利安·杜比 :
通过本地化和纠正不精确的根本原因,重新进行JavaScript静态分析。 SIGSOFT FSE公司 2016 : 487-498 [电子2] Omer跳闸 , 克里斯托夫·温特斯泰格 :
2016年7月17日,在德国萨尔布吕肯与国际软件测试与分析研讨会(ISSTA 2016)合办的第七届测试、验证与分析约束求解研讨会会议记录。 CEUR研讨会论文集 1639, CEUR-WS.org公司 2016 [目录] [i2] 萨努·苏布拉曼尼亚语 , 墨菲·贝尔齐什 , 郑云辉 , Omer跳闸 , 维杰·加内什 :
字符串和位向量理论的解算器。 CoRR公司 腹肌/1605.09446 ( 2016 ) [i1] 朱利安·杜比 , 奥尔娜·格伦伯格 , 彼得·米勒 , Omer跳闸 :
并发程序测试、验证和修复之间的协同(Dagstuhl研讨会16201)。 达格斯图尔报告 6 ( 5 ) : 56-71 ( 2016 ) 2015 [公元29年] 彼得罗·费拉拉 , Omer跳闸 , 马可·皮斯托亚 :
MorphDroid:细粒度隐私验证。 痤疮 2015 : 371-380 [公元28年] 郑云辉 , 维杰·加内什 , 萨努·苏布拉曼尼亚语 , Omer跳闸 , 朱利安·杜比 , 张湘玉 :
字符串方程、正则表达式和长度约束的有效搜索空间修剪。 CAV(1) 2015 : 235-254 [公元27年] 吉安卢卡·巴本 , 阿戈斯蒂诺·科尔特斯 , 彼得罗·费拉拉 , 马可·皮斯托亚 , Omer跳闸 :
Android应用程序的隐私分析:隐含流和定量分析。 CISIM公司 2015 : 3-23 [公元26年] Paolina Centonze公司 , 马可·皮斯托亚 , Omer跳闸 :
在受试者在场的情况下进行访问权限分析。 ECOOP公司 2015 : 222-246 [公元25年] Omer跳闸 , 马可·皮斯托亚 , Paolina Centonze公司 :
移动系统中应用程序和用户敏感的隐私实施。 移动软件 2015 : 162-163 [公元24年] 罗伊·海伊 , Omer跳闸 , 马可·皮斯托亚 :
动态检测Android中的应用程序间通信漏洞。 ISSTA公司 2015 : 118-128 【c23】 马可·皮斯托亚 , Omer跳闸 , Paolina Centonze公司 , 约瑟夫·利格曼 :
迷宫:移动应用程序中的可视可配置数据泄漏检测。 MDM(1) 2015 : 279-286 [公元22年] 马可·皮斯托亚 , Omer跳闸 , 彼得罗·费拉拉 , Paolina Centonze公司 :
自动检测、更正和可视化移动应用程序中的安全漏洞。 MobileDeLi手机 2015 : 35-36 【c21】 卢卡斯·布鲁奇 , 彼得罗·费拉拉 , Omer跳闸 , 马可·皮斯托亚 :
ShamDroid:在资源访问受限的情况下,功能降级。 OOPSLA公司 2015 : 316-331 [公元20年] 刘鹏(音) , 张湘玉 , Omer跳闸 , 郑云辉 :
轻:通过严格限制的录音重播。 PLDI公司 2015 : 55-64 [第19条] 阿戈斯蒂诺·科尔特斯 , 彼得罗·费拉拉 , 马可·皮斯托亚 , Omer跳闸 :
移动应用程序验证隐私政策合规性的数据中心语义。 VMCAI公司 2015 : 61-79 2014 【b1】 Omer跳闸 :
将数据抽象纳入并发控制。 以色列特拉维夫大学, 2014 [第18条] Omer跳闸 , 萨尔瓦多·瓜尼埃里 , 马可·皮斯托亚 , 亚历山大·Y·阿拉夫金 :
ALETHEIA:提高静态安全分析的可用性。 CCS系统 2014 : 762-774 [第17条] Omer跳闸 , 彼得罗·费拉拉 , 马可·皮斯托亚 :
通过动态部分评估对web JavaScript代码进行混合安全分析。 ISSTA公司 2014 : 49-59 [第16条] 马可·皮斯托亚 , Omer跳闸 :
将安全、分析和应用程序管理集成到移动开发生命周期中。 MobileDeLi手机 2014 : 17-18 [第15条] 刘鹏(音) , Omer跳闸 , 张湘玉 :
Flint:修复线性化能力冲突。 OOPSLA公司 2014 : 543-560 [第14条] 刘鹏(音) , Omer跳闸 , 查尔斯·张 :
Grail:解决并发错误的上下文软件。 SIGSOFT FSE公司 2014 : 318-329 [第13条] Omer跳闸 , 朱莉娅·鲁宾 :
智能手机隐私实施的贝叶斯方法。 USENIX安全研讨会 2014 : 175-190 [电子1] 亚历杭德罗·拉索 , Omer跳闸 :
第九届编程语言和安全分析研讨会会议记录, 塑料@ECOOP 2014年7月29日,瑞典乌普萨拉。 ACM公司 2014 ,国际标准图书编号 978-1-4503-2862-3 [目录] 2013 [j1] 高崎大石 , 马可·皮斯托亚 , Omer跳闸 :
基于一元二阶逻辑的路径和索引敏感字符串分析。 ACM事务处理。 柔和。 工程方法。 22 ( 4 ) : 33:1-33:33 ( 2013 ) [第12条] Omer跳闸 , 马可·皮斯托亚 , 帕特里克·库索特 , 拉迪亚·库索特 , 萨尔瓦多·瓜尼埃里 :
Andromeda:Web应用程序的准确和可扩展的安全分析。 FASE公司 2013 : 210-225 [第11条] Omer跳闸 , 欧姆里·魏斯曼 , Lotem盖伊 :
在测试丛林中寻找出路:网络安全测试的学习方法。 ISSTA公司 2013 : 347-357 [第10条] Omer跳闸 , 埃里克·科斯基宁 , 穆利·萨吉夫 :
将不确定性转化为并行性。 OOPSLA公司 2013 : 589-604 【c9】 Omer跳闸 , 诺姆·里内茨基 :
紧密配合:具有前瞻性的自适应并行化。 ESEC/SIGSOFT FSE 2013 : 169-179 2012 【c8】 Omer跳闸 , 罗曼·曼尼维奇 , 约翰·菲尔德 , 穆利·萨吉夫 :
JANUS:事后诸葛亮。 PLDI公司 2012 : 145-156 2011 【c7】 高崎大石 , 马可·皮斯托亚 , Omer跳闸 :
基于一元二阶逻辑的路径和索引敏感字符串分析。 ISSTA公司 2011 : 166-176 【c6】 萨尔瓦多·瓜尼埃里 , 马可·皮斯托亚 , Omer跳闸 , 朱利安·杜比 , 斯蒂芬·泰尔赫特 , 瑞恩·伯格 :
从易受攻击的JavaScript中拯救万维网。 ISSTA公司 2011 : 177-187 [c5] Omer跳闸 , 格雷塔·约什 , 约翰·菲尔德 , 穆利·萨吉夫 :
HAWKEYE:有效发现并行化的数据流障碍。 OOPSLA公司 2011 : 207-224 【c4】 马努·斯里德哈兰 , 谢·阿尔茨 , 马可·皮斯托亚 , 萨尔瓦多·瓜尼埃里 , Omer跳闸 , 瑞恩·伯格 :
F4F:基于框架的web应用程序的污点分析。 OOPSLA公司 2011 : 1053-1068 【c3】 珀西·梁 , Omer跳闸 , 马约尔·奈克 :
学习最低限度的抽象。 POPL公司 2011 : 31-42 2010 【c2】 珀西·梁 , Omer跳闸 , 马约尔·奈克 , 穆利·萨吉夫 :
静态堆抽象精度的动态评估。 OOPSLA公司 2010 : 411-427
2000 – 2009
2009 【c1】 Omer跳闸 , 马可·皮斯托亚 , 斯蒂芬·芬克 , 马努·斯里德哈兰 , 欧姆里·魏斯曼 :
TAJ:对web应用程序进行有效的污点分析。 PLDI公司 2009 : 87-97