Kerry Vaughan-Rowe@KerryV-R

70% of the largest companies in the world run on legacy infrastructure. They spend billions of dollars each year trying to modernise their codebases, in a process that is often manual, slow and expensive (projects may cost $2M+ and take 6-16 months to complete). It’s possible to transpile COBOL to Java using off-the-shelf tools which preserve semantics but produce illegible, unmaintainable code. Our innovation is the ability to use AI to guide the incremental application of small, provably-correct code transformations to make the code readable and maintainable without affecting its execution semantics. We generate these transformations with an LLM, but then prove them correct ahead of time, gradually building a huge repository of validated transforms. We’ll can sell this as a service to existing consultancies that work in the space or work with clients directly ourselves. Over time, we can apply the same approach to new use cases. We could help companies move from C to Rust to comply with CISA cybersecurity recommendations. Alternatively, we can use these LLM-guided techniques within a language like CUDA to improve performance rather than maintainability. In the general case, our technology can be applied to refactor and improve any code with correctness guarantees not provided by existing LLM methods, presenting opportunities for better AI-generated code in any domain.

Drive efficiency, automation, and innovation by streamlining workflows and integrating seamless processes. ⏳ You have 48 hours to complete the challenge and compete for prizes. 🚀 Learn and build AI solutions with IBM Granite. 💡 Create impactful solutions that drive smarter business operations. ⭐ Gain expert guidance throughout the hackathon. 🤝 Collaborate or work solo to bring your ideas to life. 💰 $10,000 prize pool for the winners! 🧑🏻‍💻 Sign up before the Kick-Off Stream and start shaping the future with IBM Granite!