M. Anton Ertl
Ao.Univ.Prof. Dipl.-Ing. Dr.techn.
Research Focus
- Computer Engineering: 70%
- Information Systems Engineering: 30%
Research Areas
- Linux, Operating Systems, Computer Architecture, programming languages, Interpreter, Compiler
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
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
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.
- Scannergenerator mit benannten regulären Teilausausdrücken / Master Thesis by C. Judt / Supervisor: M.A. Ertl; Institut für Computersprachen, 2006; final examination: 2006