Neelakantan R. Krishnaswami
Neelakantan R. Krishnaswami
Verified email at cl.cam.ac.uk - Homepage
Title
Cited by
Cited by
Year
Ultrametric semantics of reactive programs
NR Krishnaswami, N Benton
Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, 257-266, 2011
922011
Higher-Order Reactive Programming without Spacetime Leaks
NR Krishnaswami
84*
Complete and easy bidirectional typechecking for higher-rank polymorphism
J Dunfield, NR Krishnaswami
ACM SIGPLAN Notices 48 (9), 429-442, 2013
812013
Freeze after writing: Quasi-deterministic parallel programming with LVars
L Kuper, A Turon, NR Krishnaswami, RR Newton
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
592014
Higher-order functional reactive programming in bounded space
NR Krishnaswami, N Benton, J Hoffmann
ACM SIGPLAN Notices 47 (1), 45-58, 2012
552012
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS
A Armstrong, T Bauereiss, B Campbell, A Reid, KE Gray, R Norton-Wright, ...
542019
Integrating linear and dependent types
NR Krishnaswami, P Pradic, N Benton
ACM SIGPLAN Notices 50 (1), 17-30, 2015
512015
Mtac: a monad for typed tactic programming in Coq
B Ziliani, D Dreyer, NR Krishnaswami, A Nanevski, V Vafeiadis
ACM SIGPLAN Notices 48 (9), 87-100, 2013
512013
A semantic model for graphical user interfaces
NR Krishnaswami, N Benton
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
512011
Design patterns in separation logic
NR Krishnaswami, J Aldrich, L Birkedal, K Svendsen, A Buisse
Proceedings of the 4th international workshop on Types in language design …, 2009
412009
Permission-based ownership: encapsulating state in higher-order typed languages
N Krishnaswami, J Aldrich
ACM SIGPLAN Notices 40 (6), 96-106, 2005
372005
Mtac: A monad for typed tactic programming in Coq
B Ziliani, D Dreyer, NR Krishnaswami, A Nanevski, V Vafeiadis
Journal of functional programming 25, 2015
352015
Superficially substructural types
NR Krishnaswami, A Turon, D Dreyer, D Garg
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
342012
Reasoning about iterators with separation logic
NR Krishnaswami
Proceedings of the 2006 conference on Specification and verification of …, 2006
332006
Internalizing relational parametricity in the extensional calculus of constructions
NR Krishnaswami, D Dreyer
Computer Science Logic 2013 (CSL 2013), 2013
322013
Verifying event-driven programs using ramified frame properties
NR Krishnaswami, L Birkedal, J Aldrich
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and …, 2010
282010
Datafun: a functional Datalog
M Arntzenius, NR Krishnaswami
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
272016
Focusing on pattern matching
NR Krishnaswami
ACM SIGPLAN Notices 44 (1), 366-378, 2009
272009
Verifying higher-order imperative programs with higher-order separation logic
NR Krishnaswami
Carnegie Mellon University, 2010
262010
The inverse method for the logic of bunched implications
K Donnelly, T Gibson, N Krishnaswami, S Magill, S Park
International Conference on Logic for Programming Artificial Intelligence …, 2005
202005
The system can't perform the operation now. Try again later.
Articles 1–20