"Bytecodesemantik, Verifikation, Analyse und Transformation", Saarbrücken, Deutschland
27 März 2011 - 27 März 2011
Deutschland
Am 27. März 2011 findet in Saarbrücken, Deutschland, eine Konferenz mit dem Titel "Bytecodesemantik, Verifikation, Analyse und Transformation" statt.
Bytecode, wie zum Beispiel von Java oder .NET-Compilern produziert, ist für die industrielle und akademische Welt ein wichtiges Thema geworden. Das Interesse der Industrie rührt aus der Tatsache, dass der Bytecode typischerweise für Applikationen für das Internet und mobile Geräte (Chipkarten, Handys etc.) genutzt wird, wo Sicherheit eine große Rolle spielt.
Bytecode ist geräteunabhängig und ermöglicht das dynamische Laden von Klassen, die eine zusätzliche Herausforderung für die Applikationen formaler Methoden darstellen. Darüber hinaus bieten auch die fehlende Strukturierung des Codes sowie die beherrschende Präsenz des Operanden-Stack zusätzliche Herausforderungen für die Analyse des Bytecodes.
Der Workshop konzentriert sich auf die theoretischen und praktischen Aspekte der Semantik, Verifikation, Analyse, Zertifizierung und Transformation von Bytecodes.Weitere Informationen unter: http://software.imdea.org/~pierreganty/bytecode2011/(öffnet in neuem Fenster)
Bytecode, wie zum Beispiel von Java oder .NET-Compilern produziert, ist für die industrielle und akademische Welt ein wichtiges Thema geworden. Das Interesse der Industrie rührt aus der Tatsache, dass der Bytecode typischerweise für Applikationen für das Internet und mobile Geräte (Chipkarten, Handys etc.) genutzt wird, wo Sicherheit eine große Rolle spielt.
Bytecode ist geräteunabhängig und ermöglicht das dynamische Laden von Klassen, die eine zusätzliche Herausforderung für die Applikationen formaler Methoden darstellen. Darüber hinaus bieten auch die fehlende Strukturierung des Codes sowie die beherrschende Präsenz des Operanden-Stack zusätzliche Herausforderungen für die Analyse des Bytecodes.
Der Workshop konzentriert sich auf die theoretischen und praktischen Aspekte der Semantik, Verifikation, Analyse, Zertifizierung und Transformation von Bytecodes.Weitere Informationen unter: http://software.imdea.org/~pierreganty/bytecode2011/(öffnet in neuem Fenster)