ISEC 2026
Thu 19 - Sat 21 February 2026 Jaipur, Rajasthan, India

This program is tentative and subject to change.

Rust is a multi-paradigm programming language developed by Mozilla that focuses on performance and safety. Rust code is arguably known best for its speed and memory safety, a property essential while developing embedded systems. Thus, it becomes one of the alternatives when developing operating systems for embedded devices. How to convert an existing C++ codebase to Rust is also gaining greater attention. In this work, we focus on the process of transpiling C++ code to a Rust codebase in a robust and safe manner. We began by analyzing existing automated transpilers, identifying their inherent inefficiencies and challenges. By delving into the nuances between C++ and Rust, we harnessed these insights to develop Cp2SRust, our own automated transpiler. The effectiveness of the tool is evaluated by testing it on multiple real-world C++ codebases, showing a high success rate in generating compilable and safe Rust code with minimal manual intervention. We also compare the tool developed, Cp2SRust with the other existing tools, showing that the tool produces better transpiled safe Rust code compared to other existing tools.

This program is tentative and subject to change.

Sat 21 Feb

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

11:30 - 12:40
Research Session 4: Code Quality, Safety, and Security AssuranceResearch Papers at Auditorium
11:30
20m
Research paper
From Correctness to Code Quality: Formalizing Software Engineering Metrics for Evaluating General LLMs
Research Papers
JAYESH UMRE PDPM Indian Institute of Information Technology, Design and Manufacturing (IIITDM), Jabalpur, MP, India, Ashish Singh Parihar PDPM Indian Institute of Information Technology, Design and Manufacturing (IIITDM), Jabalpur, MP, India, Atul Gupta PDPM Indian Institute of Information Technology, Design and Manufacturing (IIITDM), Jabalpur, MP, India
11:50
20m
Research paper
Cp2SRust: A Transpiler for C/C++ to Safer Rust
Research Papers
Vedanta Mohapatra Indian Institute of Technology, Bhubaneswar, Dhiren Tripuramallu Indian Institute of Technology, Bhubaneswar, Arnav Kumar Behera Indian Institute of Technology, Bhubaneswar, Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Shinde Arjun Shivaji Samsung R&D Inst., Bangalore, Ajaganna Bandeppa Samsung R&D Inst., Bangalore
12:10
20m
Research paper
Modeling and Verification of Enhanced MTIP: Secure and Sleepy
Research Papers
Manan Khanna Indian Institute of Technology Bhubaneswar, Srinivas Pinisetty Indian Institute of Technology Bhubaneswar
12:30
12m
Short-paper
Correlation-Aware Voting for Robust Code Smell Detection: An Efficient Feature Selection Approach
Research Papers
Nikita Bhedasgaonkar PICT, Pune, Govind Soni IIT Bombay, Rushikesh K. Joshi IIT Bombay