UCSB CS's’ Programming Languages and Software Engineering group advances fundamental research and practical applications in programming environments, program analysis, language design, synthesis, compilers, testing, verification, and security. We have strong ties to the SecLab@UCSB, Google Security, Microsoft Research, Mozilla research, PLSE@UW, Utopia@UT, and others.
