PDF
|
|
助理教授,计算机科学部门,雷竞技官方网站下载(2013 - 2019)
助理教授,计算机科学部门和认知科学中心,罗格斯大学(2005 - 2011)
我研究什么东西的意思。我利用工作,增强人类能力创造神奇的概念,结合概念,并分享的概念,由排队正式表示,他们代表了什么。为此,在短期内,我开发的编程语言,做什么和怎么做划分为模块,可以分别建立和重用。特别是,我所谓的发展概率的编程语言,随机模型和推理算法划分为模块,可以分别建立和重用。从长远来看,我希望取代一阶逻辑的东西并不假定的事实有什么事情,尽管可能存在的事实有什么东西。
计算机科学导论(提单去找找CSCI C211, 2017年秋季,2018年春季,2018年秋季,2019年春季,2019年秋季,2021年秋季,2022年春季,2022年秋季,春季2023)
单细胞生物和副作用(邀请台湾的暑期学校的课程逻辑,语言,和计算,2022)
概率编程(邀请课程苏格兰学校于2019年编程语言和验证)
概率的编程(提单去找找CSCI B629, 2014年春季,2015年秋季,春季2017)
高级函数式编程(提单去找找CSCI B490, 2016年春季,2016年秋季)
离散结构计算机科学(提单去找找CSCI C241, 2013年春季,2014年秋季)
分隔的控制和应用,奥利弗Danvy(车间在类型理论的最新发展,里昂,法国,2014)
编程语言(提单去找找CSCI H311, 2013年秋季)
λ:终极syntax-semantics接口,奥列格•凯瑟列夫(北美暑期学校在逻辑、语言和信息,2010年,2012;领域特定语言联合会工作会议,2011;康奈尔大学,2011;欧洲暑期学校在逻辑、语言和信息,2013)
创作意义作为项目(欧洲暑期学校在逻辑、语言和信息,2008)
延续:自然语言意义的计算,克里斯•巴克(欧洲暑期学校在逻辑、语言和信息,2004)
编程语言(本科和研究生)、人工智能(研究生),计算模型(研究生),自然语言语义(研究生)
博士学位在计算机科学2005年,哈佛大学
论文:“语言副作用”
委员会:斯图亚特·m·谢波(顾问)芭芭拉·j·格,Avi菲,诺曼·拉姆齐
显然noncompositional现象等可以分析自然语言计算编程语言的副作用:搞笑可以像状态分析,可以分析intensionality像环境一样,可以分析量化像分隔的控制,等等。我们因此项显然noncompositional现象在自然语言语言方面影响。我们把这个新的,一般类比在语言学以及编程语言理论。
英航在数学1999年,一般以优等成绩毕业者的研究中,哈佛大学
美国大学优等生荣誉学会;哈佛大学和约翰哈佛奖学金
最好的纸(奥列格•凯瑟列夫)2009年工作会议上特定于域的语言
贝丝论文奖2006年,协会逻辑、语言和信息(幻灯片演讲)
最好的纸(巴尔德d十美食)2002年,ESSLLI学生会话
第一名(迪伦·p·瑟斯顿2001年),ACMICFP程序设计竞赛
延续等级和量词的范围
奥列格•凯瑟列夫和Chung-chieh山。在正式的语义方法和语用学艾德。e . McCready Katsuhiko Yabushita,祺Yoshimoto,105 - 134。施普林格,2014年。
奥列格•凯瑟列夫琼斯,西蒙佩顿,Chung-chieh山。在反思c·a·r·霍尔的工作。艾德。a·w·罗斯科悬崖b·琼斯和肯尼斯r .木材,301 - 331。施普林格,2010年。
巴尔德d十美食和Chung-chieh山。在问题在动态语义艾德。玛丽亚Aloni,和阿拉斯泰尔•巴特勒保罗·德克尔,63 - 82。爱思唯尔,2007年。
在直接组合性艾德。克里斯•巴克和波林雅各布森,132 - 163。牛津大学出版社,2007年。自2002年以来的大学阿兹,公元前,圣地亚哥,香槟分校PA, UT,罗彻斯特VT和WA;波士顿、布朗、康奈尔大学、哈佛大学、印第安纳州、罗格斯大学,斯坦福大学;纽约城市大学的;DIMACS;麻省理工学院;逻辑与计算语言学研讨会;新英格兰的编程语言和系统研讨会;俄勒冈州研究所;直接组合性车间。
大卫蒋介石,科林•麦克唐纳和Chung-chieh山。学报ACM关于编程语言7 (OOPSLA1): 98:1-98:31, 2023。(视频)
Rajan生活、Chung-chieh山和山姆Tobin-Hochstadt。艺术,科学和工程的编程6(1):4:1-4:31,2021年。
Praveen Narayanan和Chung-chieh山。ACM交易编程语言和系统42(2):9:1-9:60,2020年。提出了在国际会议上概率编程。(视频)
Rajan生活,Praveen Narayanan雅克•Carette山姆Tobin-Hochstadt,和Chung-chieh山。ACM的程序编程语言3 (ICFP): 98:1-98:30, 2019年。(倒数第二版)
Praveen Narayanan和Chung-chieh山。ACM的诉讼编程语言1 (ICFP): 11:1-11:25, 2017年。(视频)
Yukiyoshi Kameyama,奥列格•凯瑟列夫,Chung-chieh山。科学的计算机编程112(2):120 - 144年,2015年。
功能性联合国| unparsing
Asai贤奥列格•凯瑟列夫,Chung-chieh山。高阶和符号计算24(4):311 - 340年,2012年。提出了在研讨会上米切尔的魔杖,2009年。(幻灯片演讲)
塞巴斯蒂安•菲舍尔,奥列格•凯瑟列夫,Chung-chieh山。杂志函数式编程21(4 - 5):413 - 465年,2011年。
Yukiyoshi Kameyama,奥列格•凯瑟列夫,Chung-chieh山。杂志函数式编程21(6):617 - 662年,2011年。
语言学和哲学33(5):417 - 443年,2010年。提出了在耶鲁的语法讨论会,2010年。
雅克Carette,奥列格•凯瑟列夫,Chung-chieh山。杂志的功能编程19(5):509 - 543年,2009年。自2008年提出的新泽西编程语言和系统研讨会滑铁卢大学的,和康奈尔大学。
克里斯•巴克和Chung-chieh山。语义和语用学1 (1):1-46,2008年。
高阶和符号计算20(4):371 - 401年,2007年。
Chung-chieh山和克里斯•巴克。语言学及哲学29(1):91 - 134年,2006年。提出2004年ESSLLI研讨会语法、语义和语用的问题语义的方法结合理论。也海报2002年,在东北语言学会。
王妃Nelken提醒和Chung-chieh山。杂志的逻辑,语言和信息15(3):251 - 271年,2006年。
Dariusz Biernacki,奥利弗Danvy,Chung-chieh山。科学的计算机编程60(3):274 - 297年,2006年。
克里斯•巴克和Chung-chieh山。杂志的逻辑,语言和信息15(4):331 - 370年,2006年。提出了在新泽西的编程语言和系统研讨会,2004年。(幻灯片演讲)
Dariusz Biernacki,奥利弗Danvy,Chung-chieh山。报告RS-05-13,金砖四国。缩写版在信息处理信件96名7 - 17 (1):,2005年。
大卫蒋介石和Chung-chieh山,2020年。提出了在国际会议上概率编程。
Praveen Narayanan和Chung-chieh山。研讨会计划转换为机器学习,2019年。
验证平均分的推理在一些小的措施
马太Heimerdinger和Chung-chieh山。车间对语言推断,2019年。
Praveen Narayanan和Chung-chieh山。研讨会的概率编程语义,2018。
罗伯特·Zinkov和Chung-chieh山。在美国第33会议在不确定性人工智能艾德。加Elidan、克里斯蒂安Kersting和亚历山大·t·Ihler 2017。
Chung-chieh山和诺曼·拉姆齐。在诉讼的研讨会编程语言的原则艾德。朱塞佩Castagna和安德鲁d·戈登,130 - 144年,2017年。(视频)(幻灯片演讲)
Wazim穆罕默德伊斯和Chung-chieh山。在学报国际会议在函数式编程艾德。雅克•GarrigueGabriele凯勒,Eijiro Sumii 47-59 2016。(视频)
Praveen时称,雅克Carette雷恩Romano, Chung-chieh山,和罗伯特Zinkov。在学报13日国际研讨会功能和逻辑编程艾德。奥列格•凯瑟列夫和安迪·王,62 - 79。9613年计算机科学课堂讲稿,施普林格,2016年。
雅克Carette和Chung-chieh山。在学报18国际研讨会上实用方面的声明性语言,艾德。马可Gavanelli和约翰·h·Reppy 135 - 152。课堂讲稿在计算机施普林格科学9585年,2016年。
在学报20阿姆斯特丹讨论会艾德。托马斯•BrochhagenFloris Roelofsen Nadine赛尔,363 - 367。研究所的逻辑,语言和计算,阿姆斯特丹大学的,2015年。[摘要](幻灯片演讲)邀请演讲WoLLIC(研讨会逻辑、语言和信息)2015年。
Yukiyoshi Kameyama,奥列格•凯瑟列夫,Chung-chieh山。在诉讼的车间部分评估和项目操作,艾德。Wei-Ngan下巴和Jurriaan Hage, 3 - 14, 2014。
巴里斯Aktemur,Yukiyoshi Kameyama,奥列格•凯瑟列夫,Chung-chieh山。在学报车间部分评估和项目操纵艾德。埃尔韦拉艾伯特和Shin-Cheng亩,147 - 154年,2013年。
Dhawan Rezwana卡里姆,汉、Vinod Ganapathy Chung-chieh山。在学报26日欧洲会议面向对象编程艾德。詹姆斯高贵,333 - 355。在计算机科学的课堂讲稿7313年,施普林格,2012年。
Mohan Dhawan Chung-chieh山,Vinod Ganapathy。在诉讼的26日欧洲会议面向对象编程,2012年。
马可巴罗尼Raffaella贝尔纳迪,Ngoc-Quynh, Chung-chieh山。在学报13日会议的欧洲ACL的章,艾德。2012年沃尔特·Daelemans 23-32。筑波大学的。(幻灯片演讲)(数据)
杰森·佩里和Chung-chieh山。在学报5号车间在NLP为构建教育应用的创新使用艾德。乔尔Tetreault吉尔Burstein克劳迪娅里柯克,57 - 65,2010。提出了在自由大学的博岑/博尔扎诺,2011。
Mohan Dhawan Chung-chieh山,Vinod Ganapathy。在诉讼的5编程语言和分析安全研讨会,艾德。Anindya Banerjee和迪帕克Garg 2010。
克里斯•巴克,Raffaella贝尔纳迪,Chung-chieh山。在程序从语义和语言理论XX艾德。李南和大卫·鲁茨,109 - 127。康奈尔大学出版社,2010年。
在程序从语义和语言理论第十九艾德。Satoshi伊藤Ed Cormany和大卫·鲁茨,413 - 426。康奈尔大学出版社,2009年。(邀请)。(幻灯片演讲)(讲义)提出了内梅亨大学奈梅亨,2008年。
奥列格•凯瑟列夫和Chung-chieh山。在程序的工作会议领域特有的语言艾德。瓦利德塔哈,360 - 384。讲座指出在5658年计算机科学,施普林格,2009年。(最佳论文奖)。(幻灯片说话)自2010年以来在印第安纳州Ochanomizu,罗格斯大学和筑波大学的。海报在的少量的2008车间概率的编程霍桑和IBM PL的一天。
奥利弗Danvy、Chung-chieh山伊恩Zerny。在学报工作会议在特定于域的语言艾德。瓦利德塔哈,-。5658年计算机科学课堂讲稿,施普林格,2009年。
奥列格•凯瑟列夫和Chung-chieh山。在诉讼的研讨会标准化的评估,2009年。自2009年提出的新泽西编程语言和系统研讨会,概率编程车间、东北大学和日本的国家信息学。(幻灯片演讲)
奥列格•凯瑟列夫和Chung-chieh山。在25日会议程序在不确定性人工智能艾德。杰夫·a·比尔摩斯和安德鲁·Y。Ng, 285 - 292年,2009年。在概率编程车间,2010年。(幻灯片演讲)
塞巴斯蒂安•菲舍尔,奥列格•凯瑟列夫,Chung-chieh山。在学报函数式编程国际会议时间为,月11日至22日,2009年。(视频)
Yukiyoshi Kameyama,奥列格•凯瑟列夫,Chung-chieh山。在诉讼的研讨会上部分评估和基于语义的程序操纵,111 - 120年,2009年。自2008年以来的大学奥尔胡斯和哥本哈根,麦吉尔和乌特勒支大学,IBM PL的一天霍桑和微软剑桥研究院。(幻灯片演讲)
Yukiyoshi Kameyama,奥列格•凯瑟列夫,Chung-chieh山。在诉讼的研讨会上部分评估和基于语义的程序操纵,147 - 157年,2008年。(幻灯片演讲)
在第四届国际研讨会上逻辑与工程学报》上自然语言语义艾德。祺Yoshimoto, 167 - 178, 2007。修改后的版本在人工智能的新领域:JSAI 2007会议和研讨会、修改选定的论文艾德。佐藤晴肯Katashi Akihiro井口Nagao孝宏河村建夫,123 - 134。在计算机科学的课堂讲稿4914年,施普林格,2008年。
奥列格•凯瑟列夫和Chung-chieh山。在学报Haskell研讨会,2008年1 - 12。(幻灯片演讲)(视频)
奥列格•凯瑟列夫威廉·e·伯德丹尼尔·p·弗里德曼和Chung-chieh山。在学报9日国际研讨会上功能和逻辑编程艾德。雅克Garrigue Manuel Hermenegildo, 64 - 80。4989年计算机科学课堂讲稿,施普林格,2008年。(幻灯片演讲)
诺姆·戈德堡和Chung-chieh山。在学报暹罗国际会议上数据挖掘,228 - 236年,2007年。
在学报16日阿姆斯特丹讨论会艾德。玛丽亚Aloni,保罗德克,Floris Roelofsen,199 - 204。研究所的逻辑,语言和计算,阿姆斯特丹大学的,2007年。(幻灯片演讲)
奥列格•凯瑟列夫和Chung-chieh山。在会议的程序建模和使用上下文艾德。Boicho Kokinov,丹尼尔·c·理查森,Thomas r . Roth-Berghofer,罗兰Vieu,291 - 302。课堂讲稿在4635年计算机科学,施普林格,2007年。海报在USENIX技术会议和在上下文。
雅克Carette,奥列格•凯瑟列夫,Chung-chieh山。在学报的第五届亚洲研讨会上编程语言和系统艾德。钟邵,222 - 238。4807年计算机科学课堂讲稿,施普林格,2007年。(幻灯片说话)
奥列格•凯瑟列夫和Chung-chieh山。在8日学报》草案函数式编程研讨会上的趋势艾德。马可·t·Moraz一个和亨利克·尼尔森。技术报告tr - shu - cs - 2007 - 04 - 1,部门数学和计算机科学,西顿霍尔大学,2007。(幻灯片说话)
奥列格•凯瑟列夫和Chung-chieh山。在学报国际会议类型λ结石和应用程序艾德。西蒙娜Ronchi德拉罗卡,223 - 239。4583年计算机科学课堂讲稿,施普林格,2007年。提出了在新泽西的编程语言和系统研讨会。(幻灯片演讲)
奥列格•凯瑟列夫、Chung-chieh山Amr Sabry。在学报国际会议在函数式编程,2006年26-37。(幻灯片说话)
奥列格•凯瑟列夫和Chung-chieh山。在学报编程语言符合程序验证车间艾德。亚伦树桩和宏伟ξ,79 - 104。电子票据在理论计算机科学174 (7),爱思唯尔,2006年。(幻灯片演讲)
奥列格•凯瑟列夫Chung-chieh山,丹尼尔·p·弗里德曼,Amr Sabry。在函数式编程程序的国际会议,192 - 203年,2005年。(代码)
在程序从语义和语言理论十四艾德。Kazuha渡边和罗伯特b .年轻,289 - 304。康奈尔大学出版社,2004年。
在诉讼的4日延续车间艾德。Hayo Thielecke,55 - 64。技术报告CSR-04-1,计算机科学学院,大学伯明翰,2004年。(幻灯片演讲)
奥列格•凯瑟列夫和Chung-chieh山。技术报告TR-15-04,部门工程和应用科学学院,哈佛大学。缩写版本在学报2004年Haskell车间,33-44。协会计算的机器,2004年。(幻灯片演讲)(文学Haskell源代码)
王妃Nelken提醒和Chung-chieh山。在程序从语义和语言理论十四艾德。Kazuha渡边和罗伯特b .年轻的时候,197 - 211。康奈尔大学出版社,2004年。
在诉讼的2004年人类语言技术会议美国ACL的章艾德。苏珊·杜,丹尼尔Marcu,萨利姆Roukos 2:129 - 132。计算语言学协会,2004年。
在学报5日研讨会方案和函数式编程,艾德。奥林颤抖和奥斯卡Waddell,99 - 107。技术报告600年,电脑科学系,雷竞技官方网站下载,2004年。(幻灯片演讲)
在程序从语义和语言理论十二世艾德。布伦丹杰克逊,246 - 265。康奈尔大学出版社,2002年。
Chung-chieh山和巴尔德d十美食。在学报esslli - 2002学生会话艾德。玛尔维娜把它,255 - 269。14日欧洲暑期学校在逻辑、语言和信息,2002年。(最佳论文奖)。
巴尔德d十美食和Chung-chieh山。在学报舞台造型2002:自动推理与分析场景和相关方法,艾德。西英格兰大学如和基督教g .丰贸ul,251 - 265。课堂讲稿在2381年计算机科学,施普林格,2002年。也在学报NLULP-02:第七届国际研讨会在自然语言理解和逻辑编程艾德。蜀Wintner。Datalogiske skrifter 92部计算机科学,鲁开德大学,2002年。
在《esslli - 2001学生会话艾德。克里斯蒂娜Striegnitz,285 - 298。13日欧洲暑期学校在逻辑、语言和信息,2001年。
在学报13日阿姆斯特丹讨论会艾德。Robert van Rooy和马丁Stokhof,204 - 209。研究所逻辑、语言和计算,阿姆斯特丹大学的,2001年。
弗雷德:人工神经网络发展的虚拟世界中
在《人工神经网络国际研讨会,343 - 348。国家依照大学,台湾,1994。
吴Chung-chieh山、Shen-yi辽和Wanwei。翻译廖的文章从英语到中国传统,2021年。
亚裔美国作家工作室,2020年。
本杰明·皮尔斯、科林·西曼和Chung-chieh山。技术报告640年,计算机科学系,罗格斯大学,2008。
奥列格•凯瑟列夫和Chung-chieh山。课堂讲稿的台湾的暑期学校在逻辑、语言和计算,2008年。
2006年5月15日。
提出了在新英格兰的编程语言和系统研讨会,2003,,3日直观的模态逻辑和应用程序车间,2005年。
ACM SIGPLAN通知2004年39(5):15 - 22日。
2003年。
提出了在哈佛大学语言学,2003年。
Chung-chieh山和迪伦·p·瑟斯顿,2001年。第一名的ACM国际会议在函数式编程编程比赛。
118年哈佛大学语言学论文(Susumu Kuno,介绍话语分析)和205年(乔纳森·尼森鲍姆在句法语义主题接口),2000年秋季。
论文对哈佛计算机科学282 (Avi菲,概率推理),2000年秋季。
纸为哈佛大学数学教程(亨利·科恩概率证明系统),1997年秋季。
史蒂夫·简和Chung-chieh山。论文对哈佛计算机科学262(吉姆•沃尔多介绍分布式计算)和几个bug固定的,1997年的春天。
概率的编程
编程语言和正式的方法实验室,台湾中央研究院,2021年。
故事圈
编程语言和正式的方法实验室,台湾中央研究院,2021年。
塞缪尔·马其诺防线,山姆Tobin-Hochstadt Chung-chieh山。一个工具在2019年的例子,帮助学生设计功能。(演示)
在POPL PLMW(编程语言指导车间),2019年。(邀请)。
声明性编程的原理和实践,2018年。(邀请)。(幻灯片说话)
POPL TutorialFest,2018年。
定量方面的编程语言和系统,2016年。(邀请)。印第安纳大学。雷竞技官方网站下载
数学基础的编程语义,2016年。(特别会议概率编程)。
雅克•Carette Praveen时称,雷恩,Chung-chieh山罗伯特Zinkov。海报的少量的酒车间学习和在黑色盒子推理,2015年。
Dagstuhl的挑战和趋势研讨会在概率编程中,2015年。
美国国防部高级研究计划局PPAMLπ会议,2015。
数学基础的编程语义,2014年。(邀请)。也在美国国防部高级研究计划局PPAMLπ会议。
从懒惰的评价吉布斯抽样
联合会工作小组2.11(程序生成),2014年。
Chung-chieh山和迪伦·p·瑟斯顿。演示的研讨会功能的艺术、音乐、建模和设计,2013年。(视频)(代码)
会议上正式的语法,2013年。(邀请)。
将语言与其他方法和模块的意义
专家在AAAI综合认知研讨会上,2013年。
中介表示条件和循环
美国国防部高级研究计划局PPAML启动会议,2013。
奥尔胡斯大学,2013。
提出了在语义研究小组2012年,在《会饮篇》组成的向量空间语义斯坦福大学,2013年。
符号逻辑的冬季会议协会(与美国哲学协会年会东部赛区)会话λ结石、类型系统和应用程序自然语言,2011年京都大学,2012。[摘要](邀请)。
爱荷华大学,2012。
工厂报价:从哲学和语言学的角度,2012年。
杰森·佩里和Chung-chieh山。LSA研讨会语义文本推断,2011年。
计算作用在生成的绑定。第1部分:问题和解决方案。第2部分:执行词法作用域
Yukiyoshi Kameyama,奥列格•凯瑟列夫,Chung-chieh山。联合会工作2.11集团(程序代),法国巴黎,康奈尔大学,2011。
奥列格•凯瑟列夫和Chung-chieh山。湘南会议非独立类型的编程,2011年。
阿姆斯特丹讨论会,2011年。(邀请)。
理论和实践的车间分隔的延续(诺维萨德),2011年。(邀请)。
奥列格•凯瑟列夫和Chung-chieh山。德州社会语言学(UT奥斯丁)话语和逻辑方法(洛里亚),2009年语义研究小组和纽约大学语言学语义组,2010年。
康奈尔语法归纳研讨会,2010。
轻量级静态功能
奥列格•凯瑟列夫和Chung-chieh山。乌得勒支大学计算机科学,2009年,斯坦福大学计算机科学,2010。
康奈尔大学语言学,2010年。
机械化的多级超理论与控制效果
Yukiyoshi Kameyama,奥列格•凯瑟列夫,Chung-chieh山。研讨会机械化的超理论,2010年。
奥列格•凯瑟列夫和Chung-chieh山。加州大学伯克利分校,联合会工作小组2.11(程序代),罗彻斯特大学,麻省理工学院2009年,斯坦福大学语言学、微软研究院新英格兰,塔夫斯大学,东京技术学院的,新英格兰的编程语言和系统研讨会,2010年。
第五届国际研讨会上逻辑框架和[:理论和实践,2010年。(邀请)。
驴的句子项目发电机
奥尔胡斯大学,2008。
功能性un-unparsing
奥尔胡斯大学,2008。
克里斯•巴克和Chung-chieh山。演算和研讨会正式的语法,2008年。
罗格斯大学计算机科学,2007。
轻量级静态担保
奥列格•凯瑟列夫和Chung-chieh山。海报在USENIX技术会议,2007。
不相邻的概率:他们必须通知单词学习吗?
达纳·l·切斯尼和Chung-chieh山。海报在协会心理科学大会上,2007年。
奥列格•凯瑟列夫和Chung-chieh山。2.11联合会工作小组(程序代),2007年。
第13届反射|预测计算会议ACM伊利诺斯,2007年。
语言的机器
DIMACS本科生研究经验研讨会,2006。
可变的绑定在评估环境中
闪电说话,机械化超理论研讨会,2006。
对劳动分工范围和绑定
安娜Szabolcsi的论文“Proof-theoretic语义”
罗格斯语义研讨会,2005。
罗格斯语义阅读小组,2005年。
木制品、视频、互动安装。群展“creN /原系统”策划和吴秉承一贯的提出TKG+项目。2021年。
一个助理参考书目风格,遵循“文档两个“规范的芝加哥手册的风格。2002 - 2004。
乳胶longtable方案的修改版本,修复很多bug。2003年。
一个程序,阀内件和将页面PostScript文档n比印刷。如果你不喜欢psnup留下太多的空白输出,这个项目是给你的。2001 - 2003。
计算机技术的建议专栏。2000 - 2003。
一个过滤器来消化消息从分手语言学家邮件列表。2001 - 2002。
l·斯蒂尔,Jr .)建筑的口译员通过组合单体,在POPL94年:年度ACM研讨会的会议记录的原则编程语言。2001年。
一个程序,将中文文本在五大编码。它打破了行明智地使用一个算法类似于特克斯。1998 - 2000。
1999年。
杰弗里大陆黄、Chung-chieh山和亚历克斯。一个在线搜索哈佛大学的课程目录。1996 - 1999。
一个Web服务,它允许任何人改变签名文件我在我的个人使用电子邮件和新闻组帖子。1997年。
超文本的早期实验协作。1995年。
混杂
学术:学术界的建议,计算语言学,计算机科学,研究的想法,术语查询,排版。其他:自行车,漫画建议,聋人,数码钢琴选择建议,午夜氛围,性取向,硅挂钟,字符串集合,12天的入侵。
编辑部:语义和语用学。
程序委员会:2023年农场。POPL 2022。ICFP 2019。PLP 2019。TyDe 2019。2018年失败。GPCE 2018。ICML 2018。NeurIPS 2018(审核人)。PLP 2018。AAAI 2017。用2017。ICML 2017。少量的酒2017(审核人)。PEPM 2017。PPDP 2017。POPL 2017研讨会概率编程语义(椅子)。AISTATS 2016。ICML 2016。NASSLLI 2016。PEPM 2016。POPL 2016研讨会概率编程语义(椅子)。AISTATS 2015。CoCoNat 2015。ESSLLI 2015桥接逻辑研讨会和概率方法语言和认知。2015年农场。少量的酒2015(审核人)。CVSC 2014。ICFP 2014。2013年阿姆斯特丹讨论会。APLAS 2013(椅子)。Haskell 2013(椅子)。* 2012 (SEM)。出版社2012年。LACL 2012。NASSLLI 2012。不落俗套的2012。向前!2012年。生产总值2012。延续2011年(椅子)。DSL 2011(椅子)。GPCE 2011。LACL 2011。2011毫升(椅子)。PEPM 2011。可用2011。出版社2010年。ESSLLI 2010。2010年失败。Haskell 2010。NASSLLI 2010。可用2010。APLAS 2009。IFL 2009。节日延续2008年(椅子)。GPCE 2008。ICFP 2008(海报椅子)。Haskell 2007。PLPV 2007。2007年计划。
首席技术官成语技术(沃尔瑟姆,MA), 1999 - 2000。
研究实习生三菱电机研究实验室1998年夏天(Cambridge, MA)。(导师:马修品牌)
研究实习生中心的神经基础认知1997年夏天(PA)匹兹堡。(导师:李大唱)
软件设计工程师,微软公司(Redmond,佤邦),1996年夏天。
新泽西州新不伦瑞克(2006-07-27)