Presidential Young Investigator Award: Computer Science (Software)
Presidential Young Investigator Award: Computer Science (Software)
批准号:
8858029
负责人:
Gail Kaiser
金额:
$31.2万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1988
资助国家:
美国
项目状态:
已结题
起止时间:
1988-10-01 至 1994-09-30
中文摘要
该研究员的主要研究兴趣是开发工具, 构建大规模分布式系统。 这导致工作 分布式算法和并发编程语言以及 编程环境。 目前,四个研究项目 正在进行中 MERCURY是一个基于多用户语言的编辑器,用户可以 同时编辑同一个程序,使用同一台机器或 分布在网络上;目前的研究重点是开发 支持版本和配置控制的算法。 MELD,a 并发程序设计语言,结合了面向对象和数据流 编程;当前的研究涉及添加事务处理 设施 MARVEL是基于知识的工程体系结构 支持计算机化工具的受控自动化的环境; 目前的工作考虑数据库对长期事务的支持。 INFUSE是一个“城市模型”软件开发环境, 程序员通过变更的分层集成进行合作; 当前的研究集中于对集成测试的支持。
英文摘要
This investigator's primary research interest is developing tools for building large scale distributed systems. This leads to work on distributed algorithms and concurrent programming languages as well as on programming environments. Currently four research projects are underway. MERCURY is a multiple-user language.based editor, where users may simultaneously edit the same program, using the same machine or distributed across a network; current research focuses on developing algorithms to support version and configuration control. MELD, a concurrent programming language, combines object-oriented and data flow programming; current research involves adding transaction processing facilities. MARVEL is an architecture for knowledged-based engineering environments that support controlled automation of computerized tools; current work considers database support for long-lived transactions. INFUSE is a 'city model' software development environment that enforces cooperation of programmers via hierarchical integration of changes; current research focuses on support for integration testing.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SaTC: CORE: Medium: Cannot Trust Anything: A Tiny TCB Architecture for Secure Containers
-
批准号:2247370
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2023
-
负责人:Gail Kaiser
-
依托单位:
SHF: Small: Preponderance of the Evidence for Behavioral Code Similarities
-
批准号:1815494
-
项目类别:Standard Grant
-
资助金额:$49.66万
-
财政年份:2018
-
负责人:Gail Kaiser
-
依托单位:
TWC: Medium: Toward Trustworthy Mutable Replay for Security Patches
-
批准号:1563555
-
项目类别:Standard Grant
-
资助金额:$120.0万
-
财政年份:2016
-
负责人:Gail Kaiser
-
依托单位:
SHF: MEDIUM: Achieving Software Reliability without True Test Oracles
-
批准号:1161079
-
项目类别:Continuing Grant
-
资助金额:$89.46万
-
财政年份:2012
-
负责人:Gail Kaiser
-
依托单位:
CSR---VCM: Autonomic Mechanisms for Reducing System Downtime due to Maintenance and Upgrades
-
批准号:0717544
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Gail Kaiser
-
依托单位:
Smart Event Models and Architectures
-
批准号:0203876
-
项目类别:Continuing Grant
-
资助金额:$27.0万
-
财政年份:2002
-
负责人:Gail Kaiser
-
依托单位:
Component Technologies for Next-Generation Software Development Environments
-
批准号:9970790
-
项目类别:Continuing Grant
-
资助金额:$22.5万
-
财政年份:1999
-
负责人:Gail Kaiser
-
依托单位:
CISE Research Instrumentation: Semantics-based Prefetching for Mobile Computing
-
批准号:9529304
-
项目类别:Standard Grant
-
资助金额:$4.67万
-
财政年份:1996
-
负责人:Gail Kaiser
-
依托单位:
Components for Decentralized Process-Centered Environments
-
批准号:9301092
-
项目类别:Continuing Grant
-
资助金额:$21.7万
-
财政年份:1993
-
负责人:Gail Kaiser
-
依托单位:
Multi-Agent Rule-Based Development Environments
-
批准号:9106368
-
项目类别:Continuing Grant
-
资助金额:$23.63万
-
财政年份:1991
-
负责人:Gail Kaiser
-
依托单位:
CISE Research Instrumentation
-
批准号:8920080
-
项目类别:Standard Grant
-
资助金额:$4.41万
-
财政年份:1990
-
负责人:Gail Kaiser
-
依托单位:
Distributed Language-based Environments
-
批准号:9000930
-
项目类别:Continuing Grant
-
资助金额:$10.0万
-
财政年份:1990
-
负责人:Gail Kaiser
-
依托单位:
Distributed Language-based Environments
-
批准号:8802741
-
项目类别:Standard Grant
-
资助金额:$14.63万
-
财政年份:1988
-
负责人:Gail Kaiser
-
依托单位:
海外基金