Dan Wallach
@dwallach@discuss.systems
Program Manager, DARPA Information Innovation Office (on leave from Rice University)
0
Followers
0
Following
Joined November 23, 2022
Twitter:
Github:
Homepage:
Medium:
Posts
Thread context
4 posts in path
Root
@mattblaze@federate.social
Open
@mattblaze@federate.social
@cstross@wandering.shop @Migueldeicaza@mastodon.social But I guess we can just count on the AI part to fix that.
Ancestor 2
@SteveBellovin@infosec.exchange
Open
@SteveBellovin@infosec.exchange
@mattblaze@federate.social @cstross@wandering.shop @Migueldeicaza@mastodon.social A few weeks ago, I saw a presentation of some of the conversions, and it was shockingly good. I'm sure, of course, tha
Parent
@mattblaze@federate.social
Open
@mattblaze@federate.social
@SteveBellovin@infosec.exchange @cstross@wandering.shop @Migueldeicaza@mastodon.social @dwallach@discuss.systems I have no doubt there a bunch of very interesting research projects in this space, whic
Current reply
Dan Wallach
@dwallach@discuss.systems
Program Manager, DARPA Information Innovation Office (on leave from Rice University)
discuss.systems
Dan Wallach
@dwallach@discuss.systems
Program Manager, DARPA Information Innovation Office (on leave from Rice University)
discuss.systems
@dwallach@discuss.systems
·
Dec 24, 2025
@mattblaze@federate.social @SteveBellovin@infosec.exchange @cstross@wandering.shop @Migueldeicaza@mastodon.social
DARPA's TRACTOR (for which I'm the program manager) is focused on C to Rust, not C++. The Microsoft effort is unrelated to our effort.
TRACTOR performer teams have been rolling for about six months now, and their first engagement with our test & evaluation team is going on now. As soon as it's ready, we'll push everything out for public release.
There are many challenges with code translation: correctness, idiomaticity, performance. And there are many approaches. By the time we're done, we'll hopefully have good answers and good tools.
(I could spend hours just on the topic of "C programmers do the darndest things", where it's sometimes unclear why something even compiles, much less what it's suppose to mean.)
View full thread on discuss.systems
0
0
0
0