Call for Papers

Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred. This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus on hardware/software co-design to its new focus on formal methods and models for developing computer systems and their components. MEMOCODE's objective is to emphasize the importance of models and methodologies in correct system design and development, and to bring together researchers and industry practitioners interested in all aspects of computer system development, to exchange ideas, research results and lessons learned.

Topics

MEMOCODE 2015 seeks research contributions on all aspects of methods and models for system, hardware, and software design and development: formal foundations, engineering methods, tools, and experimental case studies. Research areas of interest include but are not limited to the following:

  • Modeling Languages, Methods and Tools Programming languages and models; software and system modeling languages; architecture and high-level hardware description languages; timing models; model and program synthesis methods; model transformation methods
  • Formal Methods and Tools Correct-by-construction; static, dynamic, and type theoretic analysis; verification; validation; test generation; platform-based design; refinement-based, component-based, and compositional approaches to design and verification
  • Models and Methods for Developing Critical Systems Fault-tolerant systems; security-critical and safety-critical systems; cyber-physical systems; autonomous and unmanned systems; assurance cases
  • Quantitative/Qualitative Reasoning Power/performance/cost/latency trade-off methods; power models; reasoning techniques, data mining, and other analytical methods for predicting power/performance; system models for quantitative design space exploration
  • Formal Methods/Models in Practice Design case studies; empirical case studies

Dates

  • Design contest start: June 1,2015
  • Abstract submission deadline: June 12, 2015 open until June 19
  • Paper submission deadline: June 19, 2015
  • Notification of acceptance: July 17, 2015 July 24, 2015
  • Final version of papers: Aug 7, 2015 August 14, 2015
  • Venue: September 21-23, 2015

Submissions

Submit technical papers through Easychair. Submissions must be no longer than 10 pages, written in English and formatted following IEEE Computer Society guidelines. They must describe original work that does not overlap a publication, or a submission under review or accepted for publication by another conference or journal. For questions regarding technical submissions, contact Connie Heitmeyer or Elizabeth Leonard ({constance.heitmeyer, elizabeth.leonard} at nrl.navy.mil). Accepted papers will be published as IEEE conference proceedings and included in IEEE Xplore. Selected papers will be invited for publication in a special issue of ACM Transactions on Embedded Computing Systems.