TU Wien Informatics

M. Anton Ertl

Ao.Univ.Prof. Dipl.-Ing. Dr.techn.

Research Focus

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
  • Curriculum Commission for Informatics
    Substitute Member

2018

  • Forth-200X-Treffen auf der EuroForth 2017 / M.A. Ertl / Vierte Dimension Das FORTH-Magazin, 34 (2018), 3; 5 - 6
  • 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
  • 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
  • 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

2017

  • 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
  • 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

2016

  • 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
  • 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

2015

2014

2013

2012

2011

2009

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
  • 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
  • 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

2007

2006

2005

2004

2003

2002

2001

1998