Concepedia

Amrit Kumar

AK

Statistics

Publications

3

Citations

196

H-Index

3

Active since

2018

Affiliations

Yale-NUS College(Current)

National University of Singapore

Amrit Kumar is an author at Yale-NUS College specializing in computing, computer science, and formal verification.

Publications per year

2018–2021

3

Publications

3

Safer smart contract programming with Scilla

Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen et al. · Proceedings of the ACM on Programming Languages · 2019 · 100 citations · Full text

, , +14

Scilla: a Smart Contract Intermediate-Level LAnguage

Ilya Sergey, Amrit Kumar, Aquinas Hobor · arXiv (Cornell University) · 2018 · 58 citations · Full text

, , +17

Practical smart contract sharding with ownership and commutativity analysis

George Pîrlea, Amrit Kumar, Ilya Sergey · 2021 · 38 citations · Full text

, , +12

1–3 of 3