Semantyka, weryfikacja, analiza i transformacja kodu bajtowego, Saarbrucken, Niemcy

Dnia 27 marca 2011 r. w Saarbrucken, Niemcy, odbędzie się konferencja pt. "Semantyka, weryfikacja, analiza i transformacja kodu bajtowego".

Kod bajtowy, taki jak ten generowany przez kompilatory Java czy .NET, stał się ważnym tematem zainteresowania przedsiębiorców i naukowców. Zainteresowanie przedsiębiorców wynika z faktu, że kod bajtowy jest zwykle stosowany w aplikacjach internetowych i urządzeń mobilnych (karty chipowe, telefony itd.), gdzie istotnym zagadnieniem jest bezpieczeństwo.

Kod bajtowy jest niezależny od urządzenia i umożliwia dynamiczne wprowadzanie kategorii, co stanowi dodatkowe wyzwanie dla stosowania metod formalnych. Ponadto nieustrukturyzowany charakter kodu i wszechobecność stosu argumentu również stawiają dodatkowe wyzwania przed analizą kodu bajtowego.

Warsztaty skupią się na teoretycznych i praktycznych aspektach semantyki, weryfikacji, analizy, certyfikacji i przekształcania kodu bajtowego.Więcej informacji: http://software.imdea.org/~pierreganty/bytecode2011/(odnośnik otworzy się w nowym oknie)