Xavier Rival

1. A static analyzer for large safety-critical software
   2003/05/09 by Bruno Blanchet, Patrick Cousot, Radhia Cousot +6 · 5 citations
   Computer Science · #Formal Methods in Verification #Software Engineering Research #Software Reliability and Analysis Research
2. The trace partitioning abstract domain
   2007/08/02 by Xavier Rival, Laurent Mauborgne · 2 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Software Testing and Debugging Techniques
3. Towards Verified Stochastic Variational Inference for Probabilistic Programs
   2019/07/20 by Wonyeol Lee, Lee, Wonyeol, Hangyeol Yu +5 · 2 citations
   Computer Science · #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification #Programming Languages (cs.PL)
4. On Correctness of Automatic Differentiation for Non-Differentiable Functions
   2020/06/11 by Wonyeol Lee, Hangyeol Yu, Lee, Wonyeol +6 · 2 citations
   Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Model Reduction and Neural Networks #Neural Networks and Applications #Polynomial and algebraic computation
5. Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
   2022/08/22 by Wonyeol Lee, Lee, Wonyeol, Xavier Rival +3 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Algorithms #Machine Learning and Data Classification #Programming Languages (cs.PL)