About

1) Compiler back-ends 2) Forth 3) Interpreters 4) Programming Languages 5) Operating Systems 6) Computer Architectures

Roles

Associate Professor
Compilers and Languages, E194-05
Curriculum Coordinator
Master Software Engineering and Internet Computing

Contact

Courses

2022W

Bachelor Thesis for Informatics and Business Informatics / 185.A16 / PR
Computer Engineering Practical / 185.A18 / PR
Computer Engineering Project / 185.A96 / PR
Efficient Programs / 185.190 / VU
Scientific Project Computer Engineering / 185.A97 / PR
Scientific Research and Writing / 193.052 / SE
Seminar for PhD Students / 185.A24 / SE
Stack-based languages / 185.310 / VU

2023S

Bachelor Thesis for Informatics and Business Informatics / 185.A16 / PR
Bachelor Thesis for Informatics and Business Informatics / 185.A17 / PR
Compilers / 185.A48 / VU
Computer Engineering Practical / 185.A18 / PR
Computer Engineering Project / 185.A96 / PR
Introduction to Programming 2 / 185.A92 / VU
Programming languages seminar / 185.307 / SE
Project in Computer Science 1 / 185.A28 / PR
Project in Computer Science 2 / 185.A29 / PR
Scientific Method / 185.A77 / SE
Scientific Project Computer Engineering / 185.A97 / PR
Scientific Research and Writing / 193.052 / SE

Publications

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

2021

The Essence of Closures---A language design perspective / M.A. Ertl / Talk: 21. Kolloquium Programmiersprachen und Programmierung (KPS 2021), Kiel; 2021-09-27 - 2021-09-29; in: "21. Kolloquium Programmiersprachen und Programmierung (KPS 2021)", Kiel Computer Science Series / Self-Publishing of Department of Computer Science, Kiel, 2021/7/Kiel (2021), ISSN: 2194-6639; 26 - 33
Warum ergibt 1 chars den Wert 1? / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, 37 (2021), 1; 9 - 13

2020

The Grand Recognizer Unification / B. Paysan, M.A. Ertl / Talk: EuroForth, online; 2020-09-04 - 2020-09-06; in: "36th EuroForth Conference", (2020), 4 pages
Forth and IDEs / M.A. Ertl / Talk: EuroForth, online; 2020-09-04 - 2020-09-06; in: "36th EuroForth Conference", (2020), 3 pages
Division durch (Quasi-)Konstanten / M.A. Ertl / Talk: FORTH-Tagung, online; 2020-03-26 - 2020-03-29
Testen (insbesondere Fuzz Testing) / M.A. Ertl / Talk: FORTH-Tagung, online; 2020-03-26 - 2020-03-29
Forth-200X-Treffen auf der EuroForth 2020 / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, 36 (2020), 4; 36
Von Groß- und Kleinbuchstaben / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, 36 (2020), 4; 21 - 23

2019

Integer Division by Multiplying with the Double-Width Reciprocal / M.A. Ertl / Talk: 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2019), Baiersbronn, Deutschland; 2019-09-23 - 2019-09-25; in: "20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2019)", (2019), 75 - 84
The new Gforth Header / B. Paysan, M.A. Ertl / Talk: 35th EuroForth Conference, Edinburgh; 2019-09-13 - 2019-09-15; in: "35th EuroForth Conference", (2019), 5 - 20
Interactive multiline >R R> in Gforth / M.A. Ertl / Talk: 35th EuroForth Conference, Hamburg; 2019-09-13 - 2019-09-15
Forth-Quellcode im Flash / M.A. Ertl / Talk: Forth-Tagung 2019, Worms; 2019-04-12 - 2019-04-14
Der neue Gforth-Header / M.A. Ertl, B. Paysan / Talk: Forth-Tagung 2019, Worms; 2019-04-12 - 2019-04-14

2018

