From 828070820817cf4bf3132044216e3e3aa033a1ac Mon Sep 17 00:00:00 2001 From: Viktor Kuncak <viktor.kuncak@epfl.ch> Date: Tue, 12 Apr 2016 13:13:50 +0200 Subject: [PATCH] Added to references in doc a line for Leon to Isabelle IJCAR system description paper --- src/sphinx/references.rst | 1 + 1 file changed, 1 insertion(+) diff --git a/src/sphinx/references.rst b/src/sphinx/references.rst index 951579cfa..cc161cfdc 100644 --- a/src/sphinx/references.rst +++ b/src/sphinx/references.rst @@ -17,6 +17,7 @@ Videos Papers ****** + - `Translating Scala Programs to Isabelle/HOL (System Description) <http://lara.epfl.ch/~kuncak/papers/HupelKuncak16TranslatingScalaProgramsIsabelleHOLSystemDescription.pdf>`_, by *Lars Hupel* and *Viktor Kuncak*. International Joint Conference on Automated Reasoning (IJCAR), 2016. - `Counter-example complete verification for higher-order functions <http://lara.epfl.ch/~kuncak/papers/VoirolETAL15CounterExampleCompleteVerificationHigherOrderFunctions.pdf>`_, by *Nicolas Voirol*, *Etienne Kneuss*, and *Viktor Kuncak*. Scala Symposium, 2015. - `Sound reasoning about integral data types with a reusable SMT solver interface <http://lara.epfl.ch/~kuncak/papers/BlancKuncak15SoundReasoningIntegralDataTypes.pdf>`_, by *Régis Blanc* and *Viktor Kuncak*. Scala Symposium, 2015. - `Deductive program repair <http://lara.epfl.ch/~kuncak/papers/KneussETAL15DeductiveProgramRepair.pdf>`_, by *Etienne Kneuss*, *Manos Koukoutos*, and *Viktor Kuncak*. Computer-Aided Verification (CAV), 2015. -- GitLab