DARPAtv
Speaker: Dr. Sandeep Neema, Program Manager, DARPA / Information Innovation Office
Despite the tremendous resources devoted to making software more robust and resilient, ensuring that programs are correct—especially at scale—remains a challenge. This talk will focus on significant recent advances in the way software is built, debugged, verified, maintained and understood. Central to this approach is the creation of a large, diverse and evolving corpus of software drawn from the hundreds of billions of lines of open source code available today and the development of a software specification mining engine that enables deep program analyses and big data analytics of code.
https://www.darpa.mil/program/mining-and-understanding-software-enclaves
Source
Darpa hard baby !!!
I LIKE CREATING AI SOFTWARE.
IM IN PROGRESS…..
indian rock always
🙂