Anshuman Mohan

Orcid: 0000-0002-6803-9767

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators.
Proc. ACM Program. Lang., 2024

2023
Formal Abstractions for Packet Scheduling.
Proc. ACM Program. Lang., October, 2023

Formal Abstractions for Packet Scheduling.
Dataset, September, 2023

2021
Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
A functional proof pearl: inverting the Ackermann hierarchy.
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.
Proc. ACM Program. Lang., 2019


  Loading...