Connect with us

Tech

Automatic C to Rust translation technology provides accuracy beyond AI

Published

on

Automatic C to Rust translation technology provides accuracy beyond AI


Credit: Communications of the ACM (2025). DOI: 10.1145/3737696

As the C language, which forms the basis of critical global software like operating systems, faces security limitations, KAIST’s research team is pioneering core original technology research for the accurate automatic conversion to Rust to replace it. By proving the mathematical correctness of the conversion, a limitation of existing artificial intelligence (LLM) methods, and solving C language security issues through automatic conversion to Rust, they presented a new direction and vision for future software security research.

The paper by Professor Sukyoung Ryu’s research team from the School of Computing was published in the November issue of Communications of the ACM and was selected as the cover story.

The C language has been widely used in the industry since the 1970s, but its structural limitations have continuously caused severe bugs and security vulnerabilities. Rust, on the other hand, is a secure programming language developed since 2015, used in the development of operating systems and , and has the characteristic of being able to detect and prevent bugs before program execution.

The U.S. White House recommended discontinuing the use of C language in a technology report released in February 2024, and the Defense Advanced Research Projects Agency (DARPA) also explicitly stated that Rust is the core alternative for resolving C language security issues by promoting a project to develop technology for the automatic conversion of C code to Rust.

Professor Ryu’s research team proactively raised the issues of C language safety and the importance of automatic conversion even before these movements began in earnest, and they have continuously developed core related technologies.

In May 2023, the research team presented the Mutex conversion technology (necessary for program synchronization) at ICSE (International Conference on Software Eng). In June 2024, they presented the Output Parameter conversion technology (used for result delivery) at PLDI (Programming Language Design and Implementation), and in October of the same year, they presented the Union conversion technology (for storing diverse data together) at ASE (Automated Software Eng).

Dr. Jaemin Hong stated, “The conversion technology we developed is an original technology based on programming language theory, and its biggest strength is that we can logically prove the ‘correctness’ of the conversion.” He added, “While most research relies on large language models (LLMs), our technology can mathematically guarantee the correctness of the conversion.”

Dr. Hong is scheduled to be appointed as an assistant professor in the Computer Science Department at UNIST starting in March 2025.

In addition, Professor Ryu’s research team has four papers, including C→Rust conversion technology, accepted for presentation at ASE 2025 held in Seoul, South Korea, Nov. 16–20.

These papers, in addition to automatic technology, cover various cutting-edge fields. They include: technology to verify whether quantum computer programs operate correctly, “WEST” technology that automatically checks the correctness of WebAssembly programs (technology for fast and efficient program execution on the web) and creates tests for them, and technology that automatically simplifies complex WebAssembly code to quickly find errors. Among these, the WEST paper received the Distinguished Paper Award.

More information:
Jaemin Hong et al, Automatically Translating C to Rust, Communications of the ACM (2025). DOI: 10.1145/3737696

Citation:
Automatic C to Rust translation technology provides accuracy beyond AI (2025, November 11)
retrieved 11 November 2025
from https://techxplore.com/news/2025-11-automatic-rust-technology-accuracy-ai.html

This document is subject to copyright. Apart from any fair dealing for the purpose of private study or research, no
part may be reproduced without the written permission. The content is provided for information purposes only.





Source link

Tech

Booze Without the Burn? An Enzyme-Tinkering Startup Aims to Make Spirits Smoother

Published

on

Booze Without the Burn? An Enzyme-Tinkering Startup Aims to Make Spirits Smoother


In the world of professional spirits reviews, “smooth” is something of a dirty word. Consumers, on the other hand, absolutely love to use it.

The implication of “smooth” is simple; it suggests a product doesn’t hurt when you drink it. It’s such a sought-after quality that the distilling industry will do just about anything to achieve it. Some methods are respectable, like aging a whiskey for 15 years to file down its rough edges. Some are less so, like dumping in loads of chemical additives. Some are more successful than others, but none can completely eliminate that burning sensation in your mouth.

