Computing Community Consortium Blog

The goal of the Computing Community Consortium (CCC) is to catalyze the computing research community to debate longer range, more audacious research challenges; to build consensus around research visions; to evolve the most promising visions toward clearly defined initiatives; and to work with the funding organizations to move challenges and visions toward funding initiatives. The purpose of this blog is to provide a more immediate, online mechanism for dissemination of visioning concepts and community discussion/debate about them.

CCC Research Highlight: ExCAPE

November 19th, 2014 / in Announcements, CCC, research horizons, Research News / by Helen Wright


Periodically, the Computing Community Consortium (CCC) will highlight research projects that are nominated by the public. Research highlights are meant to inform the computing community about interesting research going on in the field.

The most recent research highlight featured Dr. Rajeev Alur from the University of Pennsylvania. Dr. Alur leads the NSF Expeditions in Computer Augmented Program Engineering (ExCAPE). The goal of ExCAPE is to change the way programmers develop software by advancing the theory and practice of software synthesis.  ExCAPE develops synthesis tools that can assist expert programmers in discovering difficult code and meet challenges in multicore programming. To read more, see the full research highlight.

To submit a research highlight for inclusion in the highlights database and possible feature on the CRA and CCC websites, please fill out this required form. Submissions will be reviewed by CRA/CCC staff and submitters will be notified if and when their research highlight is featured.

We are looking forward to receiving your research highlights!

CCC Research Highlight: ExCAPE

Comments are closed.