BibTeX records: Neelakantan R. Krishnaswami

download as .bib file

@article{DBLP:journals/pacmpl/GhalayiniK23,
  author       = {Jad Elkhaleq Ghalayini and
                  Neel Krishnaswami},
  title        = {Explicit Refinement Types},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{ICFP}},
  pages        = {187--214},
  year         = {2023},
  url          = {https://doi.org/10.1145/3607837},
  doi          = {10.1145/3607837},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/GhalayiniK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/YallopXK23,
  author       = {Jeremy Yallop and
                  Ningning Xie and
                  Neel Krishnaswami},
  title        = {flap: {A} Deterministic Parser with Fused Lexing},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{PLDI}},
  pages        = {1194--1217},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591269},
  doi          = {10.1145/3591269},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/YallopXK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PulteMSMSK23,
  author       = {Christopher Pulte and
                  Dhruv C. Makwana and
                  Thomas Sewell and
                  Kayvan Memarian and
                  Peter Sewell and
                  Neel Krishnaswami},
  title        = {{CN:} Verifying Systems {C} Code with Separation-Logic Refinement
                  Types},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{POPL}},
  pages        = {1--32},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571194},
  doi          = {10.1145/3571194},
  timestamp    = {Fri, 10 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/PulteMSMSK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/EconomouKD23,
  author       = {Dimitrios J. Economou and
                  Neel Krishnaswami and
                  Jana Dunfield},
  title        = {Focusing on Refinement Typing},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {4},
  pages        = {22:1--22:62},
  year         = {2023},
  url          = {https://doi.org/10.1145/3610408},
  doi          = {10.1145/3610408},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/EconomouKD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-05276,
  author       = {Jeremy Yallop and
                  Ningning Xie and
                  Neel Krishnaswami},
  title        = {flap: {A} Deterministic Parser with Fused Lexing},
  journal      = {CoRR},
  volume       = {abs/2304.05276},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2304.05276},
  doi          = {10.48550/ARXIV.2304.05276},
  eprinttype    = {arXiv},
  eprint       = {2304.05276},
  timestamp    = {Wed, 19 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-05276.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-13995,
  author       = {Jad Elkhaleq Ghalayini and
                  Neel Krishnaswami},
  title        = {Explicit Refinement Types},
  journal      = {CoRR},
  volume       = {abs/2311.13995},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.13995},
  doi          = {10.48550/ARXIV.2311.13995},
  eprinttype    = {arXiv},
  eprint       = {2311.13995},
  timestamp    = {Thu, 30 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-13995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/DunfieldK21,
  author       = {Jana Dunfield and
                  Neel Krishnaswami},
  title        = {Bidirectional Typing},
  journal      = {{ACM} Comput. Surv.},
  volume       = {54},
  number       = {5},
  pages        = {98:1--98:38},
  year         = {2022},
  url          = {https://doi.org/10.1145/3450952},
  doi          = {10.1145/3450952},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/DunfieldK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KrawiecJKEEF22,
  author       = {Faustyna Krawiec and
                  Simon Peyton Jones and
                  Neel Krishnaswami and
                  Tom Ellis and
                  Richard A. Eisenberg and
                  Andrew W. Fitzgibbon},
  title        = {Provably correct, asymptotically efficient, higher-order reverse-mode
                  automatic differentiation},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{POPL}},
  pages        = {1--30},
  year         = {2022},
  url          = {https://doi.org/10.1145/3498710},
  doi          = {10.1145/3498710},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/KrawiecJKEEF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-01835,
  author       = {Henry Mercer and
                  Cameron Ramsay and
                  Neel Krishnaswami},
  title        = {Implicit Polarized {F:} local type inference for impredicativity},
  journal      = {CoRR},
  volume       = {abs/2203.01835},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.01835},
  doi          = {10.48550/ARXIV.2203.01835},
  eprinttype    = {arXiv},
  eprint       = {2203.01835},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-01835.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-13000,
  author       = {Dimitrios J. Economou and
                  Neel Krishnaswami and
                  Jana Dunfield},
  title        = {Focusing on Liquid Refinement Typing},
  journal      = {CoRR},
  volume       = {abs/2209.13000},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2209.13000},
  doi          = {10.48550/ARXIV.2209.13000},
  eprinttype    = {arXiv},
  eprint       = {2209.13000},
  timestamp    = {Thu, 06 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-13000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SpiesKD21,
  author       = {Simon Spies and
                  Neel Krishnaswami and
                  Derek Dreyer},
  title        = {Transfinite step-indexing for termination},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {5},
  number       = {{POPL}},
  pages        = {1--29},
  year         = {2021},
  url          = {https://doi.org/10.1145/3434294},
  doi          = {10.1145/3434294},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/SpiesKD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GraulundSK21,
  author       = {Christian Uldal Graulund and
                  Dmitrij Szamozvancev and
                  Neel Krishnaswami},
  editor       = {Stefan Kiefer and
                  Christine Tasson},
  title        = {Adjoint Reactive {GUI} Programming},
  booktitle    = {Foundations of Software Science and Computation Structures - 24th
                  International Conference, {FOSSACS} 2021, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2021,
                  Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12650},
  pages        = {289--309},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-71995-1\_15},
  doi          = {10.1007/978-3-030-71995-1\_15},
  timestamp    = {Fri, 14 May 2021 08:34:11 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/GraulundSK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChoudhuryK20,
  author       = {Vikraman Choudhury and
                  Neel Krishnaswami},
  title        = {Recovering purity with comonads and capabilities},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{ICFP}},
  pages        = {111:1--111:28},
  year         = {2020},
  url          = {https://doi.org/10.1145/3408993},
  doi          = {10.1145/3408993},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/ChoudhuryK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ArntzeniusK20,
  author       = {Michael Arntzenius and
                  Neel Krishnaswami},
  title        = {Semina{\"{\i}}ve evaluation for a higher-order functional language},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{POPL}},
  pages        = {22:1--22:28},
  year         = {2020},
  url          = {https://doi.org/10.1145/3371090},
  doi          = {10.1145/3371090},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/ArntzeniusK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-12338,
  author       = {Christian Uldal Graulund and
                  Dmitrij Szamozvancev and
                  Neel Krishnaswami},
  title        = {Adjoint Reactive {GUI}},
  journal      = {CoRR},
  volume       = {abs/2010.12338},
  year         = {2020},
  url          = {https://arxiv.org/abs/2010.12338},
  eprinttype    = {arXiv},
  eprint       = {2010.12338},
  timestamp    = {Tue, 27 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2010-12338.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MakwanaK19,
  author       = {Dhruv C. Makwana and
                  Neelakantan R. Krishnaswami},
  title        = {NumLin: Linear Types for Linear Algebra (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {5},
  number       = {2},
  pages        = {03:1--03:2},
  year         = {2019},
  url          = {https://doi.org/10.4230/DARTS.5.2.3},
  doi          = {10.4230/DARTS.5.2.3},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/MakwanaK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DunfieldK19,
  author       = {Jana Dunfield and
                  Neelakantan R. Krishnaswami},
  title        = {Sound and complete bidirectional typechecking for higher-rank polymorphism
                  with existentials and indexed types},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{POPL}},
  pages        = {9:1--9:28},
  year         = {2019},
  url          = {https://doi.org/10.1145/3290322},
  doi          = {10.1145/3290322},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/DunfieldK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ArmstrongBCRGNM19,
  author       = {Alasdair Armstrong and
                  Thomas Bauereiss and
                  Brian Campbell and
                  Alastair Reid and
                  Kathryn E. Gray and
                  Robert M. Norton and
                  Prashanth Mundkur and
                  Mark Wassell and
                  Jon French and
                  Christopher Pulte and
                  Shaked Flur and
                  Ian Stark and
                  Neel Krishnaswami and
                  Peter Sewell},
  title        = {{ISA} semantics for ARMv8-a, RISC-v, and {CHERI-MIPS}},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{POPL}},
  pages        = {71:1--71:31},
  year         = {2019},
  url          = {https://doi.org/10.1145/3290384},
  doi          = {10.1145/3290384},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/ArmstrongBCRGNM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WattMKG19,
  author       = {Conrad Watt and
                  Petar Maksimovic and
                  Neelakantan R. Krishnaswami and
                  Philippa Gardner},
  editor       = {Alastair F. Donaldson},
  title        = {A Program Logic for First-Order Encapsulated WebAssembly},
  booktitle    = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
                  July 15-19, 2019, London, United Kingdom},
  series       = {LIPIcs},
  volume       = {134},
  pages        = {9:1--9:30},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.9},
  doi          = {10.4230/LIPICS.ECOOP.2019.9},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/WattMKG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MakwanaK19,
  author       = {Dhruv C. Makwana and
                  Neelakantan R. Krishnaswami},
  editor       = {Alastair F. Donaldson},
  title        = {NumLin: Linear Types for Linear Algebra},
  booktitle    = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
                  July 15-19, 2019, London, United Kingdom},
  series       = {LIPIcs},
  volume       = {134},
  pages        = {14:1--14:25},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.14},
  doi          = {10.4230/LIPICS.ECOOP.2019.14},
  timestamp    = {Thu, 08 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/MakwanaK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HanAK19,
  author       = {Yan Han and
                  Nada Amin and
                  Neel Krishnaswami},
  editor       = {Donya Quick and
                  Daniel Winograd{-}Cort},
  title        = {Representing music with prefix trees},
  booktitle    = {Proceedings of the 7th {ACM} {SIGPLAN} International Workshop on Functional
                  Art, Music, Modeling, and Design, FARM@ICFP 2019, Berlin, Germany,
                  August 18-23, 2019},
  pages        = {83--94},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331543.3342586},
  doi          = {10.1145/3331543.3342586},
  timestamp    = {Mon, 23 Aug 2021 15:15:07 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/HanAK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KrishnaswamiY19,
  author       = {Neelakantan R. Krishnaswami and
                  Jeremy Yallop},
  editor       = {Kathryn S. McKinley and
                  Kathleen Fisher},
  title        = {A typed, algebraic approach to parsing},
  booktitle    = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
                  June 22-26, 2019},
  pages        = {379--393},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3314221.3314625},
  doi          = {10.1145/3314221.3314625},
  timestamp    = {Sun, 09 Jun 2019 18:52:19 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/KrishnaswamiY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-07283,
  author       = {Vikraman Choudhury and
                  Neel Krishnaswami},
  title        = {Recovering Purity with Comonads and Capabilities},
  journal      = {CoRR},
  volume       = {abs/1907.07283},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.07283},
  eprinttype    = {arXiv},
  eprint       = {1907.07283},
  timestamp    = {Tue, 23 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-07283.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-05839,
  author       = {Jana Dunfield and
                  Neel Krishnaswami},
  title        = {Bidirectional Typing},
  journal      = {CoRR},
  volume       = {abs/1908.05839},
  year         = {2019},
  url          = {http://arxiv.org/abs/1908.05839},
  eprinttype    = {arXiv},
  eprint       = {1908.05839},
  timestamp    = {Fri, 11 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-05839.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-03479,
  author       = {Conrad Watt and
                  Petar Maksimovic and
                  Neelakantan R. Krishnaswami and
                  Philippa Gardner},
  title        = {A Program Logic for First-Order Encapsulated WebAssembly},
  journal      = {CoRR},
  volume       = {abs/1811.03479},
  year         = {2018},
  url          = {http://arxiv.org/abs/1811.03479},
  eprinttype    = {arXiv},
  eprint       = {1811.03479},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-03479.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ArntzeniusK16,
  author       = {Michael Arntzenius and
                  Neelakantan R. Krishnaswami},
  editor       = {Jacques Garrigue and
                  Gabriele Keller and
                  Eijiro Sumii},
  title        = {Datafun: a functional Datalog},
  booktitle    = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
                  2016},
  pages        = {214--227},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2951913.2951948},
  doi          = {10.1145/2951913.2951948},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/ArntzeniusK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/AtkeyK16,
  editor       = {Robert Atkey and
                  Neelakantan R. Krishnaswami},
  title        = {Proceedings 6th Workshop on Mathematically Structured Functional Programming,
                  MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016},
  series       = {{EPTCS}},
  volume       = {207},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.207},
  doi          = {10.4204/EPTCS.207},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AtkeyK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DunfieldK16,
  author       = {Jana Dunfield and
                  Neelakantan R. Krishnaswami},
  title        = {Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism
                  with Existentials and Indexed Types},
  journal      = {CoRR},
  volume       = {abs/1601.05106},
  year         = {2016},
  url          = {http://arxiv.org/abs/1601.05106},
  eprinttype    = {arXiv},
  eprint       = {1601.05106},
  timestamp    = {Fri, 11 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/DunfieldK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ZilianiDKNV15,
  author       = {Beta Ziliani and
                  Derek Dreyer and
                  Neelakantan R. Krishnaswami and
                  Aleksandar Nanevski and
                  Viktor Vafeiadis},
  title        = {Mtac: {A} monad for typed tactic programming in Coq},
  journal      = {J. Funct. Program.},
  volume       = {25},
  year         = {2015},
  url          = {https://doi.org/10.1017/S0956796815000118},
  doi          = {10.1017/S0956796815000118},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/ZilianiDKNV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KrishnaswamiPB15,
  author       = {Neelakantan R. Krishnaswami and
                  C{\'{e}}cilia Pradic and
                  Nick Benton},
  editor       = {Sriram K. Rajamani and
                  David Walker},
  title        = {Integrating Linear and Dependent Types},
  booktitle    = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
                  Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
                  15-17, 2015},
  pages        = {17--30},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2676726.2676969},
  doi          = {10.1145/2676726.2676969},
  timestamp    = {Wed, 13 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/KrishnaswamiPB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KuperTKN14,
  author       = {Lindsey Kuper and
                  Aaron Turon and
                  Neelakantan R. Krishnaswami and
                  Ryan R. Newton},
  editor       = {Suresh Jagannathan and
                  Peter Sewell},
  title        = {Freeze after writing: quasi-deterministic parallel programming with
                  LVars},
  booktitle    = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
                  Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
                  2014},
  pages        = {257--270},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2535838.2535842},
  doi          = {10.1145/2535838.2535842},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/KuperTKN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/LevyK14,
  editor       = {Paul Blain Levy and
                  Neel Krishnaswami},
  title        = {Proceedings 5th Workshop on Mathematically Structured Functional Programming,
                  MSFP@ETAPS 2014, Grenoble, France, 12 April 2014},
  series       = {{EPTCS}},
  volume       = {153},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.153},
  doi          = {10.4204/EPTCS.153},
  timestamp    = {Wed, 29 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LevyK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KrishnaswamiD13,
  author       = {Neelakantan R. Krishnaswami and
                  Derek Dreyer},
  editor       = {Simona Ronchi Della Rocca},
  title        = {Internalizing Relational Parametricity in the Extensional Calculus
                  of Constructions},
  booktitle    = {Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5,
                  2013, Torino, Italy},
  series       = {LIPIcs},
  volume       = {23},
  pages        = {432--451},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2013.432},
  doi          = {10.4230/LIPICS.CSL.2013.432},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/KrishnaswamiD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ZilianiDKNV13,
  author       = {Beta Ziliani and
                  Derek Dreyer and
                  Neelakantan R. Krishnaswami and
                  Aleksandar Nanevski and
                  Viktor Vafeiadis},
  editor       = {Greg Morrisett and
                  Tarmo Uustalu},
  title        = {Mtac: a monad for typed tactic programming in Coq},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
  pages        = {87--100},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2500365.2500579},
  doi          = {10.1145/2500365.2500579},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/ZilianiDKNV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Krishnaswami13,
  author       = {Neelakantan R. Krishnaswami},
  editor       = {Greg Morrisett and
                  Tarmo Uustalu},
  title        = {Higher-order functional reactive programming without spacetime leaks},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
  pages        = {221--232},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2500365.2500588},
  doi          = {10.1145/2500365.2500588},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Krishnaswami13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DunfieldK13,
  author       = {Jana Dunfield and
                  Neelakantan R. Krishnaswami},
  editor       = {Greg Morrisett and
                  Tarmo Uustalu},
  title        = {Complete and easy bidirectional typechecking for higher-rank polymorphism},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
  pages        = {429--442},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2500365.2500582},
  doi          = {10.1145/2500365.2500582},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/DunfieldK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DunfieldK13,
  author       = {Jana Dunfield and
                  Neelakantan R. Krishnaswami},
  title        = {Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism},
  journal      = {CoRR},
  volume       = {abs/1306.6032},
  year         = {2013},
  url          = {http://arxiv.org/abs/1306.6032},
  eprinttype    = {arXiv},
  eprint       = {1306.6032},
  timestamp    = {Fri, 11 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/DunfieldK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Krishnaswami18,
  author       = {Neelakantan R. Krishnaswami},
  title        = {Verifying Higher-Order Imperative Programs with Higher-Order Separation
                  Logic},
  school       = {Carnegie Mellon University, {USA}},
  year         = {2012},
  url          = {https://doi.org/10.1184/r1/6724235.v1},
  doi          = {10.1184/R1/6724235.V1},
  timestamp    = {Wed, 27 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Krishnaswami18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KrishnaswamiB12,
  author       = {Neelakantan R. Krishnaswami and
                  Nick Benton},
  editor       = {Helmut Seidl},
  title        = {Adding Equations to System {F} Types},
  booktitle    = {Programming Languages and Systems - 21st European Symposium on Programming,
                  {ESOP} 2012, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
                  - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7211},
  pages        = {417--435},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28869-2\_21},
  doi          = {10.1007/978-3-642-28869-2\_21},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/KrishnaswamiB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KrishnaswamiTDG12,
  author       = {Neelakantan R. Krishnaswami and
                  Aaron Turon and
                  Derek Dreyer and
                  Deepak Garg},
  editor       = {Peter Thiemann and
                  Robby Bruce Findler},
  title        = {Superficially substructural types},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
  pages        = {41--54},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364527.2364536},
  doi          = {10.1145/2364527.2364536},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/KrishnaswamiTDG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KrishnaswamiBH12,
  author       = {Neelakantan R. Krishnaswami and
                  Nick Benton and
                  Jan Hoffmann},
  editor       = {John Field and
                  Michael Hicks},
  title        = {Higher-order functional reactive programming in bounded space},
  booktitle    = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
                  USA, January 22-28, 2012},
  pages        = {45--58},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103656.2103665},
  doi          = {10.1145/2103656.2103665},
  timestamp    = {Thu, 24 Jun 2021 16:19:31 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/KrishnaswamiBH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/Krishnaswami12,
  author       = {Neelakantan R. Krishnaswami},
  editor       = {Benjamin C. Pierce},
  title        = {Semantics for graphical user interfaces},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Types in Languages
                  Design and Implementation, {TLDI} 2012, Philadelphia, PA, USA, Saturday,
                  January 28, 2012},
  pages        = {51--52},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103786.2103794},
  doi          = {10.1145/2103786.2103794},
  timestamp    = {Thu, 11 May 2023 14:56:29 +0200},
  biburl       = {https://dblp.org/rec/conf/tldi/Krishnaswami12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KrishnaswamiB11,
  author       = {Neelakantan R. Krishnaswami and
                  Nick Benton},
  editor       = {Manuel M. T. Chakravarty and
                  Zhenjiang Hu and
                  Olivier Danvy},
  title        = {A semantic model for graphical user interfaces},
  booktitle    = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
                  Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
                  2011},
  pages        = {45--57},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034773.2034782},
  doi          = {10.1145/2034773.2034782},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/KrishnaswamiB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KrishnaswamiB11,
  author       = {Neelakantan R. Krishnaswami and
                  Nick Benton},
  title        = {Ultrametric Semantics of Reactive Programs},
  booktitle    = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer
                  Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada},
  pages        = {257--266},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/LICS.2011.38},
  doi          = {10.1109/LICS.2011.38},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/KrishnaswamiB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/KrishnaswamiBA10,
  author       = {Neel Krishnaswami and
                  Lars Birkedal and
                  Jonathan Aldrich},
  editor       = {Andrew Kennedy and
                  Nick Benton},
  title        = {Verifying event-driven programs using ramified frame properties},
  booktitle    = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Madrid, Spain, January
                  23, 2010},
  pages        = {63--76},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1708016.1708025},
  doi          = {10.1145/1708016.1708025},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/KrishnaswamiBA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Krishnaswami09,
  author       = {Neelakantan R. Krishnaswami},
  editor       = {Zhong Shao and
                  Benjamin C. Pierce},
  title        = {Focusing on pattern matching},
  booktitle    = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
                  21-23, 2009},
  pages        = {366--378},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1480881.1480927},
  doi          = {10.1145/1480881.1480927},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/Krishnaswami09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/KrishnaswamiABSB09,
  author       = {Neelakantan R. Krishnaswami and
                  Jonathan Aldrich and
                  Lars Birkedal and
                  Kasper Svendsen and
                  Alexandre Buisse},
  editor       = {Andrew Kennedy and
                  Amal Ahmed},
  title        = {Design patterns in separation logic},
  booktitle    = {Proceedings of TLDI'09: 2009 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Savannah, GA, USA,
                  January 24, 2009},
  pages        = {105--116},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481861.1481874},
  doi          = {10.1145/1481861.1481874},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tldi/KrishnaswamiABSB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Krishnaswami06,
  author       = {Neelakantan R. Krishnaswami},
  title        = {Reasoning about iterators with separation logic},
  booktitle    = {Proceedings of the 2006 Conference on Specification and Verification
                  of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
                  10-11, 2006},
  pages        = {83--86},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1181195.1181213},
  doi          = {10.1145/1181195.1181213},
  timestamp    = {Thu, 10 Feb 2022 15:29:19 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Krishnaswami06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KrishnaswamiA05,
  author       = {Neelakantan R. Krishnaswami and
                  Jonathan Aldrich},
  editor       = {Vivek Sarkar and
                  Mary W. Hall},
  title        = {Permission-based ownership: encapsulating state in higher-order typed
                  languages},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming
                  Language Design and Implementation, Chicago, IL, USA, June 12-15,
                  2005},
  pages        = {96--106},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1065010.1065023},
  doi          = {10.1145/1065010.1065023},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/KrishnaswamiA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DonnellyGKMP04,
  author       = {Kevin Donnelly and
                  Tyler Gibson and
                  Neel Krishnaswami and
                  Stephen Magill and
                  Sungwoo Park},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {The Inverse Method for the Logic of Bunched Implications},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {466--480},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_31},
  doi          = {10.1007/978-3-540-32275-7\_31},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/DonnellyGKMP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics