乔治·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 [第61条] 菲利普·雷姆斯 , 乔治·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先生 , 泽维尔·里瓦尔 , 乔治·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-X号 [目录] 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 ) [注2] 乔治·C·内库拉 , 杰里米·康迪特 , 马修·哈伦 , 斯科特·麦克皮克 , 维斯特利·威默尔 :
CCured:传统软件的类型安全翻新。 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·内库拉 :
使用随机解释进行精确的程序间分析。 POPL公司 2005 : 324-337 [公元39年] 马修·哈伦 , 乔治·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·内库拉 , 沃尔夫·齐默尔曼 :
前言。 COCV@ETAPS 2005 : 1-3 [电子2] 延斯·努普 , 乔治·C·内库拉 , 沃尔夫·齐默尔曼 :
第三届编译器优化国际研讨会会议记录, COCV@ETAPS 2004年4月3日,西班牙巴塞罗那。 理论计算机科学电子笔记 132(1), 爱思维尔 2005 [目录] [电子1] 延斯·努普 , 乔治·C·内库拉 , 沃尔夫·齐默尔曼 :
第四届编译器优化与编译器验证国际研讨会会议记录, COCV@ETAPS 2005年4月3日,英国爱丁堡。 理论计算机科学电子笔记 141(2), 爱思维尔 2005 [目录] 2004 [公元34年] 斯科特·麦克皮克 , 乔治·C·内库拉 :
Elkhound:一个快速实用的GLR解析器生成器。 科科斯群岛 2004 : 73-88 [公元33年] 内森·怀特黑德 , 马丁·阿巴迪 , 乔治·C·内库拉 :
按理由和权限:验证携带代码的授权系统。 CSFW公司 2004 : 236-250 [公元32年] 苏米特·古尔瓦尼 , 阿什什·蒂瓦里 , 乔治·C·内库拉 :
未解释函数理论的连接算法。 FSTTCS公司 2004 : 311-323 [公元31年] 维斯特利·威默尔 , 乔治·C·内库拉 :
发现并防止运行时错误处理错误。 OOPSLA公司 2004 : 419-431 [c30] 苏米特·古尔瓦尼 , 乔治·C·内库拉 :
使用随机解释的全局值编号。 POPL公司 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·内库拉 , 罗伯特·施奈克 :
不受信任的验证条件生成器的健全框架。 低收入国家 2003 : 248-260 【c23】 杰里米·康迪特 , 马修·哈伦 , 斯科特·麦克皮克 , 乔治·C·内库拉 , 维斯特利·威默尔 :
C在现实世界中。 PLDI公司 2003 : 232-244 [公元22年] 苏米特·古尔瓦尼 , 乔治·C·内库拉 :
使用随机解释发现仿射等式。 POPL公司 2003 : 74-84 [c21] J.罗伯特·冯·贝伦 , 杰里米·康迪特 , 冯周(音) , 乔治·C·内库拉 , 埃里克·布鲁尔 :
随想:互联网服务的可伸缩线程。 SOSP(标准操作程序) 2003 : 268-281 2002 [公元20年] 罗伯特·施奈克 , 乔治·C·内库拉 :
一种逐步实现更值得信赖、但可扩展、证明携带的代码的方法。 CADE公司 2002 : 47-62 [第19条] 托马斯·汉津格 , 兰吉特·贾拉 , 鲁帕克·马朱姆达尔 , 乔治·C·内库拉 , 格雷戈伊尔·苏特雷 , 维斯特利·威默尔 :
系统代码的临时安全证明。 CAV汽车 2002 : 526-538 [第18条] 乔治·C·内库拉 , 斯科特·麦克皮克 , Shree Prakash Rahul公司 , 维斯特利·威默尔 :
CIL:C程序分析和转换的中间语言和工具。 科科斯群岛 2002 : 213-228 [第17条] 乔治·C·内库拉 , 罗伯特·施奈克 :
具有不受信任的证明规则的证明携带代码。 国际空间站 2002 : 283-298 [第16条] 乔治·C·内库拉 , 斯科特·麦克皮克 , 维斯特利·威默尔 :
CCured:传统代码的类型安全翻新。 POPL公司 2002 : 128-139 2001 [第15条] 乔治·C·内库拉 :
防携带代码的可扩展架构。 FLOPS(浮动) 2001 : 21-39 [第14条] 乔治·C·内库拉 , Shree Prakash Rahul公司 :
基于Oracle的不受信任软件检查。 POPL公司 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 [c10] 克里斯托弗·科尔比 , 李忠琛 , 乔治·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·内库拉 :
证明携带代码。 POPL公司 1997 : 106-119 【c2】 乔治·C·内库拉 , 李忠琛 :
不可信代码安全的防携带码研究。 标准普尔 1997 : 204 1996 【c1】 乔治·C·内库拉 , 李忠琛 :
无运行时检查的安全内核扩展。 OSDI公司 1996 : 229-243