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.
我们使用时序逻辑制作了一个编译器优化器生成器。这表明生成的优化器的效率,以前被认为是不切实际的,接近手工制作的。我们还开发和实现了一种方法,使用时序逻辑验证编译器优化器的正确性。系统通过模型检查报告错误。另一方面,我们扩展了部分冗余消除,它可以删除只在某些路径上执行的表达式,用于使用需求驱动的属性将表达式推测性地提升出循环。我们进行了实验,以评估我们的方法,使我们表明,它是成本较低,并产生更有效的代码比以前的作品。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法
一种在静态单赋值形式上实现正则形式部分冗余去除的通用方法
- 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)