Publications of the Institute for System Software

2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1991 | 1990

See also the publications of the Christian Doppler Laboratory for Monitoring and Evolution of Very-Large-Scale Software Systems.
See also the publications of the Christian Doppler Laboratory for Automated Software Engineering.


2018

  • Daloze, B.; Tal, A.; Marr, S.; Mössenböck, H.; Petrank, E.:
    Parallellization of Dynamic Languages: Synchronizing Built-in Collections
    Conf. on Object-Oriented Programming Systems, Languages, and Applications (SPLASH/OOPSLA'18), Nov 4-9, Boston, MA, USA (accepted for publication)

  • Aumayr, D.; Marr, S.; Bera, C.; Gonzales Boix, E.; Mössenböck, H.:
    Efficient and Deterministic Record & Replay for Actor Languages
    15th Intl. Conf. on Managed Languages and Runtimes (ManLang'18), Sept 12-13, Linz, Austria (accepted for publication)

  • Eisl, J.; Leopoldseder, D.; Mössenböck, H.:
    Parallel Trace Register Allocation
    15th Intl. Conf. on Managed Languages and Runtimes (ManLang'18), Sept 12-13, Linz, Austria (accepted for publication)

  • Krauss, O.:
    Towards a Framework for Stochastic Performance Optimizations in Compilers and Interpreters - An Architecture Overview
    Work in progress paper, 15th Intl. Conf. on Managed Languages and Runtimes (ManLang'18), Sept 12-13, Linz, Austria (accepted for publication)

  • Kreindl, J.; Rigger, M.; Mössenböck, H.:
    Debugging Native Extensions of Dynamic Languages
    Tool paper, 15th Intl. Conf. on Managed Languages and Runtimes (ManLang'18), Sept 12-13, Linz, Austria (accepted for publication)

  • Leopoldseder, D.; Schatz, R.; Stadler, L.; Rigger, M., Würthinger, T.; Mössenböck, H.:
    Path Based Unrolling of Non-Counted Loops -- Loop Unrolling to Enable Compiler Optimizations
    15th Intl. Conf. on Managed Languages and Runtimes (ManLang'18), Sept 12-13, Linz, Austria (accepted for publication)

  • Menard, K.; Seaton, C.; Daloze, B.:
    Specializing Ropes for Ruby
    15th Intl. Conf. on Managed Languages and Runtimes (ManLang'18), Sept 12-13, Linz, Austria (accepted for publication)

  • Weninger, M.; Gander, E.; Mössenböck, H.:
    Detecting Memory Leaks by Utilizing Object Reference Graphs and Root Pointer Information in Offline Memory Monitoring
    15th Intl. Conf. on Managed Languages and Runtimes (ManLang'18), Sept 12-13, Linz, Austria (accepted for publication)

  • Hinterreiter, D.; Linsbauer, L.; Reisinger, F.; Prähofer, H.; Grünbacher, P.; Egyed, A.:
    Feature-Oriented Evolution of Automation Software Systems in Industrial Software Ecosystems
    23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'18), Sept 4-7, 2018, Torino, Italy (accepted for publication)

  • Schörgenhumer, A.; Kahlhofer, M.; Mössenböck, H.; Grünbacher, P.:
    Using Crash Frequency Analysis to Identify Error-prone Software Technologies in Multi-System Monitoring
    Proceedings of the IEEE Intl. Conf. on Software Quality, Reliability and Security (QRS'18), July 16-20, 2018, Lisbon, Portugal (accepted for publication)

  • Prähofer, H.; Böhm, T.; Pichler, J.:
    Deriving a State Model of a Control Program by Symbolic Execution
    16th IEEE International Conference on Industrial Informatics (INDIN'18), Porto, Portugal, July 18-20, 2018, pp. 754-759.

  • Krauss, O.; Mössenböck, H.:
    Dynamic Fitness Functions for Genetic Improvement in Compilers and Interpreters
    Proceedings of The Genetic and Evolutionary Computation Conference (GECCO'18), July 15-19, 2018, Kyoto, Japan (accepted for publication)

  • Marr, S.; Daloze, B.:
    Few Versatile vs. Many Specialized Collections - How to design a collection library for exploratory programming?
    Proceedings of the 4th Edition of the Programming Experience Workshop (PX/18), Nice, France, April 9-12, 2018.

  • Rigger, M.:
    Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine
    ACM Student Research Competition at the Intl. Conf. on the Art, Science, and Engineering of Programming (<Programming> 2018), April 9-12, Nice, France.

  • Prähofer, H.; Vyatkin, V.; Zoitl, A.:
    Guest Editorial Information Technology in Automation
    IEEE Transactions on Industrial Informatics, vol. 14, no. 6, pp. 2745-2747, June 2018.

  • Weninger, M.; Mössenböck, H.:
    User-defined Classification and Multi-level Grouping of Objects in Memory Monitoring
    Proceedings of the 9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018), Berlin, Germany, April 9 - 13, 2018, pp.115-126.

  • Rigger, M.; Marr, S.; Kell, S.; Leopoldseder, D.; Mössenböck, H.:
    An Analysis of x86-64 Inline Assembly in C Programs
    14th ACM International Conference on Virtual Execution Environments (VEE '18), Williamsburg, VA, USA, March 25, 2018, pp.84-99.

  • Rigger, M.; Schatz, R.; Mayrhofer, R.; Grimmer, M.; Mössenböck, H.:
    Sulong, and Thanks For All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model
    Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '18), Williamsburg, VA, USA, March 24 - 28, 2018, pp.377-391.

  • Rigger, M.; Mayrhofer, R.; Schatz, R.; Grimmer, M.; Mössenböck, H.:
    Introspection for C and its Applications to Library Robustness
    The Art, Science, and Engineering of Programming, 2018, Vol. 2, Issue 2.

  • Leopoldseder, D.; Stadler, L.; Würthinger, T.; Eisl, J.; Simon, D.; Mössenböck, H.:
    Dominance-based Duplication Simulation (DBDS) – Code Duplication to Enable Compiler Optimizations
    International Symposium on Code Generation and Optimization (CGO), February 24-28, 2018, Vienna, Austria, pp.126-137.

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1991

1990