Anshuman Mohan

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Description Languages

Efficient Data Structures

Conditional Independence

Dependency Graph

Top Venues

Proc. ACM Program. Lang.

Publications

Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
Formal Abstractions for Packet Scheduling. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Caleb Kim, Pai Li, Anshuman Mohan, Andrew Butt, Adrian Sampson, Rachit Nigam
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators. CoRR (2023)
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
Formal Abstractions for Packet Scheduling. CoRR (2022)
Anshuman Mohan, Wei Xiang Leow, Aquinas Hobor
Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms. CAV (2) (2021)
Linh Tran, Anshuman Mohan, Aquinas Hobor
A functional proof pearl: inverting the Ackermann hierarchy. CPP (2020)
Shengyi Wang, Qinxiang Cao, Anshuman Mohan, Aquinas Hobor
Certifying graph-manipulating C programs via localizations within data structures. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)