Software Vector Chaining / M.A. Ertl / Talk: 34th EuroForth Conference, Edinburgh; 2018-09-14 - 2018-09-17; in: "34th EuroForth Conference", (2018), 54 - 55
Closures - the Forth way / M.A. Ertl, B. Paysan / Talk: 34th EuroForth Conference, Edinburgh; 2018-09-14 - 2018-09-17; in: "34th EuroForth Conference", (2018), 17 - 30
Software Vector Chaining / M.A. Ertl / Talk: Manlang'18, Linz; 2018-09-12 - 2018-09-13; in: "Proceedings of the 15th International Conference on Managed Languages & Runtimes", ACM, (2018), ISBN: 978-1-4503-6424-9; Paper ID 18, 9 pages
Verallgemeinerung von locals / M.A. Ertl / Talk: Forth-Tagung 2018, Essen; 2018-04-06 - 2018-04-08; in: "Forth-Tagung 2018 im Linuxhotel Essen", https://wiki.forth-ev.de/doku.php/events:tagung-2018 (2018), 13 pages
Fast and Flexible Instruction Selection with Constraints / P. Thier, M.A. Ertl, A. Krall / Talk: Compiler Construction, Wien; 2018-02-24 - 2018-02-25; in: "Proceedings of the 27th International Conference on Compiler Construction", ACM, (2018), ISBN: 978-1-4503-5644-2; 93 - 103
Forth-200X-Treffen auf der EuroForth 2017 / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, 34 (2018), 3; 5 - 6

2017

The Intended Meaning of Undefined Behaviour in C Programs / M.A. Ertl / Talk: 19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'17), Weimar; 2017-09-25 - 2017-09-27; in: "19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'17)", (2017), 20 - 28
SIMD and Vectors / M.A. Ertl / Talk: EuroForth, Bad Voeslau; 2017-09-08 - 2017-09-10; in: "33rd EuroForth Conference", (2017), 25 - 36
Statische Typüberprüfung / M.A. Ertl / Talk: Forth-Tagung 2017, Kalkar, Deutschland; 2017-04-21 - 2017-04-23; in: "Forth-Tagung 2017 in Kalkar", https://wiki.forth-ev.de/doku.php/events:tagung-2017, (2017), 17 pages

2016

Recognizers: Arguments and Design Decisions / M.A. Ertl / Talk: EuroForth 2016, Insel Reichenau; 2016-09-09 - 2016-09-11; in: "EuroForth 2016 Conference", Eigenverlag, 32/32/Insel Reichenau (2016), 58 - 63
Sections / M.A. Ertl / Talk: EuroForth 2016, Insel Reichenau; 2016-09-09 - 2016-09-11; in: "EuroForth 2016 Conference", Eigenverlag, 32/32/Insel Reichenau (2016), 55 - 57
Security / M.A. Ertl / Talk: EuroForth 2016, Insel Reichenau; 2016-09-09 - 2016-09-11
Gedanken zu SIMD und Vektorisierung / M.A. Ertl / Talk: Forth-Tagung 2016, Augsburg; 2016-04-14 - 2016-04-17
Sicheres Forth / M.A. Ertl / Talk: Forth-Tagung 2016, Augsburg; 2016-04-14 - 2016-04-17
Forth-2012: Der neue Standard / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, 32 (2016), 3; 13 - 18

2015

What Every Compiler Writer should know about Programmers / M.A. Ertl / Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; 2015-10-04 - 2015-10-07; in: "Programmiersprachen und Grundlagen der Programmierung", Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2015-IX-1 (2015), 112 - 133
From exit to set-does> --- A Story of Gforth Re-Implementation / M.A. Ertl, B. Paysan / Talk: EuroForth 2015, Bath, England; 2015-10-02 - 2015-10-04; in: "31st EuroForth Conference", (2015), 7 pages
Recognizers --- Why and How / M.A. Ertl / Talk: EuroForth 2015, Bath, England; 2015-10-02 - 2015-10-04
18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015) / J. Knoop, M.A. Ertl / in series "Schriftenreihe des Instituts für Computersprachen, Bericht 2015-IX-1", series editor: J. Knoop, M.A. Ertl; issued by: TU Wien; Institut für Computersprachen, TU Wien, Wien, 2015, 713 pages
Forth 200xTreffen auf der EuroForth 2015 / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, 31 (2015), 3+4; 21

2014

Region-Based Memory Allocation in Forth / M.A. Ertl / Talk: 30th EuroForth Conference, Palma de Mallorca; 2014-09-26 - 2014-09-28; in: "30th EuroForth Conference", (2014), 45 - 49
How to get rid of C / M.A. Ertl / Talk: 30th EuroForth Conference, Palma de Mallorca; 2014-09-26 - 2014-09-28
Forth in "Grundlagen der Programmkonstruktion" / M.A. Ertl / Talk: Forth-Tagung 2014, Bad Voeslau; 2014-03-27 - 2014-03-30

