Papers from Institut für Computersprachen

You can find BibTeX entries for many of the papers and talks produced at Institut für Computersprachen since 1991 and for some of the diploma theses in REFS.bib. This bibliography is part of the (searchable) Collection of Computer Science Bibliographies and you can search it.

Many of the files are in gzipped or compressed Postscript. Some of you may need to install a viewer to read them.

• [AEBK94] Wolfgang Ambrosch, M. Anton Ertl, Felix Beer, and Andreas Krall. Dependence-conscious global register allocation. In J\"urg Gutknecht, editor, Programming Languages and System Architectures, pages 125-136, Z\"urich, 1994. Springer LNCS 782.
• [CE00] Christian Czezatke and M. Anton Ertl. LinLogFS -- a log-structured filesystem for Linux. In Freenix Track of Usenix Annual Technical Conference, pages 77-88, 2000.
• [ECG06] M. Anton Ertl, Kevin Casey, and David Gregg. Fast and flexible instruction selection with on-demand tree-parsing automata. In SIGPLAN Conference on Programming Language Design and Implementation (PLDI '06), pages 52-60, 2006.
• [EG01] M. Anton Ertl and David Gregg. The behaviour of efficient virtual machine interpreters on modern architectures. In Euro-Par 2001, pages 403-412. Springer LNCS 2150, 2001.
• [EG02] M. Anton Ertl and David Gregg. Building an interpreter with \textsfvmgen. In Compiler Construction (CC'02), pages 5-8. Springer LNCS 2304, 2002. Tool Demonstration.
• [EG03a] M. Anton Ertl and David Gregg. Implementation issues for superinstructions in Gforth. In EuroForth 2003 Conference Proceedings, 2003.
• [EG03b] M. Anton Ertl and David Gregg. Optimizing indirect branch prediction accuracy in virtual machine interpreters. In SIGPLAN Conference on Programming Language Design and Implementation (PLDI'03), 2003.
• [EG03c] M. Anton Ertl and David Gregg. The structure and performance of \emphEfficient interpreters. The Journal of Instruction-Level Parallelism, 5, November 2003. http://www.jilp.org/vol5/.
• [EG04a] M. Anton Ertl and David Gregg. Combining stack caching with dynamic superinstructions. In Interpreters, Virtual Machines and Emulators (IVME '04), pages 7-14, 2004.
• [EG04b] M. Anton Ertl and David Gregg. Retargeting JIT compilers by using C-compiler generated executable code. In Parallel Architecture and Compilation Techniques (PACT' 04), pages 41-50, 2004.
• [EG05] M. Anton Ertl and David Gregg. Stack caching in Forth. In M. Anton Ertl, editor, 21st EuroForth Conference, pages 6-15, 2005.
• [EGK99] M. Anton Ertl, David Gregg, and Andreas Krall. Optimal global instruction scheduling with unlimited resources. https://www.complang.tuwien.ac.at/papers/ertl+99.ps.gz, 1999.
• [EGKP02] M. Anton Ertl, David Gregg, Andreas Krall, and Bernd Paysan. \textsfvmgen -- a generator of efficient virtual machine interpreters. Software--Practice and Experience, 32 no. 3 pp. 265-294, 2002.
• [EK91] M. Anton Ertl and Andreas Krall. Optimal instruction scheduling using constraint logic programming. In Programming Language Implementation and Logic Programming (PLILP), pages 75-86, Passau, 1991. Springer LNCS 528.
• [EK92] M. Anton Ertl and Andreas Krall. Instruction scheduling for complex pipelines. In Compiler Construction (CC'92), pages 207-218, Paderborn, 1992. Springer LNCS 641.
• [EK93a] M. Anton Ertl and Andreas Krall. Benutzerdefinierte Constraints. In 9. Workshop Logische Programmierung, FernUniversit\"at Hagen 146-10/1993, pages 18-22, Hagen, 1993. In German.
• [EK93b] M. Anton Ertl and Andreas Krall. High level constraints over finite domains. In Manfred Meyer, editor, Constraint Processing, International Workshop at CSAM '93, pages 65-76, St. Petersburg, 1993.
• [EK94] M. Anton Ertl and Andreas Krall. Delayed exceptions -- speculative execution of trapping instructions. In Compiler Construction (CC '94), pages 158-171, Edinburgh, April 1994. Springer LNCS 786.
• [EK96] M. Anton Ertl and Andreas Krall. Removing anti dependences by repairing. In Tibor Gyim\'othy, editor, Compiler Construction (CC'96), volume 1060 of LNCS, pages 33-43, Link\"oping, 1996. Springer.
• [EM95] M. Anton Ertl and Martin Maierhofer. Translating Forth to efficient C. In EuroForth '95 Conference Proceedings, Schloss Dagstuhl, Germany, 1995.
• [EP96] M. Anton Ertl and Christian Pirker. RAFTS for basic blocks: A progress report on Forth native code compilation. In EuroForth '96 Conference Proceedings, St. Petersburg, Russia, 1996.
• [EP97] M. Anton Ertl and Christian Pirker. The structure of a Forth native code compiler. In EuroForth '97 Conference Proceedings, pages 107-116, Oxford, 1997.
• [EP98] M. Anton Ertl and Christian Pirker. Compilation of stack-based languages (Abschlu\ssbericht). Final report to FWF for research project P11231, Institut f\"ur Computersprachen, Technische Universit\"at Wien, 1998.
• [EP05] M. Anton Ertl and Bernd Paysan. Xchars or Unicode in Forth. In M. Anton Ertl, editor, 21st EuroForth Conference, pages 16-20, 2005.
• [EP18] M. Anton Ertl and Bernd Paysan. Closures -- the Forth way. In 34th EuroForth Conference, pages 17-30, 2018.
• [EP19] M. Anton Ertl and Bernd Paysan. Der neue Gforth-header. Vortrag bei der Forth-Tagung 2019, 2019.
• [Ert89] M. Anton Ertl. GRAY - ein Generator f\"ur rekursiv absteigende Ybersetzer. Praktikum, Institut f\"ur Computersprachen, Technische Universit\"at Wien, 1989. In German.
• [Ert92] M. Anton Ertl. A new approach to Forth native code generation. In EuroForth '92, pages 73-78, Southampton, England, 1992. MicroProcessor Engineering.
• [Ert93] M. Anton Ertl. A portable Forth engine. In EuroFORTH '93 conference proceedings, Mari\'ansk\'e L\'azn\`e (Marienbad), 1993.
• [Ert94a] M. Anton Ertl. Automatic scoping of local variables. In EuroForth '94 Conference Proceedings, pages 31-37, Winchester, UK, 1994.
• [Ert94b] M. Anton Ertl. Stack caching for interpreters. In EuroForth '94 Conference Proceedings, pages 3-12, Winchester, UK, 1994.
• [Ert95] M. Anton Ertl. Stack caching for interpreters. In SIGPLAN Conference on Programming Language Design and Implementation (PLDI'95), pages 315-327, 1995.
• [Ert96] M. Anton Ertl. Implementation of Stack-Based Languages on Register Machines. PhD thesis, Technische Universit\"at Wien, Austria, 1996.
• [Ert97] M. Anton Ertl. GRAY - ein Generator f\"ur rekursiv absteigende Ybersetzer. In Forth-Tagung, Ludwigshafen, 1997. In German.
• [Ert98] M. Anton Ertl. \textttState-smartness -- why it is evil and how to exorcise it. In EuroForth'98 Conference Proceedings, Schlo\ss Dagstuhl, 1998.
• [Ert99a] M. Anton Ertl. Is Forth code compact? A case study. In EuroForth'99 Conference Proceedings, St. Petersburg, Russia, 1999.
• [Ert99b] M. Anton Ertl. Optimal code selection in DAGs. In Principles of Programming Languages (POPL '99), 1999.
• [Ert00a] M. Anton Ertl. Optimization during tree-parsing code selection. Talk given at the Dagstuhl Seminar on Code Optimization, September 2000.
• [Ert00b] M. Anton Ertl. \textttCONST-DOES>. In EuroForth 2000 Conference Proceedings, Prestbury, UK, 2000.
• [Ert01a] M. Anton Ertl. State-smartness: Applications, pitfalls, alternatives. This paper is an updated and significantly revised version of my EuroForth '98 paper \citeertl98; I submitted this draft version to JFAR in 2001, but it was not processed, so I finally put it online., 2001.
• [Ert01b] M. Anton Ertl. Threaded code variations and optimizations. In EuroForth 2001 Conference Proceedings, pages 49-55, 2001.
• [Ert01c] M. Anton Ertl. Wie werden Computer schneller?. Vortrag im Rahmen der VHS-Veranstaltungsreihe ``University meets Public'', February 2001.
• [Ert02] M. Anton Ertl. Threaded code variations and optimizations (extended version). In Forth-Tagung 2002, Garmisch-Partenkirchen, 2002.
• [Ert04] M. Anton Ertl. Forth family tree and timeline. In EuroForth 2004 Conference Proceedings, pages 1-4, 2004.
• [Ert06] M. Anton Ertl. A portable C function call interface. In M. Anton Ertl, editor, 22nd EuroForth Conference, pages 47-51, 2006.
• [Ert07a] M. Anton Ertl. Domination-based scoping and static single assignment languages. In W. Dosch, C. Grelck, and A. St\"umpel, editors, 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS '07), pages 36-41, 2007.
• [Ert07b] M. Anton Ertl. Gforth's libcc C function call interface. In M. Anton Ertl, editor, 23rd EuroForth Conference, pages 7-11, 2007.
• [Ert08a] M. Anton Ertl. Cleaning up after yourself. In 24th EuroForth Conference, pages 35-38, 2008.
• [Ert08b] M. Anton Ertl. Die multicore-herausforderung. Talk given at Forth-Tagung 2008, 2008.
• [Ert09] M. Anton Ertl. Neuigkeiten in Gforth 0.7.0. Talk given at Forth-Tagung 2009, 2009.
• [Ert11] M. Anton Ertl. Ways to reduce the stack depth. In 27th EuroForth Conference, pages 36-41, 2011.
• [Ert13] M. Anton Ertl. PAF: A portable assembly language based on Forth. In 17. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'13), 2013.
• [Ert15a] M. Anton Ertl. Forth-2012: Der neue Standard. Vortrag bei der Forth-Tagung 2015, 2015.
• [Ert15b] M. Anton Ertl. Radfahren auf der Fahrbahn - Warum und Wie?. Vortrag im Rahmen der LVA Aktive Mobilität an der TU Wien, 2015.
• [Ert15c] M. Anton Ertl. What every compiler writer should know about programmers. In Jens Knoop and M. Anton Ertl, editors, 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'15), pages 112-133, 2015.
• [Ert16a] M. Anton Ertl. Forth-2012: Der neue standard. Vierte Dimension, 32 no. 3 pp. 13-18, 2016.
• [Ert16b] M. Anton Ertl. Gedanken zu SIMD und Vektorisierung. Vortrag bei der Forth-Tagung 2016, 2016.
• [Ert16c] M. Anton Ertl. Recognizers: Arguments and design decisions. In 32nd EuroForth Conference, pages 58-63, 2016.
• [Ert16d] M. Anton Ertl. Sections. In 32nd EuroForth Conference, pages 55-57, 2016.
• [Ert16e] M. Anton Ertl. Sicheres Forth. Vortrag bei der Forth-Tagung 2016, 2016.
• [Ert17a] M. Anton Ertl. The intended meaning of \emphUndefined Behaviour in C programs. In Wolfram Amme and Thomas Heinze, editors, 19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'17), pages 20-28, 2017.
• [Ert17b] M. Anton Ertl. SIMD and vectors. In 33rd EuroForth Conference, pages 25-36, 2017.
• [Ert17c] M. Anton Ertl. Statische Typ\"uberpr\"ufung. Vortrag bei der Forth-Tagung 2017, 2017.
• [Ert18a] M. Anton Ertl. Software vector chaining. In 15th International Conference on Managed Languages & Runtimes (Manlang'18), pages Article-18, 2018.
• [Ert18b] M. Anton Ertl. Verallgemeinerung von locals. Vortrag bei der Forth-Tagung 2018, 2018.
• [Ert19] M. Anton Ertl. Integer division by multiplying with the double-width reciprocal. In Martin Pl\"umicke and Fayez Abu Alia, editors, 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS), pages 75-84, 2019.
• [Ert20a] M. Anton Ertl. Division durch (Quasi-)Konstanten. Vortrag bei der Forth-Tagung 2020, 2020.
• [Ert20b] M. Anton Ertl. Testen (insbesondere Fuzz Testing). Vortrag bei der Forth-Tagung 2020, 2020.
• [Ert21a] M. Anton Ertl. Copying bytes. In 37th EuroForth Conference, pages 58-60, 2021.
• [Ert21b] M. Anton Ertl. The essence of closures--a language design perspective. In Michael Hanus, Kai-Oliver Prott, Reinhard von Hanxleden, and S\"oren Domr\"os, editors, Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung, volume 2021/7, pages 26-33, Kiel, 2021. Self-Publishing of Department of Computer Science, Kiel.
• [Ert21c] M. Anton Ertl. Practical considerations in a static stack checker. In 37th EuroForth Conference, pages 5-12, 2021.
• [Ert22a] M. Anton Ertl. Are locals inevitably slow?. In 38th EuroForth Conference, pages 48-49, 2022.
• [Ert22b] M. Anton Ertl. Kernfusion - Zurück in die Zukunft II?. Vortrag bei der Forth-Tagung 2022, 2022.
• [Ert22c] M. Anton Ertl. Kernspaltung - Zurück in die Zukunft?. Vortrag bei der Forth-Tagung 2022, 2022.
• [Ert22d] M. Anton Ertl. Managed Forth. Vortrag bei der Forth-Tagung 2022, 2022.
• [Ert22e] M. Anton Ertl. Memory safety without tagging nor static type checking. In 38th EuroForth Conference, pages 5-15, 2022.
• [Ert23a] M. Anton Ertl. Fix spectre in hardware! why and how. In 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung, pages 9-23, 2023. Another, improved version of this paper (same title) has been presented at EuroForth 2023.
• [Ert23b] M. Anton Ertl. \codeSee-code und Codeerzeugung in Gforth 1.0. Vortrag bei der Forth-Tagung 2023, 2023.
• [Ert24a] M. Anton Ertl. Interpreter vs. compiler performance at run-time. In Tagungsband des Jahrestreffens 2024 der GI-Fachgruppe "`Programmiersprachen und Rechenkonzepte"', INSIGHTS -- Schriftenreihe der Fakult\"at Technik, pages 7-12, 2024.
• [Ert24b] M. Anton Ertl. Magic hexagon and constraints. Presentation held at the \#Codenugget meetup on 2024-05-15 at Schikaneder Cinema, Vienna, 2024.
• [ETK06] M. Anton Ertl, Christian Thalinger, and Andreas Krall. Superinstructions and replication in the Cacao JVM interpreter. Journal of .NET Technologies, 4 pp. 25-32, 2006. Journal papers from \emph.NET Technologies 2006 conference.
• [FK96] A. Forst and e. K\"uhn. Implementing cooperative software with high-level communication packages. In Eight IEEE Symposium on Parallel and Distributed Processing, New Orleans, Louisiana, October 1996.
• [FKB95] A. Forst, e. K\"uhn, and O. Bukhres. General purpose work flow languages. Distributed and Parallel Databases, 3 no. 2 pp. 187-218, April 1995. ISSN: 0926-8782.
• [FKPS94] A. Forst, e. K\"uhn, H. Pohlai, and K. Schwarz. Logic based and imperative coordination languages. In Seventh International Conference on Parallel and Distributed Comuting Systems, PDCS'94, Las Vegas, Nevada, October 1994. ISCA, in cooperation with ACM, IEEE.
• [GE04] David Gregg and M. Anton Ertl. Inlining in Gforth: Early experiences. In EuroForth 2004 Conference Proceedings, pages 33-40, 2004.
• [GEK01a] David Gregg, M. Anton Ertl, and Andreas Krall. A fast Java interpreter. In Uwe Assmann, editor, JOSES Workshop at ETAPS'01, 2001.
• [GEK01b] David Gregg, M. Anton Ertl, and Andreas Krall. Implementing an efficient Java interpreter. In High-Performance Computing and Networking (HPCN Europe 2001), pages 613-620. Springer LNCS 2110, 2001.
• [GEW01] David Gregg, M. Anton Ertl, and John Waldron. The common case in Forth programs. In EuroForth 2001 Conference Proceedings, pages 63-70, 2001.
• [KEG98] Andreas Krall, Anton Ertl, and Michael Gschwind. JavaVM implementation: Compilers versus hardware. In John Morris, editor, Computer Architecture 98 (ACAC '98), volume 20 of Australian Computer Science Communications, pages 101-110, Perth, 1998. Springer.
• [Kra94] Andreas Krall. Improving semi-static branch prediction by code replication. In Conference on Programming Language Design and Implementation, volume 29(7) of SIGPLAN, pages 97-106, Orlando, 1994. ACM.
• [KV97] Andreas Krall and Jan Vitek. On extending Java. In Hanspeter M\"ossenb\"ock, editor, Joint Modular Languages Conference (JMLC'97), LNCS 1204, pages 321-335, Linz, 1997. Springer.
• [KVH97] Andreas Krall, Jan Vitek, and Nigel Horspool. Near optimal hierarchical encoding of types. In Mehmet Aksit and Satoshi Matsuoka, editors, 11th European Conference on Object Oriented Programming (ECOOP'97), LNCS 1241, pages 128-145, Finland, 1997. Springer.
• [ME97] Martin Maierhofer and M. Anton Ertl. Optimizing stack code. In Forth-Tagung, Ludwigshafen, 1997.
• [ME98] Martin Maierhofer and M. Anton Ertl. Local stack allocation. In Kai Koskimies, editor, Compiler Construction (CC'98), pages 189-203, Lisbon, 1998. Springer LNCS 1383.
• [PE19] Bernd Paysan and M. Anton Ertl. The new Gforth header. In 35th EuroForth Conference, pages 5-20, 2019.
• [TEK18] Patrick Thier, M. Anton Ertl, and Andreas Krall. Fast and flexible instruction selection with constraints. In Compiler Construction (CC'18), pages 93-103, 2018.
• [VHK97] Jan Vitek, Nigel Horspool, and Andreas Krall. Efficient type inclusion tests. In Toby Bloom, editor, Conference on Object Oriented Programming Systems, Languages \& Applications (OOPSLA'97), pages 142-157, Atlanta, October 1997. ACM.
• [WE09] Gerald Wodni and M. Anton Ertl. Neuigkeiten seit Gforth 0.7.0. Talk given at Forth-Tagung 2009, 2009.