The DOOP team will give a short talk on their Datalog-based framework for points-to / taint analysis. The exact speaker is tbd.

https://bitbucket.org/yanniss/doop/src/master/

Research Interests: programming languages and software engineering

• Program analysis (static analysis, test generation, invariant inference, symbolic execution)
• Language mechanisms for abstraction (declarative languages, program generation, DSLs, modules and components, generics, extensible languages, multi-paradigm programming)
• Languages and tools for systems (programming models for concurrency, language support for distributed computing, memory management and program locality)