Neel Krishnaswami

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 19

Top Topics

Functional Language

Dependency Parser

Provably Correct

Top Venues

Proc. ACM Program. Lang.

Publications

Jad Elkhaleq Ghalayini, Neel Krishnaswami
Explicit Refinement Types. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Jeremy Yallop, Ningning Xie, Neel Krishnaswami
flap: A Deterministic Parser with Fused Lexing. CoRR (2023)
Jeremy Yallop, Ningning Xie, Neel Krishnaswami
flap: A Deterministic Parser with Fused Lexing. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Jad Elkhaleq Ghalayini, Neel Krishnaswami
Explicit Refinement Types. CoRR (2023)
Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
Focusing on Refinement Typing. ACM Trans. Program. Lang. Syst. 45 (4) (2023)
Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, Neel Krishnaswami
CN: Verifying Systems C Code with Separation-Logic Refinement Types. Proc. ACM Program. Lang. 7 (POPL) (2023)
Henry Mercer, Cameron Ramsay, Neel Krishnaswami
Implicit Polarized F: local type inference for impredicativity. CoRR (2022)
Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
Focusing on Liquid Refinement Typing. CoRR (2022)
Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Tom Ellis, Richard A. Eisenberg, Andrew W. Fitzgibbon
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation. Proc. ACM Program. Lang. 6 (POPL) (2022)
Simon Spies, Neel Krishnaswami, Derek Dreyer
Transfinite step-indexing for termination. Proc. ACM Program. Lang. 5 (POPL) (2021)
Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami
Adjoint Reactive GUI Programming. FoSSaCS (2021)
Jana Dunfield, Neel Krishnaswami
Bidirectional Typing. ACM Comput. Surv. 54 (5) (2021)
Vikraman Choudhury, Neel Krishnaswami
Recovering purity with comonads and capabilities. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Michael Arntzenius, Neel Krishnaswami
Seminaïve evaluation for a higher-order functional language. Proc. ACM Program. Lang. 4 (POPL) (2020)
Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami
Adjoint Reactive GUI. CoRR (2020)
Yan Han, Nada Amin, Neel Krishnaswami
Representing music with prefix trees. FARM@ICFP (2019)
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
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS. Proc. ACM Program. Lang. 3 (POPL) (2019)
Vikraman Choudhury, Neel Krishnaswami
Recovering Purity with Comonads and Capabilities. CoRR (2019)
Jana Dunfield, Neel Krishnaswami
Bidirectional Typing. CoRR (2019)
Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich
Verifying event-driven programs using ramified frame properties. TLDI (2010)
Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park
The Inverse Method for the Logic of Bunched Implications. LPAR (2004)