2023W

• Bachelor Thesis for Informatics and Business Informatics / 185.A16 / PR
• Efficient Programs / 185.190 / VU
• Project in Computer Science 1 / 194.145 / PR
• Project in Computer Science 2 / 194.146 / PR
• Scientific Research and Writing / 193.052 / SE
• Stack-based languages / 185.310 / VU

2024S

• Computer Engineering Practical / 185.A18 / PR

2021

• Practical Considerations in a Static Stack Checker / Ertl, M. A. (2021). Practical Considerations in a Static Stack Checker. In 37th EuroForth Conference. September 10-12, 2021 (pp. 5–12). https://doi.org/10.34726/3512
  Download: Practical Considerations in a Static Stack Checker (360 KB)
• Copying Bytes / Ertl, M. (2021, September). Copying Bytes [Conference Presentation]. 37th EuroForth Conference, online, International. https://doi.org/10.34726/3482
  Download: Copying Bytes (Handouts) (91.4 KB)
• Warum ergibt 1 chars den Wert 1? / Ertl, M. A. (2021). Warum ergibt 1 chars den Wert 1? Vierte Dimension. Das Forth-Magazin, 37(1), 9–13. http://hdl.handle.net/20.500.12708/139070
• The Essence of Closures---A language design perspective / Ertl, M. A. (2021). The Essence of Closures---A language design perspective. In Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung (pp. 26–33). Kiel Computer Science Series / Self-Publishing of Department of Computer Science, Kiel. http://hdl.handle.net/20.500.12708/55693

2020

• Von Groß- und Kleinbuchstaben / Ertl, M. A. (2020). Von Groß- und Kleinbuchstaben. Vierte Dimension. Das Forth-Magazin, 36(4), 21–23. http://hdl.handle.net/20.500.12708/141924
• Forth-200X-Treffen auf der EuroForth 2020 / Ertl, M. A. (2020). Forth-200X-Treffen auf der EuroForth 2020. Vierte Dimension. Das Forth-Magazin, 36(4), 30. http://hdl.handle.net/20.500.12708/141925
• Division durch (Quasi-)Konstanten / Ertl, M. A. (2020). Division durch (Quasi-)Konstanten. FORTH-Tagung, Witten Bommerholz, Germany, EU. http://hdl.handle.net/20.500.12708/87315
• Testen (insbesondere Fuzz Testing) / Ertl, M. A. (2020). Testen (insbesondere Fuzz Testing). FORTH-Tagung, Witten Bommerholz, Germany, EU. http://hdl.handle.net/20.500.12708/87314
• Forth and IDEs / Ertl, M. A. (2020). Forth and IDEs. In 36th EuroForth Conference (p. 3). http://hdl.handle.net/20.500.12708/55692
• The Grand Recognizer Unification / Paysan, B., & Ertl, M. A. (2020). The Grand Recognizer Unification. In 36th EuroForth Conference (p. 4). http://hdl.handle.net/20.500.12708/58766

2019

• Der neue Gforth-Header / Ertl, M. A., & Paysan, B. (2019). Der neue Gforth-Header. Forth-Tagung 2019, Worms, EU. http://hdl.handle.net/20.500.12708/87042
• Interactive multiline #gtR R#gt in Gforth / Ertl, M. A. (2019). Interactive multiline #gtR R#gt in Gforth. 35th EuroForth Conference, Edinburgh, EU. http://hdl.handle.net/20.500.12708/87044
• Forth-Quellcode im Flash / Ertl, M. A. (2019). Forth-Quellcode im Flash. Forth-Tagung 2019, Worms, EU. http://hdl.handle.net/20.500.12708/87043
• Integer Division by Multiplying with the Double-Width Reciprocal / Ertl, M. A. (2019). Integer Division by Multiplying with the Double-Width Reciprocal. In 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2019) (pp. 75–84). http://hdl.handle.net/20.500.12708/58139
• The new Gforth Header / Paysan, B., & Ertl, M. A. (2019). The new Gforth Header. In 35th EuroForth Conference (pp. 5–20). http://hdl.handle.net/20.500.12708/58138

2018

