Welcome to the PLSE Blog!

Hello, and welcome to the first edition of the official UW PLSE blog!

In case you’re not familiar (yet!), PLSE is the UW Programming Languages and Software Engineering lab, where we work on all sorts of cool stuff, from e-graphs, program verification, and bug finding to hardware, graphics, knitting (yes, knitting), and much, much more. We’re launching this blog as a platform to share all the incredible research that goes on in PLSE!

Here’s what you can look forward to:

  • A healthy mix of more- and less-technical posts. You’ll learn a lot about our ongoing and recent research, but there will also be space for fun and interesting discussions of other PL- and SE-related topics.
  • A variety of content from all members of the lab. PLSE is a big group, with members from many different backgrounds who work on many different things, and we look forward to giving everyone a chance to talk about what they do and why they do it.
  • A regular diet of posts. You can expect to see new content approximately every two weeks, except holidays.

The very first PLSE blog posts are available now! PLSE PhD student Yihong Zhang introduces us to The Theoretical Aspect of Equality Saturation in Part 1 of a two-part post, while teaching faculty Matt Wang writes about his experiences teaching programming languages at UCLA. Please go check them out!

We look forward to sharing more about the amazing work we do at PLSE in the weeks to come, and we hope you’re as excited as we are to read all about it!

Alexandra Michael and Anjali Pal
2023-24 PLSE Blog Chairs