Showing results 1 to 8 of 8
A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework Kim, Se-Won; Rival, Xavier; Ryu, Sukyoung, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.40, no.3, 2018-08 |
On correctness of automatic differentiation for non-differentiable functions Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok, The 34th Conference on Neural Information Processing Systems (NeurIPS 2020), Neural information processing systems foundation, 2020-12-08 |
Revisiting recency abstraction for JavaScript: Towards an intuitive, compositional, and efficient heap abstraction Park, Jihyeok; Rival, Xavier; Ryu, Sukyoung, 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, SOAP 2017, pp.1 - 6, Association for Computing Machinery, Inc, 2017-06-18 |
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference Lee, Wonyeol; Rival, Xavier; Yang, Hongseok, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.7, no.POPL, 2023-01 |
Towards verified stochastic variational inference for probabilistic programs Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok, The 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), Association for Computing Machinery, 2020-01-22 |
Towards Verified Stochastic Variational Inference for Probabilistic Programs Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01 |
Weakly sensitive analysis for JavaScript object-manipulating programs Ko, Yoon Seok; Rival, Xavier; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.49, no.5, pp.840 - 884, 2019-05 |
Weakly sensitive analysis for unbounded iteration over JavaScript objects Ko, Yoonseok; Rival, Xavier; Ryu, Sukyoung, 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, pp.148 - 168, Springer Verlag, 2017-11-29 |
Discover