Suivre
Anshuman Mohan
Anshuman Mohan
PhD Student, Cornell University
Adresse e-mail validée de cs.cornell.edu - Page d'accueil
Titre
Citée par
Citée par
Année
Certifying graph-manipulating C programs via localizations within data structures
S Wang, Q Cao, A Mohan, A Hobor
Proceedings of the ACM on Programming Languages 3 (OOPSLA), Article 171, 2019
292019
Functional correctness of C implementations of Dijkstra’s, Kruskal’s, and Prim’s algorithms
A Mohan, WX Leow, A Hobor
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
122021
Formal abstractions for packet scheduling
A Mohan, Y Liu, N Foster, T Kappé, D Kozen
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1338-1362, 2023
62023
A functional proof pearl: inverting the Ackermann hierarchy
L Tran, A Mohan, A Hobor
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
2020
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–4