Differences

This shows you the differences between two versions of the page.

--- main [2020/12/01 12:39] – [Future Work] merlin
+++ main [2020/12/01 12:48] (current) – [SVMRanker] merlin
@@ Line 4: / Line 4: @@
 which can synthesize ranking functions for programs with
 both linear and polynomial updates, using SVM techniques to
-synthesize ranking functions. SVMRanker is built on top of the prototype used in [3] and it adds
+synthesize ranking functions. SVMRanker is built on top of the prototype used in [4] and it adds
 support for learning **multiphase ranking functions**. \\
 SVMRanker is now publicly available on GitHub at [[https://github.com/ESEC-FSE-2020-Tool-Demo-ID21/SVMRanker|this repository]].
@@ Line 30: / Line 30: @@
 ===== Main References =====
+  - Xie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, and Lijun Zhang. 2020. SVMRanker: a general termination analysis framework of loop programs via SVM. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020).
   - Jan Leike and Matthias Heizmann. 2015. Ranking Templates for Linear Loops. LMCS 11, 1 (2015).
   - Ben-Amram A.M., Genaim S. (2017) On Multiphase-Linear Ranking Functions. In: Majumdar R., Kunčak V. (eds) Computer Aided Verification. CAV 2017. Lecture Notes in Computer Science, vol 10427. Springer, Cham.
   - Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, and Lijun Zhang. 2019. Synthesizing Nested Ranking Functions for Loop Programs via SVM. In ICFEM (LNCS, Vol. 11852). 438–454.
   - Michael Colón and Henny Sipma. 2001. Synthesis of Linear Ranking Functions. In TACAS (LNCS, Vol. 2031). 67–81.