Collaborated with:R.S.0001 A.Aiken Hangyeol Yu X.Rival H.Yang
Talks about:verifi (2) probabilist (1) implement (1) stochast (1) program (1) manipul (1) correct (1) automat (1) variat (1) toward (1)
Person: Wonyeol Lee 0001
DBLP: 0001:Wonyeol_Lee
Contributed to:
2016
20182020Wrote 3 papers:
- PLDI-2016-LeeSA #float #verification
- Verifying bit-manipulations of floating-point (WL0, RS0, AA), pp. 70–84.
- POPL-2018-Lee0A #automation #correctness #implementation #on the #proving
- On automatically proving the correctness of math.h implementations (WL0, RS0, AA), p. 32.
- POPL-2020-LeeYRY #probability #source code #towards
- Towards verified stochastic variational inference for probabilistic programs (WL0, HY, XR, HY), p. 33.