RiSE

72 posts

List of Episodes

Bart De Smet: LINQ to Z3

Bart De Smet: LINQ to Z3

E2E: Concurrent Programming with Revisions

E2E: Concurrent Programming with Revisions

Charles

Developers: Rise to the Challenge at RiSE4fun.com

Developers: Rise to the Challenge at RiSE4fun.com

The Verification Corner - Stepwise Refinement

The Verification Corner - Stepwise Refinement

Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com

Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com

Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz

Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz

C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity

C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 1 of…

C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 1 of n

Mark Marron - Visualizing and Understanding Heap Structure

Mark Marron - Visualizing and Understanding Heap Structure

Code Contracts and Pex: Power Charge Your Assertions and Unit Tests

Code Contracts and Pex: Power Charge Your Assertions and Unit Tests

Inside SPUR - A Trace-Based JIT Compiler for CIL

Inside SPUR - A Trace-Based JIT Compiler for CIL

Margus Veanes - Rex - Symbolic Regular Expression Exploration

Margus Veanes - Rex - Symbolic Regular Expression Exploration

The Verification Corner - Loop Termination

The Verification Corner - Loop Termination

Pagination