Build GenAI Apps from Scratch — UCSB PaCE Certificate Program
Python, Prompt Engineering, Data Science — Build the Skills Employers Want Now
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore a 49-minute conference talk on Corrode, a tool for translating C code to Rust, presented by Jamey Sharp at PDXRust September 2016. Dive into topics such as for statements, scoping differences, undefined behavior, and the Corrode implementation. Learn about testing techniques, including CSmith and delta debugging, as well as challenges like handling inline assembly and timeouts. Discover community aspects, literate programming, and limitations of the tool. Gain insights into the process of converting C to Rust and the complexities involved in language translation.
Syllabus
Intro
For statements
Scoping differences
Why scobies
Undefined behavior
Corrode implementation
Testing
CSmith
Python script
SeeReduce
Keep Deleting
Delta Debugging
Muscle C
InlineAssembly
Timeout
Keeping the deleted parts
Linking with only 20 built
Community
literate programming
easy issues
more questions
Limitations
Haskell
Taught by
Rust