Anshuman Mohan

According to our database, Anshuman Mohan authored at least 6 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Unifying Static and Dynamic Intermediate Languages for Accelerator Generators.

Caleb Kim, Pai Li, Anshuman Mohan, Andrew Butt, Adrian Sampson, Rachit Nigam

Proc. ACM Program. Lang., 2024

2023

Formal Abstractions for Packet Scheduling.

Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen

Proc. ACM Program. Lang., October, 2023

Formal Abstractions for Packet Scheduling.

Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen

Dataset, September, 2023

2021

Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms.

Anshuman Mohan, Wei Xiang Leow, Aquinas Hobor

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

A functional proof pearl: inverting the Ackermann hierarchy.

Linh Tran, Anshuman Mohan, Aquinas Hobor

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

Certifying graph-manipulating C programs via localizations within data structures.

Shengyi Wang, Qinxiang Cao, Anshuman Mohan, Aquinas Hobor

Proc. ACM Program. Lang., 2019