logo of the SSW institute ;)
Computer Science
System Software

Home

General
Staff
Contact
Partners
Alumni

Research
Areas
Projects
Papers
Books
Reports
Awards

Teaching
Lectures
Exams
B.Projects
M.Theses
PhD Theses
Go Abroad

Misc
Talks
Library
Gallery
Links
Search

Webmaster


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

  • 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 (accepted for publication).

  • 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 (accepted for publication).

  • 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), 2018, Vienna, Austria (accepted for publication).

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