Contact

Tel	_	+49 681 302-57522
Mail	_
Room	_	403
Address	_	Saarland Informatics Campus Building E1 3 66123 Saarbrücken Germany
ORCID	_	0000-0001-8657-7190

Tina Jung

Research Interests

Program Analysis
C Memory Safety
Polyhedral Model

Projects

MemInstrument: A framework to Compile Memory Safe Executables from C Code
PICO: Presburger Optimization for Memory Safety Instrumentations

Teaching

Lecturer Assistant

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]

@article{JRH:TACO21,
   author      = {Jung, Tina and Ritter, Fabian and Hack, Sebastian},
   title       = {PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations},
   year        = {2021},
   issue_date  = {July 2021},
   publisher   = {Association for Computing Machinery},
   address     = {New York, NY, USA},
   volume      = {18},
   number      = {4},
   issn        = {1544--3566},
   url         = {https://doi.org/10.1145/3460434},
   doi         = {10.1145/3460434},
   journal     = {ACM Trans. Archit. Code Optim.},
   month       = jul,
   articleno   = {45},
   numpages    = {27},
   keywords    = {spatial memory safety, LLVM, Presburger, C language, Optimization}
 }

BSc Thesis

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

@BACHELORSTHESIS{Jung:2015:BSc,
     author = { Tina Jung },
     title = { {A} {H}ybrid {A}pproach for {P}arametric {M}emory {D}ependence {A}nalysis },
     school = {Saarland University},
     year = { 2015 },
     month = { December },
     webpdf  = {http://compilers.cs.uni-saarland.de/publications/theses/jung_bsc.pdf},
     abstract = { },
 }