posted by user: kotodama || 2991 views || tracked by 8 users: [display]

Bytecode 2012 : Seventh Workshop on Bytecode Semantics, Verification, Analysis and Transformation


When Mar 31, 2012 - Mar 31, 2012
Where Tallinn, Estonia
Submission Deadline Jan 4, 2012
Notification Due Jan 26, 2012
Final Version Due Feb 6, 2012
Categories    software engineering   bytecode   verification   analysis

Call For Papers

Description of the workshop
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 device applications (smart cards, 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. Also the unstructuredness of the code and the pervasive presence of the operand stack provide further challenges for the analysis of bytecode. This workshop will focus on theoretical and practical aspects of semantics, verification, analysis, certification and transformation of bytecode.

Research on bytecode is an ideal test bench for the application of formal methods to real languages. There is a major pressure in this sense, because security is a hot topic for bytecode applications in embedded devices. However, the scientific community on bytecode semantics, verification, analysis, and transformation is currently fragmented., and researchers often come from the two distinct worlds of industry and academia. Therefore, the aim of our workshop is to let researchers and practitioners from both the industrial and the academic world present new or preliminary results and demonstrate new software tools that are of interest for the community as a whole.

The workshop will be a mixture of extended abstracts, position papers, and invited presentations. Goal is to make the workshop an active discussion forum for all work related to bytecode. No formal proceedings of the workshop will be published, but selected papers might be invited for a special issue of a relevant journal.
(="" a="")Important Dates
(="" a="")
Paper submission: January 4, 2012
Notification: January 26, 2012
Final version: February 6, 2012
(="" a="")Submission information
We solicit extended abstracts and position papers of at most 8 pages, describing work related to semantics, verification, analysis and transformation. In particular, we explicitly welcome tool demonstrations. Submissions may overlap with submissions to other conferences or journals. There will be a light-weight reviewing process, where submissions will be judged on their interest to the workshop audience.

There will not be any formal proceedings of the workshop. All accepted submissions will be distributed among the workshop participants. After the workshop, presenters of extended abstracts, position papers, tool demos and of invited presentations may be invited to contribute to a special issue of a journal. Invitations will be based on submissions and presentations.

Papers can be submitted (as PDF) through the easy chair page.
Organisers and Committee
Marieke Huisman, University of Twente, Netherlands.

All questions about the workshop can be addressed to her via mail.
Workshop Committee
Elvira Albert, Complutense University of Madrid, Spain
June Andronick, NICTA, Australia
Massimo Bartoletti, University of Cagliari, Italy
Lennart Beringer, Princeton University, USA
Marieke Huisman, University of Twente, Netherlands
Francesco Logozzo, Microsoft Research, USA
Peter Müller, ETH Zürich, Switzerland
Tamara Rezk, INRIA Sophia Antipolis-Mediterranee, France
Bernhard Scholz, University of Sydney, Australia
Fausto Spoto, University of Verona, Italy

Related Resources

LOPSTR 2021   31st International Symposium on Logic-Based Program Synthesis and Transformation
IJCSES 2021   International Journal of Computer Science and Engineering Survey
ATVA 2021   The 19th International Symposium on Automated Technology for Verification and Analysis
IJCSEA 2021   International Journal of Computer Science, Engineering and Applications
ICE 2021   14th Interaction and Concurrency Experience
DTMN 2021   7th International Conference on Data Mining
VSC @IEEE WETICE 2021   Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2021
DMSE 2021   2nd International Conference on Data Mining and Software Engineering
VPT 2021   Ninth International Workshop on Verification and Program Transformation
CAV 2021   33rd International Conference on Computer-Aided Verification