Jens Knoop

Univ.Prof. Dipl.-Inf. Dr.rer.nat.

Research Focus

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 Research Unit
Compilers and Languages, E194-05
Full Professor
Compilers and Languages, E194-05
Faculty Council
Substitute Member
Curriculum Commission for Informatics
Substitute Member

Contact

Courses

2019W

Bachelor Thesis for Informatics and Business Informatics / PR / 185.A16
Compilerdesign seminar / SE / 185.A22
Computer Engineering Practical / PR / 185.A18
Computer Engineering Project / PR / 185.A96
Functional Programming / VU / 185.A03
Optimizing Compilers / VU / 185.A04
Programming languages seminar / SE / 185.307
Project in Computer Science 1 / PR / 185.A28
Project in Computer Science 2 / PR / 185.A29
Project in Medical Informatics / PR / 185.A30
Scientific Project Computer Engineering / PR / 185.A97
Scientific Research and Writing / SE / 193.052
Seminar for PhD Students / SE / 185.A24

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

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

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
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)

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 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
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
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 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)

2012

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
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
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
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
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
Austrian-Kangaroos 2012 Team Qualification Document (TQD) / M. Bader, A. Hofmann, J. Knoop, D. Schreiner, M. Vincze / 2012; 5 pages

2011

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
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
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)
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
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
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
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
Austrian-Kangaroos 2011 Team Qualification Document (TQD) / D. Schreiner, A. Hofmann, J. Knoop, B. Miller, M. Bader, M. Vincze / 2011; 7 pages

2010

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)
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

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
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 / 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
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
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
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
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
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
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

2008

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
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
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
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
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
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
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
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
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

2007

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
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
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
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

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
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
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

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
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
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

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
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)
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

Supervisions