9 citations · 13 across the 7 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.SE2026
ForTress: Bringing Assurance and Determinism for LLM-Driven Fortran-to-Python Translation
Qinrun Dai, Ruitong Liu, Chien-Wei Huang +3
Modernizing mature scientific software from Fortran to Python can improve accessibility and integration with modern computing tools, but manual rewriting is expensive. Large langua…
cs.PL2026
Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots (Extended Version)
Dinghong Zhong, Alexander Bai, Mikail Khan +1
Concolic execution is a variant of symbolic execution that runs a program simultaneously with concrete and symbolic inputs. It records the symbolic constraints encountered along a…
cs.PL2026
When Do Staging Annotations Preserve Semantics? Mechanizing Typed Semantics-Preserving Multi-stage Programming with Let-Insertion (Extended Version)
Jun Tan, Guannan Wei
Multi-stage programming with quotations has long provided a powerful way to generate and manipulate code. By treating code as data, programmers can write multi-stage programs in wh…