Neelakantan R. Krishnaswami

28 papers A* 7A 9B 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2019 A conf
A Program Logic for First-Order Encapsulated WebAssembly.
ECOOP
Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner
2019 A* conf
A typed, algebraic approach to parsing.
PLDI
Neelakantan R. Krishnaswami, Jeremy Yallop
2019 J jnl
NumLin: Linear Types for Linear Algebra (Artifact).
Dagstuhl Artifacts Ser.
Dhruv C. Makwana, Neelakantan R. Krishnaswami
2019 A conf
NumLin: Linear Types for Linear Algebra.
ECOOP
Dhruv C. Makwana, Neelakantan R. Krishnaswami
2019 J jnl
Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types.
Proc. ACM Program. Lang.
Jana Dunfield, Neelakantan R. Krishnaswami
2018 J jnl
A Program Logic for First-Order Encapsulated WebAssembly.
CoRR
Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner
2016 A conf
Datafun: a functional Datalog.
ICFP
Michael Arntzenius, Neelakantan R. Krishnaswami
2016 — ed.
Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016.
MSFP@ETAPS
Robert Atkey, Neelakantan R. Krishnaswami
2016 J jnl
Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types.
CoRR
Jana Dunfield, Neelakantan R. Krishnaswami
2015 A* conf
Integrating Linear and Dependent Types.
POPL
Neelakantan R. Krishnaswami, Cécilia Pradic, Nick Benton
2015 J jnl
Mtac: A monad for typed tactic programming in Coq.
J. Funct. Program.
Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis
2014 A* conf
Freeze after writing: quasi-deterministic parallel programming with LVars.
POPL
Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton
2013 J jnl
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism.
CoRR
Jana Dunfield, Neelakantan R. Krishnaswami
2013 A conf
Complete and easy bidirectional typechecking for higher-rank polymorphism.
ICFP
Jana Dunfield, Neelakantan R. Krishnaswami
2013 A conf
Higher-order functional reactive programming without spacetime leaks.
ICFP
Neelakantan R. Krishnaswami
2013 B conf
Internalizing Relational Parametricity in the Extensional Calculus of Constructions.
CSL
Neelakantan R. Krishnaswami, Derek Dreyer
2013 A conf
Mtac: a monad for typed tactic programming in Coq.
ICFP
Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis
2012 A conf
Adding Equations to System F Types.
ESOP
Neelakantan R. Krishnaswami, Nick Benton
2012 A* conf
Higher-order functional reactive programming in bounded space.
POPL
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann
2012 — conf
Semantics for graphical user interfaces.
TLDI
Neelakantan R. Krishnaswami
2012 A conf
Superficially substructural types.
ICFP
Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg
2012 — —
Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic.
Neelakantan R. Krishnaswami
2011 A conf
A semantic model for graphical user interfaces.
ICFP
Neelakantan R. Krishnaswami, Nick Benton
2011 A* conf
Ultrametric Semantics of Reactive Programs.
LICS
Neelakantan R. Krishnaswami, Nick Benton
2009 — conf
Design patterns in separation logic.
TLDI
Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse
2009 A* conf
Focusing on pattern matching.
POPL
Neelakantan R. Krishnaswami
2006 — conf
Reasoning about iterators with separation logic.
SAVCBS@FSE
Neelakantan R. Krishnaswami
2005 A* conf
Permission-based ownership: encapsulating state in higher-order typed languages.
PLDI
Neelakantan R. Krishnaswami, Jonathan Aldrich