Conférence «Bytecode semantics, verification, analysis and transformation» à Sarrebruck, en Allemagne
27 Mars 2011 - 27 Mars 2011
Allemagne
Une conférence intitulée «Bytecode semantics, verification, analysis and transformation» se tiendra le 27 mars 2011 à Sarrebruck, en Allemagne.
Le bytecode, comme celui produit par les compilateurs Java ou .NET, est devenu un thème de grand intérêt pour les secteurs industriel et universitaire. L'intérêt industriel repose sur le fait que le bytecode est généralement utilisé pour les applications Internet et des appareils portables, comme les téléphones, les cartes à puce, etc.), pour lesquelles la sécurité est une question primordiale.
Le bytecode est un système non tributaire et permet le chargement dynamique de classes, qui constitue un défi supplémentaire pour l'application de méthodes formelles. De plus, la nature non structurée du code et la présence envahissante de piles d'opérandes compliquent davantage l'analyse de bytecode.
Cet atelier se concentrera sur les aspects théoriques et pratiques de la sémantique, la vérification, l'analyse, la certification et la transformation du bytecode.Pour de plus amples informations, consulter: http://software.imdea.org/~pierreganty/bytecode2011/(s’ouvre dans une nouvelle fenêtre)
Le bytecode, comme celui produit par les compilateurs Java ou .NET, est devenu un thème de grand intérêt pour les secteurs industriel et universitaire. L'intérêt industriel repose sur le fait que le bytecode est généralement utilisé pour les applications Internet et des appareils portables, comme les téléphones, les cartes à puce, etc.), pour lesquelles la sécurité est une question primordiale.
Le bytecode est un système non tributaire et permet le chargement dynamique de classes, qui constitue un défi supplémentaire pour l'application de méthodes formelles. De plus, la nature non structurée du code et la présence envahissante de piles d'opérandes compliquent davantage l'analyse de bytecode.
Cet atelier se concentrera sur les aspects théoriques et pratiques de la sémantique, la vérification, l'analyse, la certification et la transformation du bytecode.Pour de plus amples informations, consulter: http://software.imdea.org/~pierreganty/bytecode2011/(s’ouvre dans une nouvelle fenêtre)