{"id":669,"date":"2025-02-27T07:04:13","date_gmt":"2025-02-27T06:04:13","guid":{"rendered":"https:\/\/blogg.lnu.se\/disa\/?p=669"},"modified":"2025-02-27T07:06:01","modified_gmt":"2025-02-27T06:06:01","slug":"welcome-to-phd-seminar-march-2025","status":"publish","type":"post","link":"https:\/\/blogg.lnu.se\/disa\/?p=669","title":{"rendered":"Welcome to PhD-seminar March 2025"},"content":{"rendered":"\n

When?<\/strong> Friday March 7th 14-16
Where?<\/strong> Onsite: D1140 at Linnaeus University in V\u00e4xj\u00f6 and online
Registration:<\/strong> Please sign up for the PhD-seminar via this link https:\/\/forms.gle\/kydkchwh92y9g2RC9<\/a> by March 5th (especially important if you plan on attending onsite so we have fika for everyone)<\/p>\n\n\n\n

14.00-14.10 Welcome and practical information from Welf L\u00f6we
14.10-14.55 Presentation and discussion: Producing the Next Generation of Forest Attribute Maps – the Swedish Case \u2013 Dag Bj\u00f6rnberg<\/em>
14.55 \u2013 15.05 Coffee break
15.05 \u2013 15.50 Presentation and discussion: Sound, Precise, Memory Efficient P2A and beyond \u2013 Mathias Hedenborg<\/em>
15.50 -16.00 Sum up and plan for our seminars in April<\/p>\n\n\n\n

Abstracts<\/strong><\/p>\n\n\n\n

Producing the Next Generation of Forest Attribute Maps – the Swedish Case \u2013 Dag Bj\u00f6rnberg<\/em><\/strong>
Remote sensing techniques are widely used for mapping and monitoring forest attributes, providing valuable information on forest cover, biomass, and overall forest health. In recent years, national airborne laser scanning (ALS) campaigns have been conducted in several countries to map forest resources. When combining ALS data with field inventory data, these datasets enable the development of nationwide models for prediction of forest attributes. In this talk, we discuss the potential of machine learning (ML) to enhance existing modeling approaches for nationwide forest attribute mapping in Sweden, and show prediction results on five forest variables.<\/p>\n\n\n\n

Sound, Precise, Memory Efficient P2A and beyond \u2013 Mathias Hedenborg<\/em><\/strong>
Points-to analysis can be used as a helping tool, but then it needs to be sound, fast, and precise.
The Points-to information can be useful in Compiler Optimization and Software Engineering.<\/p>\n\n\n\n

In this thesis, an approach is presented that fulfills all of these requirements. The approach is flow-sensitive since it is an SSA-based data-flow analysis.
By using X-terms (chi-terms) for saving context data, the approach will be context-sensitive.<\/p>\n\n\n\n

We describe how the soundness is reached, by relate the use of X-terms to a conservative data-flow analysis.
The proof will show that the steps in creating X-term based representation will guarantee the soundness, if the conservative data-analysis is sound.<\/p>\n\n\n\n

We will also show that the use of X-terms out-range other traditional representation for the context information needed.<\/p>\n\n\n\n

There will also be a discussion about the precision in a system using X-terms.<\/p>\n\n\n\n

In addition to this, the thesis discusses how points-to analysis can be used in other areas like program\/system understandability and Compiler Optimization.
Future work will point out areas like result prognosis, alias, reachability, security, and more areas related to Software Engineering.<\/p>\n","protected":false},"excerpt":{"rendered":"

When? Friday March 7th 14-16Where? Onsite: D1140 at Linnaeus University in V\u00e4xj\u00f6 and onlineRegistration: Please sign up for the PhD-seminar via this link https:\/\/forms.gle\/kydkchwh92y9g2RC9 by March 5th (especially important if you plan on attending onsite so we have fika for everyone) 14.00-14.10 Welcome and practical information from Welf L\u00f6we14.10-14.55 Presentation and discussion: Producing the Next […]<\/p>\n","protected":false},"author":401,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[93],"tags":[],"class_list":["post-669","post","type-post","status-publish","format-standard","hentry","category-blogg"],"acf":[],"yoast_head":"\r\nWelcome to PhD-seminar March 2025 - DISA<\/title>\r\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\r\n<link rel=\"canonical\" href=\"https:\/\/blogg.lnu.se\/disa\/?p=669\" \/>\r\n<meta property=\"og:locale\" content=\"en_US\" \/>\r\n<meta property=\"og:type\" content=\"article\" \/>\r\n<meta property=\"og:title\" content=\"Welcome to PhD-seminar March 2025 - DISA\" \/>\r\n<meta property=\"og:description\" content=\"When? Friday March 7th 14-16Where? Onsite: D1140 at Linnaeus University in V\u00e4xj\u00f6 and onlineRegistration: Please sign up for the PhD-seminar via this link https:\/\/forms.gle\/kydkchwh92y9g2RC9 by March 5th (especially important if you plan on attending onsite so we have fika for everyone) 14.00-14.10 Welcome and practical information from Welf L\u00f6we14.10-14.55 Presentation and discussion: Producing the Next […]\" \/>\r\n<meta property=\"og:url\" content=\"https:\/\/blogg.lnu.se\/disa\/?p=669\" \/>\r\n<meta property=\"og:site_name\" content=\"DISA\" \/>\r\n<meta property=\"article:published_time\" content=\"2025-02-27T06:04:13+00:00\" \/>\r\n<meta property=\"article:modified_time\" content=\"2025-02-27T06:06:01+00:00\" \/>\r\n<meta name=\"author\" content=\"Diana Unander\" \/>\r\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\r\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Diana Unander\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\r\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/blogg.lnu.se\/disa\/?p=669\",\"url\":\"https:\/\/blogg.lnu.se\/disa\/?p=669\",\"name\":\"Welcome to PhD-seminar March 2025 - DISA\",\"isPartOf\":{\"@id\":\"https:\/\/blogg.lnu.se\/disa\/#website\"},\"datePublished\":\"2025-02-27T06:04:13+00:00\",\"dateModified\":\"2025-02-27T06:06:01+00:00\",\"author\":{\"@id\":\"https:\/\/blogg.lnu.se\/disa\/#\/schema\/person\/a322baa56840d8b8d7320bc36fc73c42\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/blogg.lnu.se\/disa\/?p=669\"]}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/blogg.lnu.se\/disa\/#website\",\"url\":\"https:\/\/blogg.lnu.se\/disa\/\",\"name\":\"DISA\",\"description\":\"Centre for Data Intensive Sciences and Applications\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/blogg.lnu.se\/disa\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/blogg.lnu.se\/disa\/#\/schema\/person\/a322baa56840d8b8d7320bc36fc73c42\",\"name\":\"Diana Unander\",\"sameAs\":[\"https:\/\/lnu.se\/en\/disa\"],\"url\":\"https:\/\/blogg.lnu.se\/disa\/?author=401\"}]}<\/script>\r\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Welcome to PhD-seminar March 2025 - DISA","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/blogg.lnu.se\/disa\/?p=669","og_locale":"en_US","og_type":"article","og_title":"Welcome to PhD-seminar March 2025 - DISA","og_description":"When? Friday March 7th 14-16Where? Onsite: D1140 at Linnaeus University in V\u00e4xj\u00f6 and onlineRegistration: Please sign up for the PhD-seminar via this link https:\/\/forms.gle\/kydkchwh92y9g2RC9 by March 5th (especially important if you plan on attending onsite so we have fika for everyone) 14.00-14.10 Welcome and practical information from Welf L\u00f6we14.10-14.55 Presentation and discussion: Producing the Next […]","og_url":"https:\/\/blogg.lnu.se\/disa\/?p=669","og_site_name":"DISA","article_published_time":"2025-02-27T06:04:13+00:00","article_modified_time":"2025-02-27T06:06:01+00:00","author":"Diana Unander","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Diana Unander","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/blogg.lnu.se\/disa\/?p=669","url":"https:\/\/blogg.lnu.se\/disa\/?p=669","name":"Welcome to PhD-seminar March 2025 - DISA","isPartOf":{"@id":"https:\/\/blogg.lnu.se\/disa\/#website"},"datePublished":"2025-02-27T06:04:13+00:00","dateModified":"2025-02-27T06:06:01+00:00","author":{"@id":"https:\/\/blogg.lnu.se\/disa\/#\/schema\/person\/a322baa56840d8b8d7320bc36fc73c42"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/blogg.lnu.se\/disa\/?p=669"]}]},{"@type":"WebSite","@id":"https:\/\/blogg.lnu.se\/disa\/#website","url":"https:\/\/blogg.lnu.se\/disa\/","name":"DISA","description":"Centre for Data Intensive Sciences and Applications","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/blogg.lnu.se\/disa\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/blogg.lnu.se\/disa\/#\/schema\/person\/a322baa56840d8b8d7320bc36fc73c42","name":"Diana Unander","sameAs":["https:\/\/lnu.se\/en\/disa"],"url":"https:\/\/blogg.lnu.se\/disa\/?author=401"}]}},"_links":{"self":[{"href":"https:\/\/blogg.lnu.se\/disa\/index.php?rest_route=\/wp\/v2\/posts\/669","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogg.lnu.se\/disa\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogg.lnu.se\/disa\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogg.lnu.se\/disa\/index.php?rest_route=\/wp\/v2\/users\/401"}],"replies":[{"embeddable":true,"href":"https:\/\/blogg.lnu.se\/disa\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=669"}],"version-history":[{"count":2,"href":"https:\/\/blogg.lnu.se\/disa\/index.php?rest_route=\/wp\/v2\/posts\/669\/revisions"}],"predecessor-version":[{"id":671,"href":"https:\/\/blogg.lnu.se\/disa\/index.php?rest_route=\/wp\/v2\/posts\/669\/revisions\/671"}],"wp:attachment":[{"href":"https:\/\/blogg.lnu.se\/disa\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=669"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogg.lnu.se\/disa\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=669"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogg.lnu.se\/disa\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=669"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}