乔治·C·内库拉
人员信息
附属： 美国加州大学伯克利分校 奖项（2001年）： 格雷斯·穆里·霍珀奖
优化列表
2010 – 2019
2018 
[公元67年] 崔元泰（Wontae Choi） ， 库什克森 ， 乔治·C·内库拉 ， 王文宇（Wenyu Wang） 
:
DetReduce：最小化用于回归测试的Android GUI测试套件。 ICSE公司 2018 : 445-455 2016 [公元66年] 科林·斯科特 ， Aurojit熊猫 ， 维耶科斯拉夫·布拉伊科维奇 ， 乔治·C·内库拉 ， 阿尔温德·克里斯纳姆塞 ， 教授斯科特·申克 :
最小化分布式系统的错误执行。 NSDI公司 2016 : 291-309 2015 [公元65年] 崔元泰（Wontae Choi） ， 萨蒂什·钱德拉 ， 乔治·C·内库拉 ， 库什克森 :
SJS：一个具有固定对象布局的JavaScript类型系统。 SAS公司 2015 : 181-198 [公元64年] 迈克尔·普拉德尔 ， 帕克·舒赫 ， 乔治·C·内库拉 ， 库什克森 :
EventBreak：通过性能引导测试生成分析用户界面的响应性。 软件工程与管理 2015 : 131 [公元63年] 库什克森 ， 乔治·C·内库拉 ， 梁公 ， 崔元泰（Wontae Choi） :
MultiSE：使用值摘要的多路径符号执行。 ESEC/SIGSOFT FSE 2015 : 842-853 2014 [公元62年] 迈克尔·普拉德尔 ， 帕克·舒赫 ， 乔治·C·内库拉 ， 库什克森 :
EventBreak：通过性能引导测试生成分析用户界面的响应性。 OOPSLA公司 2014 : 33-47 2013 [c61] 菲利普·雷姆斯 ， 乔治·C·内库拉 :
朝向提示收集：用于减少垃圾收集器暂停时间的注释。 ISMM公司 2013 : 3-14 [公元60年] 崔元泰（Wontae Choi） ， 乔治·C·内库拉 ， 库什克森 :
引导用户对android应用程序进行GUI测试，只需最少的重启和大致的学习。 OOPSLA公司 2013 : 623-640 [公元59年] 泰富·埃尔马斯 ， 雅各布·伯尼姆 ， 乔治·C·内库拉 ， 库什克森 :
CONCURRIT：一种特定于域的语言，用于重现并发错误。 PLDI公司 2013 : 153-164 2012 [j7] 乔治·C·内库拉 ， 斯科特·麦克皮克 ， 维斯特利·威默尔 :
CCured：传统代码的类型安全翻新。 ACM SIGPLAN通知 47 ( 4a类 ) : 74-85 ( 2012 ) [公元58年] 雅各布·伯纳姆 ， 泰富·埃尔马斯 ， 乔治·C·内库拉 ， 库什克森 :
CONCURRIT：使用可编程状态空间探索测试并发程序。 HotPar公司 2012 [公元57年] 雅各布·伯尼姆 ， 泰富·埃尔马斯 ， 乔治·C·内库拉 ， 库什克森 :
NDetermin：为并行正确性推断不确定的序列规范。 PPoPP（PPoPP） 2012 : 329-330 [i1] 德里克·库切 ， 阿南德·巴斯卡 ， 乔治·C·内库拉 :
可靠构建系统的模型和框架。 CoRR公司 abs/1203.2704 ( 2012 ) 2011 [公元56年] 雅各布·伯尼姆 ， 乔治·C·内库拉 ， 库什克森 :
为多线程程序指定和检查语义原子性。 阿斯普洛斯 2011 : 79-90 [公元55年] 雅各布·伯尼姆 ， 泰富·埃尔马斯 ， 乔治·C·内库拉 ， 库什克森 :
NDSeq：运行时检查并行正确性的非确定性序列规范。 PLDI公司 2011 : 401-414 【r1】 乔治·C·内库拉 :
证明携带代码。 密码与安全百科全书（第二版） 2011 : 984-986
2000 – 2009
2008 [j6] 维斯特利·威默尔 ， 乔治·C·内库拉 :
特殊情况和程序可靠性。 ACM事务处理。 程序。 语言系统。 30 ( 2 ) : 8:1-8:51 ( 2008 ) [电子5] 乔治·C·内库拉 ， 菲利普·沃德勒 :
第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL 2008，美国加利福尼亚州旧金山，2008年1月7日至12日。 ACM公司 2008 ，国际标准图书编号 978-1-59593-689-9 [目录] 2007 [j5] 苏米特·古尔瓦尼 ， 乔治·C·内库拉 :
用于全局值编号的多项式时间算法。 科学。 计算。 程序。 64 ( 1 ) : 97-114 ( 2007 ) 【j4】 阿贾伊·昌德 ， 大卫·埃斯皮诺萨 ， 纳耶姆伊斯兰 ， 李忠琛 ， 乔治·C·内库拉 :
通过动态检查的静态验证实施资源边界。 ACM事务处理。 程序。 语言系统。 29 ( 5 ) : 28 ( 2007 ) [公元54年] 杰里米·康迪特 ， 马修·哈伦 ， 扎卡里·安德森 ， 大卫·盖伊 ， 乔治·C·内库拉 :
低层编程的依赖类型。 员工持股计划 2007 : 520-535 [公元53年] 扎卡里·安德森 ， 埃里克·布鲁尔 ， 杰里米·康迪特 ， 罗伯特·恩纳尔斯 ， 大卫·盖伊 ， 马修·哈伦 ， 乔治·C·内库拉 ， 冯周（音） :
超越缺陷发现：Linux的声音程序分析。 热操作系统 2007 [第52条] Bor-Yuh Evan Chang先生 ， Xavier对手 ， 乔治·C·内库拉 :
结构不变棋盘格的形状分析。 SAS公司 2007 : 384-401 [电子4] 延斯·努普 ， 乔治·C·内库拉 ， 沃尔夫·齐默尔曼 :
第五届编译器优化与编译器验证国际研讨会会议记录， COCV@ETAPS 2006年，奥地利维也纳，2006年4月2日。 理论计算机科学电子笔记 176(3), 爱思维尔 2007 [目录] [电子3] 弗朗索瓦·波蒂埃 ， 乔治·C·内库拉 :
TLDI’07:2007 ACM SIGPLAN语言设计与实现类型国际研讨会论文集，法国尼斯，2007年1月16日。 ACM公司 2007 ，国际标准图书编号 1-59593-393-倍 [目录] 2006 [第51条] 乔治·C·内库拉 :
使用依赖类型将类型系统移植到低级语言。 科科斯群岛 2006 : 1 [公元50年] 冯周（音） ， 杰里米·康迪特 ， 扎卡里·安德森 ， 伊利亚·巴格拉克 ， 罗伯特·恩纳尔斯 ， 马修·哈伦 ， 乔治·C·内库拉 ， 埃里克·布鲁尔 :
SafeDrive：使用基于语言的技术的安全和可恢复的扩展。 OSDI公司 2006 : 45-60 [公元49年] 阿尔林森村 ， 马丁·阿巴迪 ， 迈克尔·弗拉雷 ， 米海布迪乌 ， 乔治·C·内库拉 :
XFI：系统地址空间的软件保护程序。 OSDI公司 2006 : 75-88 [公元48年] Bor-Yuh Evan Chang先生 ， 马修·哈伦 ， 乔治·C·内库拉 :
使用协作译码器分析低层代码。 SAS公司 2006 : 318至335 [公元47年] Bor-Yuh Evan Chang先生 ， 亚当·克利帕拉 ， 乔治·C·内库拉 :
认证程序分析框架及其在移动代码安全中的应用。 VMCAI公司 2006 : 174-189 [公元46年] 延斯·努普 ， 乔治·C·内库拉 ， 沃尔夫·齐默尔曼 :
前言。 COCV@ETAPS 2006 : 1-2 2005 [j3] 苏米特·古尔瓦尼 ， 乔治·C·内库拉 :
算术符号和未解释函数符号的随机可满足性过程。 Inf.计算。 199 ( 1-2 ) : 107-131 ( 2005 ) [j2] 乔治·C·内库拉 ， 杰里米·康迪特 ， 马修·哈伦 ， 斯科特·麦克皮克 ， 维斯特利·威默尔 :
C图：传统软件的类型安全改装。 ACM事务处理。 程序。 语言系统。 27 ( 三 ) : 477-526 ( 2005 ) [公元45年] 乔治·C·内库拉 ， 苏米特·古尔瓦尼 :
用于程序分析和验证的随机算法。 CAV汽车 2005 : 1 [公元44年] 阿杰·钱德 ， 大卫·埃斯皮诺萨 ， 纳耶姆伊斯兰 ， 李忠琛 ， 乔治·C·内库拉 :
JVer：一个Java验证程序。 CAV汽车 2005 : 144-147 [公元43年] 斯科特·麦克皮克 ， 乔治·C·内库拉 :
通过局部相等公理的数据结构规范。 CAV汽车 2005 : 476-490 [公元42年] 杰里米·康迪特 ， 乔治·C·内库拉 :
数据切片：将堆分割为独立区域。 科科斯群岛 2005 : 172-187 [公元41年] 阿杰·钱德 ， 大卫·埃斯皮诺萨 ， 纳耶姆伊斯兰 ， 李忠琛 ， 乔治·C·内库拉 :
通过动态检查的静态验证实施资源边界。 员工持股计划 2005 : 311-325 [公元40年] 苏米特·古尔瓦尼 ， 乔治·C·内库拉 :
使用随机解释进行精确的程序间分析。 府绸 2005 : 324-337 [c39] 马修·哈伦 ， 乔治·C·内库拉 :
使用依赖类型验证程序集代码的安全性。 SAS公司 2005 : 155-170 [公元38年] 维斯特利·威默尔 ， 乔治·C·内库拉 :
挖掘错误检测的时间规范。 TACAS公司 2005 : 461-476 [公元37年] Bor-Yuh Evan Chang先生 ， 亚当·克利帕拉 ， 乔治·C·内库拉 ， 罗伯特·施奈克 :
基础验证器的开放验证器框架。 TLDI公司 2005 : 1-12 [公元36年] Bor-Yuh Evan Chang先生 ， 亚当·克利帕拉 ， 乔治·C·内库拉 ， 罗伯特·施奈克 :
用于编译器调试的汇编语言的基于类型的验证。 TLDI公司 2005 : 91-102 [公元35年] 延斯·努普 ， 乔治·C·内库拉 ， Wolf Zimmermann公司 :
前言。 COCV@ETAPS 2005 : 1-3 [电子2] 延斯·努普 ， 乔治·C·内库拉 ， 沃尔夫·齐默尔曼 :
第三届编译器优化国际研讨会会议记录， COCV@ETAPS 2004年4月3日，西班牙巴塞罗那。 理论计算机科学电子笔记 132(1), 爱思维尔 2005 [目录] [e1] 延斯·努普 ， 乔治·C·内库拉 ， 沃尔夫·齐默尔曼 :
第四届编译器优化与编译器验证国际研讨会会议记录， COCV@ETAPS 2005年4月3日，英国爱丁堡。 理论计算机科学电子笔记 141(2), 爱思维尔 2005 [目录] 2004 [公元34年] 斯科特·麦克皮克 ， 乔治·C·内库拉 :
Elkhound:一个快速实用的GLR解析器生成器。 科科斯群岛 2004 : 73-88 [公元33年] 内森·怀特黑德 ， 马丁·阿巴迪 ， 乔治·C·内库拉 :
按理由和权限：验证携带代码的授权系统。 CSFW公司 2004 : 236-250 [公元32年] 苏米特·古尔瓦尼 ， Ashish蒂瓦里 ， 乔治·C·内库拉 :
未解释函数理论的连接算法。 FSTTCS公司 2004 : 311-323 [公元31年] 维斯特利·威默尔 ， 乔治·C·内库拉 :
发现并防止运行时错误处理错误。 OOPSLA公司 2004 : 419-431 [公元30年] 苏米特·古尔瓦尼 ， 乔治·C·内库拉 :
使用随机解释的全局值编号。 府绸 2004 : 342至352 [公元29年] 苏米特·古尔瓦尼 ， 乔治·C·内库拉 :
全局值编号的多项式时间算法。 SAS公司 2004 : 212-227 [公元28年] 苏米特·古尔瓦尼 ， 乔治·C·内库拉 :
线性算术和意外函数的路径敏感分析。 SAS公司 2004 : 328-343 [公元27年] 延斯·努普 ， 乔治·C·内库拉 ， 沃尔夫·齐默尔曼 :
前言。 COCV@ETAPS 2004 : 1-3 2003 [公元26年] 苏米特·古尔瓦尼 ， 乔治·C·内库拉 :
算术和未解释函数符号的随机可满足性程序。 CADE公司 2003 : 167-181年 [公元25年] 马修·哈伦 ， 乔治·C·内库拉 :
用于与CCured中的二进制代码接口的轻量级包装器。 国际空间站 2003 : 209-225 [公元24年] 乔治·C·内库拉 ， 罗伯特·R·施内克 :
不受信任的验证条件生成器的健全框架。 低收入国家 2003 : 248-260 [c23] 杰里米·康迪特 ， 马修·哈伦 ， 斯科特·麦克皮克 ， 乔治·C·内库拉 ， 维斯特利·威默尔 :
C在现实世界中。 PLDI公司 2003 : 232-244 [公元22年] 苏米特·古尔瓦尼 ， 乔治·C·内库拉 :
使用随机解释发现仿射等式。 府绸 2003 : 74-84 【c21】 J.罗伯特·冯·贝伦 ， 杰里米·康迪特 ， 冯周（音） ， 乔治·C·内库拉 ， 埃里克·A·布鲁尔 :
随想：互联网服务的可伸缩线程。 SOSP（标准操作程序） 2003 : 268-281 2002 [公元20年] 罗伯特·施奈克 ， 乔治·C·内库拉 :
一种逐步实现更值得信赖、但可扩展、证明携带的代码的方法。 CADE公司 2002 : 47-62 [第19条] 托马斯·汉津格 ， 兰吉特·贾拉 ， 鲁帕克·马久姆达尔 ， 乔治·C·内库拉 ， 格雷戈伊尔·苏特雷 ， 维斯特利·威默尔 :
系统代码的临时安全证明。 CAV汽车 2002 : 526-538 [第18条] 乔治·C·内库拉 ， 斯科特·麦克皮克 ， 什莉·普拉卡什·拉胡尔 ， 维斯特利·威默尔 :
CIL：用于分析和转换C程序的中间语言和工具。 科科斯群岛 2002 : 213-228 [第17条] 乔治·C·内库拉 ， 罗伯特·施奈克 :
具有不受信任的证明规则的证明携带代码。 iss系统 2002 : 283-298 [第16条] 乔治·C·内库拉 ， 斯科特·麦克皮克 ， 维斯特利·威默尔 :
CCured：传统代码的类型安全翻新。 府绸 2002 : 128至139 2001 [第15条] 乔治·C·内库拉 :
防携带代码的可扩展架构。 FLOPS（浮动） 2001 : 21-39 [第14条] 乔治·C·内库拉 ， 什莉·普拉卡什·拉胡尔 :
基于Oracle的不受信任软件检查。 府绸 2001 : 142-154 2000 [j1] 乔治·C·内库拉 ， Shree Prakash Rahul公司 :
一种基于逻辑的软件系统安全方法。 ACM SIGSOFT软件。 工程注释 25 ( 1 ) : 67-68 ( 2000 ) [第13条] 乔治·C·内库拉 ， 李忠琛 :
试金石定理证明程序中的证明生成。 CADE公司 2000 : 25-44 [第12条] 克里斯托弗·科尔比 ， 李忠琛 ， 乔治·C·内库拉 :
Java的一种验证携带代码体系结构。 CAV汽车 2000 : 557-560 [第11条] 乔治·C·内库拉 :
优化编译器的翻译验证。 PLDI公司 2000 : 83-94 [第10条] 克里斯托弗·科尔比 ， 李忠琛 ， 乔治·C·内库拉 ， 弗雷德·布莱 ， 马克·普莱斯科 ， 肯尼思·克莱恩 :
Java的认证编译器。 PLDI公司 2000 : 95-107 【c9】 乔治·C·内库拉 :
防错代码：设计、实现和应用（摘要）。 PPDP（PPDP） 2000 : 175-177
1990 – 1999
1999 【c8】 乔治·C·内库拉 :
通过携带证明代码来加强安全保障。 MFPS公司 1999 : 117-131 1998 【c7】 乔治·C·内库拉 ， 李忠琛 :
有效表示和验证证据。 低收入国家 1998 : 93-104 【c6】 乔治·C·内库拉 ， 李忠琛 :
使用验证携带代码的安全、不受信任的代理。 移动代理和安全 1998 : 61-91 【c5】 乔治·C·内库拉 ， 李忠琛 :
认证编译器的设计与实现。 PLDI公司 1998 : 333-344 【c4】 乔治·C·内库拉 ， 李忠琛 :
认证编译器的设计和实现（具有回顾性）。 最佳PLDI 1998 : 612-625 1997 【c3】 乔治·C·内库拉 :
证明携带代码。 府绸 1997 : 106-119 【c2】 乔治·C·内库拉 ， 李忠琛 :
不可信代码安全的防携带码研究。 标准普尔 1997 : 204 1996 【c1】 乔治·C·内库拉 ， 李忠琛 :
没有运行时检查的安全内核扩展。 OSDI公司 1996 : 229-243
合著者索引
