Projects
Things I’ve built.
CoTran
an llm-based code translator for whole-program translation, fine-tuned using feedback from compiler and symbolic execution. published at a conference.
Things I’ve built.
an llm-based code translator for whole-program translation, fine-tuned using feedback from compiler and symbolic execution. published at a conference.