posted by user: kotodama || 2744 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 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
IJBBR 2019   International Journal of BRIC Business Research
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
CBIoT 2020   International Conference on Cloud, Big Data and IoT
VPT 2020   Eighth International Workshop on Verification and Program Transformation
CAIJ 2019   Computer Applications: An International Journal
MASTER@IJGIS 2020   Multiple-Aspect Analysis of Semantic Trajectories - Special Issue at IJGIS
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
ICICT--Ei Compendex and Scopus 2020   2020 the 3rd International Conference on Information and Computer Technologies (ICICT 2020)--Ei Compendex and Scopus