Mathias Hedenborg

Senior lecturer

Department of Computer Science and Media Technology Faculty of Technology

mathias.hedenborg@lnu.se

+46 470-70 86 38

+46 76-760 36 65

3020, Hus B, Växjö

Save contact Download image

I am now retired, but still working part-time.

Teaching

Teaching

My participation in the teaching field is limited to

course administration of thesis at bachelor level,
special areas of interest are networking, operating systems, and network-based learning.

Research

Research

My research is focused on program analysis.

Commissions

Administrative duties

Coordinator of education in Computer Science,
Contact person for teacher training in Computer Science.

My research groups

Data Intensive Software Technologies and Applications (DISTA) The research group Data Intensive Software Technologies and Applications studies data-driven approaches, such as machine learning,…

Publications

Article in journal (Refereed)

Hedenborg, M., Lundberg, J., Löwe, W., Trapp, M. (2022). A Framework for Memory Efficient Context-Sensitive Program Analysis. Theory of Computing Systems. 66. 911-956.
Status: Published
Hedenborg, M., Lundberg, J., Löwe, W. (2021). Memory efficient context-sensitive program analysis. Journal of Systems and Software. 177.
Status: Published

Conference paper (Refereed)

Trapp, M., Hedenborg, M., Lundberg, J., Löwe, W. (2015). Capturing and Manipulating Context-sensitive Program Information. Software Engineering Workshops 2015 : Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, 17.-18. März 2015. 154-163.

Chapter in book (Refereed)

Lundberg, J., Hedenborg, M., Löwe, W. (2012). SSA-Based Simulated Execution. Patterns, Programming and Everything. London, Springer. 75-90.

Conference paper (Other academic)

Hedenborg, M., Lundberg, J., Löwe, W., Trapp, M. (2015). Approximating Context-Sensitive Program Information. Proceedings Kolloquium Programmiersprachen (KPS 2015).