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 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
11:30 - 12:40 | |||
11:30 20mResearch 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 20mResearch 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 20mResearch 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 12mShort-paper | Correlation-Aware Voting for Robust Code Smell Detection: An Efficient Feature Selection Approach Research Papers | ||