RiSE

72 Entries

  • Language(s)
  • TouchDevelop - Script Your Phone ON Your Phone!
    10 minutes, 50 seconds
  • PEX4FUN WP7: A Mobile Game for Programmers
    28 minutes, 20 seconds
  • C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 2 of n
    59 minutes, 56 seconds
  • David Molnar and Margus Veanes - BEK - Domain Specific Language for String Manipulation Functions
    13 minutes, 0 seconds
  • Bart De Smet: LINQ to Z3
    1 hour, 16 minutes, 56 seconds
  • E2E: Concurrent Programming with Revisions
    1 hour, 10 minutes, 38 seconds
  • Developers: Rise to the Challenge at RiSE4fun.com
  • The Verification Corner - Stepwise Refinement
    22 minutes, 13 seconds
  • Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com
    6 minutes, 19 seconds
  • Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz
    8 minutes, 13 seconds