_npuc-2009-ibm-research-almaden-future-of-design-amp-software-develepment-rastislav-bodik-uc-berkeley.jpg "NPUC 2009 @ IBM Research - Almaden: Future of Design & Software Develepment: Rastislav Bodik, UC Berkeley from spelling compilation Video Screenshot Preview")
GalleryPlay Video:
(Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)
⏲ Duration: 31 min 23 sec
✓ Published: 15-Jul-2009
✓ Published: 15-Jul-2009
Description:
Abstract: Massive compute power has long been available to us but we need more ideas on how to harness it in programming. While testing and verification dutifully number-crunch programs, they do not fix the bugs they find. Moving closer to programmers, recent tools have become true cognitive assistants: search engines find relevant code samples, verifiers explain bugs, and software miners discover properties absent in the documentation. Still, these tools do not directly address the problem of w
Abstract: Massive compute power has long been available to us but we need more ideas on how to harness it in programming. While testing and verification dutifully number-crunch programs, they do not fix the bugs they find. Moving closer to programmers, recent tools have become true cognitive assistants: search engines find relevant code samples, verifiers explain bugs, and software miners discover properties absent in the documentation. Still, these tools do not directly address the problem of w
Share with your friends:
Whatsapp | Viber | Telegram | Line | SMS
Email | Twitter | Reddit | Tumblr | Pinterest
Related Videos
_alphablocks-learn-to-read-124-60-mins-of-spelling-124-phonics-for-kids.webp "Alphablocks")
_queensland-government-to-remove-detention-as-a-last-resort-from-its-youth-justice-principles.webp "‘A desperate grab for power’, that is how youth advocates have described the QLD state governments latest move to address youth crime. Laws spelling out when juveniles should be detained are being re-written to prioritise community safety. But the opposition believe nothing will change.")
⏲ 2:9 👁 4.8M
_karma-gets-you-at-the-spelling-bee.webp "Brad Allen")
_funniest-spelling-bee-moments.webp "FUNNY SH#T")
_game-grumps-laughing-at-spelling-mistakes-mistranslations.webp "smeef")
_running-man-funny-english-speaking-and-spelling-compilation.webp "Running Man Moments")
_tori-spelling-wishes-she-was-pregnant-with-her-sixth-child.webp "Despite admitting she was scared a future partner wouldn’t want to be with a mum-of-five, actress Tori Spelling has admitted she wishes she was pregnant with her sixth child.")
_spelling-bee-beta-squad-edition.webp "Beta Squad")
_alphablocks-learn-to-read-124-60-mins-of-spelling-124-phonics-for-kids.jpg)
_queensland-government-to-remove-detention-as-a-last-resort-from-its-youth-justice-principles.jpg)
_karma-gets-you-at-the-spelling-bee.jpg)
_funniest-spelling-bee-moments.jpg)
_game-grumps-laughing-at-spelling-mistakes-mistranslations.jpg)
_running-man-funny-english-speaking-and-spelling-compilation.jpg)
_tori-spelling-wishes-she-was-pregnant-with-her-sixth-child.jpg)
_spelling-bee-beta-squad-edition.jpg)
![[+]](/images/menu.gif){kind=small}