SHF: Small: Computer-Aided Grading, Feedback, and Assignment Creating in Massive Online Programming Courses
SHF:小型:大规模在线编程课程中的计算机辅助评分、反馈和作业创建
基本信息
- 批准号:1320860
- 负责人:
- 金额:$ 29.83万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2013
- 资助国家:美国
- 起止时间:2013-09-15 至 2017-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Massive Open Online Courses (MOOCs) are widely regarded as arevolutionary innovation; however, traditional instructionaltechniques do not scale to MOOCs with tens of thousands of students.This project aims to design a set of algorithmic tools to partiallyautomate three of the most basic instructional processes - gradingassignments, giving students personalized feedback, and creating newassignments - in MOOCs that teach computer programming. Such toolshave the potential to significantly raise the productivity ofinstructors in these courses, and give students a far more effectiveeducational experience than what they currently receive. They can alsoguide the development of future MOOCs on programming, and play a rolein making the MOOC model reach its full potential.The algorithms developed in this project draw on ideas from severaldifferent areas of computing. They leverage advances in automatedreasoning about software like automatically finding bugs instudent code and suggesting fixes, and exploit statistical learningtechniques that mine databases of previously-completed assignments andinfer aggregate statistics about a class. Finally, the research has adimension of human computation, for instance seeding logical andstatistical analysis techniques with data obtained through peerevaluation. These methods apply to any programming course; however,the investigators will evaluate them by deploying them in a specificMOOC on Python programming that they teach.
大规模开放在线课程(MOOC)被广泛认为是革命性的创新;然而,传统的教学技术无法扩展到拥有数万名学生的 MOOC。该项目旨在设计一套算法工具,以部分自动化 MOOC 中的三个最基本的教学过程——评分作业、为学生提供个性化反馈和创建新作业。教授计算机编程。此类工具有可能显着提高教师在这些课程中的工作效率,并为学生提供比他们目前获得的更有效的教育体验。它们还可以指导未来编程慕课的发展,并在使慕课模式充分发挥潜力方面发挥作用。该项目开发的算法借鉴了多个不同计算领域的思想。他们利用软件自动推理方面的进步,例如自动查找学生代码中的错误并提出修复建议,并利用统计学习技术来挖掘先前完成的作业的数据库并推断有关班级的汇总统计数据。最后,该研究具有人工计算的维度,例如利用通过同行评估获得的数据来播种逻辑和统计分析技术。这些方法适用于任何编程课程;然而,研究人员将通过将它们部署在他们教授的 Python 编程特定 MOOC 中来评估它们。
项目成果
期刊论文数量(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 }}
Swarat Chaudhuri其他文献
Instrumenting C Programs with Nested Word Monitors
使用嵌套字监视器检测 C 程序
- DOI:
10.1007/978-3-540-73370-6_20 - 发表时间:
2007-07-01 - 期刊:
- 影响因子:0
- 作者:
Swarat Chaudhuri;R. Alur - 通讯作者:
R. Alur
A fixpoint calculus for local and global program flows
局部和全局程序流的不动点演算
- DOI:
- 发表时间:
2006 - 期刊:
- 影响因子:0
- 作者:
R. Alur;Swarat Chaudhuri;P. Madhusudan - 通讯作者:
P. Madhusudan
Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm
分段线性系统的控制器综合与归纳证明:基于 SMT 的算法
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
Zhenqi Huang;Yu Wang;S. Mitra;G. Dullerud;Swarat Chaudhuri - 通讯作者:
Swarat Chaudhuri
Unsupervised Learning of Neurosymbolic Encoders
神经符号编码器的无监督学习
- DOI:
- 发表时间:
2021-07-28 - 期刊:
- 影响因子:0
- 作者:
Eric Zhan;Jennifer J. Sun;A. Kennedy;Yisong Yue;Swarat Chaudhuri - 通讯作者:
Swarat Chaudhuri
Unsupervised Learning of Neurosymbolic Encoders
神经符号编码器的无监督学习
- DOI:
- 发表时间:
2023-01 - 期刊:
- 影响因子:0
- 作者:
Eric Zhan;Jennifer J. Sun;Ann Kennedy;Yisong Yue;Swarat Chaudhuri - 通讯作者:
Swarat Chaudhuri
Swarat Chaudhuri的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Swarat Chaudhuri', 18)}}的其他基金
SHF: Medium: Neurosymbolic Agents for Formal Theorem-Proving
SHF:介质:用于形式定理证明的神经符号代理
- 批准号:
2403211 - 财政年份:2024
- 资助金额:
$ 29.83万 - 项目类别:
Continuing Grant
Collaborative Research: PPoSS: Large: A Full-stack Approach to Declarative Analytics at Scale
协作研究:PPoSS:大型:大规模声明性分析的全栈方法
- 批准号:
2316161 - 财政年份:2023
- 资助金额:
$ 29.83万 - 项目类别:
Continuing Grant
Collaborative Research: SHF: Medium: Semantics-Aware Neural Models of Code
合作研究:SHF:媒介:代码的语义感知神经模型
- 批准号:
2212559 - 财政年份:2022
- 资助金额:
$ 29.83万 - 项目类别:
Standard Grant
SHF: Medium: Collaborative Research: Bridging Automated Formal Reasoning and Continuous Optimization for Provably Safe Deep Learning
SHF:中:协作研究:连接自动形式推理和持续优化以实现可证明安全的深度学习
- 批准号:
2033851 - 财政年份:2020
- 资助金额:
$ 29.83万 - 项目类别:
Standard Grant
SHF: Medium: Collaborative Research: Bridging Automated Formal Reasoning and Continuous Optimization for Provably Safe Deep Learning
SHF:中:协作研究:连接自动形式推理和持续优化以实现可证明安全的深度学习
- 批准号:
1901284 - 财政年份:2019
- 资助金额:
$ 29.83万 - 项目类别:
Standard Grant
SHF: Medium: Collaborative Research: Marrying Program Analysis and Numerical Search
SHF:媒介:协作研究:程序分析与数值搜索的结合
- 批准号:
1162076 - 财政年份:2012
- 资助金额:
$ 29.83万 - 项目类别:
Continuing Grant
SHF: Medium: Collaborative Research: Chorus: Dynamic Isolation in Shared-Memory Parallelism
SHF:媒介:协作研究:Chorus:共享内存并行中的动态隔离
- 批准号:
1242507 - 财政年份:2011
- 资助金额:
$ 29.83万 - 项目类别:
Continuing Grant
CAREER: Robustness Analysis of Uncertain Programs: Theory, Algorithms, and Tools
职业:不确定程序的鲁棒性分析:理论、算法和工具
- 批准号:
1156059 - 财政年份:2011
- 资助金额:
$ 29.83万 - 项目类别:
Continuing Grant
CAREER: Robustness Analysis of Uncertain Programs: Theory, Algorithms, and Tools
职业:不确定程序的鲁棒性分析:理论、算法和工具
- 批准号:
0953507 - 财政年份:2010
- 资助金额:
$ 29.83万 - 项目类别:
Continuing Grant
SHF: Medium: Collaborative Research: Chorus: Dynamic Isolation in Shared-Memory Parallelism
SHF:媒介:协作研究:Chorus:共享内存并行中的动态隔离
- 批准号:
0964443 - 财政年份:2010
- 资助金额:
$ 29.83万 - 项目类别:
Continuing Grant
相似国自然基金
ALKBH5介导的SOCS3-m6A去甲基化修饰在颅脑损伤后小胶质细胞炎性激活中的调控作用及机制研究
- 批准号:82301557
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
miRNA前体小肽miPEP在葡萄低温胁迫抗性中的功能研究
- 批准号:
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:
PKM2苏木化修饰调节非小细胞肺癌起始细胞介导的耐药生态位的机制研究
- 批准号:82372852
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
基于翻译组学理论探究LncRNA H19编码多肽PELRM促进小胶质细胞活化介导电针巨刺改善膝关节术后疼痛的机制研究
- 批准号:82305399
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
CLDN6高表达肿瘤细胞亚群在非小细胞肺癌ICB治疗抗性形成中的作用及机制研究
- 批准号:82373364
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
相似海外基金
SHF: Small: A Chip of Happiness: Device-to-System Developments of Affective Computing for Human-in-the-loop Computer System
SHF:小:幸福的芯片:人在环计算机系统的情感计算的设备到系统开发
- 批准号:
2208573 - 财政年份:2022
- 资助金额:
$ 29.83万 - 项目类别:
Standard Grant
SHF: Small: Transforming Computer Architecture Evaluation with Statistical Model Checking
SHF:小型:通过统计模型检查转变计算机架构评估
- 批准号:
2133160 - 财政年份:2021
- 资助金额:
$ 29.83万 - 项目类别:
Standard Grant
CCF:SHF: Small: Some New Class of Error Control Codes for VLSI and Computer Systems
CCF:SHF:小型:用于 VLSI 和计算机系统的一些新型错误控制代码
- 批准号:
2006571 - 财政年份:2020
- 资助金额:
$ 29.83万 - 项目类别:
Standard Grant
SHF: Small: Printed Computer Systems
SHF:小型:印刷计算机系统
- 批准号:
2006763 - 财政年份:2020
- 资助金额:
$ 29.83万 - 项目类别:
Standard Grant
SHF: SMALL: Collaborative Research: Reconfigurable and Programmable Processor Architectures for Brain-Computer Interfacing
SHF:小型:协作研究:用于脑机接口的可重构和可编程处理器架构
- 批准号:
2007131 - 财政年份:2020
- 资助金额:
$ 29.83万 - 项目类别:
Standard Grant