Nicolas Voirol

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 3

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Jad Hamza, Nicolas Voirol, Viktor Kuncak
System FR: formalized foundations for the stainless verifier. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Jad Hamza, Nicolas Voirol, Viktor Kuncak
System FR as Foundations for Stainless. CoRR (2019)
Nicolas Voirol, Etienne Kneuss, Viktor Kuncak
Counter-example complete verification for higher-order functions. Scala@PLDI (2015)