Showing cs.PLShow all
2 papers · 1 filter
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
Verifying Probabilistic Programs in Rust
Alexander Y. Bai, Joseph Tassarotti
Recent work has developed many techniques for formally verifying probabilistic programs. However, existing verification frameworks for probabilistic programs are restricted to idea…