4 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.PL2023★ 4 cited
Sound Symbolic Execution via Abstract Interpretation and its Application to Security
Ignacio Tiraboschi, Tamara Rezk, Xavier Rival
Symbolic execution is a program analysis technique commonly utilized to determine whether programs violate properties and, in case violations are found, to generate inputs that can…
cs.PL2022★ 2 cited
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
Wonyeol Lee, Xavier Rival, Hongseok Yang
We present a static analysis for discovering differentiable or more generally smooth parts of a given probabilistic program, and show how the analysis can be used to improve the pa…