- Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
2025/05/21 by HoHyun Sim, Hyeonjoong Cho, Sim, HoHyun +12 · 4 voices · 3 citations
Computer Science · #AI-based Problem Solving and Planning #Code (set theory) #Construct (python library) #Equivalence (formal languages) #Generative grammar #Machine translation #Model-Driven Software Engineering Techniques #Parallel Computing and Optimization Techniques #Rust (programming language) #Translation (biology)
- Rewrite it in Rust: A Computational Physics Case Study
2024/10/24 by Willow Veytsman, Shuang Zhai, Veytsman, Willow +7 · 5 voices
Agricultural and Biological Sciences · Mathematics · Physics and Astronomy · #Computer science #Crop Yield and Soil Fertility #Mathematics #Particle physics #Physics #Programming language #Rust (programming language) #Statistical physics #physics.comp-ph
- Functional Ownership through Fractional Uniqueness
2023/10/27 by Danielle Marshall, Daniel Marshall, Marshall, Danielle +2 · 1 voice · 1 citation
Computer Science · Mathematics · #Computer science #Distributed systems and fault tolerance #Functional programming #Garbage #Garbage collection #Logic, programming, and type systems #Mathematics #Programming language #Rust (programming language) #Security and Verification in Computing #Theoretical computer science #Uniqueness #cs.PL
- The Usability of Advanced Type Systems: Rust as a Case Study
2023/01/05 by Kasra Ferdowsi, Ferdowsi, Kasra · 5 voices
Computer Science · Psychology · #Computer science #Correctness #Data science #Human–computer interaction #Popularity #Programming language #Psychology #Rust (programming language) #Social psychology #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques #Software engineering #Usability #cs.HC #cs.PL
- The Changing Virulence of Stripe Rust in Canada from 1984 to 2017
2021/03/06 by Kaveh Ghanbarnia, Ryan Gourlie, Eric Amundsen +1 · 6 citations
Agricultural and Biological Sciences · Biochemistry, Genetics and Molecular Biology · #Biology #Computer science #Gene #Genetics #Plant and Fungal Interactions Research #Plant disease resistance #Rust (programming language) #Stripe rust #Virulence #Wheat and Barley Genetics and Pathology #Yeasts and Rust Fungi Studies
- Summit oat
2011/07/01 by Jennifer W. Mitchell Fetch, P. D. Brown, Nancy Ames +7 · 1 citation
Agricultural and Biological Sciences · Biochemistry, Genetics and Molecular Biology · #Agronomy #Avena #Barley yellow dwarf #Berry genetics and cultivation research #Biology #Cultivar #Geography #Horticulture #Plant Disease Resistance and Genetics #Plant disease resistance #Plant virus #Rust (programming language) #Summit #Virus #Yeasts and Rust Fungi Studies