CSE 280O Seminar in Applied Programming Languages

Covers current research in language-based approaches to security, distributed systems, databases, and formal verification. Students read and present papers from academic journals and conferences.

Requirements

Enrollment is restricted to graduate students, or by permission of the instructor.

Credits

Repeatable for credit

Yes