Hakjoo噢
人员信息
优化列表
2020年–今天
2024 [公元24年] Minseok Jeon公司 , Jihyeok公园 , Hakjoo噢 :
PL4XGL:一种用于可解释图形学习的编程语言方法。 程序。 ACM计划。 语言。 8 ( PLDI公司 ) : 2148-2173 ( 2024 ) 2023 [公元23年] 陈谷康 , Hakjoo噢 :
基于模块化元件的量子电路合成。 程序。 ACM计划。 语言。 7 ( OOPSLA1公司 ) : 348-375 ( 2023 ) [公元22年] 李东权 , Woosuk Lee公司 , Hakjoo噢 , Kwangkeun Yi公司 :
通过程序综合和有时限穷举搜索优化同态评估电路。 ACM事务处理。 程序。 语言系统。 45 ( 三 ) : 16:1-16:37 ( 2023 ) [公元39年] Myungho Lee(李明浩) , 苏英查 , Hakjoo噢 :
学习灰箱模糊的种子自适应突变策略。 ICSE公司 2023 : 384-396 [公元38年] Yoonseok Ko公司 , Hakjoo噢 :
学习增强分离静态Bug-Finder。 ICSE公司 2023 : 1097-1109 [公元37年] Jongwook金 , Sunbeom So公司 , Hakjoo噢 :
潜水员:无限制随机突变的口腔引导SMT求解器测试。 ICSE公司 2023 : 2224-2236 [公元36年] 金国庆(Jinkook Kim) , Minseok Jeon公司 , Sejeong Jang先生 , Hakjoo噢 :
三星电子基于闪存的存储设备的自动耐久性测试。 ICST公司 2023 : 317-326 [公元35年] Sunbeom So公司 , Hakjoo噢 :
SmartFix:通过使用统计模型加速生成和验证修复来修复易受攻击的智能合同。 ESEC/SIGSOFT FSE 2023 : 185-197 [公元34年] Seunghoon Woo先生 , 蔡恩钦(音) , Heejo Lee(李熙雄) , Hakjoo噢 :
V1SCAN:使用代码分类技术发现重用C/C++开源软件组件中的1天漏洞。 USENIX安全研讨会 2023 : 6541-6556 2022 [公元21年] Minseok Jeon公司 , Hakjoo噢 :
CFA的返回:即使对于面向对象的程序,调用敏感度也可能优于对象敏感度。 程序。 ACM计划。 语言。 6 ( POPL公司 ) : 1-29 ( 2022 ) [公元20年] Sooyung Cha(查秀英) , Seongjoon Hong先生 , Jiseong Bak公司 , 金敬英(Jingyoung Kim) , 李俊熙 , Hakjoo噢 :
通过自动学习搜索启发增强动态符号执行。 IEEE传输。 软件工程。 48 ( 9 ) : 3640-3663 ( 2022 ) [公元33年] 李俊熙 , Seongjoon Hong先生 , Hakjoo噢 :
NPEX:在不进行测试的情况下修复Java空指针异常。 ICSE公司 2022 : 1532-1544 [公元32年] 苏英查 , Myungho Lee(李明浩) , Seokhyun Lee先生 , Hakjoo噢 :
SYMTUNER:通过自适应调整外部参数,最大限度地提高符号执行的能力。 ICSE公司 2022 : 2068-2079 [公元31年] Wonseok哦 , Hakjoo噢 :
PyTER:针对Python类型错误的有效程序修复。 ESEC/SIGSOFT FSE 2022 : 922-934 2021 [j19] 东勋Jeon , Minseok Jeon公司 , Hakjoo噢 :
静态程序分析中学习析取抽象启发式的实用算法。 Inf.软件。 Technol公司。 135 : 106564 ( 2021 ) [公元30年] Seunghoon Woo先生 , Sunghan公园 , Seulbae Kim先生 , Heejo Lee(李熙雄) , Hakjoo噢 :
Centris:一种精确且可扩展的方法,用于识别修改的开源软件重用。 ICSE公司 2021 : 860-872 [公元29年] 道恩·宋 , Woosuk Lee公司 , Hakjoo噢 :
编程任务的上下文软件和数据驱动反馈生成。 ESEC/SIGSOFT FSE 2021 : 328-340 [公元28年] Sunbeom So公司 , Seongjoon Hong先生 , Hakjoo噢 :
SmarTest:通过语言模型引导的符号执行,有效搜索智能合约中的脆弱事务序列。 USENIX安全研讨会 2021 : 1361-1378 [电子2] Hakjoo噢 :
编程语言和系统-第19届亚洲研讨会,APLAS 2021,芝加哥,伊利诺伊州,美国,2021年10月17-18日,会议记录。 计算机科学课堂讲稿 13008, 施普林格 2021 ,国际标准图书编号 978-3-030-89050-6 [目录] [i6] Seunghoon Woo先生 , Sunghan公园 , Seulbae Kim先生 , Heejo Lee(李熙雄) , Hakjoo噢 :
CENTRIS:一种精确且可扩展的方法,用于识别修改的开源软件重用。 CoRR公司 abs/2102.06182 ( 2021 ) 2020 [公元18年] 全敏石 , Myungho Lee(李明浩) , Hakjoo噢 :
学习基于图形的启发式方法进行指针分析,而无需手工创建特定于应用程序的功能。 程序。 ACM计划。 语言。 4 ( OOPSLA公司 ) : 179:1-179:30 ( 2020 ) [公元27年] Seongjoon Hong先生 , 李俊熙 , Jeongsoo Lee(李正洙) , Hakjoo噢 :
SAVER:可扩展、精确和安全的内存错误修复。 ICSE公司 2020 : 271-283 [公元26年] Seokhyun Lee先生 , 苏英查 , 戴·李 , Hakjoo噢 :
采用自适应神经元选择策略对深度神经网络进行有效的白盒测试。 ISSTA公司 2020 : 165-176 [公元25年] 李东权 , Woosuk Lee公司 , Hakjoo噢 , Kwangkeun Yi公司 :
通过程序合成和项重写优化同态评估电路。 PLDI公司 2020 : 503-518 [公元24年] 苏英查 , Hakjoo噢 :
通过学习积极的状态调整策略,使符号执行有希望。 ESEC/SIGSOFT FSE 2020 : 147-158 【c23】 Sunbeom So公司 , Myungho Lee(李明浩) , 江苏公园 , Heejo Lee(李熙雄) , Hakjoo噢 :
VERISMART:以太坊智能合约的高精度安全验证程序。 服务提供商 2020 : 1678-1694 [电子1] Hakjoo噢 , 隋玉雷 :
第十一届ACM SIGPLAN自动程序分析工具国际研讨会会议记录, 飞溅时的塔帕斯 2020年,虚拟活动,美国,2020年11月17日。 ACM公司 2020 ,国际标准图书编号 978-1-4503-8189-5 [目录]
2010 – 2019
2019 [公元17年] Dowon Song先生 , Myungho Lee(李明浩) , Hakjoo噢 :
函数编程赋值中逻辑错误的自动可扩展检测。 程序。 ACM计划。 语言。 三 ( OOPSLA公司 ) : 188:1-188:30 ( 2019 ) [公元16年] 全敏石 , Sehun Jeong公司 , 宋德查 , Hakjoo噢 :
一种用于数据驱动程序分析的带析取模型的机器学习算法。 ACM事务处理。 程序。 语言系统。 41 ( 2 ) : 13:1-13:41 ( 2019 ) [公元22年] Kihong Heo先生 , Hakjoo噢 , 杨红seok :
通过在线抽象粗化进行资源软件程序分析。 ICSE公司 2019 : 94-104 【c21】 苏英查 , Hakjoo噢 :
具有自适应变化搜索启发的一致性测试。 ESEC/SIGSOFT FSE 2019 : 235-245 [i5] 苏英查 , Seongjoon Hong先生 , 金敬英(Jingyoung Kim) , 李俊熙 , Hakjoo噢 :
通过自动学习搜索启发增强动态符号执行。 CoRR公司 腹肌/1907.09700 ( 2019 ) [i4] Sunbeom So公司 , Myungho Lee(李明浩) , 江苏公园 , Heejo Lee(李熙雄) , Hakjoo噢 :
VeriSmart:以太坊智能合约的高度精确安全验证程序。 CoRR公司 abs/1908.11227 ( 2019 ) 2018 [公元15年] Kihong Heo先生 , Hakjoo噢 , 杨红seok :
从静态分析生成的标记数据中学习八角形和上下文敏感性的分析策略。 形式方法系统。 设计。 53 ( 2 ) : 189-220 ( 2018 ) [公元14年] 苏英查 , Sehun Jeong(郑世勋) , Hakjoo噢 :
用于数据驱动程序分析的可扩展学习算法。 Inf.软件。 Technol公司。 104 : 1-13 ( 2018 ) [j13] Minseok Jeon公司 , Sehun Jeong公司 , Hakjoo噢 :
通过数据驱动的上下文隧道实现精确且可扩展的分析点。 程序。 ACM计划。 语言。 2 ( OOPSLA公司 ) : 140:1-140:29 ( 2018 ) [公元12年] 李俊昊 , Dowon Song先生 , Sunbeom So公司 , Hakjoo噢 :
函数编程赋值逻辑错误的自动诊断和纠正。 程序。 ACM计划。 语言。 2 ( OOPSLA公司 ) : 158:1-158:30 ( 2018 ) [公元11年] Kihong Heo先生 , Hakjoo噢 , 杨红seok , Kwangkeun Yi公司 :
基于贝叶斯优化学习的自适应静态分析。 ACM事务处理。 程序。 语言系统。 40 ( 4 ) : 14:1-14:37 ( 2018 ) [公元20年] Sooyung Cha(查秀英) , Seongjoon Hong公司 , 李俊熙 , Hakjoo噢 :
自动生成用于混合测试的搜索启发法。 ICSE公司 2018 : 1244-1254 [第19条] Sunbeom So公司 , Hakjoo噢 :
从示例中综合模式程序。 国际JCAI 2018 : 1618-1624 [第18条] 苏英查 , Seonho Lee先生 , Hakjoo噢 :
通过在线学习进行模板指导的调和试验。 ASE公司 2018 : 408-418 [第17条] 李俊熙 , Seongjoon Hong先生 , Hakjoo噢 :
MemFix:C的基于静态分析的内存释放错误修复。 ESEC/SIGSOFT FSE 2018 : 95-106 2017 [公元10年] Sehun Jeong(郑世勋) , Minseok Jeon公司 , 宋德查 , Hakjoo噢 :
数据驱动的上下文敏感性,用于点分析。 程序。 ACM计划。 语言。 1 ( OOPSLA公司 ) : 100:1-100:28 ( 2017 ) [公元9年] Kwonsoo Chae公司 , Hakjoo噢 , Kihong Heo先生 , 杨红seok :
为学习类C语言的程序分析启发自动生成功能。 程序。 ACM计划。 语言。 1 ( OOPSLA公司 ) : 101:1-101:25 ( 2017 ) [j8] Kihong Heo先生 , Hakjoo噢 , Kwangkeun Yi公司 :
上下文敏感和八角域的选择性结合,实现可扩展和精确的全局静态分析。 柔和。 实际。 支出。 47 ( 11 ) : 1677-1705 ( 2017 ) [j7] Woosuk Lee公司 , Wonchan Lee公司 , Dongok Kang公司 , Kihong Heo先生 , Hakjoo噢 , Kwangkeun Yi公司 :
静态分析报警的可靠非统计聚类。 ACM事务处理。 程序。 语言系统。 39 ( 4 ) : 16:1-16:35 ( 2017 ) [第16条] Kihong Heo先生 , Hakjoo噢 , Kwangkeun Yi公司 :
机器学习引导选择性不健全的静态分析。 ICSE公司 2017 : 519-529 [第15条] Min-Je Choi先生 , Sehun Jeong公司 , Hakjoo噢 , Jaegul Choo先生 :
通过神经记忆网络对原始源代码的缓冲区溢出进行端到端预测。 国际JCAI 2017 : 1546-1553 [第14条] Sunbeom So公司 , Hakjoo噢 :
从静态分析指导的示例中综合紧急程序。 SAS公司 2017 : 364-381 [第13条] Seulbae Kim先生 , Seunghoon Woo先生 , Heejo Lee(李熙雄) , Hakjoo噢 :
VUDDY:一种可扩展的漏洞代码克隆发现方法。 IEEE安全与隐私研讨会 2017 : 595-614 [i3] Sunbeom So公司 , Hakjoo噢 :
为介绍性编程作业综合必要程序。 CoRR公司 abs/1702.06334 ( 2017 ) [i2] Min-Je Choi先生 , Sehun Jeong公司 , Hakjoo噢 , Jaegul Choo先生 :
通过神经记忆网络对原始源代码的缓冲区溢出进行端到端预测。 CoRR公司 abs/1703.02458 ( 2017 ) 2016 [j6] 索尔·金 , Kihong Heo先生 , Hakjoo噢 , Kwangkeun Yi公司 :
通过二进制搜索扩大阈值。 柔和。 实际。 支出。 46 ( 10 ) : 1317-1328 ( 2016 ) [j5] Hakjoo噢 , Wonchan Lee公司 , Kihong Heo先生 , 杨红seok , Kwangkeun Yi公司 :
影响预分析指导下的选择性X敏感分析。 ACM事务处理。 程序。 语言系统。 38 ( 2 ) : 6:1-6:45 ( 2016 ) [第12条] Sooyung Cha(查秀英) , Sehun Jeong公司 , Hakjoo噢 :
学习从大型代码库中选择加宽阈值的策略。 阿普拉斯 2016 : 25-41 [第11条] 李米娜 , Sunbeom So公司 , Hakjoo噢 :
从示例中合成正则表达式,用于自动机的入门赋值。 GPCE公司 2016 : 70-80 [第10条] Kihong Heo先生 , Hakjoo噢 , 杨红seok :
从静态分析生成的标记数据中学习八角体的可变聚类策略。 SAS公司 2016 : 237-256 【c9】 李洪哲 , Jaesang哦 , Hakjoo噢 , Heejo Lee(李熙雄) :
用于验证潜在漏洞的自动源代码检测。 秒 2016 : 211-226 [i1] Kwonsoo Chae公司 , Hakjoo噢 , Kihong Heo先生 , 杨红seok :
自动生成用于学习程序分析启发的功能。 CoRR公司 abs/1612.09394 ( 2016 ) 2015 【c8】 Hakjoo噢 , 杨红seok , Kwangkeun Yi公司 :
学习通过贝叶斯优化调整程序分析的策略。 OOPSLA公司 2015 : 572-588 2014 【j4】 Yoonseok Ko公司 , Kihong Heo先生 , Hakjoo噢 :
用于详细语义分析的稀疏评估技术。 计算。 语言系统。 结构。 40 ( 3-4 ) : 99-111 ( 2014 ) [j3] Hakjoo噢 , Kihong Heo先生 , Wonchan Lee公司 , Woosuk Lee公司 , 大军公园 , Jeehoon Kang(Jeehon Kang) , Kwangkeun Yi公司 :
全球稀疏分析框架。 ACM事务处理。 程序。 语言系统。 36 ( 三 ) : 8:1-8:44 ( 2014 ) 【c7】 Hakjoo噢 , Wonchan Lee公司 , Kihong Heo先生 , 杨红seok , Kwangkeun Yi公司 :
影响预分析引导的选择性上下文敏感性。 PLDI公司 2014 : 475-484 【c6】 Woosuk Lee公司 , Hakjoo噢 , Kwangkeun Yi公司 :
静态分析器的进度条。 SAS公司 2014 : 184-200 2013 [注2] Hakjoo噢 , Kwangkeun Yi公司 :
静态分析中基于访问的抽象内存定位。 科学。 计算。 程序。 78 ( 9 ) : 1701-1727 ( 2013 ) 2012 [c5] Hakjoo噢 , Kihong Heo先生 , Wonchan Lee公司 , Woosuk Lee公司 , Kwangkeun Yi公司 :
类C语言稀疏全局分析的设计和实现。 PLDI公司 2012 : 229-238 2011 【c4】 Hakjoo噢 , Kwangkeun Yi公司 :
带旁路的基于访问的本地化。 阿普拉斯 2011 : 50-65 【c3】 Hakjoo噢 , 卢卡斯·布鲁奇 , Kwangkeun Yi公司 :
基于访问分析的抽象内存严密本地化。 VMCAI公司 2011 : 356-370 2010 [j1] Hakjoo噢 , Kwangkeun Yi公司 :
静态分析中大伪过程间循环的算法缓解。 柔和。 实际。 支出。 40 ( 8 ) : 585-603 ( 2010 )
2000 – 2009
2009 【c2】 Hakjoo噢 :
全局静态分析中的大伪周期及其算法缓解。 阿普拉斯 2009 : 14-29 【c1】 容邦荣 , Hakjoo噢 , Kwangkeun Yi公司 :
识别静态分析技术,以在修复修订中查找非修复块。 CIKM-DSMM公司 2009 : 13-18