MEMOCODE 2014 - 12th ACM/IEEE International Conference on Formal Methods and Models for Codesign

In the past editions, MEMOCODE emphasized 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 emphasize 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.
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
Analysis, verification and test in system design
Refinement, component, platform-based design methodologies
Models of time in system design, and the relations
Fault tolerance, fault models, reliability and resilience
Quantitative and qualitative reasoning in system design
Cyber-secure and trustworthy system design
Case studies and tools paper
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.
Design Contest
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 participations 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 will be made available on the MEMOCODE website.
Organisation
General Chair Giovanni De Micheli, EPFL
Program Chairs Sandeep Shukla, VTRL, and Jean-Pierre Talpin, INRIA
Design Challenge Chair Eriko Nurvitadhi, Intel Corporation
Software Challenge Chairs Stephen Edwards, Columbia, and Hiren Patel, Waterloo
Publication Chair Deng Yi, VTRL
Local Chair David Atienza, EPFL
Finance Chair Paolo Ienne, EPFL
Program Committee
Francois Bodin, IRISA
Dominique Borrione, TIMA
Manfred Broy, TUM
Luca Carloni, Columbia University
Nirav Dave, MIT CSAIL
Stephen Edwards, Columbia University
Hans Eveking, Technische Universitaet Darmstadt
Mamoun Filali-Amine, IRIT
Masahiro Fujita, University of Tokyo
Franco Fummi, University of Verona
Harry Foster, Mentor Graphics
Abdoulaye Gamatie, LIRMM
Thierry Gautier, INRIA
Constance Heitmeyer, Naval Research Laboratory
Daniel Kroening, University of Oxford
Thomas Kuhn, University of Kaiserslautern
Luciano Lavagno, Politecnico di Torino
Axel Legay, INRIA
Elizabeth Leonard, Naval Research Laboratory
Frederic Mallet, University of Nice
John O'Leary, Intel Corporation
Claire Pagetti, ONERA
Roberto Passerone, University of Trento
Hiren Patel, University of Waterloo
Zebo Peng, Linkoeping University
Dumitru Potop-Butucaru, INRIA
Marly Roncken, Portland State University
Klaus Schneider, University of Kaiserslautern
Sander Stuijk, Eindhoven University of Technology
Michael Theobald, D. E. Shaw Research
Fei Xie, Portland State University
Venue
The 12th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'14) will be held at EPFL in Lausanne, Switzerland on October 19-21, 2014. MEMOCODE'14 will be collocated with the FMCAD'14, the 14th Conference on Formal Methods in Computer-Aided Design.
Location
Hotels
Starling Hotel at EPFL, closest and most convenient to the campus, close to the lake
Alpha Palmiers, 2 minutes uphill walk from the train station, 4 stars, great atmosphere
Hotel Agora, 200 meters from train station, 4 stars
Hotel Ibis Lausanne, new hotel in the city, excellent value
Hotel Moevenpick, a high-end hotel, on the lake shore in Lausanne
Hotel Elite, close to train station and the city, very central yet very calm and cosy
Au Lac, a good-value 3-star hotel on the lake shore in Lausanne
Hotel Voyageurs, a small hotel in the city center
Past Editions
MEMOCODE'03 Mont Saint Michel, France
MEMOCODE'04 San Diego, USA
MEMOCODE'05 Verona, Italy
MEMOCODE'06 Napa Valley, USA
MEMOCODE'07 Nice, France
MEMOCODE'08 Anaheim, USA
MEMOCODE'09 Cambridge, USA
MEMOCODE'10 Grenoble, France
MEMOCODE'11 Cambridge, UK
MEMOCODE'12 Arlington, USA
MEMOCODE'13 Portland, USA