9 citations · 13 across the 7 of their papers we have counts for
Showing 2026 · cs.PLShow all
2 papers · 2 filters
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…