DSpace at KOASAS
Browsing DSpace

Browse "College of Engineering(공과대학)" by Author Rival, Xavier

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 8 of 8

1
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

2
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

3
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

4
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

5
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

6
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

7
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

8
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

rss_1.0 rss_2.0 atom_1.0