TU Wien Informatics

Jens Knoop

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

Research Focus

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

2018

2017

2016

2015

2014

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

2010

2009

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

2006

2005

2004

2003

 

2018

2017

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2004

 

  • Most Influential PLDI Paper Award: 2002 for 1992 (zusammen mit Oliver Rüthing und Bernhard Steffen) / USA / 2003

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 .