Jens Knoop
Univ.Prof. Dipl.-Inf. Dr.rer.nat.
Research Focus
- Computer Engineering: 30%
- Information Systems Engineering: 20%
- Logic and Computation: 50%
Research Areas
- Optimizing Compilers, Program Analysis and Verification, Embedded Systems, Programming Languages, Programming Systems
About
1) Programming language theory, design and implementation; 2) Compilers, compiler verification; 3) Formal methods, tools and algorithms for static analysis, optimization and verification; 4) Compilation for high-performance and real-time computing, multi-core and embedded systems, resource analysis, worst-case execution time analysis;
Roles
-
Head of Institute
Information Systems Engineering, E194 -
Head of Research Unit
Compilers and Languages, E194-05 -
Full Professor
Compilers and Languages, E194-05 -
Curriculum Commission for Informatics
Principal Member
Courses
2022W
- Bachelor Thesis for Informatics and Business Informatics / 185.A16 / PR
- Compilerdesign seminar / 185.A22 / SE
- Computer Engineering Practical / 185.A18 / PR
- Computer Engineering Project / 185.A96 / PR
- Functional Programming / 185.A03 / VU
- Optimizing Compilers / 185.A04 / VU
- Project in Computer Science 1 / 185.A28 / PR
- Project in Computer Science 2 / 185.A29 / PR
- Project in Medical Informatics / 185.A30 / PR
- Scientific Project Computer Engineering / 185.A97 / PR
- Scientific Research and Writing / 193.052 / SE
- Seminar for Master Students in Software Engineering & Internet Computing / 180.777 / SE
- Seminar for PhD Students / 185.A24 / SE
2023S
- Advanced Functional Programming / 185.A05 / VU
- Analysis and Verification / 185.276 / VU
- Bachelor Thesis for Informatics and Business Informatics / 185.A16 / PR
- Bachelor Thesis for Informatics and Business Informatics / 185.A17 / PR
- Computer Engineering Practical / 185.A18 / PR
- Computer Engineering Project / 185.A96 / PR
- Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
- Programming languages seminar / 185.307 / SE
- Project in Computer Science 1 / 185.A28 / PR
- Project in Computer Science 2 / 185.A29 / PR
- Project in Medical Informatics / 185.A30 / PR
- Scientific Project Computer Engineering / 185.A97 / PR
- Scientific Research and Writing / 193.052 / SE
- Seminar for PhD Students / 185.A24 / SE
Projects
-
visionar
2013 – 2014 / Visionar GmbH -
Time-predictable Multi-Core Architecture for Embedded Systems
2011 – 2014 / European Commission -
Spyculative
2011 – 2014 / Austrian Science Fund (FWF) -
ALL-TIMES: Integrating European Timing Analysis Technology
2007 – 2010 / European Commission -
Compiler-Support for Timing Analysis
2006 – 2009 / Austrian Science Fund (FWF)
Publications
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.
2018
- International Symposium on Code Generation and Optimization (CGO 2018) / J. Knoop, M Schordan, T. Johnson, M.F.P. O´Boyle / in series "Proceedings of the 2018 International Symposium on Code Generation and Optimization", series editor: ACM; issued by: Association for Computing Machinery; ACM, New York, 2018, ISBN: 978-1-4503-5617-6, 377 pages
2017
- Architecture of Computing Systems (ARCS 2017) / J. Knoop, W. Karl, M. Schulz, K. Inoue, Th. Pionteck / in series "Lecture Notes in Computer Science 10172", series editor: G. Goos, J. Hartmanis, J. van Leeuwen; Springer, Heidelberg, 2017, ISBN: 978-3-319-54998-9, 267 pages
- Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution / J. Knoop, L. Kovacs, J. Zwirchmayr / Journal of Symbolic Computation, 80 (2017), 101 - 124
2016
- Electronic Visual Analysis: High-Performance Computing in a Heterogeneous Environment / J. Knoop, D. Schreiner / Talk: 57th IFIP WG 2.4 Meeting "Software Implementation Technology", Victoria, BC, Canada (invited); 2016-04-03 - 2016-04-08
- Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik / J. Knoop, U. Zdun / in series "GI-Edition, Lecture Notes in Informatics (LNI) - Proceedings", series editor: H. Mayr et al.; issued by: Gesellschaft für Informatik (GI) e.V., Bonn; Köllen Druck+Verlag GmbH, Bonn, 2016, ISBN: 978-3-88579-646-6, 130 pages
2015
- Exchange between the German and French Compiler Communities / F. Brandner, J. Knoop / Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; 2015-10-04 - 2015-10-07; in: "Programmiersprachen und Grundlagen der Programmierung", J. Knoop, M.A. Ertl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2015-IX-1 (2015), 83 - 84
- The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration / S Hepp, B. Huber, J. Knoop, D. Prokesch, P. Puschner / Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; 2015-10-04 - 2015-10-07; in: "18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015", (2015)
- Verifying the Timing Behaviour of Real-Time Systems / J. Knoop / Talk: Festsymposium zum 60. Geburtstag von Prof. Dr. Ernst-Rüdiger Olderog, Oldenburg (Oldbg.) (invited); 2015-09-08 - 2015-09-09
- Towards Targeted and Transparent Worst-Case Execution Time Optimization / J. Knoop / Talk: 56th Meeting of the IFIP WG 2.4 Software Implementation Technology, Boppard (invited); 2015-07-26 - 2015-07-31
- Towards Transparent Worst-Case Execution Time Optimization / J. Knoop / Talk: 32. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte, Bad Honnef; 2015-05-04 - 2015-05-06
- 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015) / J. Knoop, M.A. Ertl / in series "Schriftenreihe des Instituts für Computersprachen, Bericht 2015-IX-1", series editor: J. Knoop, M.A. Ertl; issued by: TU Wien; Institut für Computersprachen, TU Wien, Wien, 2015, 713 pages
- T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems / M. Schoeberl, S. Abbaspour, B. Akesson, N. Audsley, R. Capasso, J. Garside, K. Goossens, S. Goossens, S. Hansen, R. Heckmann, S Hepp, B. Huber, A. Jordan, E. Kasapaki, J. Knoop, Y. Li, D. Prokesch, W. Puffitsch, P. Puschner, A. Rocha, C Silva, J. Sparso, A. Tocchi / Journal of Systems Architecture, Volume 61 (2015), Issue 9; 449 - 471
2014
- The Five P's of Inferring Proven Precise Worst-Case Execution Time Bounds / J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: 55th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Stellenbosch (invited); 2014-11-02 - 2014-11-07
- Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinaus / J. Knoop, L. Kovacs, J. Zwirchmayr / Keynote Lecture: Festkolloquium zum 80. Geburtstag von Prof. Dr. Dr.h.c. Hans Langmaack, Christian-Albrechts-Universität zu Kiel, Deutschland (invited); 2014-05-09
- Replacing Conjectures by Positive Knowledge: Inferring and Proving Precision of Worst-Case Execution Time Bounds using Symbolic Execution / J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: 3rd Joint Meeting of EU FP7 COST Action IC1202 Timing Analysis on Code-Level (TACLe), Vienna (invited); 2014-01-23 - 2014-01-24
- Austrian-Kangaroos 2014 Team Qualification Document (TQD) / Th. Hamböck, A. Hofmann, J. Knoop, D. Schreiner / 2014; 5 pages
2013
- Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds using Symbolic Execution / J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: 2nd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2013), Peking (invited); 2013-10-23 - 2013-10-25
- The Auspicious Couple: Symbolic Execution and WCET Analysis / A. Biere, J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013), Paris; 2013-07-09; in: "Pre-Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013)", C Maiza (ed.); (2013), ISBN: 978-3-939897-54-5; 51 - 60
- The platin Toolkit: A Core Component of the T-CREST Approach for Compiler and WCET-Analysis Integration / P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard / Talk: July'13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)", Paris (invited); 2013-07-08 - 2013-07-09
- Panel on 'Challenges and Opportunities for WCET Analysis Tools: A Tool Developer's Perspective' / J. Knoop / Talk: July'13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)", Paris (invited); 2013-07-08 - 2013-07-09
- The T-CREST Approach of Compiler and WCET-Analysis Integration / P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard / Talk: 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland (invited); 2013-06-17 - 2013-06-18; in: "Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems", (2013)
- WCET Squeezing by On-demand Feasibility Refinement / J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: 53rd Meeting of the IFIP Working Group 2.4 'Software Implementation Technology', Mysore (invited); 2013-03-17 - 2013-03-22
- Die Roboter kommen - Robotikforschung: Aktuelle Herausforderungen national und international / J. Knoop, D. Schreiner / OCG Journal (invited), 38 (2013), 1; 4 - 6
- Practical Experiences of Applying Source-level WCET Flow Analysis to Industrial Code / B. Lisper, A. Ermedahl, D. Schreiner, J. Knoop, P. Gliwa / International Journal on Software Tools for Technology Transfer, 15 (2013), 1; 53 - 63
- Comparison of type-based and alias-based component recognition for embedded systems software / D. Schreiner, G. Barany, M Schordan, J. Knoop / International Journal on Software Tools for Technology Transfer, 15 (2013), 1; 41 - 52
- SmacC: A Retargetable Symbolic Execution Engine / A. Biere, J. Knoop, L. Kovacs, J. Zwirchmayr / in: "AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS 11th International Symposium, ATVA 2013", issued by: Dang Van Hung and Mizuhito Ogawa; Springer LNCS 8172, 2013
- WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-bounds / J. Knoop, L. Kovacs, J. Zwirchmayr / in: "21st International Conference on Real-Time Networks and Systems", Acm Dl, 2013
2012
- FFX: A Portable WCET Annotation Language / J. Zwirchmayr, L. Kovacs, J. Knoop, A. Bonenfant, H. Cassé, C. Rochange / Talk: International Conference on Real-Time and Network Systems (RTNS), Abbaye des Premontres, Pont a Mousson, France; 2012-11-08 - 2012-11-09; in: "20th International Conference on Real-Time and Network Systems", ACM, New York (2012), ISBN: 978-1-4503-1409-1; 91 - 100
- Portable Worst-Case Execution Time Analysis / A. Bonenfant, H. Cassé, M. de Michiel, J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: 53rd Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Vadstena, Schweden (invited); 2012-05-20 - 2012-05-25
- Portable Worst-Case Execution Time Analysis via Flow Facts in XML / A. Bonenfant, H. Cassé, M. de Michiel, J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: 29th Annual Workshop of the GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef, Deutschland; 2012-05-02 - 2012-05-04
- r-TuBound: Loop Bounds for WCET Analysis / J. Zwirchmayr, J. Knoop, L. Kovacs / Talk: Logic for Programming, Artificial Intelligence, and Reasoning 18 (LPAR-18), Merida, Venezuela; 2012-03-11 - 2012-03-15; in: "Logic For Programming, Artificial Intelligence, and Reasoning", N. Bjorner, A. Voronkov (ed.); Lecture Notes in Computer Science, Springer, LNCS / 7180 / Heidelberg (2012), ISBN: 978-3-642-28716-9; 435 - 444
- Panel zu 'Dissertationen in der Software-Technik' / J. Knoop / Talk: Doktoranden-Symposium der Software Engineering 2012 (DS-SE 2012), Berlin, Germany (invited); 2012-02-29
- Leveraging Applications of Formal Methods, Verification, and Validation: SARS 2011, MLSC 2011 (CICS 336) / R. Hähnle, J. Knoop, T. Margaria, D. Schreiner, B. Steffen / in series "Communications in Computer and Information Science", series editor: R. Hähnle, J. Knoop, T. Margaria, D. Schreiner, B. Steffen; Springer, Heidelberg, 2012, ISBN: 978-3-642-34780-1, 276 pages
- Parallel Systems and Compilers / V. Salapura, M. Gschwind, J. Knoop / in series "International Journal of Parallel Programming", series editor: V. Salapura, M. Gschwind, J. Knoop; Springer, 2012, ISSN: 0885-7458, 140 pages
- Austrian-Kangaroos 2012 Team Qualification Document (TQD) / M. Bader, A. Hofmann, J. Knoop, D. Schreiner, M. Vincze / 2012; 5 pages
2011
- An Evaluation of WCET Analysis using Symbolic Loop Bounds (extended Abstract) / J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: MEMICS 2011 (Mathematical and Engineering Methods in Computer Science), My Hotel, Lednice, Czech Republic; 2011-10-14 - 2011-10-16; in: "MEMICS Proceedings", (2011), 119
- An Evaluation of WCET Analysis using Symbolic Loop Bounds (abstract/presentation) / J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Schloss Raesfeld, Münsterland, Deutschland; 2011-09-26 - 2011-09-28; in: "Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11)", Westfälische Wilhelms-Universität Münster, 132 (2011), 200
- Symbolic Loop Bound Computation for High-Level WCET Analysis: Extending the TuBound-Toolbox / J. Knoop / Talk: 51st Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Cape May, NJ (invited); 2011-09-25 - 2011-09-30
- An Evaluation of WCET Analysis using Symbolic Loop Bounds / J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: 11th International Workshop on Worst-Case Execution-Time Analysis, Porto, Portugal; 2011-07-05; in: "Proc. 11'th International Workshop on Worst-Case Execution Time Analysis", C. Healy (ed.); Österreichische Computer Gesellschaft - OCG, (2011), 93 - 103
- Symbolic Loop Bound Computation for WCET Analysis / J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: 8th International Andrei Ershov Memorial Conference - Perspectives of System Informatics (PSI 2011), Akademgorodok, Novosibirsk, Russland; 2011-06-27 - 2011-07-01; in: "Ershov Informatic Conference, PSI Series, 8th Edition", Springer-Verlag, Lecture Notes in Computer Science, 7162 (2012), 224 - 239
- iRIS - Towards a Robotic Immune System / D. Schreiner, J. Knoop / Talk: Austrian Robotics Workshop 2011, Hall in Tirol; 2011-05-23 - 2011-05-24; in: "Proceedings of the Austrian Robotics Workshop 2011", M Hofbaur, M Husty (ed.); UMIT - Lecture Notes in Biomedical Computer Science and Mechatronics, UMIT, ARW-11 (2011), ISBN: 978-3-9503191-0-1; 22 - 34
- Practical Experiments with Symbolic Loop Bound Computation for WCET Analysis / J. Knoop, L. Kovacs, J. Zwirchmayr / Talk: 28. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2011-05-02 - 2011-05-04; in: "28. Workshop der GI-Fachgruppe Programmiersprachen & Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, (2011)
- Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code / J. Knoop / Talk: 28th Annual Workshop of the GI-FG 2.1.4 "Programmiersprachen und Rechenkonzepte", Physikzentrum Bad Honnef, Deutschland; 2011-05-02 - 2011-05-04
- Compiler Construction - 20th International Conference, CC 2011, Proceedings / J. Knoop / in series "Lecture Notes in Computer Science (LNCS)", series editor: J. Knoop; Springer, Heidelberg, 2011, ISBN: 978-3-642-19860-1, 307 pages
- Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis / R. Kirner, J. Knoop, A. Prantl, M Schordan, A. Kadlec / Software and Systems Modeling, Volume 10 (2011), No. 3; 411 - 437
- Austrian-Kangaroos 2011 Team Qualification Document (TQD) / D. Schreiner, A. Hofmann, J. Knoop, B. Miller, M. Bader, M. Vincze / 2011; 7 pages
2010
- Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code / B. Lisper, A. Ermedahl, D. Schreiner, J. Knoop, P. Gliwa / Talk: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Heraklion, Griechenland; 2010-10-18 - 2010-10-20; in: "Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods", T. Margaria, B. Steffen (ed.); Lecture Notes in Computer Science, 6416 (2010), 449 - 463
- Future of European Scientific Societies in Informatics (panel discussion) / J. Knoop / Talk: 6th Annual European Computer Science Summit (ECSS 2010), Prague, Czech Republic (invited); 2010-10-11 - 2010-10-13
- Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code / J. Knoop / Talk: 50th IFIP WG 2.4 Meeting on Software Implementation Technology, Lutherstadt Wittenberg, Deutschland (invited); 2010-10-03 - 2010-10-08
- `Future Trends of Software Science and Technology -Service Engineering is Software Engineering - or maybe not? (Panel Discussion) / J. Knoop / Talk: Celebration of 10 Years of EASST at ETAPS 2010, Paphos (Cyprus) (invited); 2010-03-24
- Behaviour-Carrying Code / J. Knoop / Talk: 49th IFIP WG 2.4 Meeting on Software Implementation Technology, Berg en Terblijt near Maastricht, The Netherlands (invited); 2010-01-24 - 2010-01-29
- Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques / V. Salapura, M. Gschwind, J. Knoop / ACM Press, New York, USA, 2010, ISBN: 978-1-4503-0178-7; 596 pages
- Scratchpad Memory Allocation for Data Aggregates via Interval Coloring in Superperfect Graphs / L. Li, J. Xue, J. Knoop / ACM Transactions on Embedded Computing Systems, 10 (2010), 2
- Elimination of Reference Count Operations in Bytecode Interpreters / S. Brunthaler, J. Knoop / in: "Proceedings Junior Scientist Conference 2010 (JSC 2010)", issued by: Vienna University of Technology; Vienna University of Technology, Wien, Österreich, 2010, ISBN: 978-3-200-01797-9, 39 - 40
- Towards an Orchestrated Approach for Annotation Verification / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / in: "27. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte"", M. Hanus, F. Reck (ed.); Christian-Albrechts-Universität Kiel, Deutschland, Kiel, Bericht Nr. 1010, 2010, 71 - 85
- On the Role of Non-Functional Properties in Compiler Verification / J. Knoop, W. Zimmermann / in: "4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010)", T. Margaria, B. Steffen (ed.); issued by: Springer-Verlag, Heidelberg; Springer-Verlag, Heidelberg, LNCS 6416, 2010, ISBN: 3-642-16560-5, 491 - 495
- Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis / R. Kirner, J. Knoop, A. Prantl, M Schordan, A. Kadlec / Journal of Software and Systems Modeling (online-edition), oB (2010)
2009
- From Trust to Proof - Beyond Verifying Functional Program Properties / J. Knoop / Talk: Informatik-Kolloquium, Technische Universität Darmstadt, Darmstadt, Deutschland (invited); 2009-11-30
- From Trust to Proof - Beyond Verifying Functional Program Properties / J. Knoop / Talk: Informatik-Kolloquium, Universität Siegen, Siegen, Deutschland (invited); 2009-10-26
- From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / 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 (KPS 2009)", J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 155 - 166
- Current Research at the CompLang Group: Robots and More! / J. Knoop / Talk: Austrian Robotics Summit, Graz (invited); 2009-07-03
- From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, M Schordan, A. Kadlec / Talk: 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), Dublin, Ireland; 2009-06-30; in: "Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009)", N. Holsti (ed.); (2009), 35 - 45
- From Trusted Annotations to Verified Knowledge / J. Knoop / Talk: 48th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Port Townsend, WA, USA (invited); 2009-05-10 - 2009-05-15
- Persistent Analysis Results / A. Prantl, J. Knoop, M Schordan / Talk: 26. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2009-05-04 - 2009-05-06; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2009), 12 pages
- Constant Propagation w/ SSA- and Predicated SSA Form / J. Knoop / Talk: Static Single-Assignment Form Seminar, Autrans, Frankreich (invited); 2009-04-26 - 2009-04-30
- Timing Properties: Beyond Verifying Functional Program Properties / J. Knoop / Talk: 8th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009), York, UK (invited); 2009-03-22
- Adding Timing-Awareness to AUTOSAR Basic-Software - A Component Based Approach / D. Schreiner, M. Schordan, J. Knoop / Talk: 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing ISORC 2009, Tokyo, Japan; 2009-03-17 - 2009-03-20; in: "Proceedings of the 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2009)", IEEE Computer Society, (2009), ISBN: 978-0-7695-3573-9; 288 - 292
- 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung / J. Knoop, A. Prantl / Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1, Wien, Österreich, 2009, 301 pages
- 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Programm und Vortragskurzzusammenfassungen / J. Knoop, A. Prantl / Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3, Wien, Österreich, 2009, 35 pages
- 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Ergänzungsband / J. Knoop, A. Prantl / Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-2, Wien, Österreich, 2009, 56 pages
- 08441 Final Report -- Emerging Uses and Paradigms for Dynamic Binary Translation / E. Altman, B. Childers, R. Cohn, J. Davidson, K. Brosschere, B. Sutter, M.A. Ertl, M. Franz, Y. Gu, M. Hauswirth, T. Heinz, W. Hsu, J. Knoop, A. Krall, N. Kumar, J. Maebe, R. Muth, X. Rival, E. Rohou, R. Rosner, M. Soffa, J. Troeger, C. Vick / Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009, ISSN: 1862-4405; 11 pages
- From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / in: "Worst-Case Execution Time Analysis", N. Holsti (ed.); issued by: Oesterreichische Computer Gesellschaft / Austrian Computer Society; Verlag Oesterreichische Computer Gesellschaft, Wien, 2009, ISBN: 978-3-85403-252-6, 39 - 49
- From Trusted Annotations to Verified Knowledge / J. Knoop / in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) - Programm und Vortragskurzzusammenfassungen", J. Knoop, A. Prantl (ed.); issued by: Institut für Computersprachen, TU Wien; Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3, Wien, Österreich, 2009, 13
- From Trusted Annotations to Verified Knowledge / A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan / in: "Worst-Case Execution Time Analysis", N. Holsti (ed.); issued by: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany; Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Deutschland, 2009, ISBN: 978-3-939897-14-9, Paper ID 8, 11 pages
2008
- Constraint solving for high-level WCET analysis / A. Prantl, J. Knoop, M. Schordan, M. Triska / Talk: The 18th Workshop on Logic-based methods in Programming Environments, Udine, Italy; 2008-12-12; in: "The 18th Workshop on Logic-based methods in Programming Environments", (2008), 77 - 89
- Current Research at the Complang Group: Timing Analyses and More / J. Knoop / Talk: Forschungskolloquium des Research Institute for Symbolic Computation RISC, Johannes-Kepler-Universität Linz, Hagenberg bei Linz (invited); 2008-12-01
- Optimizing the Python interpreter: Identifying performance bottlenecks. / S. Brunthaler, J. Knoop / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 41 - 42
- An integrated source-to-source approach to WCET analysis / A. Prantl, J. Knoop / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 45 - 46
- Component Based Communication Middleware for AUTOSAR / D. Schreiner, K. Göschka, J. Knoop / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 113 - 114
- Towards Real-Time Dynamic Binary Translation: Some Notes on Recent Activities in the WCET and RT Field / J. Knoop / Talk: Dagstuhl Seminar 08441 Emerging Uses and Paradigms for Dynamic Binary Translation, Schloss Dagstuhl, Dagstuhl, Wadern (invited); 2008-10-26 - 2008-10-31; in: "Dagstuhl Seminar Report 08841 Emerging Uses and Paradigms for Dynamic Binary Translation", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 08441 (2008), ISSN: 1862-4405; 6
- TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis / A. Prantl, M. Schordan, J. Knoop / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 141 - 148
- WCET Tool Challenge 2008: Report / N. Holsti, J. Gustafsson, G. Bernat, C. Ballabriga, A. Bonenfant, R. Bourgade, H. Cassé, D. Cordes, A. Kadlec, R. Kirner, J. Knoop, P. Lokuciejewski, N. Merriam, M. de Michiel, A. Prantl, B. Rieder, C. Rochange, P. Sainrat, M. Schordan / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 149 - 171
- Towards a Common WCET Annotation Languge: Essential Ingredients / R. Kirner, A. Kadlec, P. Puschner, A. Prantl, M. Schordan, J. Knoop / Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 53 - 65
- TuBound - A Tool for Worst-Case Execution Time Analysis / A. Prantl, M. Schordan, J. Knoop / Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2008-05-05 - 2008-05-07; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 10 pages
- Towards a Common WCET Annotation Language: Essential Ingredients / A. Kadlec, R. Kirner, P. Puschner, A. Prantl, M. Schordan, J. Knoop / Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2008-05-05 - 2008-05-07; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 12 pages
- WCET Annotation Languages Reconsidered: The Annotation Language Challenge / A. Kadlec, R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel / Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2008-05-05 - 2008-05-07; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 10 pages
- Data-Flow Analysis for Multi-Core Architectures - A Reminder to Reverse Data-Flow Analysis / J. Knoop / Talk: Dagstuhl Seminar 08161 Scalable Program Analysis, Schloss Dagstuhl, Dagstuhl, Wadern (invited); 2008-04-13 - 2008-04-18; in: "Dagstuhl Seminar Proceedings 08161 Scalable Program Analysis", F. Martin, H. Nielson, C. Riva, M. Schordan (ed.); Schloss Dagstuhl, Leibniz-Zentrum für Informatik, (2008), ISSN: 1862-4405; 1 - 14
- Essential Ingredients for a WCET Annotation Language / J. Knoop / Talk: 47th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Bormio (invited); 2008-04-06 - 2008-04-11
- Preliminary Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008) / R. Drechsler, S. Glesner, J. Knoop, W. Zimmermann / Budapest University of Technology and Economics, Budapest, 2008, 85 pages
- WCET Tool Challenge 2008: Report / N. Holsti, J. Gustafsson, G. Bernat, C. Ballabriga, A. Bonenfant, R. Bourgade, H. Cassé, D. Cordes, A. Kadlec, R. Kirner, J. Knoop, P. Lokuciejewski, N. Merriam, M. de Michiel, A. Prantl, B. Rieder, C. Rochange, P. Sainrat, M. Schordan / in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2008, ISBN: 978-3-939897-10-1, 23 pages
- TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis / A. Prantl, M. Schordan, J. Knoop / in: "Dagstuhl Seminar Proceedings 08003", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Germany, 2008, ISBN: 978-3-939897-10-1, 8 pages
2007
- WCET Analysis: The Annotation Language Challenge / R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel / Talk: 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07), Pisa; 2007-12-14; in: "Preliminary Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07)", (2007), 77 - 92
- Data-Flow Analysis for Hot-Spot Program Optimization / J. Knoop / Talk: Informatik Kolloquium, Technische Universität Berlin, Berlin, Germany (invited); 2007-11-12
- Data-Flow Analysis for Hot-Spot Program Optimization / J. Knoop / Talk: Informatik Kolloquium, Universität Paderborn, Paderborn, Germany (invited); 2007-10-23
- Data-Flow Analysis for Hot-Spot Program Optimization / J. Knoop / Talk: 14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)", Timmendorfer Strand, Deutschland; 2007-10-10 - 2007-10-14; in: "Proceedings of the 14. Kolloquium Programmiersprachen", Bericht A-07-07 der Institute für Informatik und Mathematik, Universität Lübeck, (2007), 124 - 131
- WCET Analysis: The Annotation Language Challenge / R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel / Talk: 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS´07), Pisa, Italy; 2007-07-03; in: "Post-Workshop Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis", (2007), 83 - 99
- Worst-Case Execution Time Analysis: The Annotation Language Challenge / J. Knoop / Talk: 46th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Lake Arrowhead, California, USA (invited); 2007-05-06 - 2007-05-11
- Proceedings of the Workshop on Compiler Optimization meets Compiler Verification (COCV 2007) / S. Glesner, J. Knoop, W. Zimmermann / Elsevier, 2007, ISSN: 1571-0661; 160 pages
- Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006) / J. Knoop, G. Necula, W. Zimmermann / Elsevier, 2007, ISSN: 1571-0661; 122 pages
2006
- Worst-Case Execution Time Analysis: The CoSTA-Approach / J. Knoop / Talk: 45th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Glasgow, Scotland, UK (invited); 2006-07-16 - 2006-07-21
- Non-Standard Techniques for Program Analysis and Optimization / J. Knoop / Talk: Informatik Kolloquium, Technische Universität München, Germany (invited); 2006-06-22
- From Mozart and Freud to .Net Technologies / J. Knoop / Keynote Lecture: 4th International Conference in Central Europe on .NET Technologies (.NET Technologies 2006), Plzen, Czech Republic (invited); 2006-05-29 - 2006-06-01
- A fresh look at partial redundancy elimination as a maximum flow problem / J. Xue, J. Knoop / Talk: 23rd Annual Workshop of the GI-FG 2.1.4 "Programmiersprachen und Rechenkonzepte", Physikzentrum Bad Honnef, Germany (invited); 2006-05-03 - 2006-05-05; in: "Softwaretechnik-Trends", Softwaretechnik-Trends, Volume 26, Issue 2 (2006), ISSN: 0720-8928
- A fresh look at partial redundancy elimination as a maximum flow problem / J. Xue, J. Knoop / Talk: International Conference on Compiler Construction (CC 2006), Vienna, Austria; 2006-03-25 - 2006-04-02; in: "Proceedings of the 15th International Conference on Compiler Construction", Lecture Notes in Computer Science, Springer Verlag, Vol. 3923 (2006), ISSN: 0302-9743; 139 - 154
- Posters Papers Proceedings of the .NET Technologies 2006 / J. Knoop, V. Skala / UNION Agency, 322 00 Plzen, Czech Republic, 2006, ISBN: 80-86943-12-7
- Short Communication Papers Proceedings of the .NET Technologies 2006 / J. Knoop, V. Skala / UNION Agency, 322 00 Plzen, Czech Republic, 2006, ISBN: 80-86943-11-9
- Full Paper Proceedings of the 4th .NET Technologies 2006 / J. Knoop, V. Skala / UNION Agency, 322 00 Plzen, Czech Republic, 2006, ISBN: 80-86943-10-0
- Journal of .NET Technolgies / J. Knoop, V. Skala / UNION Agency, 322 00 Plzen, Czech Republic, 2006, ISBN: 80-86943-13-5
- Fifth International Workshop on Compiler Optimization Meets Compiler Verification / J. Knoop, G. Necula, W. Zimmermann / TU Wien, EAPLS, EASST und EATCS, 2006
- The Software Analysis and Verification Column / J. Knoop / European Association of Software Science and Technology (EASST) Newsletters, Vol. 13 (2006), No. 1; 10 - 13
- Reports of Members of the Extended Boards / J. Knoop / European Association of Software Science and Technology (EASST) Newsletters, Vol. 13 (2006), No. 1; 39 - 40
- Report on ETAPS 2006 / J. Knoop / European Association of Software Science and Technology (EASST) Newsletters, Vol. 13 (2006), No. 1; 42 - 47
2005
- Slicing -- 10 Years from Now! / J. Knoop, M. Bruntink, P. McMinn / Talk: Dagstuhl Seminar 05451: Beyond Program Slicing, Schloss Dagstuhl, Germany (invited); 2005-11-06 - 2005-11-11
- Geschwindigkeit ist nicht alles -- Neue Anforderungen und Lösungen im optimierenden Übersetzerbau / J. Knoop / Talk: Kolloquium Universität Karlsruhe, Karlsruhe, Deutschland (invited); 2005-10-15
- A Fresh Look at Partial Redundancy Elimination -- A Work-in-Progress Report. / J. Knoop / Talk: 44th Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Jackson's Mill, Weston, West Virginia, USA (invited); 2005-10-02 - 2005-10-07
- Proceedings of the 4th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2005), Electronic Notes in Theoretical Computer Science, Volume 141, Issue 2 / J. Knoop, G. Necula, W. Zimmermann / Elsevier, 2005, 120 pages
- Executive Summary on the Dagstuhl-Seminar 05101 / E. Altman, J. C. Dehnert, C. Kessler, J. Knoop / in: "Dagstuhl-Seminar 05101: Scheduling for Parallel Architectures: Theory, Applications, Challenges", Dagstuhl Research, 2005
- The 'Software Analysis and Verification' Column / J. Knoop / European Association of Software Science and Technology (EASST) Newsletters (invited), Volume 10 (2005), 1; 2 pages
2004
- Symbolic Program Analysis in Optimizing and Verifying Compilation: Opportunities, Perspectives, Challenges / J. Knoop / Keynote Lecture: 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2004), Timisoara, Romania (invited); 2004-09-26 - 2004-09-30
- Optimizing for Space and Time Usage with Speculative Partial Redundancy Elimination / B. Scholz, N. Horspool, J. Knoop / Talk: Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2004), Washington DC, USA; 2004-06-11 - 2004-06-13; in: "Proceedings of the ACM SIGPLAN/SIGBED 2004 Conference on Languages, Compilers, and Tools for Embedded Systems(LCTES 2004) ", ACM SIGPLAN Notices, 39 / 7 (2004), 221 - 230
- Code Motion: A Non-Refinining Optimizing Transformation / J. Knoop / Keynote Lecture: 11th International Workshop on Abstract State Machines (ASM 2004), Wittenberg, Germany (invited); 2004-05-24 - 2004-05-28
- Geschwindigkeit ist nicht alles - Neue Anforderungen und Lösungen im optimierenden Übersetzerbau / J. Knoop / Talk: Colloquium Universität Potsdam, Potsdam, Germany (invited); 2004-05-10
- Geschwindigkeit ist nicht alles - Neue Herausforderungen im optimierenden Übersetzerbau / J. Knoop / Talk: Colloquium Universität Halle-Wittenberg, Halle-Wittenberg, Germany (invited); 2004-04-15
- Parallelism -- Somtimes it is for Free / J. Knoop / Talk: 42nd Meeting of the IFIP Working Group 2.4 Software Implementation Technology, Brisbane, Australia (invited); 2004-03-14 - 2004-03-19
- Geschwindigkeit ist nicht alles - Neue Herausforderungen in Übersetzerbau und Optimierung / J. Knoop / Talk: Colloquium Rheinisch-Westfälische Technische Hochschule Aachen, Aachen, Germany (invited); 2004-01-22
- Perliminary Proceedings of the 3rd International Workshop on "Compiler Optimization meets Compiler Verification" / J. Knoop, G. Necula, W. Zimmermann / University Barcelona, Spain, 2004
- Retrospective: Lazy Code Motion / J. Knoop, O. Rüthing, B. Steffen / ACM SIGPLAN Notices, 39 (2004), 4, Best of PLDI; 460 - 472
2003
- Simple Constants and Beyond: The Beauty of Value Graphs for Constant Propagation / J. Knoop / Talk: IFIP Working Group 2.4 on Software Implementation Technology, Santa Cruz, CA, USA (invited); 2003-08-07
- Constant Propagation on Predicated Code / J. Knoop, O. Rüthing / Talk: 7th Brazilian Symposium on Programming Languages, Ouro Preto, Brazil; 2003-05-28 - 2003-05-30; in: "Proceedings of the 7th Brazilian Symposium on Programming Languages (SBLP 2003)", (2003), ISBN: 85-88442-45-0; 135 - 148
- Code Size vs. Run-Time Optimization: Towards Getting Both / J. Knoop / Talk: Kolloquium FernUniversität Hagen, Hagen, Deutschland (invited); 2003-05-12
- Constant Propagation on the Value Graph: Simple Constants and Beyond / J. Knoop / Talk: 20th Annual Workshop of the Fachgruppe 2.1.4 "Programmiersprachen und Rechenkonzepte" der Gesellschaft für Informatik, Physikzentrum Bad Honnef, Germany; 2003-05-09
- Code Size vs. Execution-Time Optimization - Towards Getting Both / J. Knoop / Talk: Dagstuhl Seminar 03071, Schloss Dagstuhl, Wadern, Germany (invited); 2003-02-11
- Journal of Universal Computer Science, Special Issue for the 1st International Workshop on Compiler Optimization meets Compiler Verification (COCV 2002) / J. Knoop, W. Zimmermann / Springer, 2003, ISSN: 0948-6968; 108 pages
- COCV'03 - Compiler Optimisation meets Compiler Verification / J. Knoop, W. Zimmermann / Elsevier Computer Science, Electronic Notes in Theoretical Computer Science, 2003, 116 pages
- Hardware and Software Consistency Models: Programmability and Performance / J. Knoop, J. Lee, S. Midkiff, D. Padua / Internationales Begegnungs- und Forschungszentrum für Informatik, Dagstuhl, 2003
- Constant Propagation on Predicated Code / J. Knoop, O. Rüthing / Journal of Universal Computer Science, 9, 8 ( S.829-850) (2003)
Supervisions
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.
2018
- Analysis and Coordination of Mixed-Criticality Cyber-Physical Systems / Doctoral Thesis by S. Maurer / Supervisor, Reviewer: J. Knoop, D.B. Christianson; University of Hertfordshire, 2018; oral examination: 2018-01-11
2017
- Reasoning Capabilities for a Cognitive-Assistive Assembly System / Master Thesis by A. Koltraka / Supervisor: J. Knoop, D. Schreiner; Institut für Computersprachen, 2017; final examination: 2017-10-04
2015
- On the Impact of Classical Program Optimization on the WCET-Behaviour / Master Thesis by B. Eizinger / Supervisor: J. Knoop, S Hepp; Institut für Computersprachen, 2015; final examination: 2015-11-09
- Durability and Contention in Software Transactional Memory / Master Thesis by M. Schröder / Supervisor: J. Knoop; Institut für Computersprachen, 2015; final examination: 2015-10-15
- A Hidden-Markov-Model (HMM) based Opera Singing System for German / Master Thesis by M Pucher / Supervisor: J. Knoop, G. Keller; Institut für Computersprachen, 2015; final examination: 2015-06-15
- Accelarating Dynamic Detection of Memory Errors for C Programs via Static Analysis / Doctoral Thesis by D. Ye / Supervisor, Reviewer: J. Knoop; The University of New South Wales, Sydney, Australia, 2015
2014
- A Framework for Machine Learning based Mapping of Concurrent Applications to Parallel Architectures / Doctoral Thesis by D. Tetzlaff / Supervisor, Reviewer: S. Glesner, P. Marwedel, J. Knoop; TU Berlin, Fakultät für Elektrotechnik und Informatik, 2014; oral examination: 2014-06-24
- Visual Control of Acoustic Speech Synthesis / Master Thesis by J. Hollenstein / Supervisor: J. Knoop, M Pucher; Institut für Computersprachen, 2014; final examination: 2014-01-14
2013
- Entscheidungsfindung im Roboterfußball mittels Neuroevolution / Master Thesis by A. Oberhauser / Supervisor: J. Knoop, D. Schreiner; Institut für Computersprachen, 2013; final examination: 2013-10-08
- Symbolic Methods for the Timing Analysis of Programs / Doctoral Thesis by J. Zwirchmayr / Supervisor, Reviewer: L. Kovacs, J. Knoop; Institut für Computersprachen - E185-1, 2013; oral examination: 2013-10-04
2012
- Fehlererkennung bei Robotern mithilfe eines künstlichen Immunsystems / Master Thesis by M. Wieser / Supervisor: J. Knoop, D. Schreiner; Institut für Computersprachen, 2012; final examination: 2012-10-09
- Programmanalysen zur Verbesserung der Softwaremodellprüfung / Doctoral Thesis by D. Richter / Supervisor, Reviewer: W. Zimmermann, J. Knoop; Martin-Luther-Universität Halle-Wittenberg, Deutschland, 2012; oral examination: 2012-01-31
2011
- Genesys: A Model-Driven and Service-Oriented Approach to the Construction and Evolution of Code Generators / Doctoral Thesis by S. Jörges / Supervisor, Reviewer: B. Steffen, J. Knoop; TU Dortmund, Deutschland, 2011; oral examination: 2011-12-21
- Purely Interpretative Optimizations / Doctoral Thesis by S. Brunthaler / Supervisor, Reviewer: J. Knoop, M. Franz; Institut für Computersprachen, 2011; oral examination: 2011-02-28
- Robotersteuerung mittels Genetic Programming für die RoboCup Standard Platform League / Master Thesis by C. Punzengruber / Supervisor: J. Knoop, D. Schreiner; Institut für Computersprachen, 2011; final examination: 2011-02
2010
- High-level Compiler Support for Timing Analysis / Doctoral Thesis by A. Prantl / Supervisor, Reviewer: J. Knoop, B. Lisper; Institut für Computersprachen, 2010; oral examination: 2010-06-09
2009
- A Framework for Intelligent Speculative Compiler Optimizations and its Application to Memory Access / Doctoral Thesis by L Alvincz / Supervisor, Reviewer: S. Glesner, J. Knoop; Fakultät IV Elektrotechnik und Informatik, TU Berlin, Berlin, Deutschland, 2009; oral examination: 2009-07-17
- Measurement-Based Timing Analysis of Applications written in ANSI-C / Doctoral Thesis by B. Rieder / Supervisor, Reviewer: P. Puschner, J. Knoop; Institut für Technische Informatik, 2009; oral examination: 2009-06-26
- Interpolation of Austrian German and Viennese Dialect/Sociolect in HMM-based Speech Synthesis / Master Thesis by D. Schabus / Supervisor: J. Knoop, M. Kommenda, M Pucher; Institut für Computersprachen, 2009; final examination: 2009-05-08
- Validation of Data Flow Results for Program Modules / Doctoral Thesis by K Klohs / Supervisor, Reviewer: U Kastens, J. Knoop; Universität Paderborn, Deutschland, 2009; oral examination: 2009-04-03
- Analysis, Scheduling and Reasoning in Distributed Shared Memory Programming Languages / Doctoral Thesis by S Agarwal / Supervisor, Reviewer: J. Knoop, N. N.; Tata Institute of Fundamental Research, Mumbai, Indien, 2009
2008
- Machine Translation Interlingua based on MultiNet / Master Thesis by V. Mihailevschi / Supervisor: J. Knoop; Institut für Computersprachen, 2008; final examination: 2008-04-01
- Semantics-Based Code Optimizations with SATIrE / Master Thesis by G. Barany / Supervisor: J. Knoop; Institut für Computersprachen, 2008; final examination: 2008-02-01
- Interprocedural and Modular Local Heap Shape Analysis / Doctoral Thesis by N. Rinetzky / Supervisor, Reviewer: J. Knoop, N. N.; Tel-Aviv University, Tel Aviv, Israel, 2008
2007
- Measurement-Based Timing Analysis of Superscalar Processors / Doctoral Thesis by I. Wenzel / Supervisor, Reviewer: P. Puschner, J. Knoop; Institut für Technische Informatik, 2007; oral examination: 2007-01-16
- Scratchpad Memory Management for Static Data Aggregates / Doctoral Thesis by L. Li / Supervisor, Reviewer: J. Knoop, N. N.; The University of New South Wales, Sydney, Australia, 2007
2006
- Simplifying and Unifying Composition for Industrial Component Models / Doctoral Thesis by U. Scheben / Supervisor, Reviewer: J. Knoop; FernUniversität in Hagen, Deutschland, 2006; oral examination: 2006-11
- Profile-Guided Redundancy Elimination / Doctoral Thesis by Q. Cai / Supervisor, Reviewer: J. Knoop; The University of New South Wales, Sydney, Australia, 2006; oral examination: 2006-07
- Eine Methode der effizienten und verifizierbaren Programmannotation für den Transport von Escape-Informationen / Doctoral Thesis by A. Hartmann / Supervisor, Reviewer: J. Knoop; Friedrich-Schiller-Universität Jena, Deutschland, 2006; oral examination: 2006-07
2004
- A Register Allocation Framework for the GNU Compiler Collection (gcc) / Master Thesis by J. Thoma / Supervisor: J. Knoop, B. Scholz; Institut für Computersprachen, 2004; final examination: 2004-03-15
Awards
-
Most Influential PLDI Paper Award: 2002 for 1992 (zusammen mit Oliver Rüthing und
Bernhard Steffen)
2003 / USA
And more…
Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.
Until then, please visit Jens Knoop’s research profile in TISS .