Next
Livestream will start soon!
Livestream has already ended.
Presentation has not been recorded yet!
  • title: Reasoning about programs: Soundness revisited
      0:00 / 0:00
      • Report Issue
      • Settings
      • Playlists
      • Bookmarks
      • Subtitles Off
      • Playback rate
      • Quality
      • Settings
      • Debug information
      • Server sl-yoda-v2-stream-010-alpha.b-cdn.net
      • Subtitles size Medium
      • Bookmarks
      • Server
      • sl-yoda-v2-stream-010-alpha.b-cdn.net
      • sl-yoda-v2-stream-010-beta.b-cdn.net
      • 1759419103.rsc.cdn77.org
      • 1016618226.rsc.cdn77.org
      • Subtitles
      • Off
      • English (auto-generated)
      • Playback rate
      • Quality
      • Subtitles size
      • Large
      • Medium
      • Small
      • Mode
      • Video Slideshow
      • Audio Slideshow
      • Slideshow
      • Video
      My playlists
        Bookmarks
          00:00:00
            Reasoning about programs: Soundness revisited
            • Settings
            • Sync diff
            • Quality
            • Settings
            • Server
            • Quality
            • Server

            Reasoning about programs: Soundness revisited

            Oct 17, 2019

            Speakers

            JV

            Jan Vítek

            Speaker · 0 followers

            About

            Information security, software assurance, and program performance all crucially depend on our ability to reason formally about possible program behaviors. Determining if a particular function will reveal a password, avoiding code that crashes embedded devices, and applying transformations that provide an order-of-magnitude speed up, are all tasks that require treating the code as an object of analysis on which we can perform meaning-preserving transformations. This talk will overview the foundat…

            Organizer

            Categories

            Software & Programming

            Category · 1k presentations

            Mathematics

            Category · 2.4k presentations

            AI & Data Science

            Category · 10.8k presentations

            About Pražský informatický seminář

            Seminář se bude scházet vždy 4. čtvrtek v měsíci v 16 hod. (s výjimkou letních měsíců a prosince), a to buď v budově FEL ČVUT na Karlově náměstí, nebo v budově MFF UK na Malostranském náměstí. Jeho program bude tvořen hodinovou přednáškou, po níž bude následovat časově neomezená diskuse. Základem přednášky by mělo být něco (v mezinárodním měřítku) mimořádného nebo aspoň pozoruhodného, na co přednášející přišel a co vysvětlí způsobem srozumitelným a zajímavým i pro širší informatickou obec. Přednášky budou standardně v angličtině. Formát semináře připravil přípravný výbor ve složení Roman Barták (MFF UK), Michal Chytil (ÚI AVČR), Pavel Kordík (FIT ČVUT), Jan Kybic (FEL ČVUT), Michal Pěchouček (FEL ČVUT), Jiří Sgall (MFF UK), Vojtěch Svátek (FIS VŠE), Michal Šorel (ÚTIA AV ČR), Tomáš Werner (FEL ČVUT), Filip Železný (FEL ČVUT) Idea Pražského informatického semináře vznikla z rozhovorů představitelů několika vědeckých institucí na téma, jak odstranit zbytečnou fragmentaci informatické komunity v ČR.

            Like the format? Trust SlidesLive to capture your next event!

            Professional recording and live streaming, delivered globally.

            Sharing

            Recommended Videos

            Presentations on similar topic, category or speaker

            Machine Learning for Three-Dimensional Reconstruction and Visual Localization
            1:07:49

            Machine Learning for Three-Dimensional Reconstruction and Visual Localization

            Torsten Sattler

            Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

            Teams of autonomous cooperating micro aerial vehicles: From theory to applications
            1:00:56

            Teams of autonomous cooperating micro aerial vehicles: From theory to applications

            Martin Saska

            Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

            Learning to play large imperfect-information games
            1:12:11

            Learning to play large imperfect-information games

            Viliam Lisý

            Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

            Database Systems, Quo Vadis?
            1:04:04

            Database Systems, Quo Vadis?

            Jaroslav Pokorný

            Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

            Stochastic Two-Player Games
            1:16:40

            Stochastic Two-Player Games

            Antonín Kučera

            Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

            Envy-free divisions
            1:14:54

            Envy-free divisions

            Milan Vlach

            Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

            Interested in talks like this? Follow Pražský informatický seminář