Manish Shetty
@slimshetty.bsky.social
PhD student @ucberkeley | Projects: Syzygy, R2E, Chatbot-Arena RepoChat | PL Tooling for AI4Code | prev @msftresearch | manishs.org
Reposted by Manish Shetty
First 🦋 post and excited to share some new work:
Syzygy: Dual Code-Test C to Rust Translation using LLMs and Dynamic Analysis!
Result: We successfully translated Zopfli, a C compression library with ~3000 LoC to Safe Rust with test-based validation
syzygy-project.github.io
Syzygy: Dual Code-Test C to Rust Translation using LLMs and Dynamic Analysis!
Result: We successfully translated Zopfli, a C compression library with ~3000 LoC to Safe Rust with test-based validation
syzygy-project.github.io
December 19, 2024 at 4:36 AM
First 🦋 post and excited to share some new work:
Syzygy: Dual Code-Test C to Rust Translation using LLMs and Dynamic Analysis!
Result: We successfully translated Zopfli, a C compression library with ~3000 LoC to Safe Rust with test-based validation
syzygy-project.github.io
Syzygy: Dual Code-Test C to Rust Translation using LLMs and Dynamic Analysis!
Result: We successfully translated Zopfli, a C compression library with ~3000 LoC to Safe Rust with test-based validation
syzygy-project.github.io
First 🦋 post and excited to share some new work:
Syzygy: Dual Code-Test C to Rust Translation using LLMs and Dynamic Analysis!
Result: We successfully translated Zopfli, a C compression library with ~3000 LoC to Safe Rust with test-based validation
syzygy-project.github.io
Syzygy: Dual Code-Test C to Rust Translation using LLMs and Dynamic Analysis!
Result: We successfully translated Zopfli, a C compression library with ~3000 LoC to Safe Rust with test-based validation
syzygy-project.github.io
December 19, 2024 at 4:36 AM
First 🦋 post and excited to share some new work:
Syzygy: Dual Code-Test C to Rust Translation using LLMs and Dynamic Analysis!
Result: We successfully translated Zopfli, a C compression library with ~3000 LoC to Safe Rust with test-based validation
syzygy-project.github.io
Syzygy: Dual Code-Test C to Rust Translation using LLMs and Dynamic Analysis!
Result: We successfully translated Zopfli, a C compression library with ~3000 LoC to Safe Rust with test-based validation
syzygy-project.github.io