Generation and verification of compiler optimizers using temporal logic and high-level SSA form optimization considering aliases

使用时态逻辑和考虑别名的高级 SSA 形式优化来生成和验证编译器优化器

基本信息

  • 批准号:
    19300006
  • 负责人:
  • 金额:
    $ 12.06万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
  • 财政年份:
    2007
  • 资助国家:
    日本
  • 起止时间:
    2007 至 2009
  • 项目状态:
    已结题

项目摘要

We made a generator of compiler optimizers using temporal logic. This showed the efficiency of the generated optimizer, that was previously considered unpractical, approaches the hand-made one. We also developed and implemented a method that verifies the correctness of compiler optimizers using temporal logic. The system reports bugs by model checking. On the other hand, we extended the partial redundancy elimination, which can remove expressions executed on only some paths, for speculatively hoisting expressions out of loops using a demand-driven property. We conducted experiments to evaluate our method, so that we showed that it is less costly and generates more efficient code than previous works.
我们使用时态逻辑制作了一个编译器优化器生成器。这表明以前被认为不实用的生成优化器的效率接近手工制作的优化器。我们还开发并实现了一种使用时态逻辑验证编译器优化器正确性的方法。系统通过模型检查报告bug。另一方面,我们扩展了部分冗余消除,它可以删除仅在某些路径上执行的表达式,以便使用需求驱动的属性推测地将表达式提升到循环之外。我们进行了实验来评估我们的方法,因此我们表明它比以前的工作成本更低,并且生成更有效的代码。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
要求駆動型部分無用コード除去
请求驱动的部分无用代码消除
時相論理CTL*を用いたJAVA最適化器の生成の試み
尝试使用时序逻辑 CTL* 生成 JAVA 优化器
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    藤原一貴;佐々政孝
  • 通讯作者:
    佐々政孝
静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法
一种在静态单赋值形式上实现正则形式部分冗余去除的通用方法
双方向CTLによるJava最適化器の生成
使用双向 CTL 生成 Java 优化器
質問伝播に基づく要求駆動型大域値番号付け
基于问题传播的请求驱动的全局值编号
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    滝本宗宏;佐々政孝
  • 通讯作者:
    佐々政孝
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ 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 }}

SASSA Masataka其他文献

SASSA Masataka的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('SASSA Masataka', 18)}}的其他基金

Generation and verification of COINS compiler optimizers using temporal logic and high-level extensions of optimizers
使用时序逻辑和优化器的高级扩展生成和验证 COINS 编译器优化器
  • 批准号:
    22300007
  • 财政年份:
    2010
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
New methods for translation and optimization using SSA form in compilers and their validation systems
在编译器及其验证系统中使用 SSA 形式进行翻译和优化的新方法
  • 批准号:
    16500016
  • 财政年份:
    2004
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Optimizations for advanced architectures using compiler infrastructures
使用编译器基础架构优化高级架构
  • 批准号:
    13680399
  • 财政年份:
    2001
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Compilers for newest architectures using the SSA form intermediate language
使用 SSA 形式中间语言的最新架构编译器
  • 批准号:
    11680347
  • 财政年份:
    1999
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Integrated Programming Language Processor Generator with Algorithm Animation
具有算法动画的集成编程语言处理器生成器
  • 批准号:
    08458065
  • 财政年份:
    1996
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Development of Free Software for Practical Compiler Generator Based on Attribute Grammars
基于属性文法的实用编译生成器免费软件的开发
  • 批准号:
    05558028
  • 财政年份:
    1994
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Grant-in-Aid for Developmental Scientific Research (B)
Testing and Error Detection for Formal Specification of Programming Languages and their Translation
编程语言及其翻译的形式规范的测试和错误检测
  • 批准号:
    05680269
  • 财政年份:
    1993
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
Automatic Generation of an Integrated Programming Environment Based on Attribute Grammar Model
基于属性语法模型的集成编程环境自动生成
  • 批准号:
    03680023
  • 财政年份:
    1991
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)

相似海外基金

Establishment of a Novel Optimizer in Variational Quantum Eigensolver by Applying Evolutionary Computation
应用进化计算建立变分量子本征求解器的新型优化器
  • 批准号:
    23K11220
  • 财政年份:
    2023
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
A photovoltaic micro power-optimizer with integrated energy storage for data centers
用于数据中心的具有集成储能功能​​的光伏微功率优化器
  • 批准号:
    553706-2020
  • 财政年份:
    2022
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Alliance Grants
SBIR Phase II: A robust production scheduling optimizer for aerospace manufacturers
SBIR 第二阶段:为航空航天制造商提供强大的生产调度优化器
  • 批准号:
    2208742
  • 财政年份:
    2022
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Cooperative Agreement
SBIR Phase I: OptimizerAero - A robust production scheduling optimizer for aerospace manufacturers
SBIR 第一阶段:OptimizerAero - 面向航空航天制造商的强大生产调度优化器
  • 批准号:
    2036546
  • 财政年份:
    2021
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Standard Grant
A photovoltaic micro power-optimizer with integrated energy storage for data centers
用于数据中心的具有集成储能功能​​的光伏微功率优化器
  • 批准号:
    553706-2020
  • 财政年份:
    2021
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Alliance Grants
Construction soil sustainability optimizer
建筑土壤可持续性优化器
  • 批准号:
    81084
  • 财政年份:
    2020
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Small Business Research Initiative
Combinatorial Optimizer Based on Deep Reinforcement Learning
基于深度强化学习的组合优化器
  • 批准号:
    20K11988
  • 财政年份:
    2020
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
A photovoltaic micro power-optimizer with integrated energy storage for data centers
用于数据中心的具有集成储能功能​​的光伏微功率优化器
  • 批准号:
    553706-2020
  • 财政年份:
    2020
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Alliance Grants
CNN compaction based on Neuro-Coding/Unification
基于神经编码/统一的 CNN 压缩
  • 批准号:
    19K12020
  • 财政年份:
    2019
  • 资助金额:
    $ 12.06万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
A Solar DC-Optimizer for residential applications
适用于住宅应用的太阳能直流优化器
  • 批准号:
    525985-2018
  • 财政年份:
    2018
  • 资助金额:
    $ 12.06万
  • 项目类别:
    University Undergraduate Student Research Awards
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了