MEMOCODE 2004

Second ACM-IEEE International Conference on
Formal Methods and Models for Codesign (MEMOCODE'2004)

June 22-25, 2004 -- San Diego Hilton Harbor Island -- San Diego, California

CAS

Invited Keynote Speakers
Randy Bryant (Carnegie Mellon University)
David Dill (Stanford)
Edward Lee (UC Berkeley)

General Co-Chairs
Arvind (Mass. Inst. of Technology, U.S.)
Sandeep Shukla (Virginia Tech, U.S.)

Program Co-Chairs
Connie Heitmeyer (Naval Research Lab, U.S.)
Jean-Pierre Talpin (INRIA-IRISA, France)

Local Arrangement Chair: Ingolf Krueger
Panels Chair: Forrest Brewer
Tutorial Chair: Jose Meseguer

Publicity Co-chairs:
Stephen Edwards
James Hoe

Steering Committee
Arvind (Mass. Inst. of Technology, U.S.)
Masahiro Fujita (Univ. of Tokyo, Japan)
Rajesh Gupta (UC San Diego, U.S.)
Paul Le Guernic (INRIA-IRISA, France)
Sandeep Shukla (Virginia Tech, U.S.)
Jean-Pierre Talpin (INRIA-IRISA, France)

CONFERENCE PROGRAM

TUTORIALS PROGRAM

CONFERENCE REGISTRATION

HOTEL REGISTRATION

INFORMATION

Call for papers

Call for posters

NSF student travel grants

PREVIOUS EDITIONS

MEMOCODE'2003, Mont Saint-Michel

MEMOCODE'2004, San Diego

Sponsors ACM Special Interest Group on Design Automation IEEE Computer Society DATC IEEE Circuits and System Society

CONFERENCE CHARTER

Streaming Video of the Industrial Panel presentations
Courtesy UC San Diego and UC Discovery

UC Discovery introduction
Brian Bailey, Mentor Graphics. "The hurdles for acceptance of formal technologies"
Gerard Holzman, Jet Propulsion Laboratory. "Formal methods and software reliability"
Bob Kurshan, Cadence. "Formal Verification As a Technology Transfer Problem"
Vladimir Levin, Microsoft. "Static Driver Verifier, a formal verification tool"
John O'Leary, Intel. "Formal Verification in Intel CPU Design"
Carl Pixley, Synopsis. "Designers Want Proofs! But Show Me the Money"
Interactive session moderated by Sandeep Shukla, Virginia Tech

NOTE: A realmedia-compatible streaming video sofware is needed to view these videos (e.g. realplayer)

MEMOCODE'2004 was supported by the Office of Naval Research, the National Science Foundation, UC Discovery Grant, BlueSpec Incorporated, INRIA-IRISA