约翰·雷皮
人员信息
附属: 美国芝加哥大学
优化列表
2020年–今天
2022 [公元11年] 本杰明·奎林 , 约翰·雷皮 , 奥林·西弗斯 :
分析3CPS中的绑定范围。 程序。 ACM计划。 语言。 6 ( ICFP公司 ) : 650-678 ( 2022 ) 2021 [c44] 本杰明·奎林 , 约翰·雷皮 , 奥林·西弗斯 :
3CPS:以环境为中心的中间表示的设计。 国际单项体育联合会 2021 : 20-28 2020 [公元10年] 大卫·麦奎因 , 罗伯·哈波 , 约翰·雷皮 :
标准ML.的历史。 程序。 ACM计划。 语言。 4 ( HOPL公司 ) : 86:1-86:100 ( 2020 ) [公元43年] 卡冯·法瓦丁 , 约翰·雷皮 :
新泽西州标准ML的新后端。 国际单项体育联合会 2020 : 55-66 [公元42年] 卡冯·法瓦丁 , 约翰·雷皮 :
从民间传说到事实:比较堆栈和延续的实现。 PLDI公司 2020 : 75-90 [公元41年] 卡尔蒂克·辛哈尔 , 约翰·雷皮 :
量子霍尔类型理论:扩展抽象。 QPL公司 2020 : 291-302
2010 – 2019
2019 [公元40年] 约翰·雷皮 , 乔·温格特 :
形状和压扁。 国际单项体育联合会 2019 : 14:1-14:11 [公元39年] 特奥多罗·科林 , Charisee Chow公司 , L.里奇威·斯科特 , 约翰·雷皮 , 戈登·金德曼 :
DSL中用于高阶有限元可视化的点移动。 IEEE VIS(短文) 2019 : 281-285 [i7] 特奥多罗·科林 , 邱嘉玲 , L.里奇威·斯科特 , 约翰·雷皮 , 戈登·金德曼 :
DSL中用于高阶有限元可视化的点移动。 CoRR公司 abs/1911.05668 ( 2019 ) 2018 [公元9年] 戈登·L·金德曼 , Charisee Chow公司 , T·休恩 , 阿提拉·尤拉西 , 约翰·雷皮 , 同行蒂莫·布雷默 :
渲染和提取三维场中的极端特征。 计算。 图表。 论坛 37 ( 三 ) : 525-536 ( 2018 ) [i6] Charisee Chow公司 , 戈登·金德曼 , 约翰·雷皮 :
编译狄德罗:从张量微积分到C。 CoRR公司 abs/1802.06504 ( 2018 ) 2017 [公元38年] Charisee Chow公司 , 戈登·金德曼 , 约翰·雷皮 :
DATm:狄德罗的自动测试模型。 AST@ICSE公司 2017 : 45-51 [i5] Charisee Chow公司 , 约翰·雷皮 :
基于数学的中间表示的规范化属性。 CoRR公司 abs/1705.08801 ( 2017 ) [i4] Charisee Chow公司 , 戈登·金德曼 , 约翰·雷皮 :
使用DSL可视化有限元数据的探索。 CoRR公司 abs/1706.05718 ( 2017 ) 2016 [j8] 戈登·金德曼 , Charisee Chow公司 , 尼古拉斯·萨尔茨 , 拉蒙特·萨缪尔 , 约翰·雷皮 :
Didero:用于便携式并行科学可视化和图像分析的领域专用语言。 IEEE传输。 视觉。 计算。 图表。 22 ( 1 ) : 867-876 ( 2016 ) [公元37年] 卡冯·法瓦丁 , 约翰·雷皮 :
使用Continuations和LLVM编译。 ML/OCAML公司 2016 : 131-142 [电子5] 马可·加瓦内利 , 约翰·雷皮 :
2016年1月18日至19日,美国佛罗里达州圣彼得堡,PADL 2016,第18届国际声明性语言实践研讨会。 诉讼程序。 计算机科学课堂讲稿 9585, 施普林格 2016 ,国际标准图书编号 978-3-319-28227-5 [目录] 2015 [电子4] 凯瑟琳·费舍尔 , 约翰·雷皮 :
2015年9月1日至3日,加拿大不列颠哥伦比亚省温哥华,第20届ACM SIGPLAN国际功能编程会议论文集,ICFP 2015。 ACM公司 2015 ,国际标准图书编号 978-1-4503-3669-7 [目录] 2014 [公元36年] 裁拉斯 , 马修·弗莱特 , 马修·勒 , 约翰·雷皮 , 诺拉·桑德勒 :
实用有效的高阶优化。 ICFP公司 2014 : 81-93 2013 [c35] 裁拉斯 , 马修·弗莱特 , 迈克·雷尼 , 约翰·雷皮 , 斯蒂芬·罗森 , 亚当·肖 :
针对嵌套数据并行性的数据平坦化。 PPoPP(PPoPP) 2013 : 81-92 [i3] 裁拉斯 , 马修·弗莱特 , 约翰·雷皮 , 诺拉·桑德勒 :
带自由变量的函数的实际内联。 CoRR公司 abs/1306.1919 ( 2013 ) 2012 [j7] 裁拉斯 , 马修·弗莱特 , 迈克·雷尼 , 约翰·雷皮 , 亚当·肖 :
懒惰的树分裂。 J.功能。 程序。 22 ( 4-5 ) : 382-438 ( 2012 ) [公元34年] 裁拉斯 , 约翰·雷皮 :
gpu上的嵌套数据并行。 ICFP公司 2012 : 247-258 [c33] Charisee Chow公司 , 戈登·金德曼 , 约翰·雷皮 , 拉蒙特·萨缪尔 , 尼克·萨尔茨 :
Didero:用于图像分析和可视化的并行DSL。 PLDI公司 2012 : 111-120 2011 [公元32年] 帕维尔·克拉切夫斯基 , 约翰·雷皮 :
粒子系统的声明性API。 PADL(PADL) 2011 : 130-144 [公元31年] 斯文·奥哈根 , 裁拉斯 , 马修·弗鲁特 , 约翰·雷皮 :
多核NUMA机器的垃圾收集。 MSPC公司 2011 : 51-57 [电子3] 曼纽尔·卡罗 , 约翰·雷皮 :
2011年1月23日于美国德克萨斯州奥斯汀举行的2011年POPL多核编程声明性方面研讨会论文集,DAMP 2011。 ACM公司 2011 ,国际标准图书编号 978-1-4503-0486-3 [目录] 【r1】 约翰·雷皮 :
并发ML。 并行计算百科全书 2011 : 371-377 [i2] 斯文·奥哈根 , 裁拉斯 , 马修·弗莱特 , 约翰·雷皮 :
多核NUMA机器的垃圾收集。 CoRR公司 abs/1105.2554 ( 2011 ) 2010 [j6] 马修·弗莱特 , 迈克·雷尼 , 约翰·雷皮 , 亚当·肖 :
Manticore中隐含的线程并行性。 J.功能。 程序。 20 ( 5-6 ) : 537-576 ( 2010 ) [公元30年] 裁拉斯 , 迈克·雷尼 , 约翰·雷皮 , 亚当·肖 , 马修·弗莱特 :
懒惰的树分裂。 ICFP公司 2010 : 93-104
2000 – 2009
2009 [j5] 斯科特·欧文斯 , 约翰·雷皮 , 亚伦·图伦 :
重新检查正则表达式衍生工具。 J.功能。 程序。 19 ( 2 ) : 173-190 ( 2009 ) [公元29年] 马修·弗莱特 , 裁拉斯 , 尼克·福特 , 迈克·雷尼 , 约翰·雷皮 , 亚当·肖 , 小英琪 :
Manticore编程,一种异质并行函数语言。 CEFP公司 2009 : 94-145 [公元28年] 约翰·雷皮 , 克劳迪奥·拉索 , 小英琪 :
并行并行ML。 ICFP公司 2009 : 257-268 [公元27年] 裁拉斯 , 约翰·雷皮 :
Manticore的Arity Raising。 国际单项体育联合会 2009 : 90-106 2008 [公元26年] 马修·弗莱特 , 迈克·雷尼 , 约翰·雷皮 , 亚当·肖 :
Manticore中的隐式线程并行。 ICFP公司 2008 : 119-130 [c25] 马修·弗莱特 , 迈克·雷尼 , 约翰·雷皮 :
通用并行语言的调度框架。 ICFP公司 2008 : 241-252 [公元24年] 马蒂亚斯·布鲁姆 , 迈克·雷尼 , 约翰·雷皮 :
从强类型语言调用可变函数。 毫升 2008 : 47-58 2007 【b2】 约翰·雷皮 :
ML中的并发编程。 剑桥大学出版社 2007 ,国际标准图书编号 978-0-521-71472-3 第I-XIV页,1-308 【c23】 约翰·雷皮 , 亚伦·图伦 :
具有特征的元编程。 ECOOP公司 2007 : 373-398 [公元22年] 马修·弗鲁特 , 尼克·福特 , 迈克·雷尼 , 约翰·雷皮 , 亚当·肖 , 小英琪 :
状态报告:manticore项目。 毫升 2007 : 15-24 【c21】 马修·弗莱特 , 迈克·雷尼 , 约翰·雷皮 , 亚当·肖 , 小英琪 :
Manticore:一种异构并行语言。 DAMP公司 2007 : 37-44 [公元20年] 约翰·雷皮 , 小英琪 :
CML消息传递原语的专门化。 POPL公司 2007 : 315-326 2006 [第19条] 约翰·雷皮 , 宋春燕 :
特定于应用程序的外部接口生成。 GPCE公司 2006 : 49-58 [第18条] 约翰·雷皮 :
类型敏感控制流分析。 毫升 2006 : 74-83 [电子2] 约翰·雷皮 , 朱莉娅·劳尔 :
2006年9月16日至21日,美国俄勒冈州波特兰市,第十一届ACM SIGPLAN功能编程国际会议记录,ICFP 2006。 ACM公司 2006 ,国际标准图书编号 1-59593-309-3 [目录] 2004 [i1] 凯瑟琳·费舍尔 , 里卡多·普切拉 , 约翰·雷皮 :
互操作性框架。 CoRR公司 反恐精英。 PL/0405084 ( 2004 ) 2002 【j4】 凯瑟琳·费舍尔 , 约翰·雷皮 :
基于继承的子类型。 Inf.计算。 177 ( 1 ) : 28-55 ( 2002 ) [j3] 约翰·雷皮 :
使用本地CPS转换优化嵌套循环。 高。 订购符号。 计算。 15 ( 2-3 ) : 161-180 ( 2002 ) 2001 [第17条] 克利夫·杨 , 雅加蒂·N·拉克希曼 , 汤姆·西曼斯基 , 约翰·雷皮 , 大卫·L·普雷索托 , 罗伯·派克 , 吉里贾·纳利卡尔 , 萨佩·穆伦德 , 格罗瑟 :
Protium,用于分区应用程序的基础结构。 热操作系统 2001 : 47-52 [第16条] 西蒙·马洛 , 西蒙·佩顿·琼斯 , 安德鲁·莫兰 , 约翰·雷皮 :
Haskell中的异步异常。 PLDI公司 2001 : 274-285 [第15条] 凯瑟琳·费舍尔 , 里卡多·普切拉 , 约翰·雷皮 :
互操作性框架。 巴贝尔 2001 : 3-19 2000 [第14条] 凯瑟琳·费舍尔 , 约翰·雷皮 :
使用基于继承的子类型扩展Moby。 ECOOP公司 2000 : 83-107 [第13条] 凯瑟琳·费舍尔 , 约翰·雷皮 , 乔恩·里克 :
编译和链接类的微积分。 员工持股计划 2000 : 135-149 [电子1] 约翰·雷皮 , 彼得·苏厄尔 :
第四届高级并发语言国际研讨会,HLCL 2000,PLI 2000卫星,加拿大蒙特利尔,2000年9月20日。 理论计算机科学电子笔记 41(2), 爱思维尔 2000 [目录]
1990 – 1999
1999 [第12条] 凯瑟琳·费舍尔 , 约翰·雷皮 :
Moby类机制的设计。 PLDI公司 1999 : 37-49 1997 [注2] S.G.埃弗雷米迪斯 , 哈立德·阿齐姆·穆加尔 , 约翰·雷皮 , 勒斯·瑟拉斯 :
AML:ML中的属性语法。 Nord.J.计算。 4 ( 1 ) : 37-65 ( 1997 ) 1996 [第11条] 约翰·雷皮 , 乔恩·里克 :
标准ML的简单对象。 PLDI公司 1996 : 171-180 1995 [j1] 安妮·罗杰斯 , 马丁·卡莱尔 , 约翰·雷皮 , 劳里·J·亨德伦 :
支持分布式内存机器上的动态数据结构。 ACM事务处理。 程序。 语言系统。 17 ( 2 ) : 233-263 ( 1995 ) 1994 [第10条] 拉尔·乔治 , 弗洛伦特·吉拉姆 , 约翰·雷皮 :
SML/NJ编译器的可移植优化后端。 科科斯群岛 1994 : 83-97 【c9】 钟绍 , 约翰·雷皮 , 安德鲁·W·阿佩尔 :
展开列表。 LISP与函数编程 1994 : 185-195 【c8】 约翰·雷皮 :
一流的同步操作。 并行程序设计的理论与实践 1994 : 235-252 1993 【c7】 马丁·卡莱尔 , 安妮·罗杰斯 , 约翰·雷皮 , 劳里·J·亨德伦 :
Olden的早期体验。 LCPC公司 1993 : 1-20 【c6】 约翰·雷皮 :
并发ML:设计、应用和语义。 函数编程、并发、仿真和自动推理 1993 : 165-198 1992 【b1】 约翰·雷皮 :
高阶并发。 美国康奈尔大学, 1992 【c5】 安妮·罗杰斯 , 约翰·雷皮 , 劳里·J·亨德伦 :
支持动态数据结构的SPMD执行。 液晶显示器 1992 : 192-207 1991 [c4] 约翰·雷皮 :
CML:一种高阶并发语言。 PLDI公司 1991 : 293-305
1980 – 1989
1988 【c3】 约翰·雷皮 :
同步操作作为一级值。 PLDI公司 1988 : 250-259 1987 【c2】 斯蒂芬·C·诺思 , 约翰·雷皮 :
库存硬件上的并发垃圾收集。 FPCA公司 1987 : 113-133 1986 【c1】 约翰·雷皮 , 埃姆登·甘斯纳 :
编程环境的基础。 SDE公司 1986 : 218-227