Institut für Computersprachen
Programmiersprachen und Übersetzer

Jakob Zwirchmayr

Universitätsassistent

Technische Universität Wien
Institut für Computersprachen 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


Meine Stelle wird durch das Förderprogramm "Innovative Ideen" der Technischen Universität Wien (CeTAT Projekt) finanziert.

Themen:

WCET Analyse, Programmanalyse, Satisfiability Modulo Theories, Symbolische Ausführung

Publikationen:

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]

Vorträge:

"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;

Unterstützende Lehrtätigkeit:

Analyse und Verifikation (Knoop)

Optimierende Uebersetzer (Knoop)

Funktionale Programmierung (Knoop)

Seminar aus Programmiersprachen (Neumerkel)

Advanced Theoretical Computer Science (Kovács)



Complang
Jakob Zwirchmayr
English
Sitemap
Fakultät für Informatik
Technische Universität Wien
Anfang | HTML 4.01 | letzte Änderung: 2012-04-05 (Webmaster)