II-EN: Collaborative Research: Positioning MLton for Next-Generation Programming Languages Research
II-EN:协作研究:为下一代编程语言研究定位 MLton
基本信息
- 批准号:1405614
- 负责人:
- 金额:$ 38.16万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2014
- 资助国家:美国
- 起止时间:2014-08-01 至 2018-07-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
MLton is an open-source, whole-program, optimizing compiler for the Standard ML programming language. As with any large and mature software system, there is a need to evaluate the design and architecture of the MLton software project, and to make any substantive changes required for continued research and development. This Computing Research Infrastructure project supports enhancements to position MLton as a vehicle for research in programming-language design and implementation. These enhancements will directly support research, while providing students and next-generation of researchers with a software development experience in the context of a production-level compiler, a complex software system that draws together many themes of Computer Science education, and encourages critical thinking. Finally, these enhancements will indirectly support both the broader programming-languages research community and industry software developers that use functional programming languages. The broader impacts of the project will be in training of student research assistants at all levels, the development of documentation and course materials for teaching compiler-related topics using the MLton infrastructure, and the continued support for MLton's industrial and academic users.Specific infrastructure enhancements will include development of type-checking and optimization infrastructures, threading and garbage collection frameworks, configuration and benchmarking support systems, and documentation including course material. These enhancements will directly support research exploring whole-program compilation of next-generation language features (such as first-class polymorphism, generalized algebraic data types, and higher-order polymorphism) and research exploring programming for next-generation execution platforms (such as multi-core parallel systems, real-time embedded systems, and cloud-based distributed systems). One significant goal is to provide a single research vehicle that is easily configurable to scientifically compare and contrast research results, thereby enabling researchers to make stronger claims based on more meaningful comparisons, rather than relying on weaker claims across multiple system stacks.
MLton是标准ML编程语言的开源、全程序、优化编译器。与任何大型和成熟的软件系统一样,需要评估MLton软件项目的设计和架构,并进行持续研究和开发所需的任何实质性更改。 这个计算研究基础设施项目支持增强定位MLton作为一种工具,在编程语言的设计和实现的研究。 这些增强功能将直接支持研究,同时为学生和下一代研究人员提供生产级编译器背景下的软件开发体验,这是一个复杂的软件系统,汇集了计算机科学教育的许多主题,并鼓励批判性思维。 最后,这些增强将间接支持更广泛的编程语言研究社区和使用函数式编程语言的行业软件开发人员。该项目更广泛的影响将是培训各级学生研究助理,使用MLton基础设施开发用于教学编译器相关主题的文档和课程材料,以及继续支持MLton的工业和学术用户。具体的基础设施增强将包括开发类型检查和优化基础设施,线程和垃圾收集框架,配置和基准测试支持系统,以及包括课程材料在内的文档。这些增强将直接支持探索下一代语言功能(如第一类多态性,广义代数数据类型和高阶多态性)的全程序编译的研究,以及探索下一代执行平台(如多核并行系统,实时嵌入式系统和基于云的分布式系统)编程的研究。一个重要的目标是提供一个单一的研究工具,可以轻松配置,以科学地比较和对比研究结果,从而使研究人员能够根据更有意义的比较做出更有力的主张,而不是依赖于多个系统堆栈中的较弱主张。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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 }}
Lukasz Ziarek其他文献
Reptor: Enabling API Virtualization on Android for Platform Openness
Reptor:在 Android 上启用 API 虚拟化以实现平台开放
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Taeyeon Ki;Alexander Simeonov;B. Jain;Chang Min Park;Keshav Sharma;Karthik Dantu;Steven Y. Ko;Lukasz Ziarek - 通讯作者:
Lukasz Ziarek
OS-Based Energy Accounting for Asynchronous Resources in IoT Devices
物联网设备中基于操作系统的异步资源能源核算
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:10.6
- 作者:
Farshad Ghanei;Pranav Tipnis;Kyle Marcus;Karthik Dantu;Steven Y. Ko;Lukasz Ziarek - 通讯作者:
Lukasz Ziarek
Abstracting Context in Event-Based Software
在基于事件的软件中抽象上下文
- DOI:
10.1007/978-3-642-35551-6_4 - 发表时间:
2012 - 期刊:
- 影响因子:0
- 作者:
A. Holzer;Lukasz Ziarek;K. R. Jayaram;P. Eugster - 通讯作者:
P. Eugster
OS-based Resource Accounting for Asynchronous Resource Use in Mobile Systems
移动系统中异步资源使用的基于操作系统的资源核算
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
Farshad Ghanei;Pranav Tipnis;Kyle Marcus;Karthik Dantu;Steven Y. Ko;Lukasz Ziarek - 通讯作者:
Lukasz Ziarek
A modular, extensible framework for modern visual SLAM systems
现代视觉 SLAM 系统的模块化、可扩展框架
- DOI:
10.1145/3498361.3538793 - 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
S. Semenova;P. Meshram;T. Chase;Steven Y. Ko;Yu David Liu;Lukasz Ziarek;Karthik Dantu - 通讯作者:
Karthik Dantu
Lukasz Ziarek的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Lukasz Ziarek', 18)}}的其他基金
Collaborative Research: SHF: Medium: Integrated Verification of IoT and Real-time Communication Protocols
合作研究:SHF:中:物联网和实时通信协议的集成验证
- 批准号:
2211997 - 财政年份:2022
- 资助金额:
$ 38.16万 - 项目类别:
Standard Grant
CRI: CI-New: Collaborative Research: Extensible, Software Enabled Unmanned Aerial Vehicles
CRI:CI-New:协作研究:可扩展、软件支持的无人机
- 批准号:
1823230 - 财政年份:2018
- 资助金额:
$ 38.16万 - 项目类别:
Continuing Grant
CAREER: Enabling Adaptable, Object Oriented, Real-time Systems
职业:实现适应性强、面向对象的实时系统
- 批准号:
1749539 - 财政年份:2018
- 资助金额:
$ 38.16万 - 项目类别:
Continuing Grant
II-NEW: Collaborative Research: An Extensible Software Infrastructure for Unmanned Aerial Vehicles
II-新:协作研究:无人机的可扩展软件基础设施
- 批准号:
1513006 - 财政年份:2015
- 资助金额:
$ 38.16万 - 项目类别:
Standard Grant
相似国自然基金
EN1通过USP18去泛素化调控ACLY蛋白稳定性诱导脂质代谢重编程促进膀胱癌进展的机制研究
- 批准号:2025JJ50549
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
儿童 IBD 采用EN 联合微生态制剂治疗的临床疗效及对肠道菌群、微炎症状态与免疫系统的影响
- 批准号:2024JJ7051
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
微流控集成3D打印构建毛囊嵌合器官芯片通过乳酸/Bmp2/En1轴介导创面毛囊再生及无瘢痕愈合
- 批准号:
- 批准年份:2024
- 资助金额:15.0 万元
- 项目类别:省市级项目
膜整联蛋白β8入核调控En1-SP1磷酸化在硬腭黏膜无瘢痕愈合中的作用研究
- 批准号:82370928
- 批准年份:2023
- 资助金额:48 万元
- 项目类别:面上项目
CDots调控EN1抑制纤维化促进头颈部放射性溃疡愈合的作用和机制研究
- 批准号:82301026
- 批准年份:2023
- 资助金额:30.00 万元
- 项目类别:青年科学基金项目
向心性动态收缩水凝胶缓释P17抑制EN1基因激活在无瘢痕愈合中的应用及机制研究
- 批准号:
- 批准年份:2022
- 资助金额:30 万元
- 项目类别:青年科学基金项目
乌梅麝香膏通过抑制En1介导的促纤维化在治疗增生性瘢痕中的作用及机制研究
- 批准号:
- 批准年份:2022
- 资助金额:51 万元
- 项目类别:面上项目
RUNX2、FOXG1和EN1组成的核心转录调控回路促进乳腺叶状肿瘤恶性进展的机制研究
- 批准号:
- 批准年份:2021
- 资助金额:54.7 万元
- 项目类别:面上项目
胆汁酸-FXR-SHP通路在Roux-en-Y胃旁路术改善T2DM中的作用及机制研究
- 批准号:
- 批准年份:2021
- 资助金额:10.0 万元
- 项目类别:省市级项目
脂肪干细胞工程化纳米囊泡(ADSC-EN)自组装修饰胶原支架修复骨缺损的应用与机理研究
- 批准号:82002067
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
相似海外基金
II-EN: Collaborative Research: Enhancing the Parasol Experimental Testbed for Sustainable Computing
II-EN:协作研究:增强可持续计算的 Parasol 实验测试台
- 批准号:
1730043 - 财政年份:2017
- 资助金额:
$ 38.16万 - 项目类别:
Standard Grant
II-EN: Collaborative Research: Enhancing the Parasol Experimental Testbed for Sustainable Computing
II-EN:协作研究:增强可持续计算的 Parasol 实验测试台
- 批准号:
1730129 - 财政年份:2017
- 资助金额:
$ 38.16万 - 项目类别:
Standard Grant
II-EN: Collaborative Research: Enhancing the Parasol Experimental Testbed for Sustainable Computing
II-EN:协作研究:增强可持续计算的 Parasol 实验测试台
- 批准号:
1730128 - 财政年份:2017
- 资助金额:
$ 38.16万 - 项目类别:
Standard Grant
II-EN: Collaborative Research: Positioning MLton for Next-Generation Programming Languages Research
II-EN:协作研究:为下一代编程语言研究定位 MLton
- 批准号:
1405770 - 财政年份:2014
- 资助金额:
$ 38.16万 - 项目类别:
Standard Grant
II-EN: Collaborative Research: Large-Scale FPGA-Centric Cluster with Direct and Programmable Communication
II-EN:协作研究:具有直接可编程通信功能的以 FPGA 为中心的大规模集群
- 批准号:
1405790 - 财政年份:2014
- 资助金额:
$ 38.16万 - 项目类别:
Standard Grant
II-EN: Collaborative Research: Large-Scale FPGA-Centric Cluster with Direct and Programmable Communication
II-EN:协作研究:具有直接可编程通信功能的以 FPGA 为中心的大规模集群
- 批准号:
1405695 - 财政年份:2014
- 资助金额:
$ 38.16万 - 项目类别:
Standard Grant
Collaborative Research: II-EN: Infrastructure Support for Software Testing Research
协作研究:II-EN:软件测试研究的基础设施支持
- 批准号:
1439481 - 财政年份:2013
- 资助金额:
$ 38.16万 - 项目类别:
Continuing Grant
Collaborative Research: II-EN: Infrastructure Support for Software Testing Research
协作研究:II-EN:软件测试研究的基础设施支持
- 批准号:
0958199 - 财政年份:2010
- 资助金额:
$ 38.16万 - 项目类别:
Continuing Grant
Collaborative Research: II-EN: Infrastructure Support for Software Testing Research
协作研究:II-EN:软件测试研究的基础设施支持
- 批准号:
0958231 - 财政年份:2010
- 资助金额:
$ 38.16万 - 项目类别:
Continuing Grant
Collaborative Research: II-EN: Infrastructure Support for Software Testing Research
协作研究:II-EN:软件测试研究的基础设施支持
- 批准号:
0958235 - 财政年份:2010
- 资助金额:
$ 38.16万 - 项目类别:
Continuing Grant