Institute for Computer Languages
Compilers and Languages Group

Jakob Zwirchmayr

University Assistant

Vienna University of Technology
Institute of Computer Languages 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 the TRACES group (W-SEPT), IRIT, Toulouse.

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. 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; Vienna University of Technology; Complang. Advisors: 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"; Masterthesis; JKU Linz; FMV. Advisor: 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:

Analysis and Verification (Knoop)

Optimizing Compilers (Knoop)

Functional Programming (Knoop)

Seminar: Programming Languages (Neumerkel)

Advanced Theoretical Computer Science (Kovács)



Complang
Jakob Zwirchmayr
Teaching
German
Sitemap
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2014-02-23 (Webmaster)