Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Neelakantan R. Krishnaswami
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.