{"id":10614,"date":"2022-07-03T01:31:39","date_gmt":"2022-07-03T01:31:39","guid":{"rendered":"https:\/\/cscan.webix.ca\/?page_id=10614"},"modified":"2024-12-17T12:46:03","modified_gmt":"2024-12-17T17:46:03","slug":"ondrej-lhotak","status":"publish","type":"page","link":"https:\/\/cscan-infocan.ca\/fr\/ondrej-lhotak\/","title":{"rendered":"Ond\u0159ej Lhot\u00e1k"},"content":{"rendered":"<div data-elementor-type=\"wp-page\" data-elementor-id=\"10614\" class=\"elementor elementor-10614\">\n\t\t\t\t<div class=\"elementor-element elementor-element-22c7c5a4 e-flex e-con-boxed e-con e-parent\" data-id=\"22c7c5a4\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-2bec6e93 e-con-full e-flex e-con e-child\" data-id=\"2bec6e93\" data-element_type=\"container\" data-e-type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t<div class=\"elementor-element elementor-element-9213a88 e-con-full e-flex e-con e-child\" data-id=\"9213a88\" data-element_type=\"container\" data-e-type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t<div class=\"elementor-element elementor-element-76b19f3e e-con-full e-flex e-con e-child\" data-id=\"76b19f3e\" data-element_type=\"container\" data-e-type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-27349e17 elementor-widget elementor-widget-heading\" data-id=\"27349e17\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">\u00c9cole d'informatique de Cheriton\n<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-4e865638 elementor-widget elementor-widget-heading\" data-id=\"4e865638\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Ond\u0159ej Lhot\u00e1k\n<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-1ae6400d e-con-full e-flex e-con e-child\" data-id=\"1ae6400d\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-7acab403 elementor-icon-list--layout-traditional elementor-list-item-link-full_width elementor-widget elementor-widget-icon-list\" data-id=\"7acab403\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"icon-list.default\">\n\t\t\t\t\t\t\t<ul class=\"elementor-icon-list-items\">\n\t\t\t\t\t\t\t<li class=\"elementor-icon-list-item\">\n\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-icon\">\n\t\t\t\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-fas-university\" viewbox=\"0 0 512 512\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M496 128v16a8 8 0 0 1-8 8h-24v12c0 6.627-5.373 12-12 12H60c-6.627 0-12-5.373-12-12v-12H24a8 8 0 0 1-8-8v-16a8 8 0 0 1 4.941-7.392l232-88a7.996 7.996 0 0 1 6.118 0l232 88A8 8 0 0 1 496 128zm-24 304H40c-13.255 0-24 10.745-24 24v16a8 8 0 0 0 8 8h464a8 8 0 0 0 8-8v-16c0-13.255-10.745-24-24-24zM96 192v192H60c-6.627 0-12 5.373-12 12v20h416v-20c0-6.627-5.373-12-12-12h-36V192h-64v192h-64V192h-64v192h-64V192H96z\"><\/path><\/svg>\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-text\">Universit\u00e9 de Waterloo<\/span>\n\t\t\t\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t<\/ul>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-4530c080 elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"4530c080\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2a9477b4 elementor-widget elementor-widget-text-editor\" data-id=\"2a9477b4\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-7ce41cf0 e-flex e-con-boxed e-con e-parent e-lazyloaded\" data-id=\"7ce41cf0\" data-element_type=\"container\">\n<div class=\"e-con-inner\">\n<div class=\"elementor-element elementor-element-41f500d1 elementor-widget elementor-widget-text-editor\" data-id=\"41f500d1\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n<div class=\"elementor-widget-container\">\n<p>Ond\u0159ej Lhot\u00e1k a apport\u00e9 des contributions significatives dans les domaines de l'analyse de programmes et de la programmation orient\u00e9e aspect. Dans le cadre de sa th\u00e8se, il a d\u00e9velopp\u00e9 une nouvelle approche pour l'analyse des pointeurs des programmes orient\u00e9s objet qui s'appuie sur les diagrammes de d\u00e9cision binaires (BDD) pour repr\u00e9senter de mani\u00e8re compacte de grands ensembles de faits d'analyse de programme. Cette approche se distingue des approches pr\u00e9c\u00e9dentes de l'analyse des pointeurs par son \u00e9volutivit\u00e9 sup\u00e9rieure. M. Lhot\u00e1k a \u00e9galement apport\u00e9 des contributions significatives dans les domaines de la programmation orient\u00e9e aspect. En particulier, il a d\u00e9velopp\u00e9 une notion de \"tracematches\" qui permet la construction d'outils avanc\u00e9s pour le d\u00e9bogage et la surveillance de l'ex\u00e9cution et a d\u00e9montr\u00e9 que les tracematches peuvent \u00eatre mis en \u0153uvre efficacement en utilisant l'analyse de programme pour r\u00e9duire le montant de la surcharge d'instrumentation. Les projets de M. Lhot\u00e1k sont caract\u00e9ris\u00e9s par des \u00e9valuations exp\u00e9rimentales rigoureuses, et une grande partie de l'infrastructure d\u00e9velopp\u00e9e dans le cadre des recherches de M. Lhot\u00e1k a \u00e9t\u00e9 publi\u00e9e en tant que logiciel libre, pour le plus grand b\u00e9n\u00e9fice de la communaut\u00e9 des langages de programmation.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>","protected":false},"excerpt":{"rendered":"<p>Cheriton School of Computer Science Ond\u0159ej Lhot\u00e1k University of Waterloo Ond\u0159ej Lhot\u00e1k has made significant contributions in the areas of program analysis and aspect-oriented programming. As part of his dissertation research, he developed a novel approach for pointer analysis of object-oriented programs that relies on Binary Decision Diagrams (BDDs) for compactly representing large sets of [&hellip;]<\/p>\n","protected":false},"author":76,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"disabled","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"footnotes":""},"class_list":["post-10614","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/cscan-infocan.ca\/fr\/wp-json\/wp\/v2\/pages\/10614","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cscan-infocan.ca\/fr\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cscan-infocan.ca\/fr\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cscan-infocan.ca\/fr\/wp-json\/wp\/v2\/users\/76"}],"replies":[{"embeddable":true,"href":"https:\/\/cscan-infocan.ca\/fr\/wp-json\/wp\/v2\/comments?post=10614"}],"version-history":[{"count":3,"href":"https:\/\/cscan-infocan.ca\/fr\/wp-json\/wp\/v2\/pages\/10614\/revisions"}],"predecessor-version":[{"id":24610,"href":"https:\/\/cscan-infocan.ca\/fr\/wp-json\/wp\/v2\/pages\/10614\/revisions\/24610"}],"wp:attachment":[{"href":"https:\/\/cscan-infocan.ca\/fr\/wp-json\/wp\/v2\/media?parent=10614"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}