Neel Krishnaswami

25 papers B 2Journal 19Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Fulminate: Testing CN Separation-Logic Specifications in C.
Proc. ACM Program. Lang.
Rini Banerjee, Kayvan Memarian, Dhruv C. Makwana, Christopher Pulte, Neel Krishnaswami, Peter Sewell
2024 — conf
Implementing a Type Theory with Observational Equality, Using Normalisation by Evaluation.
TYPES
Matthew Sirman, Meven Lennon-Bertrand, Neel Krishnaswami
2024 J jnl
The Denotational Semantics of SSA.
CoRR
Jad Elkhaleq Ghalayini, Neel Krishnaswami
2023 J jnl
CN: Verifying Systems C Code with Separation-Logic Refinement Types.
Proc. ACM Program. Lang.
Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, Neel Krishnaswami
2023 J jnl
Explicit Refinement Types.
CoRR
Jad Elkhaleq Ghalayini, Neel Krishnaswami
2023 J jnl
Explicit Refinement Types.
Proc. ACM Program. Lang.
Jad Elkhaleq Ghalayini, Neel Krishnaswami
2023 J jnl
Focusing on Refinement Typing.
ACM Trans. Program. Lang. Syst.
Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
2023 J jnl
flap: A Deterministic Parser with Fused Lexing.
CoRR
Jeremy Yallop, Ningning Xie, Neel Krishnaswami
2023 J jnl
flap: A Deterministic Parser with Fused Lexing.
Proc. ACM Program. Lang.
Jeremy Yallop, Ningning Xie, Neel Krishnaswami
2022 J jnl
Bidirectional Typing.
ACM Comput. Surv.
Jana Dunfield, Neel Krishnaswami
2022 J jnl
Focusing on Liquid Refinement Typing.
CoRR
Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
2022 J jnl
Implicit Polarized F: local type inference for impredicativity.
CoRR
Henry Mercer, Cameron Ramsay, Neel Krishnaswami
2022 J jnl
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation.
Proc. ACM Program. Lang.
Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Tom Ellis, Richard A. Eisenberg, Andrew W. Fitzgibbon
2021 B conf
Adjoint Reactive GUI Programming.
FoSSaCS
Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami
2021 J jnl
Transfinite step-indexing for termination.
Proc. ACM Program. Lang.
Simon Spies, Neel Krishnaswami, Derek Dreyer
2020 J jnl
Adjoint Reactive GUI.
CoRR
Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami
2020 J jnl
Recovering purity with comonads and capabilities.
Proc. ACM Program. Lang.
Vikraman Choudhury, Neel Krishnaswami
2020 J jnl
Seminaïve evaluation for a higher-order functional language.
Proc. ACM Program. Lang.
Michael Arntzenius, Neel Krishnaswami
2019 J jnl
Bidirectional Typing.
CoRR
Jana Dunfield, Neel Krishnaswami
2019 J jnl
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS.
Proc. ACM Program. Lang.
Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. Norton, Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami, Peter Sewell
2019 J jnl
Recovering Purity with Comonads and Capabilities.
CoRR
Vikraman Choudhury, Neel Krishnaswami
2019 — conf
Representing music with prefix trees.
FARM@ICFP
Yan Han, Nada Amin, Neel Krishnaswami
2014 — ed.
Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014.
MSFP@ETAPS
Paul Blain Levy, Neel Krishnaswami
2010 — conf
Verifying event-driven programs using ramified frame properties.
TLDI
Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich
2004 B conf
The Inverse Method for the Logic of Bunched Implications.
LPAR
Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park