Foundations of Computing Processes and Artifacts (CPA)

The Foundations of Computing Processes and Artifacts (CPA) cluster supports research and education projects to advance formalisms and methodologies pertaining to the artifacts and processes for building computing and communication systems. Computational artifacts range from formalisms, models, theories and languages to hardware/software architectures, technology components and a variety of physical manifestations of implementations. Proposals submitted in response to this solicitation will address the nature of such artifacts and the computational processes they perform, as well as the artifacts and processes involved in specifying, designing, building and using them.

Areas of interest include: topics in software engineering such as software design methodologies, tools for software testing, analysis, synthesis, and verification; semantics, design, and implementation of programming languages; software systems and tools for reliable and high performance computing; computer architectures including memory and I/O subsystems, micro-architectural techniques, and application-specific architectures; system-on-a-chip; performance metrics and evaluation tools; VLSI electronic design and pertinent analysis, synthesis and simulation algorithms; architecture and design for mixed media or future media (e.g., MEMs and nanotechnology); computer graphics and visualization techniques.