Ali Shokri
- 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 #Parallel Computing and Optimization Techniques #Model-Driven Software Engineering Techniques
- Formally Verified Binary-level Pointer Analysis
2025/01/29 by Freek Verbeek, Verbeek, Freek, Ali Shokri +6 · 1 voice
Biochemistry, Genetics and Molecular Biology · Computer Science · #Embedded Systems Design Techniques #Genomics and Chromatin Dynamics #Optical measurement and interference techniques #cs.SE