2013

PAF: A Portable Assembly Language Based on Forth / M.A. Ertl / Talk: 17. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 13), Lutherstadt Wittenberg, Deutschland; 2013-09-29 - 2013-10-02; in: "17. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'13)", (2013), 10 pages
Standardize Strings Now! / M.A. Ertl / Talk: 29th EuroForth Conference, Hamburg; 2013-09-27 - 2013-09-29; in: "29th EuroForth Conference", (2013), 39 - 43
PAF: A Portable Assembly Language / M.A. Ertl / Talk: 29th EuroForth Conference, Hamburg; 2013-09-27 - 2013-09-29; in: "29th EuroForth Conference", (2013), 30 - 38
Region-Based Memory Allocation / M.A. Ertl / Talk: 29th EuroForth Conference, Hamburg; 2013-09-27 - 2013-09-29
Forth als Basis fuer einen portablen Assembler / M.A. Ertl / Talk: Forth-Tagung 2013, Garmisch-Partenkirchen; 2013-04-19 - 2013-04-21

2012

objects2.fs: Ein modernisiertes objektorientiertes Paket / M.A. Ertl / Talk: Forth-Tagung 2012, Biezenmortel, NL; 2012-03-08 - 2012-03-11
Methods in objects2: Duck Typing and Performance / M.A. Ertl / in: "28th EuroForth Conference", EuroForth, 2012, 96 - 103

2011

SWIG & The Forth Net: Hands-On / G. Wodni, M.A. Ertl / Talk: 27th EuroForth Conference, Wien; 2011-09-23 - 2011-09-25; in: "27th EuroForth Conference", M.A. Ertl (ed.); (2011), 32 - 35
Ways to Reduce the Stack Depth / M.A. Ertl / Talk: 27th EuroForth Conference, Wien; 2011-09-23 - 2011-09-25; in: "27th EuroForth Conference", M.A. Ertl (ed.); (2011), 36 - 41
Ausgabe in Strings / M.A. Ertl / Talk: Forth-Tagung 2011, Goslar; 2011-04-15 - 2011-04-17
Multi-Threading und Multi-Tasking in Gforth / M.A. Ertl / Talk: Forth-Tagung 2011, Goslar; 2011-04-15 - 2011-04-17
Techniken für weniger Stack-Tiefe / M.A. Ertl / Talk: Forth-Tagung 2011, Goslar; 2011-04-15 - 2011-04-17
SWIG-Erweiterung für Forth / G. Wodni, M.A. Ertl / Talk: Forth-Tagung 2011, Goslar; 2011-04-15 - 2011-04-17
Investigation of the dynamics of electromagnetic valves by a coupled magneto-mechanical algorithm including contact mechanics / M.A. Ertl, M. Kaltenbacher / COMPEL - The International Journal for Computation and Mathematics in Electrical and Electronic Engineering, 30 (2011), 603 - 621

2009

Utilizing Multiple Hardware Threads with Pipeline Parallelism / M.A. Ertl / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS '09)", Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 69 - 75
Domination-Based Scoping and Static Single Assignment Languages / M.A. Ertl / Talk: Static Single-Assignment Form Seminar, Autrans, Frankreich; 2009-04-26 - 2009-04-30
Neuigkeiten seit Gforth 0.7.0 / G. Wodni, M.A. Ertl / Talk: FORTH-Tagung, Rheine; 2009-03-27 - 2009-03-29
Neuigkeiten in Gforth 0.7.0 / M.A. Ertl / Talk: FORTH-Tagung, Rheine, Deutschland; 2009-03-27 - 2009-03-29
08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary Translation / E. Altman, B. Childers, R. Cohn, J. Davidson, K. Brosschere, B. Sutter, M.A. Ertl, M. Franz, Y. Gu, M. Hauswirth, T. Heinz, W. Hsu, J. Knoop, A. Krall, N. Kumar, J. Maebe, R. Muth, X. Rival, E. Rohou, R. Rosner, M. Soffa, J. Troeger, C. Vick / Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009, ISSN: 1862-4405; 11 pages
Forth200x - Berichte von den Standardisierungstreffen / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, 25 (2009), 3; 25
Gforth 0.7.0 / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, 25 (2009), 3; 13 - 14
A Look at Gforth Performance / M.A. Ertl / in: "EuroForth", M.A. Ertl (ed.); EuroForth, 2009, 23 - 31

