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 […]
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.
Posts Tagged ‘ExCAPE’
