NYI: Constraint-Based Program Analysis

NYI：基于约束的程序分析

基本信息

批准号：
9457812
负责人：
Alexander Aiken
金额：
$ 31.25万
依托单位：
University of California-Berkeley
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1994
资助国家：
美国
起止时间：
1994-09-15 至 2000-08-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9457812&HistoricalAwards=false
关键词：
NYI Constraint Based Program Analysis

项目摘要

In this project the work is focused on the design and implementation of advanced set constraint based program analysis algorithms, and their application to program optimization for a wide variety of programming languages. The basic theory, key algorithms, implementation techniques, and applications of the areas are simultaneously explored. Within the teaching plan, the constraint-based program analysis system is further developed and disseminated in support of the graduate programs. Work at the undergraduate level focuses on preparing students to work in the software industry.

在该项目中，工作重点是基于高级设置的程序分析算法的设计和实施，以及它们针对各种编程语言的程序优化的应用。同时探索了基本理论，关键算法，实现技术和应用程序的应用。在教学计划中，基于约束的计划分析系统得到了进一步的开发和传播，以支持研究生计划。在本科生的工作重点是让学生在软件行业工作。

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

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

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

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

Alexander Aiken其他文献

DataSplash: A Direct Manipulation Environment for Programming Semantic Zoom Visualizations of Tabular Data

DataSplash：用于对表格数据的语义缩放可视化进行编程的直接操作环境

DOI：
10.1006/jvlc.2001.0219
发表时间：
2001
期刊：
J. Vis. Lang. Comput.
影响因子：
0
作者：
Allison Woodruff;Christopher Olston;Alexander Aiken;Michael Chu;V. Ercegovac;Mark Lin;Mybrid Spalding;Michael Stonebraker
通讯作者：
Michael Stonebraker

The Imported Fever Service; a UK-wide system for improved management and diagnosis of fever in returned travellers

DOI：
10.1016/j.jinf.2013.07.012
发表时间：
2013-10-01
期刊：
Conference abstract
影响因子：
作者：
Alexander Aiken;Jonathan Lambourne;Amanda Semper;Meera Chand;Jane Osborne;Behzad Nadjm;Catherine Roberts;Katherine Russell;Surabhi Taori;Malur Sudhanva;Peter Chiodini;Nick Beeching;Tim Brooks
通讯作者：
Tim Brooks

VIQING: visual interactive querying

VIQING：可视化交互式查询

DOI：
10.1109/vl.1998.706159
发表时间：
1998
期刊：
Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254)
影响因子：
0
作者：
Christopher Olston;Michael Stonebraker;Alexander Aiken;J. M. Hellerstein
通讯作者：
J. M. Hellerstein

CommBench: Micro-Benchmarking Hierarchical Networks with Multi-GPU, Multi-NIC Nodes

CommBench：使用多 GPU、多 NIC 节点对分层网络进行微基准测试

DOI：
发表时间：
2024
期刊：
International Conference on Supercomputing
影响因子：
0
作者：
Mert Hidayetoğlu;Simon Garcia De Gonzalo;Elliott Slaughter;Yu Li;Christopher Zimmer;Tekin Bicer;Bin Ren;William Gropp;Wen;Alexander Aiken
通讯作者：
Alexander Aiken