To unsubscribe, just enter your email address at the bottom of the following
page: https://lists.cs.columbia.edu/mailman/listinfo/memocode
and click "Unsubscribe or edit options."
On the next page, just click "Unsubscribe." You do not have to register or
enter a password.
Unsubscribe: <mailto:[email protected]>
CALL FOR PAPERS
12th ACM/IEEE International Conference on Methods and Models for System Design
(MEMOCODE'14)
Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland, October 19-21,
2014
Collocated with FMCAD 2014
The 12th ACM-IEEE International Conference on Methods and Models for System
Design (MEMOCODE’14) will be held in Lausanne, Switzerland on October 19-21,
2014. This year, for the second time, MEMOCODE will be collocated with the 14th
Conference on Formal Methods in Computer-Aided Design (FMCAD'14), providing
attendees the opportunity to attend joint tutorial sessions and keynotes. It
will provide an excellent venue for researchers working on formal methods for
CAD, and methodologies and models for embedded hardware and/or software design.
MEMOCODE'14 will comprise outstanding keynotes by Joseph Sifakis, EPFL,
Bertrand Meyer, KTH Zurich, and Wayne Burleson, UMass.
In the past, MEMOCODE emphasised co-design as its primary focus, but over the
last decade, the clear boundaries between system components implemented in
hardware, firmware, software, middleware or applications have blurred. This
evolution in system design practices has necessitated a change in the title of
the conference to cater to the needs of today's industry and research
practices. MEMOCODE's main agenda is to bring together researchers in software
design, hardware design, as well as hardware/software co-design, and exchange
ideas, research results, lessons learned from each other and apply them to each
other's areas. We want to emphasise the importance of models and methodologies
in correct system design, and provide a platform for researchers and industry
practitioners who work in any or all components of the system stack - hardware,
firmware, middleware, software, architecture and applications.
The important dates for MEMOCODE'14 are:
- Abstract submission deadline: July 10
- Paper submission deadline: July 17
- Notification of acceptance: August 14
- Final version for Papers: September 4
- Venue: October 18-21, 2014
TOPICS
MEMOCODE’14 seeks research contributions addressing all aspects of methods and
models for hardware and embedded software design. We are interested in formal
foundations, informal engineering methodologies with sound basis, model driven
approaches, design tools, design case studies, and industry-scale experimental
case-studies. Research areas of interest to MEMOCODE consist of (but not
limited to) the following topics:
Programming Models, Languages, Methodologies and Tools
System Modelling Languages
Architecture Description Languages
Domain Specific Languages
Generic Programming
Synchronous Programming Models and Languages
Reactive, Streaming, Concurrent Programming Languages
Program Synthesis Techniques, Tools, Methods
Correct-by-Construction Methodologies
Higher Level Hardware Description Languages
Analysis, Verification and Test
Static and Dynamic Analysis
Symbolic Simulation
Model Checking
Type Theoretical Program Analysis
Abstract Interpretation
Test-cases Generation
Coverage Metrics and Techniques
Tools and Methodologies for Verification, Analysis
Performance Analysis
Formal Models such Petri-Nets, Timed Automata, Transition Systems, etc
Refinement, component, platform-based methodologies
Stepwise refinement methodologies
Refinement-based correct-by-construction Design
Component based design
Component composition languages and environments
Platform-based design
Refinement proof techniques, simulations and other relations
Reusablility methodologies
Contract-based Component Design
Assume/Guarantee Reasoning
Reverse Engineering of Systems to build Platform and Component Models
Separation of Concern based Design
Aspect-oriented Design Approaches
Models of Time in System Design
Synchronous, polychronous, asynchronous concurrency models
Latency Insensitive Design
Globally Asynchronous and Locally Synchronous Design Methods
Locally Asynchronous and Globally Synchronous Design Methods
Real-Time Models, Scheduling, Proofs of Real-Time Guarantees
Fault Tolerance, Fault Models, Reliability, and Resilience
Fault Tolerant System Design
Fault-tree and other techniques for reasoning about Faults
Defect Tolerant System Design
Reliability Models, Risk Models, Probabilistic Computation
Resilient System Design
Run-Time Adaptable Systems
Run-Time patching and maintenance
Quantitative/qualitative reasoning
Power Models and Power/Performance/cost/latency trade-off methods
Reasoning techniques, data mining and other analytical methods for
predicting power/performance etc
System Level Models for Quantitative exploration of Design Space
Secure and Trustworthy Design
Methods and Models for Cyber Security
Reasoning techniques for Cyber Security, Vulnerability, Counter measures
Risk Modeling, Performance/Security Trade-offs
Security Specification languages, Formal tools, Testing
Case Studies & Tools Paper
Design case studies based on sound methodological precepts
Industry Strength Case studies
Tools paper describing the architecture, design, capabilities of tools
with experimental evaluation
DESIGN CONTESTS
MEMOCODE has a long history of a successful co-design contest section. Even
within this design contest, we have seen an evolving trend. Initially the
challenge problem started to be implemented as synthesis of co-processors for
co-designing a specific computation intensive system. Today, with GPUs, FPGA
boards and other flexible hardware add-ons, we often find even software
solutions that compete well with the purely co-processor based co-design
solutions. This year, we plan to introduce a software tool contest along with
our traditional design contest to interest more software developers in taking
part in MEMOCODE and showcase their skills in making software tools that
instantiate methodologies and model based approaches to system design.
As a result, MEMOCODE’14 will entail two design contest tracks, for which
additional call for participation will be issued, and a vibrant research track
that will seek submissions from researchers and industrial engineers for
presentation at the conference main track. The conference will sponsor at
least one prize with a monetary award for each contest. Each team delivering a
complete and working solution will be invited to prepare a 2-page abstract to
be published in the proceedings and to present it during a dedicated poster
session at the conference. The winning teams will be invited to contribute a
4-page short paper for presentation in the conference program.
Further information are available on the MEMOCODE website.
PUBLICATION
Accepted papers will as usual be published as IEEE conference proceedings and
included in IEEE Xplore.
Selected papers will be invited for publication in a special section of the ACM
Transactions of Embedded Computing Systems.
All questions regarding submissions to MEMOCODE’14 should be addressed to one
of the technical program committee chairs Sandeep Shukla ([email protected]) or
Jean-Pierre Talpin ([email protected])._______________________________________________
Memocode mailing list
[email protected]
------------------------------------------------------------------------------
HPCC Systems Open Source Big Data Platform from LexisNexis Risk Solutions
Find What Matters Most in Your Big Data with HPCC Systems
Open Source. Fast. Scalable. Simple. Ideal for Dirty Data.
Leverages Graph Analysis for Fast Processing & Easy Data Exploration
http://p.sf.net/sfu/hpccsystems
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
