| |||||||||||||||
MUSEPAT 2013 : International Conference on Multicore Software Engineering, Performance, and Tools | |||||||||||||||
Link: http://eventos.fct.unl.pt/musepat2013 | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
International Conference on
Multicore Software Engineering, Performance, and Tools MUSEPAT 2013 (Co-located with ESEC/FSE 2013) Saint Petersburg, Russia, August 19-20, 2012 http://eventos.fct.unl.pt/musepat2013/ IMPORTANT DATES Submission of abstracts: March 11, 2013 - AoE (Anywhere on Earth) Submission of full papers: March 18, 2013 - AoE (Anywhere on Earth) Notification of acceptance: May 26, 2013 Symposium: August 21-23, 2013 AIMS AND SCOPE MUSEPAT is a forum for researchers and practitioners that face the multicore and distributed software challenge, addressing the full software development life-cycle of concurrent systems — software specification and design, programing models and techniques, testing, analysis, and debugging. The conference welcomes original, previously unpublished regular, and industrial papers, as well as tool presentations. Topics of interest include, but are not limited to: Software engineering for multicore systems Specification, modeling and design Programing models, languages, compiler techniques and development tools Verification, testing, analysis Debugging, performance tuning, and security testing Software maintenance and evolution Multicore software issues in scientific computing, embedded and mobile systems Energy-efficient computing Experience reports MUSEPAT will include a special session on Parallel and Distributed Testing, Analysis and Debugging, and welcomes contributions from the PADTAD community. PAPER SUBMISSION AND PUBLICATION The proceedings of MUSEPAT will be published as a volume in Springer's Lecture Notes in Computer Science (LNCS) series. Authors of selected papers will be invited to submit an extended version to appear in a special issue of the Journal on Software Testing, Verification and Reliability. Papers should contain original work which has not been submitted or accepted for publication elsewhere. Submissions should adhere to the LNCS format: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 We solicit three kinds of contributions: Technical Papers: At most 12 pages. Accepted technical papers will be included in the proceedings. Industry papers and experience reports: At most 12 pages, addressing practical uses of multicore techniques and technologies in real-world environment. Accepted industry papers will be included in the proceedings. Tool Presentations: At most 5 pages with a description of the tool, which will be included in the proceedings; accompanied by an informal plan for an oral presentation of the tool, which will not be included in the proceedings. For submission instructions, please see the symposium website: http://eventos.fct.unl.pt/musepat2013/ MUSEPAT PROGRAM COMMITTEE Jeremy Bradbury, UOIT, Canada Eitan Farchi, IBM HRL, Israel Klaus Havelund, NASA's Jet Propulsion Laboratory, USA Michael Hind, IBM Thomas J. Watson Research Center, USA Akash Lal, Microsoft Research, India João Lourenço, Universidade Nova de Lisboa, Portugal Shiva Nejati, University of Luxembourg, Luxembourg Victor Pankratius, MIT, USA Paul Petersen, Intel, USA Michael Philippsen, University of Erlangen-Nuremberg, Germany Christian Prehofer, Fraunhofer ESK and LMU München, Germany Scott D. Stoller, Stony Brook University, USA Shmuel Ur, University of Bristol, UK Tomas Vojnar, Brno University of Technology, Czech Republic |
|