Nachi Valliappan

Talks

… (recent)
Retrofitting Impure Languages with Static Information-Flow Control (slides, abstract)
Chalmers Security Seminar, Dec ‘21.
Practical Normalization by Evaluation for EDSLs (video, slides, abstract)
Haskell Symposium, Aug ‘21.
Modal λ-Calculi: Fitch vs. Dual-Context Style (representing Fitch-Style) (video, abstract)
Initial Types Club, Mar ‘21.
Be My Guest (slides, abstract)
Licentiate Seminar, Dec ‘20.
Boxes and Locks (slides)
Proglog Seminar, Dec ‘20.
Towards Secure IoT Programming in Haskell (video, slides, abstract)
Haskell Symposium, Aug ‘20.
Categorical Combinators (abstract)
Initial Types Club, Apr ‘20.
From syntax to semantics and back: Demystifying NbE (abstract)
Initial Types Club, Dec ‘19.
Typing the Wild in Erlang (video, slides, abstract)
Erlang Workshop, Sep ‘18.

PC = Program Committee, AEC = Artifact Evaluation Committee

Helped organize SPLV 2025 during Sep ‘24 - Jun ‘25 (event)
Organized reading group on modal logic during Oct - Dec ‘24 (repo)
Organized Initial Types Club during 2019-21 (repo)
Organized reading group on Normalization by Evaluation during Oct - Dec ‘19 (repo)