UW CSE ’s Programming Languages and Software Engineering group advances fundamental research and practical applications ( GitHub ) in programming environments, program analysis, language design, synthesis, compilers, testing, verification, and security. We have strong ties to the Sampa group , Cray, Microsoft Research, NVIDIA, AT&T, and others.
Congrats to Remy , Max , and Dan Suciu , for their paper Free Join: Unifying Worst-Case Optimal and Traditional Joins , which will appear at SIGMOD 2023 !
Congrats to Hannah , Ardi , René , and collaborators for their Onward! paper on Contextualized programming language documentation , which will appear at SPLASH 2022 !