Difference between revisions of "Event:MEMOCODE 2009"

Latest revision as of 15:26, 19 October 2022

Deadlines

6
Mar

2009

Paper

8
May

2009

Notification

15
May

2009

Poster

29
May

2009

Camera-Ready

Venue

Cambridge, Massachusetts, United States of America

Loading map...

Warning: Venue is missing. The map might not show the exact location.

The seventh MEMOCODE conference will gather researchers and practitioners who create methods, tools, and architectures for hardware/software systems. Modern design faces increased design complexities in combination with tightening implementation constraints. This requires new techniques to create, refine, and verify hardware/software systems. MEMOCODE seeks submissions that present novel formal methods and design techniques to address this design problem. We also invite application-oriented papers, and especially encourage submissions that highlight the design perspective of formal methods and models, including success stories and demonstrations of hardware/software codesign. Furthermore, we invite poster presentations describing ongoing work with promising preliminary results.

Topics

Submission topics include, but are not limited to

1. System-level modeling and verification, abstraction and refinement between different modeling levels, formal, semi-formal, and specification-driven verification on the system level. Transaction-level modeling.
2. Design and verification methods for composition of concurrent systems: Multi-core architectures, networks-on-chip.
3. Non-traditional and domain-specific design languages for hardware and software, novel models of computation, and new design paradigms that unify hardware and software design.
4. System-level estimation of performance and power in heterogeneous hardware/software architectures.
5. Applications and demonstrators of formal design methodologies and case studies of innovative system-level design flows.
6. Modeling and reuse of intellectual property at system-level.

Important dates

Paper submission 20 February 2009
Notification of acceptance 8 May 2009
Poster submission 15 May 2009
Notification for posters 29 May 2009
Final Version of Papers 29 May 2009

Design Contest

MEMOCODE will again have a design contest. The contest will start 1 March 2009. The deadline for submission is 31 March 2009 and the notification of the results is on 8 May 2009. The conference will sponsor at least two prize categories, each with a significant cash award. We awarded a $1000 prize in each of the three categories in 2008. Each team that submits a complete and working entry will be invited to submit for review a 2-page abstract for the formal conference proceedings; prize winning teams will be invited to contribute a 4-page short paper. Please refer to the conference website for more information and updates.

Proceedings

Conference proceedings will be published by the IEEE Computer Society. The best papers will be considered for a special issues of a major journal.

Submissions

Submissions of research and experience papers will only be accepted through the conference web site. Papers must not exceed 10 pages and must be formatted following IEEE Computer Society guidelines. Submissions must be written in English, describe original work, and not substantially overlap papers that have been published or are being submitted to a journal or another conference with published proceedings. Posters submissions should consist of an abstract of at most 250 words. The abstract will be distributed to the conference attendants, but will not be published. Note that the poster deadline is different from the paper deadline.

Committees

General chairs:
- Rajesh Gupta
- James C. Hoe

Design contest chairs:
- Forrest Brewer
- James C. Hoe

Local chair:
- Sally Lee

Program committee chairs:
- Roderick Bloem
- Patrick Schaumont

Program committee members
- Clark Barrett, New York University
- Twan Basten, Eindhoven University of Technology
- Tevfik Bultan, University of California, Santa Barbara
- Luca Carloni, Columbia University
- Rainer Doemer, University of California, Irvine
- Robert de Simone, INRIA
- Rolf Drechsler, University of Bremen
- Stephen A. Edwards, Columbia Univeristy
- Franco Fummi, University of Verona
- David Hwang George, Mason University
- Ganesh Gopalakrishnan, University of Utah
- Barbara Jobstmann, EPFL
- Daniel Kroening, Oxford University
- Luciano Lavagno, Politecnico di Torino
- Elizabeth Leonard, NRL
- John O'Leary, Intel
- Klaus Schneider, University of Kaiserslautern
- Satnam Singh, Microsoft Research
- Frank Vahid, University of California, Riverside
- Kazutoshi Wakabayashi, NEC
- Reinhard Wilhelm, Saarland University
- Fei Xie, Portland State University

@@ Line 1: / Line 1: @@
 {{Event
-|Acronym=MemoCODE 2009
+|Acronym=MEMOCODE 2009
-|Title=Seventh ACM-IEEE  International Conference on  Formal Methods and Models for Codesign
+|Title=ACM-IEEE  International Conference on Formal Methods and Models for Codesign
-|Type=Conference
+|Ordinal=7
-|Homepage=csg.csail.mit.edu/Memocode2009
+|In Event Series=Event Series:Bb4b6e78-7aee-45ab-955d-e55faec04edd
+|Single Day Event=no
+|Start Date=2009/07/13
+|End Date=2009/07/15
+|Event Status=as scheduled
+|Event Mode=on site
 |City=Cambridge
 |Region=Massachusetts
 |Country=Country:US
+|Academic Field=Formal Methods; Model Checking; Software Engineering; Software Verification
+|Official Website=http://csg.csail.mit.edu/Memocode2009/
+|Type=Conference
+|Official Website=http://csg.csail.mit.edu/Memocode2009
 |pageCreator=Savil
 |pageEditor=User:Curator 89
 |contributionType=1
-|In Event Series=Event Series:MemoCODE
-|Single Day Event=no
-|Start Date=2009/07/13
-|End Date=2009/07/15
-|Academic Field=Software Engineering
-|Event Status=as scheduled
-|Event Mode=on site
 }}
 {{Event Deadline
-|Poster Deadline=2009/05/15
 |Notification Deadline=2009/05/08
+|Paper Deadline=2009/03/06
 |Camera-Ready Deadline=2009/05/29
-|Submission Deadline=2009/02/20
+|Poster Deadline=2009/05/15
 }}
 {{S Event}}
