扬·霍夫曼 0002
人员信息
附属: 卡内基梅隆大学 隶属关系(前): 耶鲁大学 隶属关系(前): 德国慕尼黑大学
其他同名人员
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
书籍和论文
2011 【b1】 扬·霍夫曼 :
潜在类型:通过自动摊销分析的多项式资源边界。 慕尼黑路德维希·马克西米利安大学, 2011 ,十亿 978-3-8442-1516-8 ,第1-179页
期刊文章
2024 [公元21年] 斯特凡·K·穆勒 , 扬·霍夫曼 :
CUDA内核评估成本建模与分析。 ACM事务处理。 并行计算。 11 ( 1 ) : 5:1-5:53 ( 2024 ) 2023 [公元20年] Ankush Das公司 , 狄王 , 扬·霍夫曼 :
概率资源软件会话类型。 程序。 ACM计划。 语言。 7 ( POPL公司 ) : 1925-1956 ( 2023 ) 2022 [公元19年] 扬·霍夫曼 , 唐纳德·桑内拉 , 乌尔里希·舍普 :
为纪念马丁·霍夫曼(Martin Hofmann)第二部分,特刊前言。 数学。 结构。 计算。 科学。 32 ( 6 ) : 682-684 ( 2022 ) [公元18年] 扬·霍夫曼 , 斯特芬·乔斯特 :
二十年的自动摊销资源分析。 数学。 结构。 计算。 科学。 32 ( 6 ) : 729-759 ( 2022 ) 2021 [公元17年] 扬·霍夫曼 , 唐纳德·桑内拉 , 乌尔里希·舍普 :
为纪念马丁·霍夫曼(Martin Hofmann),特刊前言第1部分。 数学。 结构。 计算。 科学。 31 ( 9 ) : 950-952 ( 2021 ) [j16] 大卫·M·卡恩 , 扬·霍夫曼 :
使用量子物理学家的方法进行自动摊销资源分析。 程序。 ACM计划。 语言。 5 ( ICFP公司 ) : 1-29 ( 2021 ) [公元15年] 斯特凡·K·穆勒 , 扬·霍夫曼 :
CUDA内核评估成本建模与分析。 程序。 ACM计划。 语言。 5 ( POPL公司 ) : 1-31 ( 2021 ) [公元14年] 维尼特·拉贾尼 , 马可·加博阿迪 , Deepak Garg公司 , 扬·霍夫曼 :
用于高阶(摊销)成本分析的统一类型理论。 程序。 ACM计划。 语言。 5 ( POPL公司 ) : 1-28 ( 2021 ) 2020 [j13] 特里斯坦·诺思 , 狄王 , 亚当·雷诺兹 , 扬·霍夫曼 , 纳迪娅·波里卡波娃 :
流动资源类型。 程序。 ACM计划。 语言。 4 ( ICFP公司 ) : 106:1-106:29 ( 2020 ) [公元12年] 狄王 , 大卫·M·卡恩 , 扬·霍夫曼 :
提高预期:使用类型自动进行预期成本分析。 程序。 ACM计划。 语言。 4 ( ICFP公司 ) : 110:1-110:31 ( 2020 ) 2019 [公元11年] 狄王 , 扬·霍夫曼 :
类型引导的最坏情况输入生成。 程序。 ACM计划。 语言。 三 ( POPL公司 ) : 13:1-13:30 ( 2019 ) 2018 [公元10年] Ankush Das公司 , 扬·霍夫曼 , 弗兰克·普芬宁 :
时间会话类型的并行复杂性分析。 程序。 ACM计划。 语言。 2 ( ICFP公司 ) : 91:1-91:30 ( 2018 ) 2017 [公元9年] 吉尔根·吉斯尔 , 扬·霍夫曼 :
前言:自动资源边界分析专刊。 J.汽车。 原因。 59 ( 1 ) : 1-2 ( 2017 ) 2015 [j8] 扬·霍夫曼 , 钟绍 :
使用整数和数组进行基于类型的摊销资源分析。 J.功能。 程序。 25 ( 2015 ) 2013 [j7] 多萝西娅·鲍迈斯特 , 费利克斯·勃兰特 , 费利克斯·A·菲舍尔 , 扬·霍夫曼 , 约格·罗特 :
计算最小单向覆盖集的复杂性。 理论计算。 系统。 53 ( 三 ) : 467-502 ( 2013 ) 2012 [j6] 扬·霍夫曼 , 克劳斯·埃利格 , 马丁·霍夫曼 :
多元摊销资源分析。 ACM事务处理。 程序。 语言系统。 34 ( 三 ) : 14:1-14:62 ( 2012 ) 2011 [j5] 费利克斯·勃兰特 , 马库斯·布里尔 , 费利克斯·A·菲舍尔 , 扬·霍夫曼 :
弱鞍的计算复杂性。 理论计算。 系统。 49 ( 1 ) : 139-161 ( 2011 ) 2009 【j4】 费利克斯·勃兰特 , 马库斯·布里尔 , 费利克斯·A·菲舍尔 , 保罗·哈伦斯坦 , 扬·霍夫曼 :
计算Shapley的鞍座。 SIGecom交易所。 8 ( 2 ) : 三 ( 2009 ) [j3] 扬·霍夫曼 :
在分辨率证明中找到树结构是NP完成的。 西奥。 计算。 科学。 410 ( 21-23 ) : 2295-2300 ( 2009 ) 2008 [注2] 塞缪尔·巴斯 , 扬·霍夫曼 , 简·约翰森 :
带引理的解析树:用子句学习表征DLL算法的解析优化。 日志。 方法计算。 科学。 4 ( 4 ) ( 2008 ) [j1] 塞缪尔·巴斯 , 扬·霍夫曼 :
找到正则分辨率的有向非循环图的NP-hardness。 西奥。 计算。 科学。 396 ( 1-3 ) : 271-276 ( 2008 )
会议和研讨会文件
2023 [c33] 杰西·格罗森 , 大卫·M·卡恩 , 扬·霍夫曼 :
具有常规递归类型的自动摊销资源分析。 低收入国家 2023 : 1-14 2021 [公元32年] Ankush Das公司 , 斯蒂芬妮·巴尔泽 , 扬·霍夫曼 , 弗兰克·普芬宁 , 伊沙尼·桑图卡尔 :
数字合同的资源软件会话类型。 脑脊液 2021 : 1-16 [公元31年] 长Pham , 扬·霍夫曼 :
多项式自动摊销资源分析的可键入片段。 CSL公司 2021 : 34:1-34:19 [公元30年] 狄王 , 扬·霍夫曼 , Thomas W.代表 :
概率程序中成本累加器的中心矩分析。 PLDI公司 2021 : 559-573 [公元29年] 狄王 , 扬·霍夫曼 , 托马斯·W·代表 :
通过引导类型进行可靠的概率推断。 PLDI公司 2021 : 788-803 2020 [公元28年] 大卫·M·卡恩 , 扬·霍夫曼 :
指数自动摊销资源分析。 FoSSaCS公司 2020 : 359-380 2019 [公元27年] 特里斯坦·诺思 , 狄王 , 纳迪娅·波里卡波娃 , 扬·霍夫曼 :
资源引导的程序合成。 PLDI公司 2019 : 253-268 [公元26年] 狄王 , 扬·霍夫曼 , 托马斯·W·代表 :
具有非确定性的低水平概率程序的表示语义。 MFPS公司 2019 : 303-324 2018 [公元25年] Ankush Das公司 , 扬·霍夫曼 , 弗兰克·普芬宁 :
使用资源软件会话类型进行工作分析。 低收入国家 2018 : 305-314 [公元24年] 岳牛 , 扬·霍夫曼 :
带垃圾收集功能程序的自动空间限制分析。 LPAR公司 2018 : 543-563 【c23】 Van Chan Ngo先生 , 昆汀碳纤维 , 扬·霍夫曼 :
有限期望:概率程序的资源分析。 PLDI公司 2018 : 496-512 [公元22年] 狄王 , 扬·霍夫曼 , 托马斯·W·代表 :
PMAF:概率程序静态分析的代数框架。 PLDI公司 2018 : 513-528 2017 【c21】 昆汀碳纤维 , 扬·霍夫曼 , 托马斯·W·代表 , 钟绍 :
具有Coq证明对象的自动资源分析。 CAV(2) 2017 : 64-85 [公元20年] 埃兹吉切克 , 吉尔斯·巴特 , 马可·加博阿迪 , Deepak Garg公司 , 扬·霍夫曼 :
关系成本分析。 POPL公司 2017 : 316-329 [第19条] 扬·霍夫曼 , Ankush Das公司 , Shu-Chun翁 :
面向OCaml的自动资源边界分析。 POPL公司 2017 : 359-373 [第18条] 本杰明·利希特曼 , 扬·霍夫曼 :
资源感知ML中的数组和引用。 金融稳定与发展部 2017 : 26:1-26:20 [第17条] Van Chan Ngo先生 , 马里奥·德埃萨·阿佐拉 , 马修·弗雷德里克森 , 扬·霍夫曼 :
验证和综合具有类型的常量资源实现。 IEEE安全与隐私研讨会 2017 : 710-728 [第16条] Ankush Das公司 , 扬·霍夫曼 :
ML for ML:通过实验学习成本语义。 TACAS(1) 2017 : 190-207 2015 [第15条] 扬·霍夫曼 , 钟绍 :
并行程序的自动静态成本分析。 员工持股计划 2015 : 132-157 [第14条] 昆汀碳纤维 , 扬·霍夫曼 , 钟绍 :
成分认证的资源边界。 PLDI公司 2015 : 467-478 2014 [第13条] 扬·霍夫曼 , 钟绍 :
基于类型的整数和数组摊销资源分析。 FLOPS(浮动) 2014 : 152-168 [第12条] 昆汀碳纤维 , 扬·霍夫曼 , 塔希娜·拉马南安德罗 , 钟绍 :
C程序堆栈空间边界的端到端验证。 PLDI公司 2014 : 270-281 2013 [第11条] 梁洪进 , 扬·霍夫曼 , 新余峰 , 钟绍 :
通过上下文细化表征并发对象的进程属性。 CONCUR公司 2013 : 227-241 [第10条] 扬·霍夫曼 , 迈克尔·马尔马 , 钟绍 :
证明锁自由的定量推理。 低收入国家 2013 : 124-133 【c9】 加布里埃尔·谢勒 , 扬·霍夫曼 :
使用开放闭包类型跟踪数据流。 LPAR公司 2013 : 710-726 2012 【c8】 扬·霍夫曼 , 克劳斯·埃利格 , 马丁·霍夫曼 :
资源感知ML。 CAV汽车 2012 : 781-786 【c7】 内拉坎坦·R·克里希纳斯瓦米 , 尼克·本顿 , 扬·霍夫曼 :
有界空间中的高阶函数反应规划。 POPL公司 2012 : 45-58 2011 【c6】 扬·霍夫曼 , 克劳斯·埃利格 , 马丁·霍夫曼 :
多元摊销资源分析。 POPL公司 2011 : 357-370 2010 【c5】 扬·霍夫曼 , 马丁·霍夫曼 :
基于多态递归和部分大步操作语义的摊销资源分析。 阿普拉斯 2010 : 172-187 【c4】 多萝西娅·鲍迈斯特 , 费利克斯·勃兰特 , 费利克斯·A·菲舍尔 , 扬·霍夫曼 , 约格·罗特 :
计算最小单向覆盖集的复杂性。 CIAC公司 2010 : 299-310 【c3】 扬·霍夫曼 :
函数程序资源消耗的自动摊销分析。 AlgoSyn公司 2010 : 151 【c2】 扬·霍夫曼 , 马丁·霍夫曼 :
具有多项式潜力的摊销资源分析。 员工持股计划 2010 : 287-306 2009 【c1】 费利克斯·勃兰特 , 马库斯·布里尔 , 费利克斯·A·菲舍尔 , 扬·霍夫曼 :
弱鞍的计算复杂性。 SAGT公司 2009 : 238-249
非正式出版物和其他出版物
2023 【i21】 杰西·格罗森 , 大卫·M·卡恩 , 扬·霍夫曼 :
具有常规递归类型的自动摊销资源分析。 CoRR公司 abs/2304.13627 ( 2023 ) [i20] 长Pham , 扬·霍夫曼 :
非单调资源度量下并发程序的最坏情况输入生成。 CoRR公司 abs/2309.01261 ( 2023 ) 2021 [i19] 狄王 , 扬·霍夫曼 , 托马斯·W·代表 :
概率程序的期望成本分析和可选停止定理的语义级调整。 CoRR公司 abs/2103.16105 ( 2021 ) [i18] 狄王 , 扬·霍夫曼 , 托马斯·W·代表 :
通过引导类型进行声音概率推断。 CoRR公司 abs/2104.03598 ( 2021 ) [i17] 大卫·M·卡恩 , 扬·霍夫曼 :
用量子物理学家的方法进行自动摊销资源分析。 CoRR公司 abs/2106.13936 ( 2021 ) 2020 [i16] 狄王 , 扬·霍夫曼 , 托马斯·W·代表 :
通过中心矩进行概率程序的尾界分析。 CoRR公司 abs/2001.10150 ( 2020 ) 【i15】 大卫·M·卡恩 , 扬·霍夫曼 :
指数摊销资源分析。 CoRR公司 abs/2002.09519 ( 2020 ) [第14条] 狄王 , 大卫·M·卡恩 , 扬·霍夫曼 :
提高预期:使用类型自动进行预期成本分析。 CoRR公司 abs/2006.14010 ( 2020 ) [i13] 特里斯坦·诺思 , 狄王 , 亚当·雷诺兹 , 扬·霍夫曼 , 纳迪娅·波里卡波娃 :
流动资源类型。 CoRR公司 abs/2006.16233 ( 2020 ) [i12] 长Pham , 扬·霍夫曼 :
多项式自动摊销资源分析的可键入片段。 CoRR公司 abs/2010.16353 ( 2020 ) [i11] Ankush Das公司 , 狄王 , 扬·霍夫曼 :
概率资源软件会话类型。 CoRR公司 abs/2011.09037 ( 2020 ) 2019 [i10] Ankush Das公司 , 斯蒂芬妮·巴尔泽 , 扬·霍夫曼 , 弗兰克·普芬宁 :
数字合同的资源软件会话类型。 CoRR公司 abs/1902.06056 ( 2019 ) [第九章] 特里斯坦·诺思 , 狄王 , 纳迪娅·波里卡波娃 , 扬·霍夫曼 :
资源引导程序综合。 CoRR公司 abs/1904.07415 ( 2019 ) 2018 [i8] Van Chan Ngo先生 , 马里奥·德埃萨·阿佐拉 , 马修·弗雷德里克森 , 扬·霍夫曼 :
使用类型验证和合成常量资源实现。 CoRR公司 abs/1801.01896 ( 2018 ) [i7] Ankush Das公司 , 扬·霍夫曼 , 弗兰克·普芬宁 :
基于时间会话类型的并行复杂性分析。 CoRR公司 abs/1804.06013 ( 2018 ) 2017 [i6] Van Chan Ngo先生 , 昆汀碳纤维 , 扬·霍夫曼 :
有限期望:概率程序的资源分析。 CoRR公司 腹肌/1711.08847 ( 2017 ) [i5] Ankush Das公司 , 扬·霍夫曼 , 弗兰克·普芬宁 :
使用资源软件会话类型进行工作分析。 CoRR公司 abs/1712.08310 ( 2017 ) [i4] 马尔科·加博阿迪 , 扬·霍夫曼 , 莱因哈德·威廉姆 , 弗洛里安·祖勒格 :
资源约束分析(Dagstuhl研讨会17291)。 达格斯图尔报告 7 ( 7 ) : 72-87 ( 2017 ) 2016 [i3] 扬·霍夫曼 , Ankush Das公司 , Shu-Chun翁 :
面向OCaml的自动资源约束分析。 CoRR公司 abs/1611.00692 ( 2016 ) 2013 [i2] 加布里埃尔·谢勒 , 扬·霍夫曼 :
使用开放闭包类型跟踪数据流。 CoRR公司 abs/1312.0018 ( 2013 ) 2008 [i1] 塞缪尔·巴斯 , 扬·霍夫曼 , 简·约翰森 :
带引理的分辨率树:用子句学习表征DLL算法的分辨率精化。 CoRR公司 abs/0811.1075 ( 2008 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)