• Forth-200X-Treffen auf der EuroForth 2017 / Ertl, M. A. (2018). Forth-200X-Treffen auf der EuroForth 2017. Vierte Dimension. Das Forth-Magazin, 34(3), 5–6. http://hdl.handle.net/20.500.12708/145950
• Software Vector Chaining / Ertl, M. A. (2018). Software Vector Chaining. In 34th EuroForth Conference (pp. 54–55). http://hdl.handle.net/20.500.12708/57729
• Closures - the Forth way / Ertl, M. A., & Paysan, B. (2018). Closures - the Forth way. In 34th EuroForth Conference (pp. 17–30). http://hdl.handle.net/20.500.12708/57728
• Software vector chaining / Ertl, M. A. (2018). Software vector chaining. In Proceedings of the 15th International Conference on Managed Languages & Runtimes  - ManLang ’18. Manlang’18, Linz, Austria. ACM. https://doi.org/10.1145/3237009.3237021
• Verallgemeinerung von locals / Ertl, M. A. (2018). Verallgemeinerung von locals. In Forth-Tagung 2018 im Linuxhotel Essen (p. 13). http://hdl.handle.net/20.500.12708/57726
• Fast and flexible instruction selection with constraints / Thier, P., Ertl, M. A., & Krall, A. (2018). Fast and flexible instruction selection with constraints. In Proceedings of the 27th International Conference on Compiler Construction. Compiler Construction, Wien, Austria. ACM. https://doi.org/10.1145/3178372.3179501

2017

• Statische Typüberprüfung / Ertl, M. A. (2017). Statische Typüberprüfung. In Forth-Tagung 2017 in Kalkar (p. 17). https://wiki.forth-ev.de/doku.php/events:tagung-2017. http://hdl.handle.net/20.500.12708/57721
• The Intended Meaning of Undefined Behaviour in C Programs / Ertl, M. A. (2017). The Intended Meaning of Undefined Behaviour in C Programs. In 19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS’17) (pp. 20–28). http://hdl.handle.net/20.500.12708/57724
• SIMD and Vectors / Ertl, M. A. (2017). SIMD and Vectors. In 33rd EuroForth Conference (pp. 25–36). http://hdl.handle.net/20.500.12708/57723

2016

• Forth-2012: Der neue Standard / Ertl, M. A. (2016). Forth-2012: Der neue Standard. Vierte Dimension. Das Forth-Magazin, 32(3), 13–18. http://hdl.handle.net/20.500.12708/149971
• Gedanken zu SIMD und Vektorisierung / Ertl, M. A. (2016). Gedanken zu SIMD und Vektorisierung. Forth-Tagung 2016, Augsburg, EU. http://hdl.handle.net/20.500.12708/86443
• Sicheres Forth / Ertl, M. A. (2016). Sicheres Forth. Forth-Tagung 2016, Augsburg, EU. http://hdl.handle.net/20.500.12708/86442
• Security / Ertl, M. A. (2016). Security. EuroForth 2016, Insel Reichenau, EU. http://hdl.handle.net/20.500.12708/86441
• Recognizers: Arguments and Design Decisions / Ertl, M. A. (2016). Recognizers: Arguments and Design Decisions. In EuroForth 2016 Conference (pp. 58–63). Eigenverlag. http://hdl.handle.net/20.500.12708/56843
• Sections / Ertl, M. A. (2016). Sections. In EuroForth 2016 Conference (pp. 55–57). Eigenverlag. http://hdl.handle.net/20.500.12708/56842

2015

• Forth 200x­Treffen auf der EuroForth 2015 / Ertl, M. A. (2015). Forth 200x­Treffen auf der EuroForth 2015. Vierte Dimension. Das Forth-Magazin, 31(3+4), 21. http://hdl.handle.net/20.500.12708/152002
• Recognizers --- Why and How / Ertl, M. A. (2015). Recognizers --- Why and How. EuroForth 2015, Bath, England, EU. http://hdl.handle.net/20.500.12708/86266
• From exit to set-does#gt --- A Story of Gforth Re-Implementation / Ertl, M. A., & Paysan, B. (2015). From exit to set-does#gt --- A Story of Gforth Re-Implementation. In 31st EuroForth Conference (p. 7). http://hdl.handle.net/20.500.12708/56449
• What Every Compiler Writer should know about Programmers / Ertl, M. A. (2015). What Every Compiler Writer should know about Programmers. In Programmiersprachen und Grundlagen der Programmierung (pp. 112–133). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/56434
• Exchange between the German and French Compiler Communities / Brandner, F., & Knoop, J. (2015). Exchange between the German and French Compiler Communities. In J. Knoop & M. A. Ertl (Eds.), Programmiersprachen und Grundlagen der Programmierung (pp. 83–84). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/56433
• 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015) / Knoop, J., & Ertl, M. A. (Eds.). (2015). 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015). Institut für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/24103

2014

