posted by user: Joao_Lourenco || 6567 views || tracked by 31 users: [display]

MUSEPAT 2013 : International Conference on Multicore Software Engineering, Performance, and Tools


When Aug 19, 2013 - Aug 20, 2013
Where Saint Petersburg, Russia
Abstract Registration Due Mar 11, 2013
Submission Deadline Mar 18, 2013
Notification Due May 26, 2013
Categories    multicore   software engineering   software testing   parallel computing

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


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


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

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.


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:

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:


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

Related Resources

PerIoT 2020   Software Approaches to Improve the Performance of IoT Systems - Applied Sciences (IF 2.217)
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
LCTES 2020   The 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
CCCIOT 2020   International Conference on Cloud Computing and IOT (CCCIOT 2020)
ASE 2020   International Conference on Automated Software Engineering
SEFM 2020   Software Engineering and Formal Methods
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
ICPP 2020   International Conference on Parallel Processing
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus
OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications