posted by user: kotodama || 3808 views || tracked by 10 users: [display]

Bytecode 2010 : 5th Workshop on Bytecode Semantics, Verification, Analysis and Transformation

FacebookTwitterLinkedInGoogle

Link: http://bytecode2010.inria.fr/
 
When Mar 27, 2010 - Mar 28, 2010
Where Paphos, Cyprus
Abstract Registration Due Dec 14, 2009
Submission Deadline Dec 21, 2009
Notification Due Jan 22, 2010
Final Version Due Feb 19, 2009
Categories    software engineering   programming languages   formal methods
 

Call For Papers

Bytecode, such as produced by e.g. Java and .NET compilers, has become an important topic of interest, both for industry and academia. The industrial interest stems from the fact that bytecode is typically used for Internet and mobile devices (smart-cards, phones, etc.) applications, where security is a major issue. Moreover, bytecode is device-independent and allows dynamic loading of classes, which provides an extra challenge for the application of formal methods. In addition, the unstructuredness of the code and the pervasive presence of the operand stack also provide extra challenges for the analysis of bytecode. This workshop will focus on theoretical and practical aspects of semantics, verification, analysis, certification and transformation of bytecode.

Related Resources

ATVA 2024   22nd International Symposium on Automated Technology for Verification and Analysis
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
FDL 2024   Forum on specification and Design Languages
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
SEMANTiCS 2024   20th International Conference on Semantic Systems
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
CAV 2024   36th International Conference on Computer Aided Verification
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)
Call For Papers Special Issue 2024   Smart Cities, innovating in the Transformation of Urban Environments
SOEN 2024   9th International Conference on Software Engineering