Papers from Institut für Computersprachen

You can find BibTeX entries for all 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.

Most of the files are in gzipped Postscript. 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. http://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.
• [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. Threaded code variations and optimizations. In EuroForth 2001 Conference Proceedings, pages 49-55, 2001.
• [Ert01b] 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ümpel, 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.
• [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.
• [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.