Dhiren Tripuramallu

According to our database, Dhiren Tripuramallu authored at least 2 papers in 2024.

Collaborative distances:

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

2024

Towards a Transpiler for C/C++ to Safer Rust.

Dhiren Tripuramallu, Swapnil Singh, Shrirang Deshmukh, Srinivas Pinisetty, Shinde Arjun Shivaji, Raja Balusamy, Ajaganna Bandeppa

CoRR, 2024

Runtime Verified Neural Networks for Cyber-Physical Systems.

Dhiren Tripuramallu, Ayush Anand, Srinivas Pinisetty, Hammond Pearce, Partha S. Roop

Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, 2024