尼尔·格鲁
人员信息
附属: 英特尔实验室,美国加利福尼亚州圣克拉拉 从属关系(1999年博士): 美国伊萨卡康奈尔大学
优化列表
2010 – 2019
2014 【c21】 刘海(Hai Liu) , 劳伦斯·E·戴 , 尼尔·格鲁 , 托德·安德森 , 拉基肖尔·巴里克 :
Haskell repa程序本机卸载到集成GPU。 FHPC@ICFP 2014 : 87-97 2013 [公元20年] 刘海(Hai Liu) , 尼尔·格鲁 , 叶·彼得森 , 托德·安德森 :
英特尔实验室Haskell研究编译器。 哈斯克尔 2013 : 105-116 [第19条] 尼尔·格鲁 , 蒂姆.斯维尼 , 叶·彼得森 :
具有从属类型系统的多值语言。 ICFP的DTP 2013 : 25-36 [第18条] 叶·彼得森 , 多米尼克·A·乌节(Dominic A.Orchard) , 尼尔·格鲁 :
Haskell的自动SIMD矢量化。 ICFP公司 2013 : 25-36 [c17] 叶·彼得森 , 托德·安德森 , 刘海(Hai Liu) , 尼尔·格劳 :
测量Haskell间隙。 国际单项体育联合会 2013 : 61 [i3] 尼尔·格鲁 , 蒂姆.斯维尼 , 叶·彼得森 :
lambda aleph Runtime的形式化。 CoRR公司 abs/1307.5277 ( 2013 ) 2012 [第16条] 尼尔·格鲁 :
F有界量词和等递归类型的子类型。 逻辑和程序语义 2012 : 66-82 [第15条] 叶·彼得森 , 尼尔·格鲁 :
GC-安全的跨过程拆箱。 科科斯群岛 2012 : 165-184 [i2] 尼尔·格鲁 :
F有界量词和等递归类型的子类型(扩展版)。 CoRR公司 abs/1202.2486 ( 2012 ) [i1] 尼尔·格劳 , 叶·彼得森 :
类型储备流量分析和跨过程拆箱(扩展版)。 CoRR公司 腹肌/1203.1986 ( 2012 )
2000 – 2009
2007 [第14条] 托德·安德森 , 尼尔·格鲁 , 彭国 , 布莱恩·刘易斯 , 刘伟 , 刘章林 , 叶·彼得森 , 莫汉·拉贾戈帕兰 , 詹姆斯·施蒂奇诺特 , 甘沙乌 , Dan Zhang(丹·张) :
支柱:并行实现语言。 LCPC公司 2007 : 141-155 [电子1] 尼尔·格鲁 , 盖伊·布莱洛赫 :
2007年1月16日,法国尼斯,2007年DAMP,POPL 2007多核编程声明方面研讨会会议记录。 ACM公司 2007 ,国际标准图书编号 978-1-59593-690-5 [目录] 2006 [第13条] 维杰·梅农 , 尼尔·格鲁 , 布莱恩·墨菲 , 安德鲁·麦克赖特 , 塔蒂亚娜·施佩斯曼 , Ali-Reza Adl-Tabatabai公司 , 叶·彼得森 :
用于积极编译器优化的可验证SSA程序表示。 POPL公司 2006 : 397-408 2005 [j7] 米查尔·切尔尼亚克 , Marsha工程 , 尼尔·格鲁 , 布莱恩·刘易斯 , 詹姆斯·施蒂奇诺特 :
开放运行时平台:一个灵活的高性能托管运行时环境。 同意。 实际。 支出。 17 ( 5-6 ) : 617-637 ( 2005 ) [j6] 尼尔·格鲁 , 延斯·帕尔斯伯格 :
方法内联、动态类加载和类型稳定性。 J.对象技术。 4 ( 8 ) : 33-53 ( 2005 ) [第12条] 李敏佳 , 弗朗西斯·斯帕尔丁 , 大卫·沃克 , 尼尔·格鲁 :
为具有堆栈分配的语言认证编译。 低收入国家 2005 : 407-416 [第11条] 尼尔·格鲁 , 延斯·帕尔斯伯格 , 克里斯蒂安·格罗瑟夫 :
插件架构的类型安全优化。 SAS公司 2005 : 135-154 2004 [j5] 托德·安德森 , Marsha工程 , 尼尔·格鲁 , 布莱恩·刘易斯 , 维杰·梅农 , 詹姆斯·施蒂奇诺特 :
在Rotor中集成新编译器和新垃圾收集器的经验。 J.对象技术。 三 ( 9 ) : 53-70 ( 2004 ) [j4] 尼尔·格鲁 , 延斯·帕尔斯伯格 :
类型安全的方法内联。 科学。 计算。 程序。 52 : 281-306 ( 2004 ) [第10条] 尼尔·格劳 , 特里安塔菲利斯Spyridon Triantafylis , 米查尔·切尔尼亚克 , Marsha工程 , 布莱恩·刘易斯 , 詹姆斯·施蒂奇诺特 :
LIL:虚拟机存根的体系结构中性语言。 虚拟机研究与技术研讨会 2004 : 111-125 2003 [j3] J.格雷戈里·莫里塞特 , 卡尔·克莱里 , 尼尔·格鲁 , 大卫·沃克 :
基于堆栈的类型化汇编语言。 J.功能。 程序。 13 ( 5 ) : 957-959 ( 2003 ) 2002 [注2] J.格雷戈里·莫里塞特 , 卡尔·克莱里 , 尼尔·格鲁 , 大卫·沃克 :
基于堆栈的类型化汇编语言。 J.功能。 程序。 12 ( 1 ) : 3-88 ( 2002 ) 【c9】 尼尔·格鲁 , 延斯·帕尔斯伯格 :
类型安全方法内联。 ECOOP公司 2002 : 525-544 【c8】 尼尔·格鲁 :
二阶树理论。 员工持股计划 2002 : 147-161 【c7】 马丁·阿巴迪 , 尼尔·格鲁 :
与轻度在线可信第三方的认证电子邮件:设计和实施。 万维网 2002 : 387-395 2000 【c6】 尼尔·格鲁 :
有效的类和对象编码。 OOPSLA公司 2000 : 311-324
1990 – 1999
1999 【b1】 亚瑟·尼尔·格鲁 :
模块化和面向对象构造的低级类型系统。 美国康奈尔大学, 1999 [j1] J.格雷戈里·莫里塞特 , 大卫·沃克 , 卡尔·克莱里 , 尼尔·格鲁 :
从系统F到类型化汇编语言。 ACM事务处理。 程序。 语言系统。 21 ( 三 ) : 527-568 ( 1999 ) 【c5】 尼尔·格鲁 :
命名层次结构类型的类型调度。 ICFP公司 1999 : 172-182 【c4】 尼尔·格鲁 , J.格雷戈里·莫里塞特 :
类型安全链接和模块化汇编语言。 POPL公司 1999 : 250-261 【c3】 尼尔·格劳 :
对象闭包转换。 HOOTS公司 1999 : 52-68 1998 [c2] J.格雷戈里·莫里塞特 , 大卫·沃克 , 卡尔·克莱里 , 尼尔·格鲁 :
从系统F到类型化汇编语言。 POPL公司 1998 : 85-97 【c1】 J.格雷戈里·莫里塞特 , 卡尔·克莱里 , 尼尔·格鲁 , 大卫·沃克 :
基于堆栈的类型汇编语言。 编译中的类型 1998 : 28-52