• How to get rid of C / Ertl, M. A. (2014). How to get rid of C. 30th EuroForth Conference, Palma de Mallorca, EU. http://hdl.handle.net/20.500.12708/86027
• Forth in "Grundlagen der Programmkonstruktion" / Ertl, M. A. (2014). Forth in “Grundlagen der Programmkonstruktion.” Forth-Tagung 2014, Bad Voeslau, Austria. http://hdl.handle.net/20.500.12708/86026
• Region-Based Memory Allocation in Forth / Ertl, M. A. (2014). Region-Based Memory Allocation in Forth. In 30th EuroForth Conference (pp. 45–49). http://hdl.handle.net/20.500.12708/55998

2013

• Region-Based Memory Allocation / Ertl, M. A. (2013). Region-Based Memory Allocation. 29th EuroForth Conference, Hamburg, EU. http://hdl.handle.net/20.500.12708/85761
• Forth als Basis fuer einen portablen Assembler / Ertl, M. A. (2013). Forth als Basis fuer einen portablen Assembler. Forth-Tagung 2013, Garmisch-Partenkirchen, EU. http://hdl.handle.net/20.500.12708/85760
• Standardize Strings Now! / Ertl, M. A. (2013). Standardize Strings Now! In 29th EuroForth Conference (pp. 39–43). http://hdl.handle.net/20.500.12708/55066
• PAF: A Portable Assembly Language / Ertl, M. A. (2013). PAF: A Portable Assembly Language. In 29th EuroForth Conference (pp. 30–38). http://hdl.handle.net/20.500.12708/55065
• PAF: A Portable Assembly Language Based on Forth / Ertl, M. A. (2013). PAF: A Portable Assembly Language Based on Forth. In 17. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS’13) (p. 10). http://hdl.handle.net/20.500.12708/55067

2012

• objects2.fs: Ein modernisiertes objektorientiertes Paket / Ertl, M. A. (2012). objects2.fs: Ein modernisiertes objektorientiertes Paket. Forth-Tagung 2012, Biezenmortel, NL, EU. http://hdl.handle.net/20.500.12708/85515
• Methods in objects2: Duck Typing and Performance / Ertl, M. A. (2012). Methods in objects2: Duck Typing and Performance. In 28th EuroForth Conference (pp. 96–103). EuroForth. http://hdl.handle.net/20.500.12708/54548

2011

• Ausgabe in Strings / Ertl, M. A. (2011). Ausgabe in Strings. Forth-Tagung 2011, Goslar, EU. http://hdl.handle.net/20.500.12708/85323
• Multi-Threading und Multi-Tasking in Gforth / Ertl, M. A. (2011). Multi-Threading und Multi-Tasking in Gforth. Forth-Tagung 2011, Goslar, EU. http://hdl.handle.net/20.500.12708/85322
• Techniken für weniger Stack-Tiefe / Ertl, M. A. (2011). Techniken für weniger Stack-Tiefe. Forth-Tagung 2011, Goslar, EU. http://hdl.handle.net/20.500.12708/85321
• SWIG-Erweiterung für Forth / Wodni, G., & Ertl, M. A. (2011). SWIG-Erweiterung für Forth. Forth-Tagung 2011, Goslar, EU. http://hdl.handle.net/20.500.12708/85320
• Ways to Reduce the Stack Depth / Ertl, M. A. (2011). Ways to Reduce the Stack Depth. In M. A. Ertl (Ed.), 27th EuroForth Conference (pp. 36–41). http://hdl.handle.net/20.500.12708/54105
• SWIG & The Forth Net: Hands-On / Wodni, G., & Ertl, M. A. (2011). SWIG & The Forth Net: Hands-On. In M. A. Ertl (Ed.), 27th EuroForth Conference (pp. 32–35). http://hdl.handle.net/20.500.12708/54106

2009

• 08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary Translation / Altman, E., Childers, B. R., Cohn, R., Davidson, J., Brosschere, K. D., Sutter, B. D., Ertl, M. A., Franz, M., Gu, Y., Hauswirth, M., Heinz, T., Hsu, W.-C., Knoop, J., Krall, A., Kumar, N., Maebe, J., Muth, R., Rival, X., Rohou, E., … Vick, C. (2009). 08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary Translation. In Emerging Uses and Paradigms for Dynamic Binary Translation (No. 08441). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/DagSemProc.08441.2
  Project: ALL-TIMES (2007–2010)
