Author of the publication

Learning to Grade Student Programs in a Massive Open Online Course.

, , , , , and . ICDM, page 785-790. IEEE Computer Society, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Task and Motion Policy Synthesis as Liveness Games., , , and . ICAPS, page 536-. AAAI Press, (2016)Neural Sketch Learning for Conditional Program Generation., , , and . ICLR, OpenReview.net, (2018)Instrumenting C Programs with Nested Word Monitors., and . SPIN, volume 4595 of Lecture Notes in Computer Science, page 279-283. Springer, (2007)SMT-based synthesis of integrated task and motion plans from plan outlines., , , , and . ICRA, page 655-662. IEEE, (2014)On-the-Fly Reachability and Cycle Detection for Recursive State Machines., , , and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 61-76. Springer, (2005)Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis., , and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 229-249. Springer, (2016)Continuity and robustness of programs., , and . Commun. ACM, 55 (8): 107-115 (2012)Extraction of statistically significant malware behaviors., , , and . ACSAC, page 69-78. ACM, (2013)Continuity analysis of programs., , and . POPL, page 57-70. ACM, (2010)Parallel programming with object assemblies., , and . OOPSLA, page 61-80. ACM, (2009)