Neelakantan R. Krishnaswami

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 8

Top Topics

Parallel Programming

Graphical User Interfaces

Top Venues

Publications

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