Seguir
Anshuman Mohan
Anshuman Mohan
PhD Student, Cornell University
Dirección de correo verificada de cs.cornell.edu - Página principal
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–4