加林·金梅尔
人员信息
优化列表
2020年–今天
2022 [第17条] 丹尼斯·阿布茨 , 易卜拉欣·艾哈迈德 , 安德鲁·比塔 , 马修·博伊德 , 约翰·金 , 加林·金梅尔 , 安德鲁·林格(Andrew C.Ling) :
使用Groq确定性张量流处理器实现可靠扩展系统的挑战/机遇。 DSN(补充) 2022 : 19-22 [第16条] 丹尼斯·阿布茨 , 约翰·金 , 加林·金梅尔 , 马修·博伊德 , 克里斯·康 , 萨希尔·帕尔马 , 安德鲁·林格(Andrew C.Ling) , 安德鲁·比塔 , 易卜拉欣·艾哈迈德 , 乔纳森·罗斯 :
Groq软件定义的横向扩展张量流式多处理器:从芯片到系统架构概述。 HCS公司 2022 : 1-69 [第15条] 丹尼斯·阿布茨 , 加林·金梅尔 , 安德鲁·林格(Andrew C.Ling) , 约翰·金 , 马修·博伊德 , 安德鲁·比塔 , 萨希尔·帕尔马 , 易卜拉欣·艾哈迈德 , 罗伯托·迪切科 , 大卫·韩 , 唐世璋 , 迈克尔·拜拜 , 詹妮弗·黄 , 杰里米·福沃斯 , 彼得·莉莲 , 阿什温·穆西 , 埃利亚斯·梅塔布丁 , 切坦·特库尔 , 托马斯·索默斯 , 克里斯·康 , 斯蒂芬·马雷什 , 乔纳森·罗斯 :
用于大规模机器学习的软件定义张量流多处理机。 国际标准协会 2022 : 567-580 2020 [第14条] 丹尼斯·阿布茨 , 乔纳森·罗斯 , 乔纳森·斯派林 , 马克·旺·文哈伦 , 马克斯·贝克 , 汤姆-霍金斯 , 安德鲁·贝尔 , 唐世璋 , Temesghen Kahsai公司 , 加林·金梅尔 , 詹妮弗·黄 , 丽贝卡·莱斯利·胡德 , 迈克尔·拜拜 , E.R.克雷斯维克 , 马修·博伊德 , 马希萨·维尼加拉 , 埃文·拉福吉 , 乔·普迪 , 普鲁肖塔姆·卡马特 , 迪内什·马赫什瓦里 , 迈克尔·贝德勒 , 吉尔特·罗西尔 , 奥马尔·艾哈迈德 , 格列布·加加林 , 理查德·切卡尔斯基 , 阿沙·雷恩 , 萨希尔·帕尔马 , 杰夫·沃纳 , 吉姆·斯普洛赫 , 阿德里安·马西亚斯 , 布莱恩·库兹 :
快速思考:用于加速深度学习工作负载的张量流处理器(TSP)。 国际标准协会 2020 : 145-158
2010 – 2019
2012 [j3] 亚伦·斯塔姆 , 汉斯·赞特马 , 加林·金梅尔 , 罗巴·埃尔·哈吉·奥马尔 :
简单打字的重写视图。 日志。 方法计算。 科学。 9 ( 1 ) ( 2012 ) [j2] 安迪·吉尔 , 特里斯坦公牛 , 安德鲁·法默 , 加林·金梅尔 , 埃德·坎普 :
用于硬件仿真和合成的类型和相关类型族-堪萨斯拉瓦的内部和外部。 高。 订单符号。 计算。 25 ( 2-4 ) : 255-274 ( 2012 ) [第13条] 加林·金梅尔 , 亚伦·斯塔姆 , 哈雷D.伊德斯III , 彭福 , 蒂姆·谢尔德 , 斯蒂芬妮·威里奇 , 克里斯·卡辛基诺 , 维勒姆·舍伯格(Vilhelm Sjöberg) , 内森·柯林斯 , Ki Yung Ahn(基永安) :
关于具有一般递归和按调用值语义的程序的等式推理。 PLPV公司 2012 : 15-26 [第12条] 维勒姆·舍伯格(Vilhelm Sjöberg) , 克里斯·卡辛吉诺 , Ki Yung Ahn(基永安) , 内森·柯林斯 , 哈雷D.伊德斯III , 彭福 , 加林·金梅尔 , 蒂姆·谢尔德 , 亚伦·斯塔姆 , 斯蒂芬妮·威里奇 :
无关、异构相等和按值调用依赖型系统。 MSFP公司 2012 : 112-162 2011 [第11条] 亚伦·斯塔姆 , 加林·金梅尔 , 罗巴·埃尔·哈吉·奥马尔 :
类型保留是一个汇流问题。 区域贸易协定 2011 : 345-360 2010 [j1] 尼古拉斯·弗里斯比 , 加林·金梅尔 , 菲利普·韦弗 , 佩里·亚历山大 :
用代数组合子构造语言处理器。 科学。 计算。 程序。 75 ( 7 ) : 543-572 ( 2010 ) [第10条] 安德鲁·法默 , 加林·金梅尔 , 安迪·吉尔 :
堪萨斯熔岩怎么了? 函数式编程趋势 2010 : 102-117 【c9】 安迪·吉尔 , 特里斯坦公牛 , 安德鲁·法默 , 加林·金梅尔 , 埃德·科姆普 :
硬件模拟和合成的类型和类型系列-堪萨斯熔岩的内部和外部。 函数式编程趋势 2010 : 118-133
2000 – 2009
2009 【c8】 威廉·哈里森 , 亚当·普罗克特 , 杰森·阿格隆 , 加林·金梅尔 , 杰勒德·奥尔文 :
模块化单子语义的模型驱动工程:针对硬件和软件的实现技术。 数字用户线 2009 : 20-44 【c7】 安迪·吉尔 , 特里斯坦公牛 , 加林·金梅尔 , 埃里克·佩林斯 , 埃德·坎普 , 布雷特·沃林 :
堪萨斯熔岩简介。 国际单项体育联合会 2009 : 18-35 【c6】 马克·斯奈德 , 尼古拉斯·弗里斯比 , 加林·金梅尔 , 佩里·亚历山大 :
用InterpreterLib编写可编写软件。 SC@工具 2009 : 160-176 2008 【b1】 加林·金梅尔 :
一元函数语言的系统合成。 美国堪萨斯大学, 2008 【c5】 加林·金梅尔 , 埃德·坎普 , 加里·明登 , 约瑟夫·埃文斯 , 佩里·亚历山大 :
合成Rosetta的软件定义无线电组件(受邀)。 FDL公司 2008 : 148-153 2007 【c4】 菲利普·韦弗 , 加林·金梅尔 , 尼古拉斯·弗里斯比 , 佩里·亚历山大 :
用代数组合子构造语言处理器。 GPCE公司 2007 : 155-164 【c3】 菲利普·韦弗 , 加林·金梅尔 , 尼古拉斯·弗里斯比 , 佩里·亚历山大 :
使用interpreterlib进行模块化和通用编程。 ASE公司 2007 : 473-476 2005 【c2】 加林·金梅尔 , 埃德·坎普 , 佩里·亚历山大 :
通过组合代数构建编译器。 欧洲商业银行 2005 : 331-338 【c1】 贾斯汀·沃德 , 加林·金梅尔 , 佩里·亚历山大 :
普鲁弗洛克:构建多型定理证明程序的框架。 ASE公司 2005 : 423-426