Nachi Valliappan

Publications

• … (recent)

• Towards Secure IoT Programming in Haskell (pdf, doi)
  Haskell 2020.

• Simple Noninterference by Normalization (pdf, doi)
  PLAS 2019.

• Exponential Elimination for Bicartesian Closed Categorical Combinators (pdf, doi)
  PPDP 2019.

• Towards Adding Variety to Simplicity (pdf, doi)
  ISoLA 2018.

• Typing the Wild in Erlang (pdf, doi)
  Erlang 2018.

• Typing the Untypeable in Erlang (uri)
  Chalmers MSc thesis. 2018.

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.

Committees

In 2027:

• PC member for IFL 2026 (event, upcoming)

In 2026:

• External reviewer for CSL 2027 (event)
• External reviewer for POPL 2027 (event)
• Reviewer for JFP and JLC in 2026
• PC member for IMLA 2026 (event)

In 2025:

• Member of the conference working group for Royal Society Meeting of Minds 2026
• PC member for ICFP 2025 (committee)
• External reviewer for LICS 2025 (reviewers)
• Judge at the College Heat for “3MT” competition 2025 (about)

In 2024:

• PC member for FCS 2024 (committee)
• External reviewer for POPL 2024 (proceedings)

Previously:

• AEC member for POPL 2023 (committee)
• Reviewer for MSCS in 2022 (journal)
• AEC member for ICFP 2020 (committee)
• External reviewer for LSFA 2020 (proceedings)
• External reviewer for LPAR 2018 (proceedings)
• Subreviewer for TCS, ESOP, JFP and SAC between 2018-22

PC = Program Committee, AEC = Artifact Evaluation Committee

Organization

• 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)

Visits

• Tarmo Uustalu visited me at Univerity of Edinburgh during 2-7 Sep ‘26
• Ayberk Tosun visited me at Univerity of Edinburgh during 4-8 May ‘26
• Ian Shillito visited me at Univerity of Edinburgh during 20-24 Apr ‘26
• I visited Sonia Marin and Ian Shillito at Univerity of Birmingham during 1-4 Oct ‘25
• Andreas Abel visited me at Univerity of Edinburgh during 14-20 Jun ‘25
• I visited Andreas Abel at Chalmers University during 1-25 May ‘25
• Alex Kavvos visited me at Univerity of Edinburgh during 10-16 Feb ‘24
• I visited Alex Kavvos at University of Bristol during 1-4 Dec ‘24