Neel Krishnaswami -

Registered user since Wed 15 Feb 2017

Name:Neel Krishnaswami

Country:United Kingdom

Affiliation:University of Cambridge

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

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

Contributions

SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
PLDI 2023	Author of flap: A Deterministic Parser with Fused Lexing within the PLDI Research Papers-track
POPL 2023	Session Chair of Types I (part of POPL) Author of CN: Verifying Systems C Code with Separation-Logic Refinement Types within the POPL-track Speaker of Types I: Session Preview within the Session Previews-track Session Chair of Semantics I (part of POPL)
SPLASH 2022	Committee Member in Review Committee within the OOPSLA-track
ICFP 2022	Committee Member in Program Committee within the ICFP Papers and Events-track
PLDI 2022	Author of (POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation within the SIGPLAN Track-track
POPL 2022	Author of Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation within the POPL-track Committee Member in Program Committee within the POPL-track
WITS 2022	Author of CN: A Refinement Type System for C within the WITS 2022-track
TyDe 2021	Committee Member in Program Committee within the TyDe 2021-track
POPL 2021	Author of Transfinite Step-Indexing for Termination within the POPL-track
HATRA 2020	Committee Member in Program Committee within the HATRA-track
ICFP 2020	Author of Some Proverbs in Type Theory within the Social Events-track Author of Academic Career Planning During a Crisis within the Social Events-track Author of Recovering Purity with Comonads and Capabilities within the ICFP Program-track
ML 2020	Committee Member in Program Committee within the ML 2020-track
IWACO 2020	Committee Member in Program Committee within the IWACO-track
REMS-DeepSpec 2020	Author of Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V within the REMS-DeepSpec 2020-track Committee Member in Program Committee within the REMS-DeepSpec 2020-track Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
POPL 2020	Author of Seminaïve Evaluation for a Higher-Order Functional Language within the Research Papers-track
FARM 2019	Author of Analyzing Music with Prefix Trees within the FARM 2019-track
ECOOP 2019	Author 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 2019	Committee 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 2019	Author 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
PLMW 2019	Panelist in Panelists within the PLMW@POPL-track Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track
ICFP 2018	Committee Member in External Review Committee within the Research Papers-track
‹Programming› 2018	Committee Member in Program Committee within the Research Papers-track
POPL 2018	Session 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)
PLMW 2017	Session 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 2017	PLMW Co-Chair in Organizing Committee
ICFP 2016	Author 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
ML 2016	Invited Speaker of Making Reactive Programs Function within the ML-track
Off the Beaten Track 2016	Author of The Semantics of Syntax: Applying Denotational Semantics to Hygienic Macro Systems within the Off the Beaten Track-track