Blogs (61) >>
Wed 18 Jul 2018 14:30 - 15:00 at Cairo - Session II Chair(s): Magnus Madsen

The talk will discuss the general declarative points-to analysis approach of the Doop framework and then present some recent developments. The main emphasis will be on a defensive may-point-to analysis approach, which offers soundness even in the presence of arbitrary opaque code (e.g., reflection, dynamic loading, native code). It may be surprising that this goal is even achievable, so we will emphasize the unique architecture of the analysis and of its soundness guarantee.

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)

Wed 18 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

dpa-2018-papers
14:00 - 15:30: DPA - Session II at Cairo
Chair(s): Magnus MadsenAalborg University
dpa-2018-papers14:00 - 14:30
Talk
Neville GrechUniversity of Athens
Link to publication Pre-print Media Attached File Attached
dpa-2018-papers14:30 - 15:00
Talk
Yannis SmaragdakisUniversity of Athens
dpa-2018-papers15:00 - 15:30
Talk
Pavle SuboticUniversity College London