Photo courtesy of Wikimedia Commons


TUTORIALS The program of the joint FMCAD-MEMOCODE tutorial day, October 20, is available here.

KEYNOTE On "Building a High-Assurance Unpiloted Air Vehicle" by Lee Pike, Galois.

Lee Pike manages the Cyber-Physical Systems program at Galois, Inc., a company specializing in software-intensive critical systems. He has been the PI on approximately $10 million of R&D projects funded by NASA, DARPA, and other federal agencies. His research focuses on applying techniques from functional programming, run-time verification, and formal verification to the areas of operating systems, compilers, cryptographic systems, avionics, and control systems. Previously, he was a research scientist in the NASA Langley Formal Methods Group and has a Ph.D in Computer Science from Indiana University.


KEYNOTE On "Designing Tomorrow's Chips" by Yatin Hostoke, Intel.

Yatin Hoskote is Director of System-on-Chip Tools and IP lab in Intel Labs in Hillsboro, Oregon. His responsibilities include development of next generation tools, methodologies and IP blocks for Intel's SoC designs. Yatin joined Intel in 1995 and has led research efforts in formal verification, test generation and advanced prototype chip designs like the single-chip cloud computer. He is the recipient of a Best Paper award at DAC and an Intel Achievement Award. He has over 25 publications and holds 15 patents. He is a senior member of IEEE. His current interests are in high level design and synthesis, HW/SW co-design, verification, automated chip design and generation, accelerators, ASIPs and multi-core processors. He is a Sloan Fellow with an MBA from MIT and holds a PhD in Computer Engineering from the University of Texas at Austin. He is a graduate of the Indian Institute of Technology in Mumbai.


KEYNOTE On "Industry Pulse: Trends in Function Verification" by Harry Foster, Mentor Graphics.

Harry Foster is Chief Scientist for the Mentor Graphics Design Verification Technology Division. He holds multiple patents in verification and has co-authored seven books on functional verification. Harry was the 2006 recipient of the Accellera Technical Excellence Award for his contributions in developing industry standards, and was the original creator of the Accellera Open Verification Library (OVL) standard.



The eleventh ACM-IEEE MEMOCODE conference focuses on research and developments in methods, tools, and architectures for the design of hardware/software systems. MEMOCODE seeks submissions that present novel formal methods and design techniques to create, refine, and verify complex hardware/software systems and to tackle the tight constraints on timing, power, costs, reliability and security that these systems face. We also invite application-oriented papers, and especially encourage submissions that highlight the tools and design perspective of formal methods and models, including success as well as failure stories, constructive analysis thereof, and demonstrations of hardware/software codesign. Techniques may range from formal verification to simulation-based verification technologies, and from languages to design paradigms that unify hardware and software codesign. Architectures may range from cloud computing and multi-core platforms to networks on chip. Applications and demonstrators may address values ranging from productivity and reuse to performance and quality.

MEMOCODE 2013 will be co-located with FMCAD 2013, the thirteenth conference on Formal Methods in Computer-Aided Design, and DIFTS 2013, the International Workshop on Design and Implementation of Formal Tools and Systems, in Portland, Oregon. MEMOCDE 2013 will take place from October 18 to 19, followed by a joint FMCAD/MEMOCODE tutorial day on October 20. DIFTS will take place on October 19, 2013. FMCAD will continue from October 21 to 23, 2013. Conference proceedings will be published by the IEEE Computer Society. In addition, we are planning a Special Issue of IEEE Transactions on Computers with a compendium of the best papers from MEMOCODE 2013, DIFTS 2013 and FMCAD2013.


Abstract submission deadline: July 17
Paper submission deadline: July 24
Notification of acceptance: August 21
Final version for papers: September 18


(c) copyright notices