Neelakantan R. Krishnaswami

Cited by

	All	Since 2018
Citations	1477	870
h-index	23	16
i10-index	30	21

200

100

150

2006200720082009201020112012201320142015201620172018201920202021202220239 19 15 29 29 26 45 67 91 79 87 92 101 110 148 160 162 182

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Nick BentonEngineering Manager, FacebookVerified email at fb.com
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Jana DunfieldQueen's UniversityVerified email at queensu.ca
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Aaron TuronMPI-SWSVerified email at mpi-sws.org
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Beta ZilianiFAMAF, UNC and Manas.TechVerified email at mpi-sws.org
Shaked FlurCambridge UniversityVerified email at cl.cam.ac.uk
Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghVerified email at ed.ac.uk
Robert NortonUniversity of CambridgeVerified email at cl.cam.ac.uk
Alastair ReidSenior Principal EngineerVerified email at intel.com
Christopher PulteUniversity of CambridgeVerified email at cam.ac.uk
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Lindsey KuperUniversity of California, Santa CruzVerified email at ucsc.edu
Ryan NewtonMIT, Indiana University, FacebookVerified email at indiana.edu
Jan HoffmannCarnegie Mellon UniversityVerified email at cmu.edu
Kasper SvendsenDepartment of Computer Science, Aarhus UniversityVerified email at itu.dk

Neelakantan R. Krishnaswami

University of Cambridge

Verified email at cl.cam.ac.uk - Homepage

logic programming languages semantics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
ISA Semantics for ARMv8-a, RISC-v, and CHERI-MIPS A Armstrong, T Bauereiss, B Campbell, A Reid, KE Gray, RM Norton, ... Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019	138	2019
Complete and easy bidirectional typechecking for higher-rank polymorphism J Dunfield, NR Krishnaswami ACM SIGPLAN Notices 48 (9), 429-442, 2013	111	2013
Ultrametric semantics of reactive programs NR Krishnaswami, N Benton Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, 257-266, 2011	103	2011
Higher-Order Reactive Programming without Spacetime Leaks NR Krishnaswami	103*
Integrating linear and dependent types NR Krishnaswami, P Pradic, N Benton ACM SIGPLAN Notices 50 (1), 17-30, 2015	78	2015
Freeze after writing: Quasi-deterministic parallel programming with LVars L Kuper, A Turon, NR Krishnaswami, RR Newton ACM SIGPLAN Notices 49 (1), 257-270, 2014	75	2014
Bidirectional typing J Dunfield, N Krishnaswami ACM Computing Surveys (CSUR) 54 (5), 1-38, 2021	72	2021
Higher-order functional reactive programming in bounded space NR Krishnaswami, N Benton, J Hoffmann ACM SIGPLAN Notices 47 (1), 45-58, 2012	63	2012
A semantic model for graphical user interfaces NR Krishnaswami, N Benton Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011	56	2011
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	53	2013
Datafun: a functional Datalog M Arntzenius, NR Krishnaswami Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	50	2016
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	43	2009
Mtac: A monad for typed tactic programming in Coq B Ziliani, D Dreyer, NR Krishnaswami, A Nanevski, V Vafeiadis Journal of functional programming 25, e12, 2015	42	2015
Internalizing relational parametricity in the extensional calculus of constructions NR Krishnaswami, D Dreyer Computer Science Logic 2013 (CSL 2013), 2013	42	2013
Superficially substructural types NR Krishnaswami, A Turon, D Dreyer, D Garg Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012	40	2012
Reasoning about iterators with separation logic NR Krishnaswami Proceedings of the 2006 conference on Specification and verification of …, 2006	40	2006
Permission-based ownership: encapsulating state in higher-order typed languages N Krishnaswami, J Aldrich ACM SIGPLAN Notices 40 (6), 96-106, 2005	39	2005
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	33	2010
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation F Krawiec, S Peyton Jones, N Krishnaswami, T Ellis, RA Eisenberg, ... Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022	31	2022
Focusing on pattern matching NR Krishnaswami ACM SIGPLAN Notices 44 (1), 366-378, 2009	30	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors