-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathgroup.tex
159 lines (154 loc) · 7.76 KB
/
group.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
\mycvitem{PhD Student}{%
\begin{itemize}
\item[]
Anna Bolotina (since 2024).
\end{itemize}
}
%\myfirstcvitem{Postdoc}{%
%\begin{itemize}
%\item[]
%\end{itemize}
%}
\myfirstcvitem{Postdoc Alumni}{%
\begin{itemize}
\item[]
Daniel Kocher, Dr.~Tech., University of Salzburg (2021--2024);
Cl{\'e}ment Poncelet, Docteur de l’Universit{\'e} Pierre et Marie Curie (2017--2019);
Andreas Holzer, Dr.~Tech., Technical University of Vienna (2015);
Rainer Trummer, Dr.~Tech., University of Salzburg (2012--2014);
Ana Sokolova, PhD, Technical University of Eindhoven (2007--2009).
\end{itemize}
}
\mycvitem{Graduated PhD Students}{%
\begin{itemize}
\item[]
Alireza Abyaneh, Dr.~Tech., University of Salzburg, 2022
(\emph{Abstract Symbolic Execution});
Clemens Krainer, Dr.~Tech., University of Salzburg, 2017
(\emph{Cyber-Physical Systems as a Service});
Martin Aigner, Dr.~Tech., University of Salzburg, 2017
(\emph{Explorative Benchmarking with ACDC});
Andreas Haas, Dr.~Tech., University of Salzburg, 2015
(\emph{Fast Concurrent Data Structures Through Timestamping});
Michael Lippautz, Dr.~Tech., University of Salzburg, 2015
(\emph{From Relaxed Data Structures to Scalable Software Systems});
Hannes Payer, Dr.~Tech., University of Salzburg, 2012
(\emph{Multicore Scalability of Concurrent Objects});
Harald R{\"o}ck, Dr.~Tech., University of Salzburg, 2012
(\emph{Tiptoe: A Virtual Execution Environment for Real-Time and Embedded Systems});
Eduardo Marques, PhD, University of Porto, 2011, co-advised
(\emph{Runtime Programming});
Rainer Trummer, Dr.~Tech., University of Salzburg, 2011
(\emph{Design and Implementation of the JAviator Quadrotor - An Aerial Software Testbed});
Silviu Craciunas, Dr.~Tech., University of Salzburg, 2010
(\emph{Programmable Temporal Isolation for High-Performance and Real-Time Systems});
Daniel Iercan, PhD, Technical University of Timisoara, 2008, co-advised
(\emph{Contributions to the Development of Real-Time Programming Techniques and Technologies}).
\end{itemize}
}
\mycvitem{Graduated Masters Students}{%
\begin{itemize}
\item[]
Anna Bolotina, Dipl.-Ing., University of Salzburg, 2024
(\emph{Symbolic Benchmarking of RISC-V Code});
Jonathan Lainer, Dipl.-Ing., University of Salzburg, 2024
(\emph{Symbolic Benchmarking for Allocation Efficiency});
Alexander Miller, Dipl.-Ing., University of Salzburg, 2018
(\emph{madlay: A Trace-Driven Cache Simulator for Address Allocators});
Mario Preishuber, Dipl.-Ing., University of Salzburg, 2018
(\emph{Towards cache-optimal address allocation: How slow is your code?});
Thomas H{\"u}tter, Dipl.-Ing., University of Salzburg, 2017
(\emph{Mixter: Towards Simultaneous Emulation and Virtualization});
Cornelia Mayer, Mag. rer. nat., University of Salzburg, 2017
(\emph{From 0s and 1s to Computer Science for All});
Andreas L{\"o}cker, Dipl.-Ing., University of Salzburg, 2013
(\emph{Generalized Polygons for Soft-walling a Micro UAV});
Martin Aigner, Dipl.-Ing., University of Salzburg, 2012
(\emph{Short-term Memory for the C Programming Language});
Stephanie Stroka, Dipl.-Ing., University of Salzburg, 2012
(\emph{Short-term Regions: A Region-based Short-term Memory Allocator});
Michael Lippautz, Dipl.-Ing., University of Salzburg, 2011
(\emph{Self-collecting Goroutines: Short-term Memory Management in Go});
Florian Landolt, Dipl.-Ing., University of Salzburg, 2011
(\emph{High-Throughput Inter-Domain Multicast on the Xen Hypervisor});
Andreas Unterweger, Dipl.-Ing., University of Salzburg, 2011
(\emph{Performance Analysis of Short-Term Memory in a State-of-the-Art H.264 Video Encoder});
Clemens Krainer, Dipl.-Ing., University of Salzburg, 2009
(\emph{JNavigator - An Autonomous Navigation System for the JAviator Quadrotor Helicopter});
Andreas Haas, Dipl.-Ing., University of Salzburg, 2009
(\emph{Expiration Classes for Implicit Memory Management});
Wolfgang Kreil, Dipl.-Ing., University of Salzburg, 2009
(\emph{Cubic UWB-based Soft Walls for a Micro-UAV});
Horst Stadler, Dipl.-Ing., University of Salzburg, 2008
(\emph{A Virtualized Real-Time I/O Subsystem});
Hannes Payer, Dipl.-Ing., University of Salzburg, 2007
(\emph{A Compacting Real-Time Memory Management System});
Bernhard Kast, Dipl.-Ing., University of Salzburg, 2007
(\emph{Jarol: A Java Control Infrastructure});
Harald R{\"o}ck, Dipl.-Ing., University of Salzburg, 2006
(\emph{Threading by Appointment});
Marcus Harringer, Dipl.-Ing., University of Salzburg, 2005
(\emph{Real-Time Java Programming with Logical Execution Times and Real-Time Garbage Collection}).
\end{itemize}
}
\mycvitem{Graduated Bachelor Students}{%
\begin{itemize}
\item[]
Nadir Fejzic, Bakk.-techn., University of Salzburg, 2024
(\emph{Exploring Reasoning Performance of RISC-V Software Models in BTOR2});
Bernhard Haslauer, Bakk.-techn., University of Salzburg, 2024
(\emph{Witness Extraction and Validation in Unicorn});
Patrick Weber, Bakk.-techn., University of Salzburg, 2024
(\emph{32-bit Support for Bit-Precise Modeling of RISC-U Code});
Luis Thiele, Bakk.-techn., University of Salzburg, 2022
(\emph{Automated Testing of Atomic Instructions (LR/SC) Implementations in Selfie});
Markus Diller, Bakk.-techn., University of Salzburg, 2022
(\emph{Visualizing BTOR2 Models});
David Pape, Bakk.-techn., University of Salzburg, 2022
(\emph{RISC-U Binary Optimization for Selfie});
Thomas Wulz, Bakk.-techn., University of Salzburg, 2021
(\emph{Linear-Time Static Analysis of RISC-V Binary Code});
Alexander Linz, Bakk.-techn., University of Salzburg, 2021
(\emph{Incomplete Symbolic Execution with Monster: Systems});
Alexander Lackner, Bakk.-techn., University of Salzburg, 2021
(\emph{Incomplete Symbolic Execution with Monster: Solver});
Marcell Haritopoulos, Bakk.-techn., University of Salzburg, 2021
(\emph{RISC-V Bare-Metal Library Operating System for Selfie});
Martin Fischer, Bakk.-techn., University of Salzburg, 2020
(\emph{RISC-V S-Mode-Hosted Bare-Metal Selfie});
Gregor Bachinger, Bakk.-techn., University of Salzburg, 2020
(\emph{Conservative Garbage Collection in Kernel and Mutator Space});
Sebastian Landl, Bakk.-techn., University of Salzburg, 2020
(\emph{Generating Path Conditions for Bounded Model Checking of RISC-V Code in Selfie});
Christoph Siller, Bakk.-techn., University of Salzburg, 2020
(\emph{Implementation and Application of a Parser for Boolector's Witness Format});
Alexander Kollert, Bakk.-techn., University of Salzburg, 2020
(\emph{Selfie - RISC-V to x86-64 Binary Translation});
Andreas Vorderleitner, Bakk.-techn., University of Salzburg, 2020
(\emph{Porting of Amazon FreeRTOS on ARMv7-M});
Christian Edelmayer, Bakk.-techn., University of Salzburg, 2019
(\emph{A Hybrid Symbolic Execution and Bounded Model Checking Engine in Selfie});
Sara Seidl, Bakk.-techn., University of Salzburg, 2019
(\emph{Symbolic Execution with Selfie---Logics});
Simon Bauer, Bakk.-techn., University of Salzburg, 2018
(\emph{Symbolic Execution with Selfie---Systems});
Manuel Widmoser, Bakk.-techn., University of Salzburg, 2018
(\emph{Symbolic Execution with Selfie---Arithmetics});
Simone Oblasser, Bakk.-techn., University of Salzburg, 2017
(\emph{Porting Selfie to RISC-V: State-of-the-Art ISA Support});
Christian Barthel, Bakk.-techn., University of Salzburg, 2017
(\emph{Porting Selfie to RISC-V: Native Toolchain Support});
Dalmir Hasic, Bakk.-techn., University of Salzburg, 2015
(\emph{Arduino Port with JAviator});
Alexander Miller, Bakk.-techn., University of Salzburg, 2014
(\emph{ACDC 4 Java: Analyzing Garbage Collection});
Mario Preishuber, Bakk.-techn., University of Salzburg, 2014
(\emph{JavaScript Heap Analysis Using Real-World Web Applications});
Martin Schwaighofer, Bakk.-techn., University of Salzburg, 2014
(\emph{Concurrent Compact-fit});
G{\"u}nther Eder, Bakk.-techn., University of Salzburg, 2012
(\emph{Benchmarking Idempotent Work Stealing});
Franziska Halbrainer, Bakk.-techn., University of Salzburg, 2011
(\emph{Visualisierung des Heaps}).
\end{itemize}
}