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
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
2023S
- Advanced Object-Oriented Programming / 185.211 / VU
- Bachelor Thesis for Informatics and Business Informatics / 185.A16 / PR
- Bachelor Thesis for Informatics and Business Informatics / 185.A17 / PR
- Introduction to Programming 2 / 185.A92 / VU
- Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
- Programming Languages / 185.208 / VU
- Project in Computer Science 1 / 185.A28 / PR
- Project in Computer Science 2 / 185.A29 / PR
Projects
Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
- Program Execution Environments as Contextual Values / Raab, M., & Puntigam, F. (2014). Program Execution Environments as Contextual Values. In Proceedings of 6th International Workshop on Context-Oriented Programming - COP’14. 6th International Workshop on Context-Oriented Programming (COP’14), Uppsala, Schweden, EU. ACM New York, NY, USA ©2014. https://doi.org/10.1145/2637066.2637074
- Robots, Software, Mayhem? Towards a Design Methodology for Robotic Software Systems. / Schreiner, D., & Puntigam, F. (2010). Robots, Software, Mayhem? Towards a Design Methodology for Robotic Software Systems. In Supplemental Volume of the Eight European Dependable Computing Conference (pp. 31–32). http://hdl.handle.net/20.500.12708/53152
- Synchronization as a Special Case of Access Control / Puntigam, F. (2009). Synchronization as a Special Case of Access Control. Electronic Notes in Theoretical Computer Science, 241, 113–133. https://doi.org/10.1016/j.entcs.2009.06.007
- How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming / Puntigam, F. (2009). How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (pp. 231–242). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52879
- Interfaces of active objects with internal concurrency / Puntigam, F. (2009). Interfaces of active objects with internal concurrency. In Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century - DO21 ’09. Distributed Objects for the 21st Century (DO21, ECOOP’09 Workshop), Genova, Italy, EU. ACM. https://doi.org/10.1145/1557876.1557877
- Synchronization as a Special Case of Access Control / Puntigam, F. (2008). Synchronization as a Special Case of Access Control. In Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (pp. 52–57). http://hdl.handle.net/20.500.12708/52451
- From Static to Dynamic Process Types / Puntigam, F. (2008). From Static to Dynamic Process Types. In Software and Data Technologies, First International Conference, ICSOFT 2006, Setubal, Portugal, September 2006, Revised Selected Papers (pp. 61–73). Springer-Verlag. http://hdl.handle.net/20.500.12708/52454
- Black & White, Never Grey: On Interfaces, Synchronization, Pragmatics, and Responsibilities / Puntigam, F. (2007). Black & White, Never Grey: On Interfaces, Synchronization, Pragmatics, and Responsibilities. In WCOP 2007 - Components beyond Reuse (p. 5). http://hdl.handle.net/20.500.12708/51980
- See the Pet in the Beast: How to Limit Effects of Aliasing / Puntigam, F. (2007). See the Pet in the Beast: How to Limit Effects of Aliasing. In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) (p. 8). http://hdl.handle.net/20.500.12708/51979
- Internal and External Token-Based Synchronization in Object-Oriented Languages / Puntigam, F. (2006). Internal and External Token-Based Synchronization in Object-Oriented Languages. In Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006 (pp. 251–270). Springer. http://hdl.handle.net/20.500.12708/51459
- From Static to Dynamic Process Types / Puntigam, F. (2006). From Static to Dynamic Process Types. In ICSOFT 2006, First International Conference on Software and Data Technologies (pp. 21–28). INSTICC Press. http://hdl.handle.net/20.500.12708/51458
- Client and Server Synchronization Expressed in Types / Puntigam, F. (2005). Client and Server Synchronization Expressed in Types. In Synchronization and Concurrency in Object-Oriented Languages (SCOOL) (p. 9). http://hdl.handle.net/20.500.12708/51180
- In Components We Trust - Programming Language Support for Weak Protection / Puntigam, F. (2005). In Components We Trust - Programming Language Support for Weak Protection. In Tenth International Workshop on Component-Oriented Programming (WCOP 2005) (p. 8). http://hdl.handle.net/20.500.12708/51173
- Reliable Shared Memory Communication: A Position Statement on Synchronization and Composition / Puntigam, F. (2005). Reliable Shared Memory Communication: A Position Statement on Synchronization and Composition. In 2nd ECOOP Workshop on Programm Languages and Operating Systems (ECOOP-PLOS’05) (p. 5). http://hdl.handle.net/20.500.12708/51171
- State Information in Types or No Memory Consistency Model ist the Better Consistency Model / Puntigam, F. (2003). State Information in Types or No Memory Consistency Model ist the Better Consistency Model. Hardware and Software Consistency Models: Programmability and Performance, Schloss Dagstuhl, Wadern, Germany, Austria. http://hdl.handle.net/20.500.12708/84232
Supervisions
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
2021
2020
- Error Injection in specification-based configurations / Zronek, M. (2020). Error Injection in specification-based configurations [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.59100
- Software complexity of a monadic style in object-oriented programming / Kotrba, J. (2020). Software complexity of a monadic style in object-oriented programming [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.77520
- An open-source tool for detecting violations of object-oriented design principles in Java / Oberweger, R. (2020). An open-source tool for detecting violations of object-oriented design principles in Java [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.65189
- Parsing of configuration files / Schwaiger, R. (2020). Parsing of configuration files [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.30142
2018
- Konfigurationsmanagement mit Libelektra / Denner, B. (2018). Konfigurationsmanagement mit Libelektra [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.27821
- Developing a type system for a configuration specification language / Wurzinger, A. (2018). Developing a type system for a configuration specification language [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.35349
- Analyse von Lambda-Ausdrücken in Java / Fraller, B. (2018). Analyse von Lambda-Ausdrücken in Java [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.35552
- Concurrent programming with actors and microservices / Irro, M. (2018). Concurrent programming with actors and microservices [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.56763
2017
- Context-aware configuration / Raab, M. (2017). Context-aware configuration [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.48840
2016
- Comparision and evaluation of JavaScript preprocessing languages / Mertl, M. (2016). Comparision and evaluation of JavaScript preprocessing languages [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2016.25153
2015
- Evaluation and implementation of an optional, pluggable type system for Forth / Riegler, G. (2015). Evaluation and implementation of an optional, pluggable type system for Forth [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.27899
- Expedient logging for C++ using reflection / Bräutigam, K. (2015). Expedient logging for C++ using reflection [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.27707
- An actor constraint prototype : verifying event order / Mildner, R. (2015). An actor constraint prototype : verifying event order [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.25154
- PURGE design and implementation of a high-level graphics engine / Atesman, N. C. (2015). PURGE design and implementation of a high-level graphics engine [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.33717
- Interactive class-diagram generation and abstraction / Hernàdi, G. M. (2015). Interactive class-diagram generation and abstraction [Diploma Thesis]. reposiTUm. https://doi.org/10.34726/hss.2015.25145
2014
- Active objects revisited : a concurrency library for Java based on an object-oriented approach to parallelism / Grandits, P. (2014). Active objects revisited : a concurrency library for Java based on an object-oriented approach to parallelism [Diploma Thesis]. reposiTUm. https://doi.org/10.34726/hss.2014.23814
2012
- Wartbarkeit in aspektorientierter Programmierung / Auer, D. (2012). Wartbarkeit in aspektorientierter Programmierung [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160588
2011
- Vergleich von Java Webframeworks / Budischek, M. (2011). Vergleich von Java Webframeworks [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160479
- Typestate Tracking für sichere nebenläufige Programmierung / Leiter, C. (2011). Typestate Tracking für sichere nebenläufige Programmierung [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160144
2010
- Wie gut eignen sich gängige Tools, um Schülern Java zu lehren? / Willner, V. (2010). Wie gut eignen sich gängige Tools, um Schülern Java zu lehren? [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159818
- C++ templates and concepts vs. Java's genericity / Revucky, M. (2010). C++ templates and concepts vs. Java’s genericity [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-45639
- A modular approach to configuration storage / Raab, M. (2010). A modular approach to configuration storage [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-39798
2009
- Evaluation of support for generic programming in C++ and Java / Ehmann, S. (2009). Evaluation of support for generic programming in C++ and Java [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-33020
2008
- Migrating business software applications based on IGS (Inova Q Generator System) from Windows/VB to Linux/Java / Putsche, C. (2008). Migrating business software applications based on IGS (Inova Q Generator System) from Windows/VB to Linux/Java [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-29684
2007
- Reengineering zu Web-Anwendungen : ein architektureller Ansatz / David, R. (2007). Reengineering zu Web-Anwendungen : ein architektureller Ansatz [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-18409