posted by user: scavadini || 839 views || tracked by 2 users: [display]

Bytecode 2008 2008 : Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation

FacebookTwitterLinkedInGoogle

Link: http:// http://research.microsoft.com/~logozzo/Bytecode%202008/Bytecode08.htm
 
When Mar 29, 2008 - Apr 6, 2008
Where Budapest, Hungary
Submission Deadline Dec 15, 2007
Notification Due Jan 15, 2008
 

Call For Papers

ByteCode
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation

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 the Internet and mobile devices (smartcards, phones, etc.), 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 the latest developments in the semantics, verification, analysis, and transformation of bytecode. Both new theoretical results and tool demonstrations are welcome.

Contact: Francesco Logozzo (logozzo [AT] microsoft.com )

URL: http://research.microsoft.com/~logozzo/Bytecode%202008/Bytecode08.htm

Important Dates

* Submission date: Mid-December 2008
* Notification of acceptance: Mid January 2008
* Final version of the papers: Mid February 2008
* Workshop: To be announced

Related Resources

LOPSTR 2021   31st International Symposium on Logic-Based Program Synthesis and Transformation
ATVA 2021   The 19th International Symposium on Automated Technology for Verification and Analysis
ICE 2021   14th Interaction and Concurrency Experience
VPT 2021   Ninth International Workshop on Verification and Program Transformation
ICST 2021   IEEE International Conference on Software Testing, Verification and Validation 2021
CAV 2021   33rd International Conference on Computer-Aided Verification
ISSTA 2021   International Symposium on Software Testing and Analysis
MDPI-SI-BDHA 2021   Call for Papers: Special Issue “Big Data for eHealth Applications” (MDPI Applied Sciences, IF 2.474 – Indexed on Scopus, Web of Science)
SEMAPRO 2021   The Fifteenth International Conference on Advances in Semantic Processing
NATAP 2021   4th International Conference on Natural Language Processing and Trends