Verifying concurrent algorithms on Weak Memory Models

验证弱内存模型上的并发算法

基本信息

  • 批准号：
    EP/M017176/1
  • 负责人：
    Scott Owens
  • 金额：
    $ 36.44万
  • 依托单位：
    University of Kent
  • 依托单位国家：
    英国
  • 项目类别：
    Research Grant
  • 财政年份：
    2015
  • 资助国家：
    英国
  • 起止时间：
    2015 至 无数据
  • 项目状态：
    已结题

项目摘要

Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
目前，所有资助研究的摘要都不能在GTR中找到。这通常是因为在提交提案时并不需要摘要，但可能是因为它包含了个人详细信息等敏感信息。

项目成果

期刊论文数量（4）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Transactional Sapphire Lessons in High-Performance, On-the-fly Garbage Collection
高性能、动态垃圾收集中的事务性蓝宝石课程
Benchmarking weak memory models
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Scott Owens其他文献

Cakes That Bake Cakes: Dynamic Computation in CakeML
烘焙蛋糕的蛋糕：CakeML 中的动态计算
  • DOI：
    10.1145/3591266
  • 发表时间：
    2023
  • 期刊：
    Proceedings of the ACM on Programming Languages
  • 影响因子：
    0
  • 作者：
    Thomas Sewell;Magnus O. Myreen;Yong Kiam Tan;Ramana Kumar;Alexander Mihajlovic;Oskar Abrahamsson;Scott Owens
  • 通讯作者：
    Scott Owens
A verified type system for CakeML
CakeML 的经过验证的类型系统
Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic
高阶逻辑子集的证明生成编译器的结构
Lem
莱姆
  • DOI：
    10.1145/2692915.2628143
  • 发表时间：
    2014
  • 期刊：
    ACM SIGPLAN Notices
  • 影响因子：
    0
  • 作者：
    Dominic P. Mulligan;Scott Owens;Kathryn E. Gray;T. Ridge;Peter Sewell
  • 通讯作者：
    Peter Sewell
A Better x86 Memory Model: x86-TSO (Extended Version)
更好的 x86 内存模型：x86-TSO（扩展版本）
  • DOI：
  • 发表时间：
    2009
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Scott Owens;Susmit Sarkar;Peter Sewell
  • 通讯作者：
    Peter Sewell

Scott Owens的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Scott Owens', 18)}}的其他基金

Verifiably Correct Transactional Memory
可验证正确的事务内存
  • 批准号：
    EP/R032971/1
  • 财政年份：
    2018
  • 资助金额：
    $ 36.44万
  • 项目类别：
    Research Grant
Relaxed Memory Model Design for Theory and Practice
理论与实践的松弛记忆模型设计
  • 批准号：
    EP/K040561/1
  • 财政年份：
    2014
  • 资助金额：
    $ 36.44万
  • 项目类别：
    Research Grant

相似国自然基金

VLSI并发式(CONCURRENT)阵列声纳信号处理系统
  • 批准号：
    68880207
  • 批准年份：
    1988
  • 资助金额：
    3.0 万元
  • 项目类别：
    专项基金项目

相似海外基金

Robotically-actuated, low-noise, concurrent TMS-EEG-fMRI system
机器人驱动、低噪声、并发 TMS-EEG-fMRI 系统
  • 批准号：
    10286708
  • 财政年份：
    2021
  • 资助金额：
    $ 36.44万
  • 项目类别：
Robotically-actuated, low-noise, concurrent TMS-EEG-fMRI system
机器人驱动、低噪声、并发 TMS-EEG-fMRI 系统
  • 批准号：
    10435560
  • 财政年份：
    2021
  • 资助金额：
    $ 36.44万
  • 项目类别：
Robotically-actuated, low-noise, concurrent TMS-EEG-fMRI system
机器人驱动、低噪声、并发 TMS-EEG-fMRI 系统
  • 批准号：
    10614611
  • 财政年份：
    2021
  • 资助金额：
    $ 36.44万
  • 项目类别：
Parallel and Concurrent Algorithms
并行和并发算法
  • 批准号：
    516835-2018
  • 财政年份：
    2020
  • 资助金额：
    $ 36.44万
  • 项目类别：
    Postgraduate Scholarships - Doctoral
Parallel and Concurrent Algorithms
并行和并发算法
  • 批准号：
    516835-2018
  • 财政年份：
    2019
  • 资助金额：
    $ 36.44万
  • 项目类别：
    Postgraduate Scholarships - Doctoral
Design and Development of Concurrent a visualization tool for concurrent algorithms
并发算法可视化工具Concurrent的设计与开发
  • 批准号：
    524271-2018
  • 财政年份：
    2018
  • 资助金额：
    $ 36.44万
  • 项目类别：
    University Undergraduate Student Research Awards
Parallel and Concurrent Algorithms
并行和并发算法
  • 批准号：
    516835-2018
  • 财政年份：
    2018
  • 资助金额：
    $ 36.44万
  • 项目类别：
    Postgraduate Scholarships - Doctoral
Developing a visualisation tool for concurrent algorithms
开发并发算法的可视化工具
  • 批准号：
    509407-2017
  • 财政年份：
    2017
  • 资助金额：
    $ 36.44万
  • 项目类别：
    University Undergraduate Student Research Awards
Verifying concurrent algorithms on Weak Memory Models
验证弱内存模型上的并发算法
  • 批准号：
    EP/M017044/1
  • 财政年份：
    2015
  • 资助金额：
    $ 36.44万
  • 项目类别：
    Research Grant
Verifying Concurrent Lock-free Algorithms
验证并发无锁算法
  • 批准号：
    EP/J003727/1
  • 财政年份：
    2012
  • 资助金额：
    $ 36.44万
  • 项目类别：
    Research Grant
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了