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@(institute subdomain).tuwien.ac.at  [public key]
T: +43 (1) 58801-18517



TTTech

Postdoc in der TRACES Gruppe (W-SEPT), IRIT, Toulouse.

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. Biere, J. Knoop, L. Kovács and J. Zwirchmayr (2013).
"SmacC: A Retargetable Symbolic Execution Engine". Proc. of ATVA 2013. [Swartz it]

J. Knoop, L. Kovács and J. Zwirchmayr (2013).
"WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-bounds". Proc. of RTNS 2013. [Swartz it]

A. Biere, J. Knoop, L. Kovács and J. Zwirchmayr (2013).
"The Auspicious Couple: Symbolic Execution and WCET Analysis". Proc. of WCET 2013. [Swartz it]

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. [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: "Symbolic Methods for the Timing Analysis of Programs"; Dissertation; TU Wien; Complang. Betreuer: Assoc.-Prof. Dr. Laura Kovács, Univ.-Prof. Dr. Jens Knoop [Swartz it]

J. Zwirchmayr: "A Satisfiability Modulo Theories Memory-Model and Assertion Checker for C"; Diplomarbeit; JKU Linz; FMV. Betreuer: Univ.Prof. Armin Biere. [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;


Lehre:

Analyse und Verifikation (Knoop)

Optimierende Uebersetzer (Knoop)

Funktionale Programmierung (Knoop)

Seminar aus Programmiersprachen (Neumerkel)

Advanced Theoretical Computer Science (Kovács)



Complang
Jakob Zwirchmayr
Lehre
English
Sitemap
Fakultät für Informatik
Technische Universität Wien
Anfang | HTML 4.01 | letzte Änderung: 2014-02-23 (Webmaster)