Contact

Tel_+49 681 302-57522
Fax_+49 681 302-3065
Mail_
Room_403
Address_Saarland Informatics Campus
Building E1 3
66123 Saarbr├╝cken
Germany
ORCID_0000-0001-8657-7190

Tina Jung

Curriculum Vitae

Research Interests

  • Program Analysis
  • C Memory Safety
  • Polyhedral Model

Projects

  • PICO: Presburger Optimization for Memory Safety Instrumentations

Teaching

Lecturer Assistant

Summer Term 2020

Summer Term 2019

Summer Term 2018

Summer Term 2017

  • Lecture: Programming 2

Teaching Assistant

Summer Term 2014

  • Lecture: Programming 2
  • Lecture: Programming for Engineers

Winter Term 2013/14

  • Lab: Software Design Lab

Winter Term 2012/13

  • Lecture: Programming 1

Summer Term 2012

  • Course: Mathematical preparation course for freshman

Winter Term 2011/12

  • Lecture: Programming 1 Re-Exam preparation

Publications

Journal Papers

  • PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations
    Jung, T., Ritter, F. and Hack, S.
    ACM Trans. Archit. Code Optim., 18 (4), 2021. [doi] [url] [bib]

BSc Thesis

  • A Hybrid Approach for Parametric Memory Dependence Analysis
    Jung, T.
    B.Sc. Thesis, Saarland University, 2015. [pdf] [bib]