Re-Imagining the “Programming Paradigms” Course
How can we refocus and modernize the undergraduate “programming paradigms” course?
Verifying Randomized Algorithms: Why and How?
Randomized algorithms and probabilistic programs play a growing role in many areas of computer science. What can we do to help ensure that these intricate programs are correct, without the bugs and flaws that plague today’s software?
