Hrishikesh Balakrishnan

According to our database, Hrishikesh Balakrishnan authored at least 1 paper in 2025.

Collaborative distances:

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

2025

FO-Complete Program Verification for Heap Logics.

Adithya Murali, Hrishikesh Balakrishnan, Aaron Councilman, P. Madhusudan

Proc. ACM Program. Lang., 2025