Flexible Runtime Security Enforcement with Tagged C
Speaker: Sean Noble Anderson
Summer 2023 Seminars
Summer 2023
Organizer: Katie Casamento
All Talks
| Date | Title | Speaker |
|---|---|---|
| Flexible Runtime Security Enforcement with Tagged C | Sean Noble Anderson | |
| An Operational Semantics for Rice | Steven Libby | |
| Typing Haskell in Haskell | Mark P. Jones | |
| Reasoning about the Garden of Forking Paths | Yao Li | |
| Informal brain dump: finitism in pedagogy | Katie Casamento | |
| Practice Talk: Formalizing Stack Safety as a Security Property | Sean Noble Anderson | |
| Why constructive finite enumerations matter | Katie Casamento |
An Operational Semantics for Rice
Speaker: Steven Libby
Typing Haskell in Haskell
Speaker: Mark P. Jones
Reasoning about the Garden of Forking Paths
Speaker: Yao Li
Informal brain dump: finitism in pedagogy
Speaker: Katie Casamento
Practice Talk: Formalizing Stack Safety as a Security Property
Speaker: Sean Noble Anderson
Why constructive finite enumerations matter
Speaker: Katie Casamento