News People Research Courses Seminars

Upcoming Seminars

Past Seminars

Suyash TBA TBA
Zach Tatlock TBA LWSN 3102
Fei Dependent Types for Scala LWSN 3102
James and Greg TBA LWSN 3102
Krish Locality Transformations for Nested Recursive Iteration Spaces MSEE 239
Leo Osvald TBA LWSN 3102A/B
Nathan H Burow Context Flow Integrity LWSN 3102A/B
Kia Rahmani Synthesis of Runtime Systems for Weak Consistency Enforcement LWSN 3102A/B
Scott Carr Optimizations in the Rust Compiler EE 317
Tiark, Ben, Roopsha POPL 2017 LWSN 3102A/B
Ben Spring Semester Kickoff HAAS 111