乔纳森·德哈勒克斯
人员信息
附属: 微软研究院
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年-今天
2024 [公元77年] 科比·哈特利 , 伊丽莎·鲁贝尼 , 洛林·安德伍德 , 乔·芬尼 , 托马斯·鲍尔 , 史蒂夫·霍奇斯 , 佩利·德哈勒克斯 , 詹姆斯·戴文 , 艾里克-安德森 , 米查尔·莫斯卡尔 :
会见MicroCode:BBC micro:bit的实时便携式编程工具。 国际数据中心 2024 : 355-370 2023 [公元76年] 科比·哈特利 , 乔·芬尼 , 史蒂夫·霍奇斯 , 佩利·德哈勒克斯 , 詹姆斯·戴文 , 加布里埃尔·达莫内 :
MakeDevice:超越Jacdac原型的进化设备。 泰伊 2023 : 37:1-37:7 2022 [公元9年] 詹姆斯·戴文 , 米查尔·莫斯卡尔 , 佩利·德哈勒克斯 , 托马斯·鲍尔 , 史蒂夫·霍奇斯 , 加布里埃尔·达莫内 , 大卫·加库雷 , 乔·芬尼 , 洛林·安德伍德 , 科比·哈特利 , 保罗·科斯 , 马特·奥本海姆 :
使用Jacdac的即插即用物理计算。 程序。 ACM互动。 暴徒。 可穿戴的无所不在技术。 6 ( 三 ) : 110:1-110:30 ( 2022 ) [公元75年] 文卡特斯·波特鲁里 , 唐世璋 , 詹姆斯·戴文 , 李凤欣(Bongshin Lee) , 诺拉·穆尔西 , 佩利·德哈勒克斯 , 史蒂夫·霍奇斯 , 詹妮弗·曼考夫 :
PSST:使盲人或视力受损的开发人员能够编写流式传感器数据的声音。 UIST大学 2022 : 46:1-46:13 [公元74年] 兰迪·威廉姆斯 , 米查尔·莫斯卡尔 , 佩利·德哈勒克斯 :
ML块:用于创建TinyML模型的基于块的图形用户界面。 VL/HCC 2022 : 1-5 2021 [公元73年] 泰迪·赛义德 , 詹姆斯·戴文 , 乔·芬尼 , 米查尔·莫斯卡尔 , 佩利·德哈勒克斯 , 史蒂夫·霍奇斯 , 托马斯·鲍尔 , 阿斯塔罗斯韦 :
重新思考跑道:使用前卫时尚设计可穿戴系统。 芝加哥 2021 : 45:1-45:15 [公元72年] 米查尔·莫斯卡尔 , 托马斯·鲍尔 , 阿比吉思·查特拉 , 詹姆斯·戴文 , 佩利·德哈勒克斯 , 史蒂夫·霍奇斯 , 高香农(Shannon Kao) , 理查德·诺尔 , 盖伦镍合金 , 杰奎琳·罗素 , 乔伊·温德利希 , 达里尔·祖尼加 :
低成本游戏手持设备的网络编程。 FDG公司 2021 : 38:1-38:12 2020 [j8] 乔尼·奥斯汀 , 霍华德·贝克 , 托马斯·鲍尔 , 詹姆斯·戴文 , 乔·芬尼 , 佩利·德哈勒克斯 , 史蒂夫·霍奇斯 , 米查尔·莫斯卡尔 , 加雷思·斯托克代尔 :
英国广播公司微:比特:从英国到世界。 Commun公司。 ACM公司 63 ( 三 ) : 62-69 ( 2020 )
2010 – 2019
2019 [j7] 詹姆斯·戴文 , 乔·芬尼 , 佩利·德哈勒克斯 , 米查尔·莫斯卡尔 , 托马斯·鲍尔 , 史蒂夫·霍奇斯 :
MakeCode和CODAL:直观高效的嵌入式系统教育编程。 J.系统。 阿基特。 98 : 468-483 ( 2019 ) [公元71年] 泰迪·赛义德 , 佩利·德哈勒克斯 , 米查尔·莫斯卡尔 , 詹姆斯·戴文 , 乔·芬尼 , 史蒂夫·霍奇斯 , 托马斯·鲍尔 :
MakerArcade:使用游戏和物理计算进行有趣的制作、学习和创意。 CHI扩展摘要 2019 [公元70年] 托马斯·鲍尔 , 佩利·德哈勒克斯 , 米查尔·莫斯卡尔 :
静态TypeScript:TypeScript语言的静态编译器的实现。 MPLR公司 2019 : 105-116 [公元69年] 托马斯·鲍尔 , 阿比吉思·查特拉 , 佩利·德哈勒克斯 , 史蒂夫·霍奇斯 , 米查尔·莫斯卡尔 , 杰奎琳·罗素 :
Microsoft MakeCode:用于教育的嵌入式编程,以块和TypeScript为单位。 飞溅-E 2019 : 7-12 2018 [公元68年] 安妮·凯利 , R.本杰明·夏皮罗 , 乔纳森·德哈勒克斯 , 托马斯·鲍尔 :
ARcadia:实时有形接口的快速原型平台。 芝加哥 2018 : 409 [公元67年] 安妮·凯利 , R.本杰明·夏皮罗 , 乔纳森·德哈勒克斯 , 托马斯·鲍尔 :
ARcadia:实时有形接口的快速原型平台。 CHI扩展摘要 2018 [公元66年] 林师父 , Siwakorn Srisakaokul公司 , 布莱克·巴塞特 , Peyman Mahdian公司 , 陶雪 , 普拉塔普·拉克希曼 , 乔纳森·德哈勒克斯 :
中参数化单元测试的特性研究。 NET开源项目。 ECOOP公司 2018 : 5:1-5:27 [公元65年] 詹姆斯·戴文 , 乔·芬尼 , 佩利·德哈勒克斯 , 米查尔·莫斯卡尔 , 托马斯·鲍尔 , 史蒂夫·霍奇斯 :
MakeCode和CODAL:直观高效的嵌入式系统教育编程。 LCTES公司 2018 : 19-30 2017 [公元64年] 托马斯·鲍尔 , 朱迪思·毕晓普 , 乔纳森·德哈勒克斯 :
Micro:bit:新一代的动手计算(仅摘要)。 SIGCSE公司 2017 : 639 2016 [公元63年] 托马斯·鲍尔 , 乔纳森·普罗琴科 , 朱迪思·毕晓普 , 米查尔·莫斯卡尔 , 乔纳森·德哈勒克斯 , 迈克尔布劳恩 , 史蒂夫·霍奇斯 , 克莱尔·莱利 :
微软touch开发和BBC micro:bit。 ICSE(配套卷) 2016 : 637-640 2015 [j6] 萧旭升 , 尼古拉·蒂尔曼 , 曼努埃尔·法恩德里奇 , 乔纳森·德哈勒克斯 , 米查尔·莫斯卡尔 , 陶雪 :
通过扩展的静态信息流分析进行用户软件隐私控制。 自动。 柔和。 工程师。 22 ( 三 ) : 333-366 ( 2015 ) [公元62年] 陶雪 , 朱迪思·毕晓普 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 :
通过代码搜寻中的安全编码决斗,实现软件安全教育和培训的游戏化。 热门SoS 2015 : 26:1-26:2 [第61条] 陶雪 , 朱迪思·毕晓普 , R.奈杰尔·霍斯普尔 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 :
通过代码搜索众包代码和流程。 CSI-SE公司 2015 : 15-16 [公元60年] 托马斯·鲍尔 , 塞巴斯蒂安·伯克哈特 , 乔纳森·德哈勒克斯 , 米查尔·莫斯卡尔 , 乔纳森·普罗琴科 , 尼古拉·蒂尔曼 :
超越开源:触摸开发基于云的集成开发环境。 移动软件 2015 : 83-93 [公元59年] 朱迪思·毕晓普 , R.奈杰尔·霍斯普尔 , 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 :
代码搜索:大规模编码竞赛的经验。 ICSE(2) 2015 : 398-407 [公元58年] R.奈杰尔·霍斯普尔 , 朱迪思·毕晓普 , 乔纳森·德哈勒克斯 , 尼古拉·蒂尔曼 :
构建代码搜寻竞赛的经验。 ISSTA的CHESE 2015 : 1-4 2014 [公元57年] 拉斐尔·奥勒 , 埃德森·鲍林 , 佩利·德哈勒克斯 , 米查尔·莫斯卡尔 , 尼古拉·蒂尔曼 :
解决JavaScript JIT引擎性能难题:众包自适应编译器。 科科斯群岛 2014 : 218-237 [c56] 尼古拉·蒂尔曼 , 米查尔·莫斯卡尔 , 乔纳森·德哈勒克斯 , 塞巴斯蒂安·伯克哈特 , 托马斯·鲍尔 , 朱迪思·毕晓普 :
TouchDevelop:在触摸设备上创建丰富的移动应用程序(教程)。 移动软件 2014 : 1-2 [公元55年] 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 陶雪 , 朱迪思·毕晓普 :
在Pex4Fun和代码搜索中构建编码决斗。 ISSTA公司 2014 : 445-448 [公元54年] 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 陶雪 :
将自动测试生成工具转移到实践中:从pex到fakes和code-digger。 ASE公司 2014 : 385-396 [公元53年] 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 陶雪 , 朱迪思·毕晓普 :
代码搜索:大规模计算机科学的游戏化教学。 长@短 2014 : 221-222 2013 [第52条] 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 :
教育软件工程:软件工程、教育和游戏的结合点。 气体@ICSE 2013 : 36-39 [第51条] 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 陶雪 , 苏米特·古尔瓦尼 , 朱迪思·毕晓普 :
通过交互式游戏教授和学习编程和软件工程。 ICSE公司 2013 : 1117-1126 [公元50年] 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 陶雪 , 朱迪思·毕晓普 :
Pex4Fun:通过自动测试生成用于教育游戏的基于web的环境。 ASE公司 2013 : 730-733 [公元49年] 武勒 , 乔纳森·德哈勒克斯 , 苏米特·古尔瓦尼 , 苏振东 :
TouchDevelop的关键字编程。 MobiSys公司 2013 : 463-464 [公元48年] 托马斯·鲍尔 , 佩利·德哈勒克斯 , 尼基尔·斯瓦米 , Daan Leijen公司 :
通过网络增加人机交互。 粘贴 2013 : 49-52 [公元47年] 塞巴斯蒂安·伯克哈特 , 曼努埃尔·法恩德里奇 , 佩利·德哈勒克斯 , 肖恩·麦克迪米德 , 米查尔·莫斯卡尔 , 尼古拉·蒂尔曼 , 资深投资经理加藤俊 :
它还活着! UI编程中的持续反馈。 PLDI公司 2013 : 95-104 [公元46年] 康拉德·贾姆罗西克 , 弗雷泽 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 :
使用增强的动态符号执行生成测试套件。 STAF处的TAP 2013 : 152-167 2012 [j5] 张凌浩 , 马晓星 , 陆健 , 陶雪 , 尼古拉·蒂尔曼 , 佩利·德哈勒克斯 :
自动化云应用程序测试的环境建模。 IEEE软件。 29 ( 2 ) : 30-35 ( 2012 ) [公元45年] 尼古拉·蒂尔曼 , 米查尔·莫斯卡尔 , 乔纳森·德哈勒克斯 , 曼努埃尔·法恩德里奇 , 陶雪 :
通过TouchDevelop仅使用移动设备教授计算机科学来吸引学生。 CSEE&T公司 2012 : 87-89 [公元44年] 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 陶雪 , 朱迪思·毕晓普 :
Pex4Fun:通过社交游戏教授和学习计算机科学。 CSEE&T公司 2012 : 90-91 [公元43年] 尼古拉·蒂尔曼 , 米查尔·莫斯卡尔 , 乔纳森·德哈勒克斯 , 曼努埃尔·法恩德里奇 , 朱迪思·毕晓普 , 阿杰曼·塞缪尔 , 陶雪 :
未来的编程教学将在移动设备上进行。 ITiCSE公司 2012 : 156-161 [公元42年] 萧旭升 , 尼古拉·蒂尔曼 , 曼努埃尔·法恩德里奇 , 乔纳森·德哈勒克斯 , 米查尔·莫斯卡尔 :
通过扩展的静态信息流分析进行用户软件隐私控制。 ASE公司 2012 : 80-89 [公元41年] 康拉德·贾姆罗西克 , 弗雷泽 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 :
增强的动态符号执行。 ASE公司 2012 : 254-257 [公元40年] 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 陶雪 , 朱迪思·毕晓普 :
使用Pex4Fun通过社交游戏教授和学习计算(仅抽象)。 SIGCSE公司 2012 : 659 [公元39年] 尼古拉·蒂尔曼 , 米查尔·莫斯卡尔 , 乔纳森·德哈勒克斯 , 曼努埃尔·法恩德里奇 , 陶雪 :
通过使用TouchDevelop(仅抽象)仅使用移动设备进行编程来吸引学生。 SIGCSE公司 2012 : 663 [公元38年] 尼古拉·蒂尔曼 , 米查尔·莫斯卡尔 , 乔纳森·德哈勒克斯 , 曼努埃尔·法恩德里奇 , 塞巴斯蒂安·伯克哈特 :
TouchDevelop:在移动设备上开发应用程序。 SIGSOFT FSE公司 2012 : 39 [公元37年] Dries Vanoverberghe公司 , 乔纳森·德哈勒克斯 , 尼古拉·蒂尔曼 , 弗兰克·皮森斯 :
状态覆盖:代码覆盖范围之外的软件验证度量。 SOFSEM公司 2012 : 542-553 2011 【j4】 托马斯·鲍尔 , 塞巴斯蒂安·伯克哈特 , 佩利·德哈勒克斯 , 穆苏瓦蒂夫人 , 沙兹·卡迪尔 :
多线程代码的可预测和渐进测试。 IEEE软件。 28 ( 三 ) : 75-83 ( 2011 ) [公元36年] 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 陶雪 :
Pex4Fun:通过社交游戏教授和学习计算机科学。 CSEE&T公司 2011 : 546-548 [公元35年] Suresh Thummalapenta公司 , 马杜里·R.马里 , 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 :
修改参数化单元测试的单元测试。 FASE公司 2011 : 294-309 [公元34年] 萧旭升 , 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 :
准确识别结构测试生成的问题。 ICSE公司 2011 : 611-620 [公元33年] 萧旭升 , 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 :
Covana:精确识别pex中的问题。 ICSE公司 2011 : 1004-1006 [公元32年] 库纳尔·塔内加 , 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 :
eXpress:有效生成回归测试的引导路径探索。 ISSTA公司 2011 : 1-11 [公元31年] 尼古拉·蒂尔曼 , 米查尔·莫斯卡尔 , 乔纳森·德哈勒克斯 , 曼努埃尔·法恩德里奇 :
TouchDevelop:通过触摸屏为云连接的移动设备编程。 向前的! 2011 : 49-60 [公元30年] Suresh Thummalapenta公司 , 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 苏振东 :
为高覆盖率测试合成方法序列。 OOPSLA公司 2011 : 189-206 [公元29年] 朱迪思·毕晓普 , 乔纳森·德哈勒克斯 , 尼古拉·蒂尔曼 , R.奈杰尔·霍斯普尔 , 唐·赛姆 , 陶雪 :
用于技术转让的基于浏览器的软件。 SAICSIT公司 2011 : 338-340 2010 [公元28年] 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 陶雪 :
参数化单元测试:理论与实践。 ICSE(2) 2010 : 483-484 [公元27年] 拉胡尔·潘迪塔 , 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 :
覆盖标准的引导测试生成。 ICSM公司 2010 : 1-10 [c26] 张玲明 , 陶雪 , 陆章 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 洪梅 :
通过动态符号执行生成测试以进行突变测试。 ICSM公司 2010 : 1-10 [公元25年] 玛格斯·维恩斯 , 佩利·德哈勒克斯 , 尼古拉·蒂尔曼 :
Rex:符号正则表达式资源管理器。 ICST公司 2010 : 498-507 [c24] 玛格斯·维恩斯 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 :
Qex:符号SQL查询浏览器。 LPAR(达喀尔) 2010 : 425-446 【c23】 陶雪 , 乔纳森·德哈勒克斯 , 尼古拉·蒂尔曼 , 沃尔夫拉姆·舒尔特 :
教学和培训开发人员测试技术和工具支持。 SPLASH/OOPSLA公司 2010 : 175-182 [公元22年] 基兰·拉科蒂亚 , 尼古拉·蒂尔曼 , 马克·哈曼 , 乔纳森·德哈勒克斯 :
符号执行的FloPSy-基于搜索的浮点约束求解。 信息和通信技术支持系统 2010 : 142-157 【c21】 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 沃尔夫拉姆·舒尔特 :
开发人员测试的未来:在代码中构建质量。 FoSER公司 2010 : 415-420 [公元20年] Suresh Thummalapenta公司 , 乔纳森·德哈勒克斯 , 尼古拉·蒂尔曼 , 斯科特·沃兹沃思 :
DyGen:通过挖掘千兆字节的动态痕迹自动生成高覆盖测试。 攻丝@工具 2010 : 77-93 [第19条] 乔纳森·德哈勒克斯 , 尼古拉·蒂尔曼 :
鼹鼠:工具辅助的封闭式环境隔离。 工具(48) 2010 : 253-270
2000 – 2009
2009 [第18条] 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 沃尔夫拉姆·舒尔特 :
动态符号执行中的匹配引导路径探索。 DSN(DSN) 2009 : 359-368 [第17条] 玛格斯·维恩斯 , 帕维尔·格里戈伦科 , 佩利·德哈勒克斯 , 尼古拉·蒂尔曼 :
符号查询探索。 ICFEM公司 2009 : 49-68 [第16条] 马杜里·R.马里 , 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 沃尔夫拉姆·舒尔特 :
使用模拟对象测试文件系统相关软件的实证研究。 AST公司 2009 : 149-153 [第15条] 库纳尔·塔内加 , 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 沃尔夫拉姆·舒尔特 :
用于生成回归测试的引导路径探索。 ICSE伴侣 2009 : 311-314 [第14条] 巴纳特 , 曼努埃尔·法恩德里奇 , 佩利·德哈勒克斯 , 弗朗西斯科·洛戈佐 , 尼古拉·蒂尔曼 :
利用自动化测试生成和按合同编程之间的协同作用。 ICSE伴侣 2009 : 401-402 [第13条] 托马斯·鲍尔 , 塞巴斯蒂安·伯克哈特 , 乔纳森·德哈勒克斯 , 穆苏瓦蒂夫人 , 沙兹·卡迪尔 :
解构并发heisenbugs。 ICSE伴侣 2009 : 403-404 [第12条] 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 沃尔夫拉姆·舒尔特 :
参数化单元测试的突变分析。 ICST研讨会 2009 : 177-181 [第11条] Soonho Kong公司 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 :
环境相关程序的自动测试——Pex文件系统建模案例研究。 ITNG公司 2009 : 758-762 [第10条] 诺丽 , 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 沃尔夫拉姆·舒尔特 :
Reggae:使用复杂正则表达式的程序自动测试生成。 ASE公司 2009 : 515-519 【c9】 Suresh Thummalapenta公司 , 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 沃尔夫拉姆·舒尔特 :
MSeqGen:通过挖掘源代码生成面向对象的单元测试。 ESEC/SIGSOFT FSE 2009 : 193-202 2008 [j3] 帕特丽斯·戈德弗里德 , 乔纳森·德哈勒克斯 , 阿迪蒂亚·诺里 , 斯里拉姆·拉贾马尼 , 沃尔夫拉姆·舒尔特 , 尼古拉·蒂尔曼 , 迈克尔·莱文 :
使用程序分析自动化软件测试。 IEEE软件。 25 ( 5 ) : 30-37 ( 2008 ) 【c8】 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 :
与Pex进行行为web服务合同的白盒测试。 TAV-网络 2008 : 47-48 【c7】 Dries Vanoverberghe公司 , 尼古拉·比约纳 , 乔纳森·德哈勒克斯 , 沃尔夫拉姆·舒尔特 , 尼古拉·蒂尔曼 :
使用动态符号执行改进演绎验证。 自旋蛋白 2008 : 9-25 【c6】 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 :
的Pex-White Box测试生成。 净利润。 TAP接头 2008 : 134-153 【c5】 乔纳森·德哈勒克斯 , 尼古拉·蒂尔曼 :
Pex参数化单元测试。 TAP接头 2008 : 171-181 2007 【c4】 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 沃尔夫拉姆·舒尔特 :
Pex参数化单元测试:教程。 PSSE公司 2007 : 141-202 2004 [注2] 克里斯托夫·普里厄尔 , 乔纳森·德哈勒克斯 :
包含由浅水方程模拟的流体的一维储罐的稳定性。 系统。 控制。 莱特。 52 ( 3-4 ) : 167-178 ( 2004 ) 【c3】 乔纳森·德哈勒克斯 , 克里斯托夫·普里厄尔 , 乔治·巴斯丁 :
基于图论的双曲2×2 PDE系统级联边界控制设计。 CDC公司 2004 : 3313-3318 2003 [j1] 乔纳森·德哈勒克斯 , 克里斯托夫·普里厄尔 , Jean-Michel科隆 , 布里吉特·德·安德烈小说 , 乔治·巴斯丁 :
明渠网络中的边界反馈控制。 自动。 39 ( 8 ) : 1365-1376 ( 2003 ) 2002 [c2] 克里斯托夫·普里厄尔 , 乔纳森·德哈勒克斯 :
通过输出反馈稳定油箱。 CDC公司 2002 : 1497-1502 【c1】 Jean-Michel科隆 , 乔纳森·德哈勒克斯 , 乔治·巴斯丁 , 布里吉特·德·安德烈小说 :
以熵为Lyapunov函数的拟线性双曲方程组的边界控制设计。 CDC公司 2002 : 3010-3014
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)