Institute of Computer Languages
Compilers and Languages Group
on
| Date: | Wednesday, February 4th, 2009 |
|---|---|
| Time: | 10:00 (c.t.) |
| Location: | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
As the volume of existing software in the industry grows at a rapid
pace, the problems of understanding, maintaining, and developing
software assume great significance. A strong support for analysis of
programs is essential for a practical and meaningful solution to such
problems. To be able to analyze such software systems, powerful tools
are required that can handle the complexity of popular languages such
as C++, Java, and C#. We present an approach for combining analysis
and transformation tools that enables their application to popular
programming languages without extending existing compilers.
The presented Static Analysis Tool Integration Engine (SATIrE) aims at
integrating a broad range of analysis tools by providing additional
gap-filling components, such that the selection of an arbitrary tool
chain most suitable for a certain program analysis or manipulation
task becomes feasable. The integrated tools are the LLNL-ROSE
source-to-source infrastructure, the Program Analyzer Generator from
AbsInt for abstract interpretation, and the language Prolog for
manipulating terms representing C/C++ programs. Analysis results are
made available as annotations of a common high-level intermediate
representation and as generated source code annotations. We also
support an external file format of the intermediate representation,
allowing a tight integration with external tools.
In 1997-2001 Markus Schordan was a research and teaching assistant at the
University Klagenfurt (Department of Information Technology) in Austria. His
research focused on alias analysis and data-flow analysis of object-oriented
languages, in particular Java. He lectured on the subjects of formal
languages and compiler construction, and taught courses in object-oriented
programming, functional and logic programming. He earned his Dr.sc.techn.
with distinction (mit ausgezeichnetem Erfolg) in Computer Science from the
University Klagenfurt, Austria, in June 2001.
In 2001-2003 he gained international experience as post doctoral researcher
at the Lawrence Livermore National Laboratory (Center for Applied Scientific
Computing (CASC)), CA, USA. Working on the source-to-source infrastructure
project ROSE his research focused on design and implementation of
intermediate representations of object-oriented languages, domain specific
high-level transformations, and parallelization.
In January 2004 he became university assistant at the Vienna University of
Technology, Austria. He lectured on compiler construction and software
frameworks. His research focused on tool integration, static analysis of
object-oriented languages, source-to-source transformation, high-level
optimization, and parallelization. In December 2007 he also became project
leader of the ALL-TIMES project at TU Vienna. ALL-TIMES is a medium-scale
focused-research project within the European Commission's 7th Framework
Programme on Research, Technological Development and Demonstration.
In September 2008 he moved to a permanent position at University of Applied
Sciences Technikum Wien and became Deputy Program Director of Game
Engineering and Simulation. He continues to lecture on topics in the field
of programming languages and also lectures on game engineering. His research
focuses on analysis of object-oriented systems, including state-of-the-art
game engines.
Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.