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中评分作业、给学生个性化反馈和创建新作业。这样的工具有可能大大提高这些课程中教师的生产力,并给学生一个比他们目前接受的更有效的教育体验。它们也可以指导未来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其他文献

L G ] 1 0 A pr 2 01 9 Programmatically Interpretable Reinforcement Learning
LG ] 1 0 A pr 2 01 9 程序化可解释的强化学习
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    A. Verma;VijayaraghavanMurali;Rishabh Singh;Pushmeet Kohli;Swarat Chaudhuri
  • 通讯作者:
    Swarat Chaudhuri
Data-Driven Program Completion
数据驱动的程序完成
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Yanxin Lu;Swarat Chaudhuri;C. Jermaine;David Melski
  • 通讯作者:
    David Melski
On-the-Fly Reachability and Cycle Detection for Recursive State Machines
递归状态机的动态可达性和循环检测
  • DOI:
    10.1007/978-3-540-31980-1_5
  • 发表时间:
    2005
  • 期刊:
  • 影响因子:
    0
  • 作者:
    R. Alur;Swarat Chaudhuri;K. Etessami;P. Madhusudan
  • 通讯作者:
    P. Madhusudan
A fixpoint calculus for local and global program flows
局部和全局程序流的不动点演算
Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm
分段线性系统的控制器综合与归纳证明:基于 SMT 的算法

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
CAREER: Robustness Analysis of Uncertain Programs: Theory, Algorithms, and Tools
职业:不确定程序的鲁棒性分析:理论、算法和工具
  • 批准号:
    1156059
  • 财政年份:
    2011
  • 资助金额:
    $ 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
职业:不确定程序的鲁棒性分析:理论、算法和工具
  • 批准号:
    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

相似国自然基金

昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
    n/a
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
  • 批准号:
    32000033
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
  • 批准号:
    81900988
  • 批准年份:
    2019
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

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
SHF: SMALL: Collaborative Research: Reconfigurable and Programmable Processor Architectures for Brain-Computer Interfacing
SHF:小型:协作研究:用于脑机接口的可重构和可编程处理器架构
  • 批准号:
    2007131
  • 财政年份:
    2020
  • 资助金额:
    $ 29.83万
  • 项目类别:
    Standard Grant
SHF: Small: Printed Computer Systems
SHF:小型:印刷计算机系统
  • 批准号:
    2006763
  • 财政年份:
    2020
  • 资助金额:
    $ 29.83万
  • 项目类别:
    Standard Grant
SHF: Small: Practical and Formal Foundations for Intermittent Computer Systems
SHF:小型:间歇计算机系统的实用和正式基础
  • 批准号:
    2007998
  • 财政年份:
    2020
  • 资助金额:
    $ 29.83万
  • 项目类别:
    Standard Grant
SHF: Small: A Unified Approach for Scheduling Computer Vision Dataflow Graphs
SHF:小型:调度计算机视觉数据流图的统一方法
  • 批准号:
    1910748
  • 财政年份:
    2019
  • 资助金额:
    $ 29.83万
  • 项目类别:
    Standard Grant
SHF: Small: Computer Aided Design Methodologies and Tools for Superconducting Single Flux Quantum Technology
SHF:小型:超导单通量量子技术的计算机辅助设计方法和工具
  • 批准号:
    1619473
  • 财政年份:
    2016
  • 资助金额:
    $ 29.83万
  • 项目类别:
    Standard Grant
SHF: Small: Computer Architecture for Scripting Languages
SHF:小型:脚本语言的计算机体系结构
  • 批准号:
    1527223
  • 财政年份:
    2015
  • 资助金额:
    $ 29.83万
  • 项目类别:
    Continuing Grant
SHF: Small: Computer-Aided Synthesis for Distributed Algorithms
SHF:小型:分布式算法的计算机辅助综合
  • 批准号:
    1423296
  • 财政年份:
    2014
  • 资助金额:
    $ 29.83万
  • 项目类别:
    Standard Grant
SHF: Small: Using Coding Theory to Optimize the Representation of Information in Computer Architecture
SHF:小:利用编码理论优化计算机体系结构中的信息表示
  • 批准号:
    1421177
  • 财政年份:
    2014
  • 资助金额:
    $ 29.83万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了