2008

Using C for the Back End / M.A. Ertl / Talk: Dagstuhl Seminar 08441 Emerging Uses and Paradigms for Dynamic Binary Translation, Schloss Dagstuhl, Dagstuhl, Wadern (invited); 2008-10-26 - 2008-10-31
Cleaning up After Yourself / M.A. Ertl / Talk: 24th EuroForth Conference, Wien; 2008-09-26 - 2008-09-28; in: "24th EuroForth Conference", (2008), 35 - 38
Die Multicore-Herausforderung / M.A. Ertl / Talk: Forth-Tagung 2008, Kloster Roggenburg, Deutschland; 2008-04-24 - 2008-04-27
Virtual machine showdown: Stack versus registers / Y. Shi, K. Casey, D. Gregg, M.A. Ertl / ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, Volume 4 (2008), Nr. 4; 1 - 36

2007

Domination-Based Scoping and Static Single Assignment Languages / M.A. Ertl / Talk: 14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)", Timmendorfer Strand, Deutschland; 2007-10-10 - 2007-10-12; in: "14. Kolloquium Programmiersprachen und Grundlagen der Programmierung", Universitaet zu Luebeck, (2007), 36 - 41
Factor, Postscript, und Forth: Ein kleiner Vergleich / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, Volume 23 (2007), Ausg. 2; 10 - 12
Der Forth-Stammbaum / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, Volume 23 (2007), Ausg. 2; 15 - 18
Optimizing indirect branch prediction accuracy in virtual machine interpreters / K. Casey, M.A. Ertl, D. Gregg / ACM Transactions on Programming Languages and Systems, Volume 29 (2007), Nr. 6; 1 - 36

2006

A Portable C Function Call Interface / M.A. Ertl / Talk: 22nd EuroForth Conference, Cambridge, England; 2006-09-15 - 2006-09-17; in: "Proceedings of the 22nd EuroForth Conference", (2006), 47 - 51
An Embedded Systems Programming Environment for C / B. Burgstaller, B. Scholz, M.A. Ertl / Talk: Euro-Par 2006, Dresden, Germany; 2006-08-29 - 2006-09-01; in: "Euro-Par 2006 Parallel Processing", Lecture Notes in Computer Science, Springer Verlag, Volume 4128 (2006), ISBN: 978-3-540-37783-2; 1204 - 1216
Fast and Flexible Instruction Selection with On-Demand Tree-Parsing Automata / M.A. Ertl, K. Casey, D. Gregg / Talk: Conference on Programming Language Design and Implementation (PLDI), Ottawa, Canada; 2006-06-10 - 2006-06-16; in: "ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '06)", (2006), 52 - 60
Superinstructions and Replication in the Cacao JVM Interpreter / M.A. Ertl / Talk: Mini-Workshop on Code Generation, Linköping, Schweden; 2006-06-07 - 2006-06-08
Fast and Flexible Instruction Selection with On-Demand Tree-Parsing Automata / M.A. Ertl / Talk: Mini-Workshop on Code Generation, Linköping, Schweden; 2006-06-07 - 2006-06-08
Bericht von der EuroForth 2005 / M.A. Ertl / Talk: FORTH-Tagung, Witten Bommerholz, Germany; 2006-05-12 - 2006-05-14
Der Forth-Stammbaum / M.A. Ertl / Talk: FORTH-Tagung, Witten Bommerholz; 2006-05-12 - 2006-05-14
Forth 200x / M.A. Ertl / Talk: FORTH-Tagung, Witten Bommerholz, Germany; 2006-05-12 - 2006-05-14
Einladung zur Forth-Tagung 2007 / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, 22 (2006), 4; 36
Superinstructions and Replication in the Cacao JVM interpreter / M.A. Ertl, C. Thalinger, A. Krall / Journal of .NET Technologies, Vol. 4 (2006), ISBN 80-86943-13-5; 25 - 32
Bericht von der EuroForth 2005 / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, Vol. 22 (2006), No. 1; 27
Ankuendigung EuroForth 2006 / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, Volume 22 (2006), No. 2; 8

