CRI: CI-SUSTAIN: Racket on Alternative Platforms
CRI: CI-SUSTAIN: Racket on Alternative Platforms
批准号:
1823244
负责人:
Matthias Felleisen
金额:
$99.94万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2018
资助国家:
美国
项目状态:
已结题
起止时间:
2018-09-01 至 2022-08-31
中文摘要
二十年来,Racket编程语言一直是语言设计和实现研究的试验台,也是从中学到研究生的计算机科学教学课程的平台。由于它的灵活性,研究人员用它来探索新的语言思想,从网络服务器和网络浏览器之间的新通信方式到全新语言的构建。教育工作者用一种对初学者友好的语言方言向中学生介绍代数,教授向博士生介绍语言意义的研究。球拍也用于工业的一系列产品。现在程序员们要求更快的球拍,以及能在手机、平板电脑和网页浏览器等现代平台上运行的球拍。为了满足这些要求,该项目将进行四个不同但相关的工作。首先,将基于最近开发的PyPy框架开发一个优化的即时编译器。其次,Racket的创新将被移植到Cisco的高性能Chez Scheme实现中,该方案现在可以在GitHub上作为开源项目获得。这一努力同时构建了另一个高性能编译器,并将Racket社区在过去十年中开发的一些创新成果返回给Scheme社区。简而言之,前两个项目直接解决了来自Racket社区的性能请求。第三,该项目将为web浏览器设计一个球拍的变体,这是一个与普通计算机完全不同的平台。计划是构建一个从球拍到JavaScript的编译器。第四,Racket需要一个面向移动平台(手机、平板电脑)的GUI框架,以便在这些设备上成为一种功能齐全的语言。这四项努力都对研究和教育产生直接影响。现代软件必须在平台和硬件(服务器、笔记本电脑、桌子、电话、浏览器)的异质集合上运行并进行通信。为了解决工程上可靠、安全、可靠的软件问题,研究人员需要能够探索这些问题的编程语言。从诸如Racket之类的语言中,这些想法往往会迅速流入工业应用程序,从而改善每个人的生活。现代教育必须赋予孩子们在软件世界中的能力;否则,他们没有受过广泛的教育。20年来,Racket在数百所大学、学院和K-12学校发挥了重要作用。在其他平台上提供它将确保教师未来的需求。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
For two decades, the Racket programming language has served as a test bed for research on language design and implementation as well as a platform for teaching courses on computer science from middle school through graduate school. Researchers use it to explore new language ideas because of its flexibility, ranging from new ways of communicating between web servers and web browsers to the construction of entirely new languages. Educators introduce middle school students to algebra in a novice-friendly dialect of the language and professors introduce PhD students to the study of the meaning of languages. Racket is also used in industry for a range of products. Now programmers request a faster Racket and a Racket that runs on modern platforms such as phones, tablets, and web browsers. To accommodate these requests, the project will work on four different, but related efforts. First, an optimizing just-in-time compiler will be developed, based on the recently developed PyPy framework. Second, Racket's innovations will be ported to Cisco's high-performance Chez Scheme implementation, which is now available as an open-source project on GitHub. This effort simultaneously constructs another performant compiler and returns to the Scheme community some of the innovations that the Racket community has developed over the last decade. In short, the first two projects directly address the performance requests from the Racket community. Third, the project will design a variant of Racket for web browsers, a radically different platform from ordinary computers. The plan is to construct a compiler from Racket to JavaScript. Fourth, Racket needs a GUI framework for mobile platforms (phones, tablets) to become a fully functional language on those devices. All four efforts have a direct impact on research and education. Modern software must run on, and communicate across, heterogenous collections of platforms and hardware (servers, laptops, tables, phones, browsers). To solve the problem of engineering reliable, safe, and secure software, researchers need programming languages in which they can explore the problems. From languages such as Racket, these ideas tend to quickly flow into industrial applications and thus improve the lives of everyone. Modern education must empower children in the world of software; otherwise they are not broadly educated. For 20 years, Racket has played an important role at hundreds of universities, colleges, and K-12 schools. Providing it on alternative platforms will ensure the future needs of instructors.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(7)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Rebuilding racket on chez scheme (experience report)
在chez计划上重建球拍(经验报告)
DOI:
10.1145/3341642
发表时间:
2019
期刊:
Proceedings of the ACM on Programming Languages
影响因子:
--
作者:
[Flatt, Matthew, Derici, Caner, Dybvig, R. Kent, Keep, Andrew W., Massaccesi, Gustavo E., Spall, Sarah, Tobin-Hochstadt, Sam, Zeppieri, Jon]
通讯作者:
Zeppieri, Jon
DOI:
10.1145/3371071
发表时间:
2020-01-01
期刊:
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
影响因子:
1.8
作者:
[Chang, Stephen, Ballantyne, Michael, Bowman, William J.]
通讯作者:
Bowman, William J.
How to evaluate blame
如何评价责备
DOI:
10.1145/3473573
发表时间:
2021
期刊:
International Conference on Functional Programming
影响因子:
--
作者:
[Lazarek, Greenman]
通讯作者:
Lazarek, Greenman
DOI:
10.1145/3341702
发表时间:
2018-05
期刊:
Proceedings of the ACM on Programming Languages
影响因子:
--
作者:
[R. Walia;P. Narayanan;J. Carette;Sam Tobin-Hochstadt;Chung-chieh Shan]
通讯作者:
R. Walia;P. Narayanan;J. Carette;Sam Tobin-Hochstadt;Chung-chieh Shan
Collapsible contracts: fixing a pathology of gradual typing
可折叠合约:修复渐进式打字的病态
DOI:
10.1145/3276503
发表时间:
2018
期刊:
Proceedings of the ACM on Programming Languages
影响因子:
--
作者:
[Feltey, Daniel, Greenman, Ben, Scholliers, Christophe, Findler, Robert Bruce, St-Amour, Vincent]
通讯作者:
St-Amour, Vincent
共 7 条
SHF: Small: Programming, and Reasoning about, Actors that Share State
-
批准号:2315884
-
项目类别:Standard Grant
-
资助金额:$54.0万
-
财政年份:2023
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Small: Beyond Behavioral Software Contracts
-
批准号:2116372
-
项目类别:Standard Grant
-
资助金额:$49.86万
-
财政年份:2021
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Small: A Mechanism for Extending A Programming Language with Interactive Syntax
-
批准号:2007686
-
项目类别:Standard Grant
-
资助金额:$44.99万
-
财政年份:2020
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Large: Gradual Typing Across the Spectrum
-
批准号:1518844
-
项目类别:Standard Grant
-
资助金额:$220.0万
-
财政年份:2015
-
负责人:Matthias Felleisen
-
依托单位:
CI-EN: Collaborative: Run Your Research with Redex
-
批准号:1405881
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2014
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Small: Collaborative Research: Compiler Coaching
-
批准号:1421412
-
项目类别:Standard Grant
-
资助金额:$31.64万
-
财政年份:2014
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Medium: Collaborative Research: Semantics Engineering for Scripting Languages
-
批准号:1064922
-
项目类别:Standard Grant
-
资助金额:$40.65万
-
财政年份:2011
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Small: Collaborative Research: Modular ACL2
-
批准号:1016418
-
项目类别:Standard Grant
-
资助金额:$29.94万
-
财政年份:2010
-
负责人:Matthias Felleisen
-
依托单位:
CI-ADDO-EN: Infrastructure for the Production of Languages
-
批准号:0855140
-
项目类别:Continuing Grant
-
资助金额:$66.0万
-
财政年份:2009
-
负责人:Matthias Felleisen
-
依托单位:
Collaborative Proposal: Integrating Theorem Proving into the Software Engineering Curriculum
-
批准号:0632872
-
项目类别:Standard Grant
-
资助金额:$7.55万
-
财政年份:2007
-
负责人:Matthias Felleisen
-
依托单位:
CRI: Language-Oriented Programming in PLT Scheme
-
批准号:0551486
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Matthias Felleisen
-
依托单位:
SoD-HCER: Collaborative Research: Using Market Forces to Improve the Design of Software
-
批准号:0613805
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Matthias Felleisen
-
依托单位:
Interface-Oriented Programming
-
批准号:0540818
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Matthias Felleisen
-
依托单位:
Collaborative Research: Well-Founded Behavioral Software Contracts
-
批准号:0429595
-
项目类别:Standard Grant
-
资助金额:$16.94万
-
财政年份:2004
-
负责人:Matthias Felleisen
-
依托单位:
Collaborative Research: Robust Interactive Web Services
-
批准号:0306269
-
项目类别:Standard Grant
-
资助金额:$13.69万
-
财政年份:2003
-
负责人:Matthias Felleisen
-
依托单位:
Computing Education for Every Student in Secondary Schools
-
批准号:0010064
-
项目类别:Continuing Grant
-
资助金额:$189.6万
-
财政年份:2001
-
负责人:Matthias Felleisen
-
依托单位:
Modular Program Analyses for Higher-Order Programming Languages
-
批准号:9619756
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1997
-
负责人:Matthias Felleisen
-
依托单位:
The Expressive Power of Programming Languages
-
批准号:8917022
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1990
-
负责人:Matthias Felleisen
-
依托单位:
A Semantic Foundation for Program Optimization
-
批准号:8807520
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1988
-
负责人:Matthias Felleisen
-
依托单位:
国内基金
海外基金
登录
查看更多内容
醒脑静多靶点调控PI3K/Akt通路抑制CI/RI氧化应激—基于网络药理学及体内、外实验研究
-
批准号:2025JJ90117
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:李秋云
-
依托单位:
脱氧胆酸经TGR5/mTORC1途径调控小胶质细胞脂噬促进 T2DM-CI的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:
-
依托单位:
基于“免疫-神经”网络探讨眼针活化CI/RI大鼠MC靶向H3R调节“免疫监视”的抗炎机制
-
批准号:82374375
-
项目类别:面上项目
-
资助金额:51万元
-
批准年份:2023
-
负责人:马贤德
-
依托单位:
通过单细胞转录组测序揭示Wolbachia诱导果蝇CI的分子机制
-
批准号:32170497
-
项目类别:面上项目
-
资助金额:58万元
-
批准年份:2021
-
负责人:孙宝发
-
依托单位:
ci-Eln促进亲本基因Eln介导的缺氧肺动脉平滑肌细胞增殖的机制研究
-
批准号:82100066
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:郝雪微
-
依托单位:
森林垂直分层LAI和CI时空变异特征、LiDAR遥感反演与验证研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:59万元
-
批准年份:2021
-
负责人:方红亮
-
依托单位:
CI 994对SLC25A46相关线粒体病的治疗及机制研究
-
批准号:82001449
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:羊蠡
-
依托单位:
近邻星系中[CI]线作为新分子气体质量探针的观测研究
-
批准号:12003070
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:焦倩
-
依托单位:
lncRNA343/miR-509-3p/STC1轴在CI-AKI肾小管上皮细胞线粒体质量控制失衡中的作用与机制
-
批准号:81873607
-
项目类别:面上项目
-
资助金额:57.0万元
-
批准年份:2018
-
负责人:段绍斌
-
依托单位:
α2肾上腺素受体活化促ESCRT-III膜聚集在肾CI/RI致肺程序性坏死中的机制研究
-
批准号:81801900
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2018
-
负责人:陈倩
-
依托单位: