Bor Yuh Evan Chang
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [j7] 本诺·斯坦因 , Bor Yuh Evan Chang , 马努·斯里德哈兰 :
交互式抽象解释和要求的总结。 ACM事务处理。 程序。 语言系统。 46 ( 1 ) : 4:1-4:40 ( 2024 ) 2023 [j6] 肖恩·迈尔 , 塞尔吉奥·莫弗 , 戈瑟姆·卡基 , Bor Yuh Evan Chang :
Historia:使用消息历史逻辑拒绝回调可到达性。 程序。 ACM计划。 语言。 7 ( OOPSLA2公司 ) : 1905-1934 ( 2023 ) [公元50年] 丹尼尔·斯科佩 , 大卫·西卡茨 , 伊琳娜·斯托尔科夫斯卡 , 桑德罗·斯塔基 , 丹尼尔·塔特萨尔 , 波琳·博利尼亚诺 , 弗兰科·雷蒙迪 , Bor Yuh Evan Chang :
将按需分析提升到高阶语言。 SAS公司 2023 : 460-484 【i15】 肖恩·迈尔 , 塞尔吉奥·莫弗 , 戈瑟姆·卡基 , Bor Yuh Evan Chang :
Historia:使用消息历史逻辑(扩展版本)拒绝回调可访问性。 CoRR公司 abs/2309.04464 ( 2023 ) 2022 [公元49年] 多德·齐克里克 , Bor Yuh Evan Chang , 波琳·博利尼亚诺 , 弗兰科·雷蒙迪 :
同时电位和反电位的差分成本分析。 PLDI公司 2022 : 442-457 [第14条] 多德·齐克里克 , Bor Yuh Evan Chang , 波琳·博利尼亚诺 , 弗兰科·雷蒙迪 :
同时电位和反电位的差分成本分析。 CoRR公司 abs/2204.00870 ( 2022 ) 2021 [公元48年] 本诺·斯坦因 , Bor Yuh Evan Chang , 马努·斯里德哈兰 :
要求抽象解释。 PLDI公司 2021 : 282-295 [公元47年] 天汉路 , Bor Yuh Evan Chang , 阿什图什·特里维迪 :
选择性缓冲资源边界。 SAS公司 2021 : 286-307 [i13] 本诺·斯坦因 , Bor Yuh Evan Chang , 马努·斯里德哈兰 :
要求的抽象解释(扩展版)。 CoRR公司 abs/2104.01270 ( 2021 ) [i12] 天汉路 , Bor Yuh Evan Chang , 阿什图什·特里维迪 :
选择性缓冲资源边界。 CoRR公司 腹肌/2108.08263 ( 2021 ) 2020 [j5] Bor Yuh Evan Chang , 塞扎拉·德拉戈伊 , 罗曼·曼尼维奇 , 诺姆·里内茨基 , Xavier对手 :
形状分析。 已找到。 趋势计划。 语言。 6 ( 1-2 ) : 1-158 ( 2020 )
2010 – 2019
2019 [j4] 肖恩·迈尔 , 塞尔吉奥·莫弗 , Bor Yuh Evan Chang :
生存状态:事件驱动协议和回调控制流(工件)。 Dagstuhl Artifacts爵士。 5 ( 2 ) : 13:1-13:3 ( 2019 ) [j3] 本诺·斯坦因 , 本杰明·巴斯列夫·尼尔森 , Bor Yuh Evan Chang , 安德斯·默勒 :
使用需求驱动的价值细化进行静态分析。 程序。 ACM计划。 语言。 三 ( OOPSLA公司 ) : 140:1-140:29 ( 2019 ) [c46] 肖恩·迈尔 , 塞尔吉奥·莫弗 , Bor Yuh Evan Chang :
生存状态:事件驱动协议和回调控制流。 生态合作社 2019 : 1:1-1:29 [公元45年] 天汉路 , 帕沃尔·塞恩 , Bor Yuh Evan Chang , 阿什图什·特里维迪 :
反应式程序中集合的类型定向边界。 VMCAI公司 2019 : 275-296 [电子3] Bor Yuh Evan Chang :
静态分析-第26届国际研讨会,SAS 2019,葡萄牙波尔图,2019年10月8日至11日,会议记录。 计算机科学课堂讲稿 11822, 施普林格 2019 ,国际标准图书编号 978-3-030-32303-5 [目录] [i11] 肖恩·迈尔 , 塞尔吉奥·莫弗 , Bor Yuh Evan Chang :
生存状态:事件驱动协议和回调控制流(扩展版)。 CoRR公司 腹肌/1906.04924 ( 2019 ) 2018 [c44] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , Bor Yuh Evan Chang , 阿什图什·特里维迪 :
使用判别回归树进行差异性能调试。 AAAI公司 2018 : 2468-2475 [公元43年] 阿琼·拉德哈克里什纳 , 尼古拉斯·莱申科(Nicholas V.Lewchenko) , 肖恩·迈尔 , 塞尔吉奥·莫弗 , 克里希纳·查塔尼亚·斯里帕达 , 达米安·祖弗里 , Bor Yuh Evan Chang , 帕沃尔·塞恩 :
DroidStar:Android类的回调类型状态。 ICSE公司 2018 : 1160-1170 [公元42年] 本诺·斯坦因 , 拉扎罗克拉普 , 马努·斯里德哈兰 , Bor Yuh Evan Chang :
使用优化类型的安全流式编程。 ASE公司 2018 : 565-576 [公元41年] 塞尔吉奥·莫弗 , 斯里拉姆·桑卡拉纳拉亚南 , 莱斯·布拉金顿·佩蒂·奥尔森 , Bor Yuh Evan Chang :
从应用程序语料库中挖掘框架使用图。 桑纳 2018 : 277-289 [i10] 本诺·斯坦因 , 拉扎罗克拉普 , 马努·斯里达兰 , Bor Yuh Evan Chang :
具有优化类型的安全流式编程。 CoRR公司 abs/1808.02998 ( 2018 ) [第九章] 天汉路 , 帕沃尔·塞恩 , Bor Yuh Evan Chang , 阿什图什·特里维迪 :
反应式程序中集合的类型定向边界。 CoRR公司 abs/1810.10443 ( 2018 ) 2017 [公元40年] Edmund S.L.Lam , 张培伦 , Bor Yuh Evan Chang :
ChimpCheck:基于属性的交互式应用程序随机测试生成。 向前的! 2017 : 58-77 [公元39年] 李慧松 , 弗朗索瓦·贝伦格 , Bor Yuh Evan Chang , Xavier对手 :
析取抽象状态的语义定向聚集。 POPL公司 2017 : 32-45 [公元38年] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , Bor Yuh Evan Chang , 斯里拉姆·桑卡拉纳拉亚南 , 阿什图什·特里维迪 :
用时间区分痕迹。 TACAS(2) 2017 : 21-37 [电子2] Bor Yuh Evan Chang :
编程语言与系统——第15届亚洲研讨会,2017年11月27日至29日,中国苏州,APLAS 2017,会议记录。 计算机科学课堂讲稿 10695, 施普林格 2017 ,国际标准图书编号 978-3-319-71236-9 [目录] [i8] 肖恩·迈尔 , 阿列克桑达尔·查卡洛夫 , 马克斯韦尔·拉塞克 , 塞尔吉奥·莫弗 , Bor Yuh Evan Chang :
使用生命状态规则抽象事件驱动系统。 CoRR公司 abs/1701.00161 ( 2017 ) [i7] 阿琼·拉德哈克里什纳 , 尼古拉斯·莱申科(Nicholas V.Lewchenko) , 肖恩·迈尔 , 塞尔吉奥·莫弗 , 克里希纳·查塔尼亚·斯里帕达 , 达米安·祖弗里 , Bor Yuh Evan Chang , 帕沃尔·塞恩 :
学习Android类的异步类型状态。 CoRR公司 abs/1701.07842 ( 2017 ) [i6] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , Bor Yuh Evan Chang , 斯里拉姆·桑卡拉纳拉亚南 , 阿什图什·特里维迪 :
用时间区分痕迹。 CoRR公司 abs/1702.07103 ( 2017 ) [i5] Edmund S.L.Lam , 张培伦 , Bor Yuh Evan Chang :
ChimpCheck:基于属性的交互式应用程序随机测试生成。 CoRR公司 abs/1708.08613 ( 2017 ) [i4] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , Bor Yuh Evan Chang , 阿什图什·特里维迪 :
使用判别回归树进行差分性能调试。 CoRR公司 abs/1711.04076 ( 2017 ) [i3] Bor Yuh Evan Chang , Xavier对手 , 苏京琉 :
记忆提取,新兴技术和应用(NII Shonan会议2017-12)。 NII Shonan会议。 代表。 2017 ( 2017 ) 2016 [公元37年] 马修·A·哈默 , Bor Yuh Evan Chang , 大卫·范·霍恩 :
在线验证的愿景——验证。 GPCE公司 2016 : 190-201 [i2] 马修·哈默 , Bor Yuh Evan Chang , 大卫·范·霍恩 :
在线验证-验证愿景。 CoRR公司 abs/1608.06012 ( 2016 ) 2015 [注2] 本杰明·利夫希茨 , 马努·斯里达兰 , 亚尼斯·斯马拉格达基斯 , Ondrej Lhoták , 何塞·纳尔逊·阿马拉尔 , Bor Yuh Evan Chang , 塞缪尔·盖耶 , Uday P.Khedker公司 , 安德斯·默勒 , 迪米特里奥斯·瓦杜拉基斯 :
为维护稳健:宣言。 Commun公司。 ACM公司 58 ( 2 ) : 44-46 ( 2015 ) [公元36年] 阿伦·考克斯 , Bor Yuh Evan Chang , Xavier对手 :
动态语言中开放程序的非同步多状态抽象。 员工持股计划 2015 : 483-509 [公元35年] 阿伦·考克斯 , Bor Yuh Evan Chang , 李慧松 , Xavier对手 :
集合推理的抽象域和求解器。 LPAR公司 2015 : 356-371 [公元34年] 山姆·布莱克希尔 , Bor Yuh Evan Chang , 马努·斯里德哈兰 :
通过跳跃进行选择性控制流抽象。 OOPSLA公司 2015 : 163-182 [公元33年] 山姆·布莱克希尔 , 亚历山德拉·根德劳 , Bor Yuh Evan Chang :
Droidel:Android框架建模的通用方法。 SOAP@PLDI 2015 : 19-25 [公元32年] 李慧松 , Xavier对手 , Bor Yuh Evan Chang :
非结构化共享的形状分析。 SAS公司 2015 : 90-108 [电子1] Bor Yuh Evan Chang :
第四期自动程序分析工具研讨会, 塔帕斯@SAS 2013年6月19日,美国华盛顿州西雅图。 理论计算机科学电子笔记 311, 爱思维尔 2015 [目录] [i1] 蔡逸凡 , 德文·考夫林 , Bor Yuh Evan Chang , Xavier对手 :
数据结构不变量的合成短路验证。 CoRR公司 abs/1511.04846 ( 2015 ) 2014 [j1] 阿伦·考克斯 , 斯里拉姆·桑卡拉纳拉亚南 , Bor Yuh Evan Chang :
有点太精确了? 量化数字滤波器的验证。 国际期刊软件。 技术工具。 Transf公司。 16 ( 2 ) : 175-190 ( 2014 ) [公元31年] 阿伦·考克斯 , Bor Yuh Evan Chang , 斯里拉姆·桑卡拉纳拉亚南 :
QUICr:集和数的参数化抽象的可重用库。 CAV汽车 2014 : 866-873 [公元30年] 哈立德·阿尔哈比 , 萨姆·布莱克希尔 , 艾米丽·科瓦尔奇克 , Atif M.Memon公司 , Bor Yuh Evan Chang , 汤姆·叶 :
Android应用程序一致性审查。 CHI扩展摘要 2014 : 2347-2352 [公元29年] Xavier对手 , 安托万·托班斯(Antoine Toubhans) , Bor Yuh Evan Chang :
异质性抽象域的构建(建议书)。 ISoLA(2) 2014 : 489-492 [公元28年] 德文·考夫林 , Bor Yuh Evan Chang :
裂变类型分析:几乎处处不变量的模块化检查。 POPL公司 2014 : 73-86 [公元27年] 阿伦·考克斯 , Bor Yuh Evan Chang , Xavier对手 :
动态语言程序中开放对象的自动分析。 SAS公司 2014 : 134-150 [公元26年] 安托万·托班斯(Antoine Toubhans) , Bor Yuh Evan Chang , Xavier对手 :
用于单独连接内存抽象的抽象域组合器。 SAS公司 2014 : 285-301 [公元25年] Bor Yuh Evan Chang :
拒绝堆可达性。 VMCAI公司 2014 : 137-141 2013 [公元24年] 阿伦·考克斯 , Bor Yuh Evan Chang , 斯里拉姆·桑卡拉纳拉亚南 :
QUIC图:容器的关系不变量生成。 生态合作社 2013 : 401-425 【c23】 萨姆·布莱克希尔 , Bor Yuh Evan Chang , 马努·斯里德哈兰 :
阈值:对堆可达性的精确反驳。 PLDI公司 2013 : 275-286 [公元22年] 安托万·图巴恩斯 , Bor Yuh Evan Chang , Xavier对手 :
形状抽象域的简化产品组合。 VMCAI公司 2013 : 375-395 【c21】 Bor Yuh Evan Chang , Xavier对手 :
形状数字分析仪的模块化结构。 Dave Schmidt的Festschrift 2013 : 161-185 [公元20年] Bor Yuh Evan Chang :
前言。 塔帕斯@SAS 2013 : 1-2 2012 [第19条] 德文·考夫林 , Bor Yuh Evan Chang , 艾默·迪万 , Jeremy G.Siek先生 :
用符号跟踪解释来衡量强制窗口:表现良好的程序所说的。 ISSTA公司 2012 : 276-286 [第18条] 亚历杭德罗·桑切斯 , 斯里拉姆·桑卡拉纳拉亚南 , 塞萨尔·桑切斯 , Bor Yuh Evan Chang :
使用自反射的参数化系统不变量生成(扩展版)。 SAS公司 2012 : 146-163 [第17条] 阿伦·考克斯 , 斯里拉姆·桑卡拉纳拉亚南 , Bor Yuh Evan Chang :
有点太精确了? 量化数字滤波器的有界验证。 TACAS公司 2012 : 33-47 2011 [第16条] Xavier对手 , Bor Yuh Evan Chang :
用形状调用上下文抽象。 POPL公司 2011 : 173-186 [第15条] 萨姆·布莱克希尔 , Bor Yuh Evan Chang , 斯里拉姆·桑卡拉纳拉亚南 , 马努·斯里德哈兰 :
安徒生分析在实践中的流敏精度。 SAS公司 2011 : 60-76 [第14条] 罗伯特·弗罗哈特 , Bor Yuh Evan Chang , 斯里拉姆·桑卡拉纳拉亚南 :
访问网络:模拟访问物理空间。 VMCAI公司 2011 : 184-198 2010 [第13条] 文森特·拉维隆 , Bor Yuh Evan Chang , Xavier对手 :
分离形状图。 员工持股计划 2010 : 387-406 [第12条] Yit Phang Khoo先生 , Bor Yuh Evan Chang , 杰弗里·福斯特 :
混合类型检查和符号执行。 PLDI公司 2010 : 436-447
2000 – 2009
2008 [第11条] Bor Yuh Evan Chang , Xavier对手 :
关系归纳形状分析。 POPL公司 2008 : 247-260 2007 [第10条] Bor Yuh Evan Chang , Xavier对手 , 乔治·C·内库拉 :
使用结构不变量检查器进行形状分析。 SAS公司 2007 : 384-401 2006 【c9】 Bor Yuh Evan Chang , 马修·哈伦 , 乔治·C·内库拉 :
使用协作译码器分析低层代码。 SAS公司 2006 : 318-335 【c8】 Bor Yuh Evan Chang , 亚当·克利帕拉 , 乔治·C·内库拉 :
认证程序分析框架及其在移动代码安全中的应用。 VMCAI公司 2006 : 174-189 2005 【c7】 巴纳特 , Bor Yuh Evan Chang , 罗伯特·德林 , 雅各布施 , K.鲁斯坦·莱诺 :
Boogie:面向对象程序的模块化可重用验证程序。 FMCO公司 2005 : 364-387 【c6】 Bor Yuh Evan Chang , 亚当·克利帕拉 , 乔治·C·内库拉 , 罗伯特·施奈克 :
基础验证器的开放验证器框架。 TLDI公司 2005 : 1-12 【c5】 Bor Yuh Evan Chang , 亚当·克利帕拉 , 乔治·C·内库拉 , 罗伯特·施奈克 :
用于编译器调试的汇编语言的基于类型的验证。 TLDI公司 2005 : 91-102 【c4】 Bor Yuh Evan Chang , K.鲁斯坦·莱诺 :
用外来表达和堆结构进行抽象解释。 VMCAI公司 2005 : 147-163 【c3】 Bor Yuh Evan Chang , K.鲁斯坦M.莱诺 :
推断对象不变量:扩展抽象。 AIOOL@VMCAI 2005 : 63-74 2003 【c2】 Bor Yuh Evan Chang , 马努·斯里德哈兰 :
PML:面向生物系统的高级形式语言。 CONCUR的BioConcur 2003 : 15-30 2002 【c1】 Bor Yuh Evan Chang , 卡尔·克莱里 , 玛格丽特·德拉普 , 罗伯·哈波 , 杰森·利兹卡 , 汤姆·墨菲七世 , 弗兰克·普芬宁 :
ConCert中的无信任网格计算。 网格 2002 : 112-125
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)