@@ Line 30: / Line 32: @@
 Submission topics include, but are not limited to
-* 1. System-level modeling and verification, abstraction and refinement between different modeling levels, formal, semi-formal, and specification-driven verification on the system level. Transaction-level modeling.
+*1. System-level modeling and verification, abstraction and refinement between different modeling levels, formal, semi-formal, and specification-driven verification on the system level. Transaction-level modeling.
-* 2. Design and verification methods for composition of concurrent systems: Multi-core architectures, networks-on-chip.
+*2. Design and verification methods for composition of concurrent systems: Multi-core architectures, networks-on-chip.
-* 3. Non-traditional and domain-specific design languages for hardware and software, novel models of computation, and new design paradigms that unify hardware and software design.
+*3. Non-traditional and domain-specific design languages for hardware and software, novel models of computation, and new design paradigms that unify hardware and software design.
-* 4. System-level estimation of performance and power in heterogeneous hardware/software architectures.
+*4. System-level estimation of performance and power in heterogeneous hardware/software architectures.
-* 5. Applications and demonstrators of formal design methodologies and case studies of innovative system-level design flows.
+*5. Applications and demonstrators of formal design methodologies and case studies of innovative system-level design flows.
-* 6. Modeling and reuse of intellectual property at system-level.
+*6. Modeling and reuse of intellectual property at system-level.
 ==Important dates==
-* Paper submission 20 February 2009
+*Paper submission 20 February 2009
-* Notification of acceptance 8 May 2009
+*Notification of acceptance 8 May 2009
-* Poster submission 15 May 2009
+*Poster submission 15 May 2009
-* Notification for posters 29 May 2009
+*Notification for posters 29 May 2009
-* Final Version of Papers 29 May 2009
+*Final Version of Papers 29 May 2009
 ==Design Contest==
@@ Line 59: / Line 61: @@
 ==Committees==
-* General chairs:
+*General chairs:
-** [[has general chair::Rajesh Gupta]]
+**[[has general chair::Rajesh Gupta]]
-** [[has general chair::James C. Hoe]]
+**[[has general chair::James C. Hoe]]
-* Design contest chairs:
+*Design contest chairs:
-** [[has OC member::Forrest Brewer]]
+**[[has OC member::Forrest Brewer]]
-** [[has OC member::James C. Hoe]]
+**[[has OC member::James C. Hoe]]
-* Local chair:
+*Local chair:
-** [[has OC member::Sally Lee]]
+**[[has OC member::Sally Lee]]
 *Program committee chairs:
-** [[has program chair::Roderick Bloem]]
+**[[has program chair::Roderick Bloem]]
-** [[has program chair::Patrick Schaumont]]
+**[[has program chair::Patrick Schaumont]]
 *Program committee members
-** [[has PC member::Clark Barrett]], New York University
+**[[has PC member::Clark Barrett]], New York University
-** [[has PC member::Twan Basten]], Eindhoven University of Technology
+**[[has PC member::Twan Basten]], Eindhoven University of Technology
-** [[has PC member::Tevfik Bultan]], University of California, Santa Barbara
+**[[has PC member::Tevfik Bultan]], University of California, Santa Barbara
-** [[has PC member::Luca Carloni]], Columbia University
+**[[has PC member::Luca Carloni]], Columbia University
-** [[has PC member::Rainer Doemer]], University of California, Irvine
+**[[has PC member::Rainer Doemer]], University of California, Irvine
-** [[has PC member::Robert de Simone]], INRIA
+**[[has PC member::Robert de Simone]], INRIA
-** [[has PC member::Rolf Drechsler]], University of Bremen
+**[[has PC member::Rolf Drechsler]], University of Bremen
-** [[has PC member::Stephen A. Edwards]], Columbia Univeristy
+**[[has PC member::Stephen A. Edwards]], Columbia Univeristy
-** [[has PC member::Franco Fummi]], University of Verona
+**[[has PC member::Franco Fummi]], University of Verona
-** [[has PC member::David Hwang George]], Mason University
+**[[has PC member::David Hwang George]], Mason University
-** [[has PC member::Ganesh Gopalakrishnan]], University of Utah
+**[[has PC member::Ganesh Gopalakrishnan]], University of Utah
-** [[has PC member::Barbara Jobstmann]], EPFL
+**[[has PC member::Barbara Jobstmann]], EPFL
-** [[has PC member::Daniel Kroening]], Oxford University
+**[[has PC member::Daniel Kroening]], Oxford University
-** [[has PC member::Luciano Lavagno]], Politecnico di Torino
+**[[has PC member::Luciano Lavagno]], Politecnico di Torino
-** [[has PC member::Elizabeth Leonard]], NRL
+**[[has PC member::Elizabeth Leonard]], NRL
-** [[has PC member::John O'Leary]], Intel
+**[[has PC member::John O'Leary]], Intel
-** [[has PC member::Klaus Schneider]], University of Kaiserslautern
+**[[has PC member::Klaus Schneider]], University of Kaiserslautern
-** [[has PC member::Satnam Singh]], Microsoft Research
+**[[has PC member::Satnam Singh]], Microsoft Research
-** [[has PC member::Frank Vahid]], University of California, Riverside
+**[[has PC member::Frank Vahid]], University of California, Riverside
-** [[has PC member::Kazutoshi Wakabayashi]], NEC
+**[[has PC member::Kazutoshi Wakabayashi]], NEC
-** [[has PC member::Reinhard Wilhelm]], Saarland University
+**[[has PC member::Reinhard Wilhelm]], Saarland University
-** [[has PC member::Fei Xie]], Portland State University
+**[[has PC member::Fei Xie]], Portland State University