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