• Neuigkeiten seit Gforth 0.7.0 / Wodni, G., & Ertl, M. A. (2009). Neuigkeiten seit Gforth 0.7.0. FORTH-Tagung, Witten Bommerholz, Germany, EU. http://hdl.handle.net/20.500.12708/85101
• Neuigkeiten in Gforth 0.7.0 / Ertl, M. A. (2009). Neuigkeiten in Gforth 0.7.0. FORTH-Tagung, Witten Bommerholz, Germany, EU. http://hdl.handle.net/20.500.12708/85100
• Domination-Based Scoping and Static Single Assignment Languages / Ertl, M. A. (2009). Domination-Based Scoping and Static Single Assignment Languages. Static Single-Assignment Form Seminar, Autrans, Frankreich, EU. http://hdl.handle.net/20.500.12708/85102
• A Look at Gforth Performance / Ertl, M. A. (2009). A Look at Gforth Performance. In M. A. Ertl (Ed.), EuroForth (pp. 23–31). EuroForth. http://hdl.handle.net/20.500.12708/53602

2008

• Virtual machine showdown: Stack versus registers / Shi, Y., Casey, K., Ertl, M. A., & Gregg, D. (2008). Virtual machine showdown: Stack versus registers. ACM Transactions on Architecture and Code Optimization, 4(4), 1–36. https://doi.org/10.1145/1328195.1328197
• Die Multicore-Herausforderung / Ertl, M. A. (2008). Die Multicore-Herausforderung. Forth-Tagung 2008, Kloster Roggenburg, Deutschland, EU. http://hdl.handle.net/20.500.12708/84831
• Using C for the Back End / Ertl, M. A. (2008). Using C for the Back End. Dagstuhl Seminar 08441 Emerging Uses and Paradigms for Dynamic Binary Translation, Schloss Dagstuhl, Dagstuhl, Wadern, EU. http://hdl.handle.net/20.500.12708/84832
• Cleaning up After Yourself / Ertl, M. A. (2008). Cleaning up After Yourself. In 24th EuroForth Conference (pp. 35–38). http://hdl.handle.net/20.500.12708/52510

2007

• Der Forth-Stammbaum / Ertl, M. A. (2007). Der Forth-Stammbaum. Vierte Dimension. Das Forth-Magazin, 23(2), 15–18. http://hdl.handle.net/20.500.12708/169714
• Factor, Postscript, und Forth: Ein kleiner Vergleich / Ertl, M. A. (2007). Factor, Postscript, und Forth: Ein kleiner Vergleich. Vierte Dimension. Das Forth-Magazin, 23(2), 10–12. http://hdl.handle.net/20.500.12708/169713
• Optimizing indirect branch prediction accuracy in virtual machine interpreters / Casey, K., Ertl, M. A., & Gregg, D. (2007). Optimizing indirect branch prediction accuracy in virtual machine interpreters. ACM Letters on Programming Languages and Systems, 29(6), 37. https://doi.org/10.1145/1286821.1286828
• Domination-Based Scoping and Static Single Assignment Languages / Ertl, M. A. (2007). Domination-Based Scoping and Static Single Assignment Languages. In 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (pp. 36–41). Universitaet zu Luebeck. http://hdl.handle.net/20.500.12708/52130

2006

• An Embedded Systems Programming Environment for C / Burgstaller, B., Scholz, B., & Ertl, M. A. (2006). An Embedded Systems Programming Environment for C. In Euro-Par 2006 Parallel Processing (pp. 1204–1216). Lecture Notes in Computer Science, Springer Verlag. http://hdl.handle.net/20.500.12708/51629
• Ankündigung EuroForth 2006 / Ertl, M. A. (2006). Ankündigung EuroForth 2006. Vierte Dimension. Das Forth-Magazin, 22(2), 8. http://hdl.handle.net/20.500.12708/173426
• Bericht von der EuroForth 2005 / Ertl, M. A. (2006). Bericht von der EuroForth 2005. Vierte Dimension. Das Forth-Magazin, 22(1), 27. http://hdl.handle.net/20.500.12708/173430
• Superinstructions and Replication in the Cacao JVM interpreter / Ertl, M. A., Thalinger, C., & Krall, A. (2006). Superinstructions and Replication in the Cacao JVM interpreter. Journal of .NET Technologies, VOL. 4(ISBN 80-86943-13-5), 25–32. http://hdl.handle.net/20.500.12708/173416
• Superinstructions and Replication in the Cacao JVM Interpreter / Ertl, M. A. (2006). Superinstructions and Replication in the Cacao JVM Interpreter. Mini-Workshop on Code Generation, Linköping, Schweden, EU. http://hdl.handle.net/20.500.12708/84543
• Fast and Flexible Instruction Selection with On-Demand Tree-Parsing Automata / Ertl, M. A. (2006). Fast and Flexible Instruction Selection with On-Demand Tree-Parsing Automata. Mini-Workshop on Code Generation, Linköping, Schweden, EU. http://hdl.handle.net/20.500.12708/84542
• Der Forth-Stammbaum / Ertl, M. A. (2006). Der Forth-Stammbaum. FORTH-Tagung, Witten Bommerholz, Germany, EU. http://hdl.handle.net/20.500.12708/84541
• Forth 200x / Ertl, M. A. (2006). Forth 200x. FORTH-Tagung, Witten Bommerholz, Germany, EU. http://hdl.handle.net/20.500.12708/84540
• Bericht von der EuroForth 2005 / Ertl, M. A. (2006). Bericht von der EuroForth 2005. FORTH-Tagung, Witten Bommerholz, Germany, EU. http://hdl.handle.net/20.500.12708/84539
• A Portable C Function Call Interface / Ertl, M. A. (2006). A Portable C Function Call Interface. In Proceedings of the 22nd EuroForth Conference (pp. 47–51). http://hdl.handle.net/20.500.12708/51630
• Fast and Flexible Instruction Selection with On-Demand Tree-Parsing Automata / Ertl, M. A., Casey, K., & Gregg, D. (2006). Fast and Flexible Instruction Selection with On-Demand Tree-Parsing Automata. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’06) (pp. 52–60). http://hdl.handle.net/20.500.12708/51578

