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

excape-logo

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!

Disclaimer: Posts on this blog report on happenings, opportunities, and issues that arise in the broad computing research community, and do not necessarily reflect the opinion of the CCC or the National Science Foundation.


Related posts:

  1. CRA and CCC Promote “Research Highlight of the Week”
  2. Still Accepting Entries for our “Computing Research in Action” Series
  3. Launching a New Feature: Show Us Your “Research in Action”!
  4. NSF Releases Toolkit to Highlight Investments
  5. Ubiquitous Computing (UbiComp) Research Lab: A Computing Research in Action Showcase
CCC Research Highlight: ExCAPE

Tags:

Comments are closed.