2005

Science of Computer Programming, Volume 57, Issue 3, Special Issue on Virtual Machines and Emulators / M.A. Ertl / Elsevier, 2005, ISSN: 0167-6423; 380 pages
Virtual Machine Showdown: Stack Versus Registers / Y. Shi, D. Gregg, A. Beatty, M.A. Ertl / in: "Proceedings of the First International Conference on Virtual Execution Environments", ACM, 2005, ISBN: 1-59593-047-7, 153 - 163
Stack Caching in Forth / M.A. Ertl, D. Gregg / in: "Proceedings of the 21st EuroForth Conference", University of Cantabria, 2005, 6 - 15
Xchars or Unicode in Forth / M.A. Ertl, B. Paysan / in: "Proceedings of the 21st EuroForth Conference", University of Cantabria, 2005, 16 - 20

2004

Inlining in Gforth: Early Experiences / D. Gregg, M.A. Ertl / Talk: EuroForth 2004, Schloss Dagstuhl, Saarland, Germany; 2004-11-19 - 2004-11-22; in: "EuroForth 2004 Conference Proceedings", (2004), 33 - 40
A Language and Tool for Generating Efficient Virtual Machine Interpreters / D. Gregg, M.A. Ertl / Lecture Notes in Computer Science, 3016 (2004), 196 - 215
Combing Stack Caching with Dynamic Superinstructions / M.A. Ertl, D. Gregg / in: "Interpreters,Virtual Machines and Emulators (IVME`04)", ACM, 2004, 7 - 14
Forth Family Tree and Timeline / M.A. Ertl / in: "EuroForth 2004 Conference Proceedings", EuroForth 2004, 2004, 1 - 4
Retargeting JIT Compilers by Using C-Compiler Generated Executable Code / M.A. Ertl / in: "Parallel Architecture and Compilation Techniques", issued by: IEEE Computer Society; IEEE Computer Society, The Printing House, USA, 2004, ISBN: 0-7695-2229-7, 41 - 50

2003

ACM SIGPLAN 2003 Workshop on Interpreters, Virtual Machines and Emulators (IVME'03) / M.A. Ertl / ACM, New York, 2003, ISBN: 1-58113-655-2; 76 pages
Threaded Code Varianten und Optimierungen / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, 1 (2003), 1 - 39
Implementation Issues for Superinstructions in Gforth / M.A. Ertl et al. / in: "19th EuroForth Conference", issued by: EuroForth; euroFORTH conference, Ross-on-Wye, UK, 2003, 26 - 34

2002

The Evolution of Vmgen / M.A. Ertl / Talk: 18th EuroForth Conference, Wien; 2002-09-06 - 2002-09-08; in: "18th EuroForth Conference", (2002), 33 - 37
Superinstructions in Gforth / M.A. Ertl / Talk: 18th EuroForth Conference, Wien; 2002-09-06 - 2002-09-08
Threaded Code Variations and Optimizations (Extended Version) / M.A. Ertl / Talk: FORTH-Tagung 2002, Garmisch-Partenkirchen; 2002-04-18 - 2002-04-21; in: "FORTH-Tagung 2002", (2002), 1 - 7
Building an Interpreter with Vmgen / M.A. Ertl, D. Gregg / Talk: 11th International Conference on Compiler Construction, CC2002, Grenoble; 2002-04-08 - 2002-04-12; in: "Compiler Construction ", R.N. Horspool (ed.); Lecture Notes in Computer Science/Springer, 2304/Berlin (2002), ISBN: 3-540-43369-4; 5 - 8
Vmgen - a generator of efficient virtual machine interpreters / M.A. Ertl, D. Gregg, A. Krall, B. Paysan / Software: Practice and Experience, 32 (2002), 3; 265 - 294

2001

Efficient Interpreters / Habilitation Thesis by M.A. Ertl / TU-Wien, 2001

1998

STATE - Why it is Evil and How to Exorcise it / M.A. Ertl / in: "14th euroFORTH conference on the FORTH Programming Language", issued by: International Centre for Informatics; Eigenverlag, Dagstuhl, 1998, 1 - 8

Supervisions