Rohan Ravikumar Padulkar

According to our database, Rohan Ravikumar Padulkar authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Interactive Theorem Proving Modulo Fuzzing.

Sujit Kumar Muduli, Rohan Ravikumar Padulkar, Subhajit Roy

Proceedings of the Computer Aided Verification - 36th International Conference, 2024