HAFDAL 24号车间

实际部署物联网（Internet-of-Things，IoT）的一个主要挑战是如何开发所需的高质量代码，以生产健壮且安全的物联网设备。在其他领域，高级编程语言已被证明是实现这一目标的有效工具。然而，物联网设备提供的计算能力非常有限，因此很难将相同的方法应用于物联网设备。头足类处理器试图实现一种低功耗硬件设备，直接用于运行高级功能语言。通过将垃圾收集、任意精度算法、进程管理和调度等许多资源繁重的任务集成到专用硬件中，头孢泊德处理器探索了即使在低功耗物联网设备上也可以使用高级功能语言的假设。

演讲将概述头足类项目，包括输入语言、编译器、处理器体系结构、我们为设计处理器而创建的工具环境，以及关于该方法实用性的一些早期结果。

当在量子计算机上运行量子电路时，我们要处理的是一个功能与经典世界截然不同的世界它们是生成的。例如，著名的“无克隆定理”意味着无法复制任意值。如果这些差异不是值得尊敬的是，它可能会导致非常昂贵的运行时错误。

在这次演讲中，我将介绍BRAT：一种用于编写交错量子和经典执行的程序，以及量子资源限制由类型系统执行。此外，谢谢，这两个世界的程序通过合成语法结合在一起它们对单体结构的亲和力。

本演讲回顾了ISMM 2020上发表的工作OCaml中典型的语言特性和数据结构是如何结合起来的具有有趣的内存系统性能影响，导致不同从命令到硬件和软件的优化策略语言。我将讨论软件的独特设计模式可以用来缓解这些问题的预取，不同的原因现代微体系结构堆栈的某些部分对代码的反应异常随着成功程度的不同以及下一代硬件和软件的前进方向。

本次演讲介绍了PipelineC，这是一个介于传统寄存器传输语言（RTL）和高级综合（HLS）。PipelineC旨在使领域专家能够使用使用类C语法的基本编程技能。主要功能包括：定时来自自动驱动的合成和放置布线（PnR）工具的反馈组合逻辑的流水线化，以及导出的有限状态机和用于组合复杂设计的全局点到点导线/时钟交叉前馈数据流函数调用语法之外。

Clash是一种功能性硬件描述语言，但它也只是一种常规Haskell库与类型和函数定义的组合电路设计和将Haskell程序转换为数字的编译器电路。

有很多方法可以将Haskell程序解释为电路描述，其中Clash项目选择一个特定的项目。甚至更广泛地，Clash项目是“使用功能性/声明性语言”。本次演讲将探讨其中的一些选项，冲突方法与他们的比较：什么对冲突和其他选项最有可能更好的方面是什么。

通用函数语言的实现主要针对CPU。尽管它们的高级执行之间存在语义差异，但仍选择了此选项模型和CPU程序集。与此同时，FPGA的进步继续改善密度习俗为广大观众提供硬件资源。我们认为这是一个重新调查的呼吁硬件函数语言的实现。我们推出了“Heron”，一种用于纯、非严格函数语言。这篇演讲重述了Heron的还原核心，比较了它的各种库存CPU实现的性能，并显示工作它的并发硬件垃圾收集器。

构建您的第一个硅原型可能是一项重大的工作。有在挂毯截止日期之前，你总是可以做更多的工作，从而保持平衡风险与机遇并存是关键。通过利用开源基础设施（在我们的团队案例，OpenPiton），并做出长期决策，您可以使用增加功能。在这次演讲中，我将分享我们团队在设计端（而非后端），可以使磁带化更容易实现。