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
212019
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
92021
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
42023
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–4