2022W

• Bachelor Thesis for Informatics and Business Informatics / 185.A16 / PR
• Object-oriented Programming Techniques / 185.A01 / VU
• Project in Computer Science 1 / 185.A28 / PR
• Project in Computer Science 2 / 185.A29 / PR
• Seminar for PhD Students / 185.A24 / SE
• Type Systems / 185.206 / VO

• Migrating Business Software Applications based on IGS (Inova Q Generatot Systems) from Windows/VB to Unix/Java
  2007 – 2008 / Inova Q

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

• Program Execution Environments as Contextual Values / M. Raab, F. Puntigam / Talk: 6th International Workshop on Context-Oriented Programming (COP'14), Uppsala, Schweden; 2014-07-28; in: "Proceedings of 6th International Workshop on Context-Oriented Programming", ACM New York, NY, USA ©2014, (2014), ISBN: 978-1-4503-2861-6; Paper ID 8, 6 pages
• Robots, Software, Mayhem? Towards a Design Methodology for Robotic Software Systems. / D. Schreiner, F. Puntigam / Talk: Eighth European Dependable Computing Conference (EDCC 2010), Valencia, Spain; 2010-04-28 - 2010-04-30; in: "Supplemental Volume of the Eight European Dependable Computing Conference", (2010), ISBN: 978-84-692-9571-7; 31 - 32
• How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming / F. Puntigam / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung", J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 231 - 242
• Interfaces of Active Objects with Internal Concurrency / F. Puntigam / Talk: Distributed Objects for the 21st Century (DO21, ECOOP'09 Workshop), Genova, Italy; 2009-07-07; in: "DO21 '09: Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century", ACM, New York, NY, USA (2009), ISBN: 978-1-60558-545-1; Paper ID 1, 5 pages
• Synchronization as a Special Case of Access Control / F. Puntigam / Electronic Notes in Theoretical Computer Science (ENTCS), 241 (2009), 113 - 133
• Synchronization as a Special Case of Access Control / F. Puntigam / Talk: Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'08), Oslo, Norway; 2008-06-07; in: "Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software", (2008), 52 - 57
• From Static to Dynamic Process Types / F. Puntigam / in: "Software and Data Technologies, First International Conference, ICSOFT 2006, Setubal, Portugal, September 2006, Revised Selected Papers", Springer-Verlag, Berlin Heidelberg, 2008, ISBN: 3-540-70619-4, 61 - 73
• Black & White, Never Grey: On Interfaces, Synchronization, Pragmatics, and Responsibilities / F. Puntigam / Talk: Twelfth International Workshop on Component-Oriented Programming, Berlin, Germany; 2007-07-31; in: "WCOP 2007 - Components beyond Reuse", (2007), 5 pages
• See the Pet in the Beast: How to Limit Effects of Aliasing / F. Puntigam / Talk: International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 2007), Berlin, Germany; 2007-07-30; in: "International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO)", (2007), 8 pages
• Internal and External Token-Based Synchronization in Object-Oriented Languages / F. Puntigam / Talk: 7th Joint Modular Languages Conference (JMLC 2006), Oxford, UK; 2006-09-13 - 2006-09-15; in: "Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006", Springer, LNCS 4228 (2006), ISBN: 3-540-40927-0; 251 - 270
• From Static to Dynamic Process Types / F. Puntigam / Talk: International Conference on Software and Data Technologies (ICSOFT 2006), Setubal, Portugal; 2006-09-11 - 2006-09-14; in: "ICSOFT 2006, First International Conference on Software and Data Technologies", INSTICC Press, Vol. 1 (2006), ISBN: 972-8865-69-4; 21 - 28
• Client and Server Synchronization Expressed in Types / F. Puntigam / Talk: Synchronization and Concurrency in Object-Oriented Languages (SCOOL), Workshop at OOPSLA 2005, San Diego, California, USA; 2005-10-16; in: "Synchronization and Concurrency in Object-Oriented Languages (SCOOL)", (2005), 9 pages
• Reliable Shared Memory Communication: A Position Statement on Synchronization and Composition / F. Puntigam / Talk: 2nd ECOOP Workshop on Programm Languages and Operating Systems (ECOOP-PLOS'05), Glasgow, UK; 2005-07-26; in: "2nd ECOOP Workshop on Programm Languages and Operating Systems (ECOOP-PLOS'05)", (2005), 5 pages
• In Components We Trust - Programming Language Support for Weak Protection / F. Puntigam / Talk: Tenth International Workshop on Component-Oriented Programming (WCOP 2005), Glasgow, UK; 2005-07-25; in: "Tenth International Workshop on Component-Oriented Programming (WCOP 2005)", (2005), 8 pages
• State Information in Types or No Memory Consistency Model ist the Better Consistency Model / F. Puntigam / Talk: Hardware and Software Consistency Models: Programmability and Performance, Schloss Dagstuhl, Wadern, Germany (invited); 2003-10-19 - 2003-10-24
• Synchronization with Type Variables / F. Puntigam / Talk: Workshop on Object-oriented Language Engineering for the Post-Java Era, Darmstadt, Germany; 2003-07-22; in: "Workshop on Object-oriented Language Engineering for the Post-Java Era", (2003), 10 pages
• State Information in Statically Checked Interfaces / F. Puntigam / Talk: Eighth International Workshop on Component-Oriented Programming, Darmstadt, Germany; 2003-07-21; in: "Eighth International Workshop on Component-Oriented Programming", (2003), 8 pages
• Supporting Design by Contract in Java / M. Lackner, A. Krall, F. Puntigam / Talk: TOOLS USA 2002, Santa Barbara, California; 2002-07-28 - 2002-07-31; in: "Trusted Components, Formal Specifications, Eiffel & .NET", (2002), 1 - 20
• Supporting Design by Contract in Java / M. Lackner, A. Krall, F. Puntigam / Journal of Object Technology, http://www.jot.fm/issues/issue_2002_08/article4 (2002)
• Types for Active Objects with Static Deadlock Prevention / F. Puntigam, C. Peter / Fundamenta Informaticae, 48 (2001), 4; 315 - 341

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

• Context-aware Configuration / Doctoral Thesis by M. Raab / Supervisor, Reviewer: F. Puntigam, U. Aßmann, Y. Zhou; Institut für Computersprachen - Programmiersprachen und Übersetzer, 2017; oral examination: 2017-11-23
• Typsicherheit vs. Flexibilität -- Vererbung und Polymorphie in Ruby und C# / Master Thesis by G. Kamper / Supervisor: F. Puntigam; Institut für Computersprachen, 2009
• Entwicklungsmethoden im Web und deren Analyse / Master Thesis by A. Kovanci / Supervisor: F. Puntigam; Institut für Computersprachen, 2009
• Evaluation of Support for Generic Programming in C++ and Java / Master Thesis by S. Ehmann / Supervisor: F. Puntigam; Institut für Computersprachen, 2009
• Vergleich von .NET Remoting und Java RMI / Master Thesis by E. Gültekin / Supervisor: F. Puntigam; Institut für Computersprachen, 2008
• Migrating Business Software Applications based on IGS (Inova Q Generator System) from Windows/VB to Linux/Java / Master Thesis by C. Putsche / Supervisor: F. Puntigam; Institut für Computersprachen, 2008; final examination: 2008
• Reengineering zu Web-Anwendungen: Ein architektureller Ansatz / Master Thesis by R. David / Supervisor: F. Puntigam; Institut für Computersprachen, 2007
• Verwendung von C++-Bibliotheken in Eiffel / Master Thesis by M. Piskernig / Supervisor: F. Puntigam; Universität Wien, 2006
• Component-Based Development: A comparison of Enterprise Java Beans and Zope / Master Thesis by R. Strobl / Supervisor: F. Puntigam; Institut für Computersprachen, 2006
• Caching Strategies for Load Reduction on High Traffic Web Applications / Master Thesis by A. Kirk / Supervisor: F. Puntigam; Institut für Computersprachen, 2005
• Implementation of the VooDo Kern Programming Language / Master Thesis by J. Bickel / Supervisor: F. Puntigam; Institut für Computersprachen, 2005
• Distributed Object-Oriented Architectures: Sockets, Java RMI, and CORBA / Master Thesis by J. Stepisnik / Supervisor: F. Puntigam; Institut für Computersprachen, 2005
• Vergleich der Programmierkonzepte Vererbung, Generizität und Reflexion in Java und Eiffel / Master Thesis by M. Ziehmayer / Supervisor: F. Puntigam; Institut für Computersprachen, 2004
• Vergleich von SOAP Kommunikationsplattformen / Master Thesis by M. Jakesch / Supervisor: F. Puntigam; Institut für Computersprachen, 2004
• Java versus Ruby: Anwendbarkeit des objektorientierten Paradigmas / Master Thesis by P. Wesel / Supervisor: F. Puntigam; Institut für Computersprachen, 2003
• Process Types in Java / Master Thesis by A. Hofer / Supervisor: F. Puntigam; Institut für Computersprachen, 2003
• Sprachunterstützung durch virtuelle Maschinen - Ein Vergleich von Java und .Net / Master Thesis by M. Seidl / Supervisor: F. Puntigam; Institut für Computersprachen, 2003