Neelakantan R. Krishnaswami

According to our database, Neelakantan R. Krishnaswami authored at least 40 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Focusing on Refinement Typing.

Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield

ACM Trans. Program. Lang. Syst., December, 2023

Explicit Refinement Types.

Jad Elkhaleq Ghalayini, Neel Krishnaswami

Proc. ACM Program. Lang., August, 2023

CN: Verifying Systems C Code with Separation-Logic Refinement Types.

Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, Neel Krishnaswami

Proc. ACM Program. Lang., January, 2023

flap: A Deterministic Parser with Fused Lexing.

Jeremy Yallop, Ningning Xie, Neel Krishnaswami

Proc. ACM Program. Lang., 2023

2022

Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation.

Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Tom Ellis, Richard A. Eisenberg, Andrew W. Fitzgibbon

Proc. ACM Program. Lang., 2022

Bidirectional Typing.

Jana Dunfield, Neel Krishnaswami

ACM Comput. Surv., 2022

Focusing on Liquid Refinement Typing.

Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield

CoRR, 2022

Implicit Polarized F: local type inference for impredicativity.

Henry Mercer, Cameron Ramsay, Neel Krishnaswami

CoRR, 2022

2021

Transfinite step-indexing for termination.

Simon Spies, Neel Krishnaswami, Derek Dreyer

Proc. ACM Program. Lang., 2021

Adjoint Reactive GUI Programming.

Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

Recovering purity with comonads and capabilities.

Vikraman Choudhury, Neel Krishnaswami

Proc. ACM Program. Lang., 2020

Seminaïve evaluation for a higher-order functional language.

Michael Arntzenius, Neel Krishnaswami

Proc. ACM Program. Lang., 2020

Adjoint Reactive GUI.

Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami

CoRR, 2020

2019

Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types.

Jana Dunfield, Neelakantan R. Krishnaswami

Proc. ACM Program. Lang., 2019

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS.

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

Proc. ACM Program. Lang., 2019

NumLin: Linear Types for Linear Algebra (Artifact).

Dhruv C. Makwana, Neelakantan R. Krishnaswami

Dagstuhl Artifacts Ser., 2019

A typed, algebraic approach to parsing.

Neelakantan R. Krishnaswami, Jeremy Yallop

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Representing music with prefix trees.

Yan Han, Nada Amin, Neel Krishnaswami

Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, 2019

A Program Logic for First-Order Encapsulated WebAssembly.

Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

NumLin: Linear Types for Linear Algebra.

Dhruv C. Makwana, Neelakantan R. Krishnaswami

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2016

Datafun: a functional Datalog.

Michael Arntzenius, Neelakantan R. Krishnaswami

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Mtac: A monad for typed tactic programming in Coq.

Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis

J. Funct. Program., 2015

Integrating Linear and Dependent Types.

Neelakantan R. Krishnaswami, Cécilia Pradic, Nick Benton

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Freeze after writing: quasi-deterministic parallel programming with LVars.

Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Higher-order functional reactive programming without spacetime leaks.

Neelakantan R. Krishnaswami

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Complete and easy bidirectional typechecking for higher-rank polymorphism.

Jana Dunfield, Neelakantan R. Krishnaswami

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Internalizing Relational Parametricity in the Extensional Calculus of Constructions.

Neelakantan R. Krishnaswami, Derek Dreyer

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2012

Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic.

Neelakantan R. Krishnaswami

PhD thesis, 2012

Semantics for graphical user interfaces.

Neelakantan R. Krishnaswami

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Higher-order functional reactive programming in bounded space.

Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Superficially substructural types.

Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Adding Equations to System F Types.

Neelakantan R. Krishnaswami, Nick Benton

Proceedings of the Programming Languages and Systems, 2012

2011

Ultrametric Semantics of Reactive Programs.

Neelakantan R. Krishnaswami, Nick Benton

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

A semantic model for graphical user interfaces.

Neelakantan R. Krishnaswami, Nick Benton

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Verifying event-driven programs using ramified frame properties.

Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

2009

Design patterns in separation logic.

Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

Focusing on pattern matching.

Neelakantan R. Krishnaswami

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2006

Reasoning about iterators with separation logic.

Neelakantan R. Krishnaswami

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

2005

Permission-based ownership: encapsulating state in higher-order typed languages.

Neelakantan R. Krishnaswami, Jonathan Aldrich

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

2004

The Inverse Method for the Logic of Bunched Implications.

Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park

Proceedings of the Logic for Programming, 2004