{"id":276105,"date":"2016-08-12T11:46:11","date_gmt":"2016-08-12T18:46:11","guid":{"rendered":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/?post_type=msr-project&p=276105"},"modified":"2020-03-13T16:58:49","modified_gmt":"2020-03-13T23:58:49","slug":"code-hunt-workshops","status":"publish","type":"msr-project","link":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/project\/code-hunt-workshops\/","title":{"rendered":"Code Hunt Workshops"},"content":{"rendered":"

1st Code Hunt Workshop, Redmond<\/h2>\n

February, 15-16, 2015<\/p>\n

Slides and Videos<\/h3>\n\n\n\n\n\n\n\n\n\n\n\n
Deep Dive into Pex for Code Hunt<\/strong><\/td>\nNikolai Tillmann<\/td>\n[Slides<\/a>]<\/td>\n[Video<\/a>]<\/td>\n<\/tr>\n
Code Hunt Contest Analytics<\/strong><\/td>\nJudith Bishop<\/td>\n[Slides<\/a>]<\/td>\n[Video<\/a>]<\/td>\n<\/tr>\n
Model Counting for Test Coverage in Code Hunt\u00a0<\/strong><\/td>\nWillem Visser<\/td>\n[Slides<\/a>]<\/td>\n[Video<\/a>] (after Bishop)<\/td>\n<\/tr>\n
Hint generation in Code Hunt\u00a0<\/strong><\/td>\nDaniel Perelman<\/td>\n[Slides<\/a>]<\/td>\n[Video<\/a>]<\/td>\n<\/tr>\n
A system for C programming\u00a0<\/strong><\/td>\nAmey Karkare<\/td>\n[Slides<\/a>]<\/td>\n[Video<\/a>]<\/td>\n<\/tr>\n
Semantic Clustering of Student Solutions at Scale<\/strong><\/td>\nRishabh Singh<\/td>\n<\/td>\n[Video<\/a>] (after Karkare)<\/td>\n<\/tr>\n
Automatic Repair<\/strong><\/td>\nMartin Monperrus<\/td>\n<\/td>\n[Video<\/a>]<\/td>\n<\/tr>\n
Code Hunt for University Courses\u00a0<\/strong><\/td>\nTao Xie<\/td>\n[Slides<\/a>]<\/td>\n[Video<\/a>]<\/td>\n<\/tr>\n
Code Hunt and Student Engagement<\/strong><\/td>\nAlfred Thompson<\/td>\n[Slides<\/a>]<\/td>\n[Video<\/a>] (after Xie)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

Goals of the workshop<\/h3>\n
    \n
  • To expose the state of the platform and data of Code Hunt and its underlying software, Pex (also called Smart Unit Tests now), and<\/li>\n
  • To collectively decide on development work that can be done by all of us in the near future.<\/li>\n<\/ul>\n

    Some topics of discussion<\/h3>\n

    We are already working on or proposing some exciting developments for Code Hunt<\/p>\n

      \n
    • Hint generation from cloud data and symbolic execution<\/li>\n
    • Evaluation of Java -> C# and the new Python -> C# translator<\/li>\n
    • Distributed computing access to the data with the Orleans platform<\/li>\n
    • Retiring the existing open zone, replacing it with a brand new game, and making all that data available on demand<\/li>\n
    • A social experience for adding puzzles, sharing them and liking them<\/li>\n
    • Levels that build on each other, which will require objects in the game<\/li>\n
    • A course experience for teachers<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"

      1st Code Hunt Workshop, Redmond February, 15-16, 2015 Slides and Videos Deep Dive into Pex for Code Hunt Nikolai Tillmann [Slides] [Video] Code Hunt Contest Analytics Judith Bishop [Slides] [Video] Model Counting for Test Coverage in Code Hunt\u00a0 Willem Visser [Slides] [Video] (after Bishop) Hint generation in Code Hunt\u00a0 Daniel Perelman [Slides] [Video] A system […]<\/p>\n","protected":false},"featured_media":276240,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","footnotes":""},"research-area":[13560],"msr-locale":[268875],"msr-impact-theme":[],"msr-pillar":[],"class_list":["post-276105","msr-project","type-msr-project","status-publish","has-post-thumbnail","hentry","msr-research-area-programming-languages-software-engineering","msr-locale-en_us","msr-archive-status-active"],"msr_project_start":"2015-02-01","related-publications":[],"related-downloads":[],"related-videos":[],"related-groups":[],"related-events":[],"related-opportunities":[],"related-posts":[],"related-articles":[],"tab-content":[],"slides":[],"related-researchers":[{"type":"user_nicename","display_name":"Peli de Halleux","user_id":32253,"people_section":"Group 1","alias":"jhalleux"}],"msr_research_lab":[199565],"msr_impact_theme":[],"_links":{"self":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/276105","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-project"}],"about":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-project"}],"version-history":[{"count":2,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/276105\/revisions"}],"predecessor-version":[{"id":497495,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/276105\/revisions\/497495"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/media\/276240"}],"wp:attachment":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/media?parent=276105"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=276105"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=276105"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=276105"},{"taxonomy":"msr-pillar","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-pillar?post=276105"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}