Microsoft Researchers on 2013 ICFP Competition

11 minutes, 36 seconds


Right click “Save as…”

The ICFP Programming Contest tests the skills of teams from around the world to complete a series of tasks to address an extremely challenging scenarios in program synthesis. The contestants can use any programming language or tool they prefer and the results are tested using MSR's Z3 theorem prover. Bragging rights are shared by the winners as well as the programming language used to find the best solution. 

This year the 16th annual ICFP Programming Contest was organized by members of the Research in Software Engineering (RiSE) group at Microsoft Research. Principal Researcher Tom Ball and Researcher Michal Moskal walk us through the event. 


Follow the discussion

  • Oops, something didn't work.

    Getting subscription
    Subscribe to this conversation

Comments closed

Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums, or Contact Us and let us know.