Date: Mon, 27 Feb 2012 11:12:34 +0100
Subject: PEM Colloquiums: 1 Mar: Michael Steindorfer; 2 Mar: Anthony Sloane
From: Vadim Zaytsev 
To: PEM 

Dear environmentalists,

There is an additional PEM Colloquium on Thursday by another
candidate for a PhD vacancy. This one will take place on Thursday at
14:00.

I will send the appropriately timed reminders later.

----------------------------------------------------------------------
 Date: 1 March 2012
 Time: 14:00
 Room: L017 (CWI)
 Speaker: Michael Steindorfer (Alpen-Adria-University Klagenfurt/ETH Zurich)
 Title: Extraction, Storage and Retrieval of Partial Code Snippets
 Abstract: see below
----------------------------------------------------------------------
     Extraction, Storage and Retrieval of Partial Code Snippets

Extracting knowledge from source code artifacts is a nontrivial task
and often involves the adaption of sophisticated and complex
algorithms and analyses. Interdependencies of interacting objects
hamper automatic reasoning and make it difficult to remain
computational feasible. Instead of extracting multi-object
interrelationships, a focus on single objects enables to learn how
abstract data types are used, for example in large code bases or
software projects, while lowering the complexity of the analysis.

This talk discusses an approach to extract source code snippets,
capturing a single-object behavioral model, by applying a light-weight
extraction approach that operates predominantly on syntactical
information and refrains from complex data flow analyses. Further, it
shall be discussed how post-extraction analyses can complement
syntactical extraction in order to attach semantical information to
the obtained code snippets. To reason about extracted snippets, an
XML-based storage and retrieval approach is presented that supports
querying code snippets by structural and semantical properties.
----------------------------------------------------------------------
                http://event.cwi.nl/pem
----------------------------------------------------------------------

Yours,
       Vadim.