Fu, Zhoulai

1. Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
   2025/05/21 by HoHyun Sim, H.C. 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
2. Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version)
   2017/04/11 by Zhoulai Fu, Fu, Zhoulai, Zhendong Su +1 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #Teaching and Learning Programming
3. Revisiting 16-bit Neural Network Training: A Practical Approach for Resource-Limited Learning
   2023/05/18 by Ju‐Young Yun, Yun, Juyoung, Choi, Sol +6 · 1 citation
   Computer Science · Engineering · #Advancements in Semiconductor Devices and Circuit Design #Artificial Intelligence (cs.AI) #CCD and CMOS Imaging Sensors #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural Networks and Applications #Performance (cs.PF)