Concepedia
Statistics
Publications
8
Citations
269
H-Index
Active since
2005
Affiliations
University of Cambridge(Current)
Carnegie Mellon University
Microsoft Research (United Kingdom)
Neel Krishnaswami is an author at University of Cambridge specializing in computer science, computing, and programming languages.
Publications per year
2005–2023
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS
Alasdair Armstrong, B. K. Campbell, Alastair Reid et al. · Proceedings of the ACM on Programming Languages · 2019 · 118 citations · Full text
Computing, Computer Engineering, Computer Science +17
Permission-based ownership
Neel Krishnaswami, Jonathan Aldrich · ACM SIGPLAN Notices · 2005 · 29 citations
Computing, Computer Science, Programming Languages +16
Verifying event-driven programs using ramified frame properties
Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich · 2010 · 29 citations
Computing, Computer Science, Formal Methods +14
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation
Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami et al. · Proceedings of the ACM on Programming Languages · 2022 · 28 citations · Full text
Computing, Computer Engineering, Computer Science +8
CN: Verifying Systems C Code with Separation-Logic Refinement Types
Christopher Pulte, Dhruv C. Makwana, Thomas Sewell et al. · Proceedings of the ACM on Programming Languages · 2023 · 20 citations · Full text
Computing, Computer Science, Computer Systems +17
1–5 of 8