But it wasn’t until Joana Montenegro and Martin Enriquez, the spousal founders of Voodoo Scientific, that anyone really asked: Why does alcohol burn, anyway? And, most importantly, is there a way to get rid of that gasp-inducing burn altogether?

Conventional wisdom and common sense would suggest that ethanol is what makes that ill-advised shot of firewater sear your mouth and throat so badly, but it turns out that’s not the case. During the months of Covid-19 lockdown, Enriquez, a former telecom executive, says he and Montenegro, essentially on a lark, had the idea to dig deep into this question. They started by scouring the scientific journals to see if anyone had pinpointed the reason why whiskey and its ilk can cause an unpleasant burn. No one had. “Nobody could describe the compounds that make that harsh, painful bite,” he says. “No one could really identify what it is that attacks you and creates pain.”

Montenegro, a veteran food scientist from General Mills and Land O’Lakes, said they decided to go deeper. “We said, ‘Let’s go back and find the specific receptor in the mouth that’s being triggered by the spirit,’” she says.

To do that, the duo started by contacting David Julius, the head of physiology at UCSF, to discuss the line of inquiry. Masked and 6 feet apart in a Starbucks, Montenegro says, Julius didn’t comprehend why someone who was part of the team that patented Go-Gurt had an interest in pain receptors. Nevertheless, the duo persisted, and Julius eventually guided them on how to research the concept and determine which receptor was being activated to cause a pain response. Eventually Montenegro and Enriquez found it, a receptor called TRPA1.

Once a negative receptor like this is identified, traditional food science has a solution for dealing with it: You block the receptor with a chemical. It’s the typical way that sweetness and bitterness can be masked in foodstuffs, by just covering it up with something stronger. Alas, that didn’t work for hiding the burn of alcohol. “This receptor has a very unique property called reversible bonding,” says Montenegro. “It’ll bond to a thing, it’ll give you a jolt, and it’ll let it go—and then it’ll bond to another one.” This is why alcohol continues to burn sip after sip.

“In other words, you can’t block it,” she says. “It’s designed to continuously alert you that you’re consuming something that is an irritant.”



Source link

Continue Reading

Tech

Top 1Password Coupons for November 2025

Published

on

Top 1Password Coupons for November 2025


1Password has long been one of our favorite password managers. It’s our upgrade pick for all the extra features it offers compared to other password managers. 1Password has apps that work just about everywhere, including on macOS, iOS, Android, Windows, Linux, and ChromeOS. There are plug-ins for your favorite web browser too, which makes it easy to generate and edit new passwords on the fly.

What Are the Benefits of 1Password?

There are also some very nice features in 1Password that you won’t find elsewhere. If you frequently travel across national borders, you’ll appreciate Travel Mode. This mode lets you delete any sensitive data from your devices before you travel and then restore it with a click after you’ve crossed a border. This prevents anyone, including law enforcement at international borders, from accessing your complete password vault. In addition to being a password manager, 1Password can act as an authentication app like Google Authenticator, and for added security it creates a secret key to the encryption key it uses, meaning no one can decrypt your passwords without that key.

1Password also offers tight integration with other mobile apps. Rather than needing to copy and paste passwords from your password manager to other apps (which puts your password on the clipboard at least for a moment), 1Password is integrated with many apps and can autofill. This is more noticeable on iOS, where inter-app communication is more restricted.

You can get savings on the company’s suite of products with our 1Password coupons and deals.

How Much Is a 1Password Password Manager Plan?

The price of a 1Password Password manager plan varies by plan, with the annual plan discounted up to 28% off for committing yearly. The plans vary, with an individual plan at $3 per month, family plan at $5 per month, the Teams starter pack (with up to 10 users a month) at $20 per month, and business at $8 per month per user.

If you don’t want to commit to a yearly plan—and score massive savings—those plans are a bit more expensive. Monthly individual plans are $4 per month, family is $7 per month, Teams starter pack (with up to 10 users a month) is $25 per month, and business is $10 per month, per user.

