Institute for Computer Languages
Compilers and Languages Group

Jakob Zwirchmayr

University Assistent

Vienna University of Technology
Institute of Computer Languages E-185
Argentinierstr. 8/4/E-185.1
A-1040 Vienna
Austria

E: jakob@complang.tuwien.ac.at  [public key]
T: +43 (1) 58801-18517


My position is funded by the support programme "Innovative Ideen" from Vienna University of Technology (CeTAT project).

Research:

WCET Analysis, Program Analysis, Satisfiability Modulo Theories, Symbolic Execution

Publications:

A. Bonenfant, H. Cassé, M. de Michiel (TRACES, IRIT, .fr)
J. Knoop, L. Kovács and J. Zwirchmayr (2012). "FFX: A Portable WCET Annotation Language". Proc. of RTNS 2012. To appear. [Swartz it]

J. Knoop, L. Kovács and J. Zwirchmayr (2011). "r-TuBound: Loop Bounds for WCET Analysis". Proc. of LPAR 2012. [Swartz it]

J. Knoop, L. Kovács and J. Zwirchmayr (2011). "An Evaluation of WCET Analysis using Symbolic Loop Bounds". Proc. of WCET 2011. [Swartz it]

J. Knoop, L. Kovács and J. Zwirchmayr (2011). "Symbolic Loop Bound Computation for WCET Analysis". Proc. of PSI 2011. [Swartz it]

J. Zwirchmayr: "A Satisfiability Modulo Theories Memory-Model and Assertion Checker for C"; "27. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte", Technical Report: Department of Computer Science, Christian-Albrechts Universität zu Kiel. [Swartz it]

J. Zwirchmayr: "A Satisfiability Modulo Theories Memory-Model and Assertion Checker for C"; Masterthesis; JKU Linz; FMV. Supervisor: Univ.Prof. Armin Biere. [Swartz it]

Talks:

"Cutting-edge Timing Analysis Techniques";  26th International Conference on Logic Programming - Doctoral Consortium, Edinburgh, Scotland, United Kingdom

"An Evaluation of WCET Analysis using Symbolic Loop Bounds (extended Abstract)";  Mathematical and Engineering Methods in Computer Science, My Hotel, Lednice, Czech Republic;

Teaching Assistant:

Analysis and Verification (Knoop)

Optimizing Compilers (Knoop)

Functional Programming (Knoop)

Seminar: Programming Languages (Neumerkel)

Advanced Theoretical Computer Science (Kovács)



Complang
Jakob Zwirchmayr
German
Sitemap
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2012-04-05 (Webmaster)