Franz Puntigam
Ao.Univ.Prof. Dipl.-Ing. Dr.techn.
Research Focus
- Information Systems Engineering: 100%
Research Areas
- programming paradigms, type systems, object-oriented programming
About
1) Programming languages 2) Object-oriented programming 3) Type systems 4) Concurrent Programming
Role
-
Associate Professor
Compilers and Languages, E194-05
Courses
2020W
- 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
2021S
- Advanced Object-Oriented Programming / 185.211 / VU
- Bachelor Thesis for Informatics and Business Informatics / 185.A17 / PR
- Introduction to Programming 2 / 185.A92 / VU
- Programming Languages / 185.208 / VU
- Project in Computer Science 1 / 185.A28 / PR
- Project in Computer Science 2 / 185.A29 / PR
Projects
Publications
- 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
Supervisions
- 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