| 2019 | ECOOP | NumLin: Linear Types for Linear Algebra. | Dhruv C. Makwana, Neelakantan R. Krishnaswami |
| 2019 | ECOOP | A Program Logic for First-Order Encapsulated WebAssembly. | Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner |
| 2019 | PLDI | A typed, algebraic approach to parsing. | Neelakantan R. Krishnaswami, Jeremy Yallop |
| 2016 | ICFP | Datafun: a functional Datalog. | Michael Arntzenius, Neelakantan R. Krishnaswami |
| 2015 | POPL | Integrating Linear and Dependent Types. | Neelakantan R. Krishnaswami, Ccilia Pradic, Nick Benton |
| 2014 | POPL | Freeze after writing: quasi-deterministic parallel programming with LVars. | Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton |
| 2013 | CSL | Internalizing Relational Parametricity in the Extensional Calculus of Constructions. | Neelakantan R. Krishnaswami, Derek Dreyer |
| 2013 | ICFP | Complete and easy bidirectional typechecking for higher-rank polymorphism. | Jana Dunfield, Neelakantan R. Krishnaswami |
| 2013 | ICFP | Higher-order functional reactive programming without spacetime leaks. | Neelakantan R. Krishnaswami |
| 2013 | ICFP | Mtac: a monad for typed tactic programming in Coq. | Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis |
| 2012 | ESOP | Adding Equations to System F Types. | Neelakantan R. Krishnaswami, Nick Benton |
| 2012 | ICFP | Superficially substructural types. | Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg |
| 2012 | POPL | Higher-order functional reactive programming in bounded space. | Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann |
| 2011 | ICFP | A semantic model for graphical user interfaces. | Neelakantan R. Krishnaswami, Nick Benton |
| 2011 | LICS | Ultrametric Semantics of Reactive Programs. | Neelakantan R. Krishnaswami, Nick Benton |
| 2009 | POPL | Focusing on pattern matching. | Neelakantan R. Krishnaswami |
| 2005 | PLDI | Permission-based ownership: encapsulating state in higher-order typed languages. | Neelakantan R. Krishnaswami, Jonathan Aldrich |