Neelakantan R. Krishnaswami

Cited by

	All	Since 2019
Citations	1648	938
h-index	24	17
i10-index	31	22

200

100

150

200620072008200920102011201220132014201520162017201820192020202120222023202410 19 14 32 31 25 46 67 93 80 85 86 104 114 146 155 151 200 168

Public access

View all

11 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
Jana DunfieldQueen's UniversityVerified email at queensu.ca
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
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
Ryan NewtonMIT, Purdue University, Meta PlatformsVerified email at indiana.edu
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
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Kasper SvendsenDepartment of Computer Science, Aarhus UniversityVerified email at itu.dk
Lindsey KuperUniversity of California, Santa CruzVerified email at ucsc.edu
Jeremy YallopUniversity of CambridgeVerified email at cl.cam.ac.uk
Jan HoffmannCarnegie Mellon UniversityVerified email at cmu.edu

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	163	2019
Complete and easy bidirectional typechecking for higher-rank polymorphism J Dunfield, NR Krishnaswami ACM SIGPLAN Notices 48 (9), 429-442, 2013	118	2013
Higher-Order Reactive Programming without Spacetime Leaks NR Krishnaswami	107*
Ultrametric semantics of reactive programs NR Krishnaswami, N Benton Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, 257-266, 2011	104	2011
Bidirectional typing J Dunfield, N Krishnaswami ACM Computing Surveys (CSUR) 54 (5), 1-38, 2021	97	2021
Integrating linear and dependent types NR Krishnaswami, P Pradic, N Benton ACM SIGPLAN Notices 50 (1), 17-30, 2015	80	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	74	2014
Higher-order functional reactive programming in bounded space NR Krishnaswami, N Benton, J Hoffmann ACM SIGPLAN Notices 47 (1), 45-58, 2012	65	2012
A semantic model for graphical user interfaces NR Krishnaswami, N Benton Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011	58	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	56	2013
Datafun: a functional Datalog M Arntzenius, NR Krishnaswami Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	54	2016
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	47	2015
Internalizing relational parametricity in the extensional calculus of constructions NR Krishnaswami, D Dreyer Computer Science Logic 2013 (CSL 2013), 2013	46	2013
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	45	2009
Reasoning about iterators with separation logic NR Krishnaswami Proceedings of the 2006 conference on Specification and verification of …, 2006	41	2006
Superficially substructural types NR Krishnaswami, A Turon, D Dreyer, D Garg Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012	39	2012
Permission-based ownership: encapsulating state in higher-order typed languages N Krishnaswami, J Aldrich ACM SIGPLAN Notices 40 (6), 96-106, 2005	39	2005
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	35	2022
Focusing on pattern matching NR Krishnaswami ACM SIGPLAN Notices 44 (1), 366-378, 2009	35	2009
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

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