Neelakantan R. Krishnaswami

Registered user since Wed 15 Feb 2017

Name: Neelakantan R. Krishnaswami

Affiliation: Computer Laboratory, University of Cambridge

Personal website: http://www.cl.cam.ac.uk/~nk480

Research interests: Programming Languages, Logic, Semantics, Type Theory

Contributions

PLDI 2019Committee Member in Program Committee within the PLDI Research Papers-track
POPL 2019Author of Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types within the Research Papers-track
Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track
ICFP 2018Committee Member in External Review Committee within the Research Papers-track
‹Programming› 2018Committee Member in Program Committee within the Research Papers-track
PLMW 2017Session Chair of Keynote (part of PLMW 2017)
Committee Member in Organizing Committee within the PLMW 2017-track
Author of Welcome within the PLMW 2017-track
ICFP 2017PLMW Co-Chair in Organizing Committee
POPL 2018Session Chair of Types for State (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Session Chair of Types and Effects (part of Research Papers)
ML 2016invited speaker of Making Reactive Programs Function within the ML-track
ICFP 2016Author of Datafun: A Functional Datalog within the Research Papers-track
Session Chair of Session 3 (part of Research Papers)
Committee Member in External Review Committee within the Research Papers-track
Off the Beaten Track 2016Author of The Semantics of Syntax: Applying Denotational Semantics to Hygienic Macro Systems within the Off the Beaten Track-track