Runtime Verified Neural Networks for Cyber-Physical Systems. - Dhiren Tripuramallu; Ayush Anand 001; Srinivas Pinisetty; Hammond Pearce; Partha S. Roop (VORTEX@ISSTA, 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)