Oct 17, 2019
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 foundations of program analysis; which started 50 years ago with data flow analysis and abstract interpretation. Advancing through the years, we will touch on some key techniques and discuss their practical implications. We will conclude with a look at unsound techniques, explain the sources of unsoundness and what can be done to mitigate it.
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.
Professional recording and live streaming, delivered globally.
Presentations on similar topic, category or speaker