Best Password Manager 2025

1Password just may be the best password manager of 2025. We named it the “best upgrade,” because of its impressive and comprehensive suite of additional security features, like Secret Key and secure travel mode. There are tons of features included that are similar to Bitwarden, Dashlane, Lastpass, NordPass, RoboForm, Enpass, KeePass, and YubiKey. But unlike others, 1Password password manager includes additional security features like a Secret Key for additional protection and a more secure travel mode. We also love 1Password’s intuitive interface which makes it simple for families to choose and share logins across devices.

Enjoy a 14-Day 1Password Free Trial

Not sure if 1Password is right for you? Try it free for 14 days! No credit card required, you get full access to premium features and cancel anytime. Free trials are available for Teams Starter Pack, Business, and Individual & Families plans.



Source link

Continue Reading

Tech

Save With Vitamix Promo Codes and Deals This Month

Published

on

Save With Vitamix Promo Codes and Deals This Month


I’ve been hooked on smoothies in an almost superstitious way ever since college: A fruit smoothie is like a good luck charm, promising the health you feel you deserve despite all your other bad decisions. But in my more recent adult life, a good blender is the passport to taqueria salsas, Oaxacan-style mole, and all the delicate emulsions I once had to buy at restaurants and in jars.

Well, Vitamix crushes the blender game, but usually comes with a price tag to match. Luckily Vitamix promo codes crop up at various points during the year, and we’re here to help you stay up to date on those discounts.

Vitamix New Ascent X5 With Stainless Steel Container

Vitmix’s top-of-the-line blender model, Ascent X5, is now constructed with a stainless steel container. The 48-ounce stainless steel container is not only huge and hygienic, the machine itself combines an intuitive touch interface with a refined, timeless design. The non-reactive stainless steel material resists stains, odors, and corrosion, and expertly handles hot, cold, and acidic ingredients. This futuristic gadget also has an automatic self-cleaning program and ten blending programs for popular items like smoothies, soups, frozen cocktails and more for a precise blend, every time.

Get a $25 Vitamix Promo Code Plus Free Shipping

Vitamix has tons of ways to save on these handy kitchen gear items, including $25 off when you register your email. All you have to do is input your email on Vitamix’s website, and you’ll get a discount of up to $25 sent straight to your inbox. Plus, you’ll get free shipping on orders of $100 or more.

Does Vitamix Offer Free Shipping?

Glad you asked. Vitamix is offering free standard shipping for orders above $99. This pretty much means that ground shipping is free for blenders at the current discounts. Priority shipping is not free, however.

The WIRED Gear Team’s Favorite Vitamix Blenders

WIRED has long been singing the praises of the classic Vitamix 5200. The model made a blender convert out of contributing reviewer Joe Ray after he realized that the “model of preference for blender aficionados around the world” was also his key to home mole and Oaxacan-style cookery.

A similar road-to-Damascus moment beset WIRED contributing reviewer Heather Arndt Anderson when she tested the Vitamix Ascent X2, also currently on a $50 promo discount. “The more I thought about it,” she wrote, “the more I realized that maybe I’ve never been a blender person because I never had a good blender.” Anderson also made a big batch of mole and avoided passing out from chile fumes, then moved on to homemade masa and a Georgian walnut spread. She regretted only that the blender wasn’t easier to clean.

After testing through a number of brands’ blenders, WIRED contributing reviewer Emily Peck marveled that even the basic Vitamix Explorian E310 churned almonds frictionlessly into butter without even need of a presoak.

Additional Vitamix Deals and Sales in 2025

Vitamix tends to offer a number of other deals and sales throughout the year, like Presidents Day, but the next one won’t crop up till Mother’s Day. Other deals to expect crop up during the summer, alongside the eternal Black Friday and Cyber Monday Deals.



Source link

Continue Reading

Trending