Hello everyone,
On Tuesday, December 16, at 17:00 I will defend my PhD thesis.
The defense will take place in room 001, Engehaldenstrasse 8, Bern
(for directions please see http://www.iam.unibe.ch/institute/location ).
After the defense, there will be an apéro.
You are cordially invited to the defense and to the apéro.
Cheers,
Adrian Lienhard
Software Composition Group
University of Bern, Switzerland
http://www.adrian-lienhard.ch/
-------------------------------------
TITLE: Dynamic Object Flow Analysis
ABSTRACT:
The behavior of an object-oriented software system is notoriously hard
to understand from the source code alone. The main reason is the large
gap between the program’s static structure and its actual runtime
behavior. Features inherent to object-orientation, like object
aliasing and late binding, – while providing a high degree of
expressiveness to model an application domain — make programs hard to
understand, maintain, and analyze.
Complementary to static analysis, dynamic analysis can help to close
this gap by investigating the properties of a running program. The
state of the art in dynamic analysis focuses on investigating runtime
control flow and structures of object graphs, but a thorough analysis
of how objects are passed through a system is missing. Tracking how
object references are transferred, however, is essential to analyze
the dependencies introduced by object aliasing.
In this dissertation we propose Object Flow Analysis, our approach to
track object flow by explicitly representing object references and
reference transfer. Object Flow Analysis provides an effective way of
analyzing and runtime monitoring dependencies introduced by object
aliasing. To validate Object Flow Analysis, we propose three different
reverse engineering applications that, based on Object Flow Analysis,
reason about aliasing dependencies in object-oriented programs. Yet
Object Flow Analysis extends beyond traditional reverse engineering
applications. A key contribution of our work is that we advance the
state of the art in back-in-time debugging by proposing and providing
an implementation of the concept of Object Flow Analysis in a high-
level language virtual machine.
Sehr geehrte CHOOSE-Mitglieder
Die /ch/open lädt Sie ein, am nächsten Open Business Lunch in Bern
teilzunehmen. Die Veranstaltung steht allen Interessierten offen.
An den OBLs hält jeweils ein Referent ein Kurzreferat, während des
gemeinsamen Essens können die Inhalte weiter besprochen werden. Das
Essen wird von den Teilnehmern/-innen selber bezahlt.
Insbesondere möchte die /ch/open Menschen einladen, die Open Source
Software in einem professionellen Umfeld nutzen oder Leute aus KMUs, die
den Gebrauch von OSS unter ihren Kunden fördern möchten!
12.11.08, 11.45 Uhr: *Restaurant Frohsinn*, Münstergasse 54, Bern/BE,
Tel.: 031 311 37 68
11.45 - 11.55 Begrüssung
11:55 - ca. 12.10 Kurzvortrag
12.10 - ca. 14.00 Essen
Thomas Müller, H2 Database Engine, hält zu Beginn einen Kurzvortrag zum
Thema *H2, The Open Source Java Database Engine*
*Abstract*
Die H2 Database Engine ist die neueste Open Source Java Datenbank. Die
Hauptmerkmale sind Performanz und Kompatibilität mit anderen
Datenbanken, speziell mit HSQLDB, PostgreSQL und MySQL. Der Name H2
steht für Hypersonic 2, H2 ist jedoch eine komplette Neuentwicklung. H2
bietet sehr viele Features, z.B. Multi-Version Concurrency, In-Memory
Operationen, Verschlüsselung, verknüpfte Tabellen, Fulltext-Search,
Cluster-Modus, sowie eine Browser-basiertes Datenbank-Tool. H2 ist
optimal geeignet für Unit-Tests, Demo-Applikationen, Embedded
(Standalone) Betrieb, sowie (bisher noch mit Einschränkungen) für den
Server Betrieb.
*Bio*
Thomas Müller ist der Gründer und ursprüngliche Entwicker von Hypersonic
SQL. Im Jahr 2001 bis 2003 arbeitete er in Kalifornien an der
kommerziellen Java Datenbank PointBase Micro, und seit 2004 an der H2
Database Engine. Hauptberuflich arbeitet er bei der Day Software AG in
Basel an CRX (Content Repository Extreme) und Apache Jackrabbit.
Gerne erwarten wir Ihre Anmeldung unter
<http://www.ch-open.ch/events/lunchbe.html> bis zum *11.11.08*.
Mit freundlichen Gruessen
Ursula Burri
--
------------------------------------------------------------------------
Swiss Open Systems User Group Tel.: +41 44 350 26 56 (freitags)
/ch/open Fax: +41 44 350 26 55
Postfach 2322 E-mail: <mailto:info@ch-open.ch>
CH-8033 Zuerich WWW: <http://www.ch-open.ch>
Sekretariat Ursula Burri E-mail: <mailto:uburri@ch-open.ch>
/ch/open ist Mitglied von ICTswitzerland <http://www.ictswitzerland.ch/>
------------------------------------------------------------------------
Open Systems for open minded people!
