Neel Krishnaswami

Registered user since Wed 15 Feb 2017

Name: Neel 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

ICFP 2020Committee Member in Program Committee within the Research Papers-track
FARM 2019Author of Analyzing Music with Prefix Trees within the FARM 2019-track
POPL 2020Author of Seminaive Evaluation for a Higher-Order Functional Language within the Research Papers-track
PLMW 2019Panelist in Panelists within the PLMW@POPL-track
Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track
ECOOP 2019Author of NumLin: Linear Types for Linear Algebra within the Artifacts-track
Author of A Program Logic for First-Order Encapsulated WebAssembly within the Research Papers-track
Author of NumLin: Linear Types for Linear Algebra within the Posters-track
Committee Member in Academic Panel within the Doctoral Symposium-track
Author of NumLin: Linear Types for Linear Algebra within the Research Papers-track
PLDI 2019Committee Member in Program Committee within the PLDI Research Papers-track
Author of A Typed, Algebraic Approach to Parsing 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