by Stephanie Balzer, Kathleen Fisher, Ron Garcia, Justin Hsu, and Stephanie Weirich on May 11, 2021 | Tags: mentoring, plmw
The Programming Languages Mentoring Workshop (PLMW) is directed at new members of the PL community: senior undergraduate and beginning graduate students. With its first edition taking place in January 2012, PLMW is coming up on its ten year anniversary. We take a look back at how PLMW has grown and evolved, and imagine where it could go next.
Read more...
by Justin Hsu on Jan 28, 2021 | Tags: functional programming, programming paradigms, static analysis, teaching, type systems
How can we refocus and modernize the undergraduate “programming paradigms” course?
Read more...
by Justin Hsu on Oct 20, 2020 | Tags: formal verification, probabilistic programs, randomized algorithms
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?
Read more...