课题基金 / 基金详情

Capabilities for Coders

Capabilities for Coders
编码员的能力
批准号:
EP/X015831/1
负责人:
Jeremy Singer
金额:
$13.1万
依托单位:
依托单位国家:
英国
项目类别:
Research Grant
财政年份:
2022
资助国家:
英国
项目状态:
已结题
起止时间:
2022 至 --
关键词:

项目摘要

项目成果

Jeremy Singer的其他基金

相似基金

相关文献

中文摘要
翻译
“程序员的能力”项目包括为系统开发人员创建和管理一组免费可用的Morello编码资源。标准的开发人员行为包括通过在线论坛(如StackOverflow)和网络教程(如W3Schools)进行交互式搜索。目前还没有针对Arm Morello系统的相关目标资源,而且很少有网站以开发人员友好的方式介绍CHERI概念。这个项目将为Morello编程建立一个一站式商店,以一种开放获取的在线互动教科书的形式,名为“编程能力”。这将是编程语言书籍的最佳传统——由程序员为程序员编写。这个学习资源的独特吸引力在于包含了大量的开源代码模板和片段,有效地为用C和c++编写的Morello应用程序提供了一个可重用的软件样本库,必要时使用汇编代码。教科书和随附的代码示例将有助于丰富对当前和不断发展的Morello堆栈的理解,为该领域的现有开发人员和新来者提供支持。因为学习资源是在线托管的,所以保持它们的更新是很简单的(不像纸质教科书)。由于学习资源将使用github平台开发,因此任何用户都可以提交更正和更改请求。随着Morello技术的不断发展,这将确保项目的持续相关性。项目成果将在网上免费开放获取。没有注册要求或付费墙。该网站将被所有主要搜索引擎编入索引。这些资源将是明确的、全球可见的和易于获得的。这些资源将为Morello开发者生态系统提供直接、即时的好处。在这个阶段,不可能给出在线教科书的完整目录。然而,广泛涉及的主题将包括:在系统代码中激发对内存安全的需求,内存安全的硬件功能,在现代系统软件中激发分区,分区的硬件功能,将遗留应用程序移植到Morello,调试基于功能的代码,基于功能的代码的性能工程,以及未来的方向。每个主题都将伴随着广泛的开源代码示例来说明各种概念。这些软件示例将很容易被开发人员在他们自己的代码项目中重用。此外,“编程能力”项目将通过在StackOverflow上发布相关答案和制作播客系列来服务社区。
英文摘要
The 'Capabilities for Coders' project involves the creation and curation of a set of freely available Morello coding resources for system developers. Standard developer behaviour involves interactive searching through online forums like StackOverflow and web tutorials like W3Schools. Currently there are no relevant targeted resources available for the Arm Morello system, and very few sites covering CHERI concepts in a developer-friendly style. This project will set up a one-stop shop for Morello programming, in the form of an open-access, online, interactive textbook called 'Capabilities for Coders'. This will be in the best tradition of programming language books - written by coders for coders. The unique appeal of this learning resource will be the inclusion of a large set of open-source code templates and fragments, effectively a library of reusable software samples for Morello applications written in C and C++ with assembler code where necessary.The textbook and accompanying code samples will serve to enrich understanding of the current and evolving Morello stacks, providing support for existing developers and new arrivals in this domain. Because the learning resources are hosted online, it will be straightforward to keep them up-to-date (unlike hardcopy textbooks). Because the learning resources will be developed using the github platform, any user will be able to submit corrections and change requests. This will ensure the ongoing relevance of the project as the Morello technology evolves over time.The project outputs will be open-access and freely available online. There will be no registration requirement or paywall. The site will be indexed by all major search engines. The resources will be clear, globally visible and highly accessible. These resources will provide direct, immediate benefit to the Morello ecosystem of developers.At this stage, it is not possible to give a full table of contents for the online textbook. However, topics broadly covered will include: motivating the need for memory safety in systems code, hardware capabilities for memory safety, motivating compartmentalization in modern systems software, hardware capabilities for compartments, porting legacy applications to Morello, debugging capability-based code, performance engineering for capability-based code, and future directions. Each topic will be accompanied by an extensive range of open-source code examples to illustrate the various concepts. These software samples will be easily reusable by developers in their own code projects.Additionally, the 'Capabilities for Coders' project will serve the community by posting relevant answers on StackOverflow and producing a podcast series.
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
Morello MicroPython: A Python Interpreter for CHERI
Morello MicroPython:CHERI 的 Python 解释器
DOI: 10.1145/3617651.3622991
发表时间: 2023
期刊:
影响因子: --
作者: [Lowther D]
通讯作者: Lowther D
CHERI Performance Enhancement for a Bytecode Interpreter
字节码解释器的 CHERI 性能增强
DOI: 10.1145/3623507.3623552
发表时间: 2023
期刊:
影响因子: --
作者: [Lowther D]
通讯作者: Lowther D
Boehm-Demers-Weiser Garbage Collection on Morello
莫雷洛的 Boehm-Demers-Weiser 垃圾收集
DOI: 10.1145/3546918.3560808
发表时间: 2022
期刊:
影响因子: --
作者: [Jacob D]
通讯作者: Jacob D
Picking a CHERI Allocator: Security and Performance Considerations
选择 CHERI 分配器:安全性和性能考虑因素
DOI: 10.1145/3591195.3595278
发表时间: 2023
期刊:
影响因子: --
作者: [Bramley J]
通讯作者: Bramley J
M4Secure: Making Memory Management More Secure
  • 批准号:
    EP/X037525/1
  • 项目类别:
    Research Grant
  • 资助金额:
    $58.34万
  • 财政年份:
    2023
  • 负责人:
    Jeremy Singer
  • 依托单位:
Capable VMs
  • 批准号:
    EP/V000349/1
  • 项目类别:
    Research Grant
  • 资助金额:
    $59.8万
  • 财政年份:
    2020
  • 负责人:
    Jeremy Singer
  • 依托单位:
FRuIT: The Federated RaspberryPi Micro-Infrastructure Testbed
  • 批准号:
    EP/P004024/1
  • 项目类别:
    Research Grant
  • 资助金额:
    $115.89万
  • 财政年份:
    2017
  • 负责人:
    Jeremy Singer
  • 依托单位:
Manycore Research Innovation and Opportunities Network (MaRIONet)
  • 批准号:
    EP/P006434/1
  • 项目类别:
    Research Grant
  • 资助金额:
    $11.67万
  • 财政年份:
    2016
  • 负责人:
    Jeremy Singer
  • 依托单位:
海外基金