Previous month Previous day Next day Next month
By Year By Month By Week Today Search Jump to month

Guest Talk: "(anti-)unification-based techniques for program analysis"

Download as iCal file
 
Wednesday, 28. September 2016, 11:30 - 12:30
Category: Lectures & Presentations | created by This email address is being protected from spambots. You need JavaScript enabled to view it.

Automation Systems Group, SBA Research, and AIT Safety and Security Department are happy to present the "Cyber Security Lecture Series" organizing leading edge talks by international ICT security experts in Austria.

The next lecture will be given by Temur Kutsia, RISC Johannes Kepler University Linz.

Talk: (anti-)unification-based techniques for program analysis

Abstract: Unification and anti-unification are dual methods, studied in computational logic. Given two terms, unification helps to compute their most general common instance, while anti-unification gives their least general generalization. Both techniques have a wide range of applications. Unification is an important computational mechanism for automated reasoning, term rewriting, declarative programming, type inference. Anti-unification has been used in machine learning, program synthesis, reasoning and programming by analogy, etc. In this talk we overview some recent advances in these techniques and discuss their application in program analysis, with the focus on clone detection.

This event is hosted by the IEEE CS/SMCS Austria Chapter.

ieee

Location Vienna
Contact This email address is being protected from spambots. You need JavaScript enabled to view it.