Laura Kovács

Please visit my new homepage at ETH Zürich.

Research Interests

• automated assertion generation;
• symbolic summation;
• computer algebra;
• automated theorem proving.

Program Committees

• PC member of ISSAC 2010, Calculemus 2007, CSR 2007

• Tutorial Chair of SYNASC 2009

• PC Chair of WING 2009

• Workshop Chair of LPAR 2008

Publications

• My publication list.

New!


• L. Kovács and A. Voronkov (2009). "Interpolation and Symbol Elimination". Proc. of CADE 2009, pp. 199-213. (preprint [pdf])

• L. Kovács (2009). "A Complete Invariant Generation Approach for P-solvable Loops". Proc. of PSI 2009, pp. 184-194. (preprint [pdf])

Recent


• L. Kovács and A. Voronkov (2009). "Finding Loop Invariants for Programs over Arrays Using a Theorem Prover". Proc. of FASE 2009. LNCS 5503, pp. 470-485. (preprint [pdf])
• T. A. Henzinger, T. Hottelier and L. Kovács (2008). "Valigator: A Verification Tool with Bound and Invariant Generation". Proc. of LPAR 2008. LNCS 5330, pp. 333-342. (preprint [pdf])

• L. Kovács (2008). "Aligator: A Mathematica Package for Invariant Generation". Proc. of IJCAR 2008, LNCS 5195, pp. 275-282. (preprint [pdf])

• L. Kovács (2008). "Invariant Generation for P-solvable Loops with Assignments". Proc. of CSR 2008, LNCS 5010, pp. 349-359. (preprint [pdf])
  Best paper award.
  

• L. Kovács (2008). "Reasoning Algebraically About P-solvable Loops". Proc. of TACAS 2008, LNCS 4963, pp. 249-264. (preprint [pdf])

• List of publications from the RISC homepage.

Software

• ALIGATOR : a Mathematica package for loop invariant generation.
  NEW version of Aligator is now released!

Teaching

• Advanced Theoretical Computer Science (Spring 2009)
• Basic and Advanced Theoretical Computer Science (Spring 2008)