Neel Krishnaswami

Registered user since Wed 15 Feb 2017

Name:Neel Krishnaswami
Country:United Kingdom
Affiliation:University of Cambridge
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