2005

• Advances in interpreters, virtual machines and emulators / Ertl, M. A. (2005). Advances in interpreters, virtual machines and emulators. Science of Computer Programming, 57(3), 251–252. https://doi.org/10.1016/j.scico.2005.04.001
• Stack Caching in Forth / Ertl, M. A., & Gregg, D. (2005). Stack Caching in Forth. In Proceedings of the 21st EuroForth Conference (pp. 6–15). University of Cantabria. http://hdl.handle.net/20.500.12708/51183
• Xchars or Unicode in Forth / Ertl, M. A., & Paysan, B. (2005). Xchars or Unicode in Forth. In Proceedings of the 21st EuroForth Conference (pp. 16–20). University of Cantabria. http://hdl.handle.net/20.500.12708/51182
• Virtual Machine Showdown: Stack Versus Registers / Shi, Y., Gregg, D., Beatty, A., & Ertl, M. A. (2005). Virtual Machine Showdown: Stack Versus Registers. In Proceedings of the First International Conference on Virtual Execution Environments (pp. 153–163). ACM. http://hdl.handle.net/20.500.12708/51181

2004

• A Language and Tool for Generating Efficient Virtual Machine Interpreters / Gregg, D., & Ertl, M. A. (2004). A Language and Tool for Generating Efficient Virtual Machine Interpreters. Lecture Notes in Computer Science, 3016, 196–215. http://hdl.handle.net/20.500.12708/174841

2002

• Superinstructions in Gforth / Ertl, M. A. (2002). Superinstructions in Gforth. 18th EuroForth Conference, Wien, Austria. http://hdl.handle.net/20.500.12708/84089

2001

• Efficient interpreters / Ertl, M. A. (2001). Efficient interpreters [Professorial Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/178917

1996

• Implementation of stack-based languages on register machines / Ertl, M. A. (1996). Implementation of stack-based languages on register machines [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-12114
  Download: PDF (490 KB)

• Fast machine-code generation for stack-based languages / Pammer, S. O. (2023). Fast machine-code generation for stack-based languages [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.108224
  Download: PDF (564 KB)
• Extending bison with attribute grammars / Ghete, M. C. (2018). Extending bison with attribute grammars [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.50991
  Download: PDF (1.09 MB)
• Implementing a global register allocator for TCC / Falbesoner, S. (2014). Implementing a global register allocator for TCC [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.22042
  Download: PDF (681 KB)
• Implementing a reversible debugger for Python / Sabin, P. (2011). Implementing a reversible debugger for Python [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-43469
  Download: PDF (822 KB)
• Supernova - a multiprocessor aware real-time audio synthesis engine for SuperCollider / Blechmann, T. (2011). Supernova - a multiprocessor aware real-time audio synthesis engine for SuperCollider [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-43451
  Download: PDF (582 KB)
• LLFS : a copy-on-write file system for Linux / Levrinc, R. (2008). LLFS : a copy-on-write file system for Linux [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-28018
  Download: PDF (437 KB)
• Scannergenerator mit benannten regulären Teilausdrücken / Judt, C. (2006). Scannergenerator mit benannten regulären Teilausdrücken [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-33570
  Download: PDF (201 KB)
• Schnelles Starten grosser Programme / Strauß-Haslinglehner, S. (2005). Schnelles Starten grosser Programme [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184614
• Optimizing interpreters with superinstructions / Eller, H. (2005). Optimizing interpreters with superinstructions [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/180581