Follow
Anshuman Mohan
Anshuman Mohan
PhD Student, Cornell University
Verified email at cs.cornell.edu - Homepage
Title
Cited by
Cited by
Year
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
162019
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
52021
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
The system can't perform the operation now. Try again later.
Articles 1–3