International Symposium Chaired by CMUSV Senior Scientist-Silicon Valley Campus - Carnegie Mellon University

International Symposium Chaired by CMUSV Senior Scientist-Silicon Valley Campus - Carnegie Mellon University

International Symposium Chaired by CMUSV Senior Scientist

Carnegie Mellon Silicon Valley Senior Systems Scientist, Dr. Corina Pasareanu, co-chaired the 9th International Symposium on Formal Aspects of Component Software (FACS) at NASA Ames Research Center from September 12-14, 2012. The event, which was organized by Carnegie Mellon Silicon Valley and its Robust Software Engineering Group, is the first international FACS Symposium held outside of Europe. FACS’12 consisted of peer-reviewed presentations, invited talks, and a panel on the topic of the future of component software.

FACS’12 was the ninth event in a series of events founded by the International Institute of Software Technology of the United Nations University (UNU-IIST). Opening the Symposium was an invited talk by Tevfik Bultan, Professsor of Computer Science, UC Santa Barbara, entitled, “Analyzing Interactions of Asynchronously Communicating Software Components.” In addition to co-chairing the Symposium, Dr. Pasareanu also moderated an invited talk, “Safe Programming of Aysynchrounous Interaction, Can We Do It For Real?” by Shaz Qadeer, Microsoft Research. "I'm not only honored to be co-chairing FACS'12, but am also very pleased that NASA Ames Research Center is hosting this year's symposium, which has been organized as a CMU event,” said Dr. Pasareanu.

Session topics throughout the three days included: Message Passing and Composition; Interface Theory and Connectors; Rewriting Logic; Model Checking, SAT Solving, and Z Specification; and Deadlock Analysis and Run-time Verification. Carnegie Mellon University’s relationship with FACS’12 should come as no surprise given the common research threads: “The focus of the symposium on systematically applying formal methods to make component-based and service-oriented software development succeed is closely tied to the software reuse research we are doing as part of the Software Systems Engineering research at CMUSV,” said Dr. Martin Griss, Director of the Silicon Valley campus.

FACS ’12 closed with the panel discussion, “Component Software: Challenges for the Future,” led by Natarjan Shankar, Computer Scientist, Stanford Research Institute. “This has been a very productive time, having heard from many influential researchers and high-quality papers. It is my hope that we will continue to move forward to improve component-based software development theory and practice with Carnegie Mellon Silicon Valley and NASA Ames Research Center at the forefront of that push,” reflected Dr. Pasareanu.

More information on Dr. Corina Pasareanu and her research can be found on her website.

See the FACS’12 website for background and a complete lists of sessions and paper topics.

Learn more about the Systematic Software Reuse research conducted at CMUSV.