ExCAPE Team to Create Automated Program Computer Software Synthesis Tools

A computer research team consisting of several researchers will devise computer software capable of facilitating robotic automation in production.

Upon receiving a $10 M grant from the National Science Foundation (NSF), the researchers anticipate formulating intelligent software agents like smart programs that are capable of capturing instructions provided by human programmers, followed by enabling the rapid synthesis of codes. These codes are manuscripts and therefore may contain few errors.

This five-year initiative will be carried out in Penn. This effort, named ‘Expeditions in Computer Augmented Program Engineering’ (ExCAPE) is sponsored by the Expeditions in Computing program of NSF, to develop novel approaches and techniques in computing.

The ExCAPE research team comprises scientists from Rice computer Lydia Kavraki and Moshe Vardi; researchers from Cornell University, the University of California, Berkeley, MIT, the University of Maryland, UCLA, the University of Illinois at Urbana-Champaign, and the University of Michigan. The team’s main objective is to construct ‘automated program-synthesis tools’ that will serve a wide range of applications. The research team at Rice will execute robotic application-challenges and will also demonstrate and determine the safety and efficiency of synthetic, computer-generated code.

ExCAPE team will demonstrate their research on programming for robotic behavior. Other challenges include formulating routing policy process for flow of information across networks of computers; updating the software which designed for single-processor computers to perform on multiple core-platforms most common for mobile devices; designing efficient and precise algorithms for synchronizing decisions between multiple computers.

According to Rice scientist Vardi, the newly developed tools should be capable enough to code the errors as well as identify the flawed logic responsible for the errors, thereby solving the coding challenges.

Citations

Please use one of the following formats to cite this article in your essay, paper or report:

  • APA

    Choi, Andy. (2019, February 20). ExCAPE Team to Create Automated Program Computer Software Synthesis Tools. AZoRobotics. Retrieved on November 22, 2024 from https://www.azorobotics.com/News.aspx?newsID=2677.

  • MLA

    Choi, Andy. "ExCAPE Team to Create Automated Program Computer Software Synthesis Tools". AZoRobotics. 22 November 2024. <https://www.azorobotics.com/News.aspx?newsID=2677>.

  • Chicago

    Choi, Andy. "ExCAPE Team to Create Automated Program Computer Software Synthesis Tools". AZoRobotics. https://www.azorobotics.com/News.aspx?newsID=2677. (accessed November 22, 2024).

  • Harvard

    Choi, Andy. 2019. ExCAPE Team to Create Automated Program Computer Software Synthesis Tools. AZoRobotics, viewed 22 November 2024, https://www.azorobotics.com/News.aspx?newsID=2677.

Tell Us What You Think

Do you have a review, update or anything you would like to add to this news story?

Leave your feedback
Your comment type
Submit

While we only use edited and approved content for Azthena answers, it may on occasions provide incorrect responses. Please confirm any data provided with the related suppliers or authors. We do not provide medical advice, if you search for medical information you must always consult a medical professional before acting on any information provided.

Your questions, but not your email details will be shared with OpenAI and retained for 30 days in accordance with their privacy principles.

Please do not ask questions that use sensitive or confidential information.

Read the full Terms & Conditions.