Statistics
Publications
52
Citations
3.5K
H-Index
27
Active since
2003
Nikhil Swamy is an author at Microsoft (United States) specializing in computing, computer science, and programming languages.
Publications per year
2003–2023
52
52
Formal Verification of Smart Contracts
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 620 citations · Full text
Dependent types and multi-monadic effects in F*
Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. · 2016 · 292 citations · Full text
Secure distributed programming with value-dependent types
Nikhil Swamy, Juan Chen, Cédric Fournet et al. · ACM SIGPLAN Notices · 2011 · 155 citations
Secure distributed programming with value-dependent types
Nikhil Swamy, Juan Chen, Cédric Fournet et al. · 2011 · 139 citations
1–5 of 52