Jens Knoop
Institut für Computersprachen
Programmiersprachen und Übersetzer

Publications

Invited Contributions

Book Chapters

• Knoop, J., Rüthing, O., and Steffen, B. Retrospective: Lazy Code Motion. In "20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation (1979 - 1999): A Selection", ACM SIGPLAN Notices 39, 4 (2004), 460 - 461 & 462-472.

• Knoop, J., and Rüthing, O. Optimization under the perspective of soundness, completeness, and reusability.
  In "Correct System Design - Recent Insights and Advances." Dedicated to Hans Langmaack on the occasion of his retirement from his professorship. Springer-Verlag, Heidelberg, LNCS State-of-the-Art Survey 1710 (1999), 288 - 315. (Invited contribution)

Conference Articles

• Esparza, J., and Knoop, J. An automata-theoretic approach to interprocedural data-flow analysis.
  In Proceedings of the 2nd International Conference on Foundations of Software Sciences and Computation Structures (FoSSaCS'99) (Amsterdam, The Netherlands, March 22 - 26, 1999), Springer-Verlag, Heidelberg, LNCS 1578 (1999), 14 - 30. (Invited contribution).

• Steffen, B., Claßen, A., Klein, M., Knoop, J., and Margaria, T. The fixpoint-analysis machine.
  In Proceedings of the 6th International Conference on Concurrency Theory (CONCUR'95) (Philadelphia, PA, USA, August 21 - 24, 1995 ), Springer-Verlag, Heidelberg, LNCS 962 (1995), 72 - 87. (Invited contribution).

Back to top

Monographs

• Knoop, J. Optimal interprocedural program optimization: A new framework and its application.
  PhD dissertation, Department of Computer Science, University of Kiel, 1993. Springer-Verlag, Heidelberg, LNCS Tutorial 1428 (1998).

Journals

• Knoop, J., Kovács, L., Zwirchmayr, J. Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-case Execution Time Bounds Using Symbolic Execution. Journal of Symbolic Computation 80:101-124, 2017. (Special Issue on Program Verification, Automated Debugging and Symbolic Computation).

• Schoeberl, M., Abbaspour, S., Akesson, B., Audsley, N., Capasso, R., Garside, J., Goossens, K., Goossens, S., Hansen, S., Heckmann, R., Hepp, St., Huber, B., Jordan, A., Kasapaki, E., Knoop, J., Li, Y., Prokesch, D., Puffitsch, W., Puschner, P., Rocha, A., Silva, C., Sparsø, J., Tocchi, A. T-CREST: Time-predictable Multi-Core Architecture for Embedded Systems. Journal of Systems Architecture - Embedded Systems Design 61, 9 (2015), 449-471.

• Lisper, B., Ermedahl, A., Schreiner, D., Knoop, J., and Gliwa, P. Practical Experiences of Applying Source-level WCET Flow Analysis to Industrial Code. International Journal of Software Tools for Technology Transfer (STTT), Volume 15, Number 1 (2013), 53-63, Springer-V., Heidelberg, Germany; published online 24 July 2012, 11 pages (DOI: 10.1007/s10009-012-0255-9).

• Schreiner, D., Barany, G., Schordan, M., and Knoop, J.. Comparison of Type-based and Alias-based Component Recognition for Embedded Systems Software. International Journal of Software Tools for Technology Transfer (STTT), Volume 15, Number 1 (2013), 41-52, Springer-V., Heidelberg, Germany; published online 15 July 2012, 12 pages (DOI: 10.1007/s10009-012-0251-0).

• Li, L., Xue, J., and Knoop, J.. Scratchpad Memory Allocation for Data Aggregates via Interval Coloring in Superperfect Graphs.
  ACM Transactions on Embedded Computing Systems (TECS) 10, 2 (2010), Article No.: 28, 42 pages (DOI: 10.1145/1880050.1880064).

• Kirner, R., Knoop, J., Prantl, A., Schordan, M., and Kadlec, A. Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis. Journal of Software and Systems Modeling, Volume 10, Number 3, 411-437 (2011), Springer-V., Heidelberg, Germany; published online 9 April 2010, 27 pages (DOI: 10.1007/s10270-010-0161-0).

• Knoop, J., and Rüthing, O. Constant propagation on predicated code.
  Journal of Universal Computer Science 9, 8 (2003), 829 - 850. (Special issue devoted to SBLP'03).

• Knoop, J., and Mehofer, E. Distribution assignment placement: Effective optimization of redistribution costs.
  IEEE Transactions on Parallel and Distributed Systems 13, 6 (2002), 628 - 647.

• Knoop, J. Eliminating partially dead code in explicitly parallel programs.
  Theoretical Computer Science 196, 1-2 (1998), 365 - 393. (Special issue devoted to Euro-Par'96).

• Knoop, J., Rüthing, O., and Steffen, B. Towards a tool kit for the automatic generation of interprocedural data flow analyses.
  Journal of Programming Languages 4, 4 (1996), 211 - 246.

• Knoop, J., Steffen, B., and Vollmer, J. Parallelism for free: Efficient and optimal bitvector analyses for parallel programs.
  ACM Transactions on Programming Languages and Systems 18, 3 (1996), 268 - 299.

• Knoop, J., Rüthing, O., and Steffen, B. Optimal code motion: Theory and practice.
  ACM Transactions on Programming Languages and Systems 16, 4 (1994), 1117 - 1155.

• Knoop, J., Rüthing, O., and Steffen, B. Lazy strength reduction.
  Journal of Programming Languages 1, 1 (1993), 71 - 91.

• Steffen, B., and Knoop, J. Finite constants: Characterizations of a new decidable set of constants.
  Theoretical Computer Science 80, 2 (1991), 303 - 318. (Special issue devoted to MFCS'89).

Back to top

Conferences: Refereed Articles and Tool Presentations

Conferences: Refereed Articles

• Knoop, J., Kovács, L., and Zwirchmayr, J. WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET Bounds. In Proceedings of the 21st International Conference on Real-Time Systems and Network Systems (RTNS 2013) (Sophia Antipolis, France, October 16-18, 2013), ACM New York, ISBN 978-1-4503-2058-0, 161 - 170, 2013.

• Biere, A., Knoop, J., Kovács, L., and Zwirchmayr, J. The Auspicious Couple: Symbolic Execution and WCET Analysis. In Pre-Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013) (Paris, France, July 9, 2013), 51 - 60.

• Puschner, P., Prokesch, D., Huber, B., Knoop, J., Hepp, S., Gebhard, G. The T-CREST Approach of Compiler and WCET-Analysis Integration. In Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitious Systems (SEUS 2013) (Paderborn, Germany, June 17-18, 2013), 33 - 40.

• Bonenfant, A., Cassé, H., de Michiel, M., Knoop, J., Kovács, L., and Zwirchmayr, J. FFX: A Portable WCET Annotation Language. In Proceedings of the 20th International Conference on Real-Time Systems and Network Systems (RTNS 2012) (Abbaye des Prémontrés, Pont à Mousson, France, November 8-9, 2012), ACM, New York, 91 - 100, 2012.

• Knoop, J., Kovács, L., and Zwirchmayr, J. Symbolic Loop Bound Computation for WCET Analysis. In Proceedings of the 8th International Andrei Ershov Memorial Conference -  Perspectives of System Informatics (PSI 2011) (Akademgorodok/Novosibirsk, Russia, June 27 - July 1, 2011), Springer-V., Heidelberg, LNCS 7162 (2012), 224 - 239.

• Knoop, J., Kovács, L., and Zwirchmayr, J. An Evaluation of WCET Analysis using Symbolic Loop Bounds. In Post-Workshop Proceedings of the 11th International Workshop on Worst-Case Execution Time Analysis (WCET 2011) (Porto, Portugal, July 5, 2011), Austrian Computer Society, Volume 286, 2011.

• Knoop, J., Kovács, L., and Zwirchmayr, J. An Evaluation of WCET Analysis using Symbolic Loop Bounds. In Preliminary Proceedings of the 11th International Workshop on Worst-Case Execution Time Analysis (WCET 2011) (Porto, Portugal, July 5, 2011), 93 - 103.

• Knoop, J., Kovács, L., and Zwirchmayr, J. Symbolic Loop Bound Computation for WCET Analysis. In Preliminary Proceedings of the 8th International Andrei Ershov Memorial Conference -  Perspectives of System Informatics (PSI 2011) (Akademgorodok/Novosibirsk, Russia, June 27 - July 1, 2011), 116 - 131.

• Schreiner, D., and Knoop, J. iRIS - Towards a Robotic Immune System. In Proceedings of the Austrian Robotics Workshop 2011 (ARW 2011) (Hall, Austria, May 23 - 24, 2011), UMIT - Lecture Notes in Biomedical Computer Science and Mechatronics, Volume 1, ISBN: 978-3-9503191-0-1, 2011, 22-24.

• Ermedahl, A., Lisper, B., Knoop, J., Schreiner, D., and Gliwa, P. Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. In Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), (Heraclion, Crete, October 18 - 21, 2010), Springer-Verlag, Heidelberg, LNCS 6416 (2010), 449-463.

• Knoop, J., and Zimmermann, W. On the Role of Non-Functional Properties in Compiler Verification. In Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), (Heraclion, Crete, October 18 - 21, 2010), Springer-Verlag, Heidelberg, LNCS 6416 (2010),   491-495.

• Prantl, A., Knoop, J., Kirner, R., Schordan, M., and Kadlec, A. From Trusted Annotations to Verified Knowledge. In Post-Workshop Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), (Dublin, Ireland, June 30, 2009), Austrian Computer Society, Volume 252, ISBN 978-3-85403-252-6, 39 - 49.

• Prantl, A., Knoop, J., Kirner, R., Schordan, M., and Kadlec, A. From Trusted Annotations to Verified Knowledge. In Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), (Dublin, Ireland, June 30, 2009), 35 - 45.

• Schreiner, D., Schordan, M., and Knoop, J., Adding Timing-Awareness to AUTOSAR Basic-Software - A Component Based Approach. In Proceedings of the 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2009) (Tokyo, Japan, March 17 - 20, 2009), ISBN 978-0-7695-3573-9, 288 - 292.

• Prantl, A., Knoop, J., Schordan, M., and Triska, M., Constraint Solving for High-level WCET Analysis. In Proceedings of the 18th Workshop on Logic-based Methods in Programming Environments (WLPE 2008), (Udine, Italy, December 12, 2008), 77 - 89.

• Kirner, R., Kadlec, A., Puschner, P., Prantl, A., Schordan, M., and Knoop, J., Towards a Common WCET Annotation Language: Essential Ingredients. In Post-Workshop Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008), (Prague, Czech Republic, July 1, 2008), Austrian Computer Society, Volume 237, ISBN 978-3-85403-237-3, 53 - 65.
  Also: Schloß Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2008, ISBN 978-3-939897-10-1, 13 pages.

• Prantl, A., Schordan, M., and Knoop, J., TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. In Post-Workshop Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008), (Prague, Czech Republic, July 1, 2008), Austrian Computer Society, Volume 237, ISBN 978-3-85403-237-3, 141 - 148.
  Also: Schloß Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2008, ISBN 978-3-939897-10-1, 8 pages.

• Kirner, R., Kadlec, A., Puschner, P., Prantl, A., Schordan, M., and Knoop, J., Towards a Common WCET Annotation Language: Essential Ingredients. In Preliminary Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008), (Prague, Czech Republic, July 1, 2008), 55 - 67.

• Prantl, A., Schordan, M., and Knoop, J., TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. In Preliminary Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008), (Prague, Czech Republic, July 1, 2008), 141 - 148.

• Kirner, R., Knoop, J., Prantl, A., Schordan, M. and Wenzel, I. WCET Analysis: The Annotation Language Challenge.
  In Post-Workshop Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (WCET 2007), (Pisa, Italy, July 3, 2007), 83 - 99.
  Also: Schloß Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2007, paper, 13 pages.

• Kirner, R., Knoop, J., Prantl, A., Schordan, M. and Wenzel, I. WCET Analysis: The Annotation Language Challenge.
  In Preliminary Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (WCET 2007), (Pisa, Italy, July 3, 2007), 77 - 92.

• Xue, J., Knoop, J. A fresh look at PRE as a maximum flow problem.
  In Proceedings of the 15th International Conference on Compiler Construction (CC 2006) (Vienna, Austria, March 25 - April 2, 2006), Springer-Verlag, Heidelberg, LNCS 3923 (2006), 139 - 154.

• Scholz, B., Horspool, N. and Knoop, J. Optimizing for space and time usage with speculative partial redundancy elimination.
  In Proceedings of the ACM SIGPLAN/SIGBED 2004 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2004) (Washington, DC, June 11 - 13, 2004), ACM SIGPLAN Notices 39, 7 (2004), 221 -230.

• Knoop, J., and Rüthing, O. Constant propagation on predicated code.
  In Proceedings of the 7th Brazilian Symposium on Programming Languages (SBLP 2003) (Ouro Preto, MG, Brazil, May 28 - 30, 2003), 135 - 148.

• Knoop, J., and Collard, J.-F., and Ju, R. D. Partial redundancy elimination on predicated code.
  In Proceedings of the 7th International Static Analysis Symposium (SAS 2000) (Santa Barbara, CA, USA, June 29 - July 1, 2000), Springer-Verlag, Heidelberg, LNCS 1824 (2000), 260 - 279.

• Knoop, J., and Rüthing, O. Constant propagation on the value graph: Simple constants and beyond.
  In Proceedings of the 9th International Conference on Compiler Construction (CC 2000) (Berlin, Germany, March 25 - April 2, 2000), Springer-Verlag, Heidelberg, LNCS 1781 (2000), 94 - 109.

• Rüthing, O., Knoop, J., and Steffen, B. Sparse code motion.
  In Conference Record of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2000) (Boston, MA, USA, January 19 - 21, 2000), ACM New York, (2000), 170 - 183.

• Knoop, J. Demand-driven model checking for context-free processes.
  In Proceedings of the 5th Annual Asian Computing Science Conference (ASIAN'99) (Phuket, Thailand, December 10 - 12, 1999), Springer-Verlag, Heidelberg, LNCS 1742 (1999), 201 - 213.

• Rüthing, O., Knoop, J., and Steffen, B. Detecting equality of variables: Combining efficiency with precision.
  In Proceedings of the 6th International Static Analysis Symposium (SAS'99) (Venezia, Italy, September 22 - 24, 1999), Springer-Verlag, Heidelberg, LNCS 1694 (1999), 232 - 247.

• Knoop, J. Parallel data-flow analysis of explicitly parallel programs.
  In Proceedings of the 5th European Conference on Parallel Processing (Euro-Par'99) (Toulouse, France, August 31 - September 3, 1999), Springer-Verlag, Heidelberg, LNCS 1685 (1999), 391 - 400.

• Knoop, J., and Steffen, B. Code motion for explicitly parallel programs.
  In Proceedings of the 7th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'99) (Atlanta, GA, USA, May 4 - 6, 1999), ACM SIGPLAN Notices 34, 8 (1999), 13 - 24.

• Knoop, J. From DFA-frameworks to DFA-generators: A unifying multiparadigm approach.
  In Proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99) (Amsterdam, The Netherlands, March 22 - 26, 1999), Springer-Verlag, Heidelberg, LNCS 1579 (1999), 360 - 374.

• Knoop, J., Rüthing, O., and Steffen, B. Expansion-based removal of semantic partial redundancies.
  In Proceedings of the 8th International Conference on Compiler Construction (CC'99) (Amsterdam, The Netherlands, March 22 - 26, 1999), Springer-Verlag, Heidelberg, LNCS 1575 (1999), 91 - 106.

• Knoop, J. Parallel constant propagation.
  In Proceedings of the 4th European Conference on Parallel Processing (Euro-Par'98) (Southampton, UK, September 1 - 4, 1998), Springer-Verlag, Heidelberg, LNCS 1470 (1998), 445 - 455.

• Knoop, J. Formal callability and its relevance and application to interprocedural data-flow analysis.
  In Proceedings of the 6th IEEE Computer Society 1998 International Conference on Computer Languages (ICCL'98) (Chicago, IL, USA, May 14 - 16, 1998), IEEE Computer Society, Los Alamitos, California, (1998), 252 - 261.

• Knoop, J., Koschützki, D., and Steffen, B. Basic-block graphs: Living dinosaurs?
  In Proceedings of the 7th International Conference on Compiler Construction (CC'98) (Lisbon, Portugal, March 30 - April 3, 1998), Springer-Verlag, Heidelberg, LNCS 1383 (1998), 65 - 79.

• Knoop, J., Rüthing, O., and Steffen, B. Code motion and code placement: Just synonyms?
  In Proceedings of the 7th European Symposium On Programming (ESOP'98) (Lisbon, Portugal, March 30 - April 3, 1998), Springer-Verlag, Heidelberg, LNCS 1381 (1998), 154 - 169.

• Knoop, J., and Mehofer, E. Interprocedural distribution assignment placement: More than just enhancing intraprocedural placing techniques.
  In Proceedings of the 5th IEEE International Conference on Parallel Architectures and Compilation Techniques (PACT'97) (San Francisco, CA, USA, November 11 - 15, 1997), IEEE Computer Society, Los Alamitos, California, (1997), 26 - 37.

• Knoop, J., and Schreiber, F. Analysing and optimizing strongly typed object-oriented languages: A generic approach and its application to Oberon-2.
  In Proceedings of the 2nd International Symposium on Object-Oriented Technology ``The White OO Nights'' (WOON'97) (St. Petersburg, Russia, September 18 - 19, 1997), (1997), 252 - 266.

• Knoop, J., and Mehofer, E. Optimal distribution assignment placement.
  In Proceedings of the 3rd European Conference on Parallel Processing (Euro-Par'97) (Passau, Germany, August 26 - 29, 1997), Springer-Verlag, Heidelberg, LNCS 1300 (1997), 364 - 373.

• Knoop, J. Partial dead code elimination for parallel programs.
  In Proceedings of the 2nd European Conference on Parallel Processing (Euro-Par'96) (Lyon, France, August 26 - 29, 1996), Springer-Verlag, Heidelberg, LNCS 1123 (1996), 441 - 450.

• Knoop, J., and Golubski, W. Abstract interpretation: A uniform framework for type analysis and classical optimization of object-oriented programs.
  In Proceedings of the 1st International Symposium on Object-Oriented Technology ``The White OO Nights'' (WOON'96) (St. Petersburg, Russia, June 20 - 21, 1996), (1996), 126 - 142.

• Geser, A., Knoop, J., Lüttgen, G., Rüthing, O., and Steffen, B. Non-monotone fixpoint iterations to resolve second order effects.
  In Proceedings of the 6th International Conference on Compiler Construction (CC'96) (Linköping, Sweden, April 24 - 26, 1996), Springer-Verlag, Heidelberg, LNCS 1060 (1996), 106 - 120.

• Knoop, J., Steffen, B., and Vollmer, J. Code motion for parallel programs.
  In Proceedings of the Poster Session of the 6th International Symposium on Compiler Construction (CC'96) (Linköping, Sweden, April 24 - 26, 1996), Department of Computer and Information Sciences, Linköping University, Technical Report LiTH-IDA-R-96-12 (1996), 81 - 88.

• Knoop, J., Steffen, B., and Vollmer, J. Parallelism for free: Bitvector analyses => No state explosion!
  In Proceedings of the 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'95) (Aarhus, Denmark, May 19 - 20, 1995), Springer-Verlag, Heidelberg, LNCS 1019 (1995), 264 - 289.

• Knoop, J., Steffen, B., and Vollmer, J. Parallelism for free: Efficient and optimal bitvector analyses for parallel programs.
  In Preliminary Proceedings of the 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'95) (Aarhus, Denmark, May 19 - 20, 1995), BRICS Notes Series NS-95-2 (1995), 319 - 333.

• Knoop, J., Rüthing, O., and Steffen, B. The power of assignment motion.
  In Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI'95) (La Jolla, CA, USA, June 18 - 21, 1995), ACM SIGPLAN Notices 30, 6 (1995), 233 - 245.

• Knoop, J., Rüthing, O., and Steffen, B. Partial dead code elimination.
  In Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI'94) (Orlando, FL, USA, June 20 - 24, 1994), ACM SIGPLAN Notices 29, 6 (1994), 147 - 158.

• Knoop, J., and Steffen, B. The interprocedural coincidence theorem.
  In Proceedings of the 4th International Conference on Compiler Construction (CC'92) (Paderborn, Germany, October 5 - 7, 1992), Springer-Verlag, Heidelberg, LNCS 641 (1992), 125 - 140.

• Knoop, J., and Steffen, B. Optimal interprocedural partial redundancy elimination.
  In Proceedings of the Poster Session of the 4th International Conference on Compiler Construction (CC'92) (Paderborn, Germany, October 5 - 7, 1992), Department of Computer Science, University of Paderborn, Technical Report 103 (1992), 36 - 39.

• Knoop, J., Rüthing, O., and Steffen, B. Lazy code motion.
  In Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI'92) (San Francisco, CA, USA, June 17 - 19, 1992), ACM SIGPLAN Notices 27, 7 (1992), 224 - 234.

  Recorded in 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation (1979 - 1999): A Selection, ACM SIGPLAN Notices 39, 4 (2004), 460 - 461 & 462-472.

• Steffen, B., Knoop, J., and Rüthing, O. Efficient code motion and an adaption to strength reduction.
  In Proceedings of the 4th International Joint Conference on Theory and Practice of Software Development (TAPSOFT'91) (Brighton, United Kingdom, April 8 - 12, 1991), Springer-Verlag, Heidelberg, LNCS 494 (1991), 394 - 415.

• Steffen, B., Knoop, J., and Rüthing, O. The value flow graph: A program representation for optimal program transformations.
  In Proceedings of the 3rd European Symposium on Programming (ESOP'90) (Copenhagen, Denmark, May 15 - 18, 1990), Springer-Verlag, Heidelberg, LNCS 432 (1990), 389 - 405.

• Steffen, B., and Knoop, J. Finite constants: Characterizations of a new decidable set of constants.
  In Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science (MFCS'89) (Porabka-Kozubnik, Poland, August 28 - September 1, 1989), Springer-Verlag, Heidelberg, LNCS 379 (1989), 481 - 491.

Back to top

Conferences: Refereed Tool Demonstrations

• Biere, A., Knoop, J., Kovács, L., and Zwirchmayr, J. SmacC: A Retargetable Symbolic Execution Engine. In Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA 2013) (Hanoi, Vietnam, October 15-18, 2013) Springer-Verlag, Heidelberg, LNCS 8172 (2013), 482 - 486.

• Zwirchmayr, J., Kovács, L., and Knoop, J. r-TuBound: Loop Bounds for WCET Analysis. In Proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), (Merida, Venezuela, March 11-15, 2012). Springer-Verlag, Heidelberg, LNCS 7180 (2012), 435 - 444.

• Braun, V., Knoop, J., and Koschützki, D. Cool: A control-flow generator for system analysis.
  In Proceedings of the 7th International Conference on Compiler Construction (CC'98) (Lisbon, Portugal, March 30 - April 3, 1998), Springer-Verlag, Heidelberg, LNCS 1383 (1998), 306 - 309.

• Klein, M., Knoop, J., Koschützki, D., and Steffen, B. DFA&OPT-METAFrame: A tool kit for program analysis and optimization.
  In Proceedings of the 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96) (Passau, Germany, March 27 - 29, 1996), Springer-Verlag, Heidelberg, LNCS 1055 (1996), 422 - 426.

Back to top

Workshops: Technical Reports as Proceedings

• Hepp, St., Huber, B., Knoop, J., Prokesch, D., Puschner, P. The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration. Proceedings 18th Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015), (Pörtschach, Austria, October 5-7 2015), Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2015-IX-1 (2015), 277-292.

• Knoop, J., Brandner, F. Exchange between the German and French Compiler Communities. In Proceedings 18th Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015), (Pörtschach, Austria, October 5-7 2015), Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2015-IX-1 (2015), 83 - 84.

• Knoop, J., Kovács, L., Zwirchmayr, J. Turning Conjectures into Positive Knowledge: Proving Precision of Worst-Case Execution-Time Bounds. In Proceedings 17th Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2013), (Lutherstadt Wittenberg, Germany, 30 September - 2 October 2013)

• Knoop, J., Kovács, L., Zwirchmayr, J. WCET Squeezing: A Practical Approach for Proven Precise WCET Bounds. In Proceedings of the 30th Annual Workshop of the GI-FG 2.1.4 "Programmiersprachen und Rechenkonzepte" (Physikzentrum Bad Honnef, Germany, 6-8 May 2013) (to appear)

• Knoop, J., Kovács, L., Zwirchmayr, J. Portable Worst-Case Execution Time Analysis via Flow Facts in XML. In Proceedings of the 29th Annual Workshop of the GI-FG 2.1.4 "Programmiersprachen und Rechenkonzepte" (Physikzentrum Bad Honnef, Germany, 2-4 May 2012) (to appear)

• Zwirchmayr, J., Knoop, J., Kovács, L. An Evaluation of WCET Analysis using Symbolic Loop Bounds (abstract). In Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2011)", Westfälische Wilhelms-Universität Münster, Bericht 132 (2011), S. 200.

• Prantl, A., Knoop, J., Kirner, R., Kadlec, A., and Schordan, M. Towards an Orchestrated Approach for Annotation Verification. In Proceedings of the 27th Annual Workshop of the GI-FG 2.1.4 "Programmiersprachen und Rechenkonzepte" (Physikzentrum Bad Honnef, Germany, 3-5 May 2010), Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 1010, 2010, 71 - 85.

• Prantl, A., Knoop, J., Kirner, R., Kadlec, A., and Schordan, M. From Trusted Annotations to Verified Knowledge. In Programm- und Vortragskurzzusammenfassungsheft des 15. Kolloquiums Programmiersprachen und Grundlagen der Programmierung (KPS 2009), (Maria Taferl, Österreich, 12.-14. Oktober 2009), Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3 (2009), S. 13.

• Prantl, A., Knoop, J., Kirner, R., Kadlec, A., and Schordan, M. From Trusted Annotations to Verified Knowledge. In Tagungsband des 15. Kolloquiums Programmiersprachen und Grundlagen der Programmierung (KPS 2009), (Maria Taferl, Österreich, 12.-14. Oktober 2009), Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 155 - 166.

• Altman, E, Childers, B. R., Cohn, R., Davidson, J., De Brosschere, K., De Sutter, B., Ertl, M. A., Franz, M., Gu, Y., Hauswirth, M., Heinz, Th., Hsu, W.-Ch., Knoop, J., Krall, A., Kumar, N., Maebe, J., Muth, R., Rival, X., Rohou, E., Rosner, R., Soffa, M. L., Troeger, J., and Vick, Ch. 08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation. Bruce R. Childers, Jack Davidson, Koen De Bosschere, and Mary Lou Soffa (Eds.). Dagstuhl Seminar Proceedings. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, Number 08441, ISSN 1862-4405, 2009, 11 pages.

• Holsti, N., Gustafsson, J., Bernat, G. (eds.), Ballabriga, C., Bonenfant, A., Bourgade, R., Cassè, H., Cordes, D., Kadlec, A., Kirner, R., Knoop, J., Lokciejewski, P., Merriam, N., De Michiel, M., Prantl, A., Rieder, B., Rochange, C., Sainrat, P., and Schordan, M. WCET Tool Challenge 2008: Report. In Post-Workshop Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008), (Prague, Czech Republic, July 1, 2008). Austrian Computer Society, Volume 237, ISBN 978-3-85403-237-3, 149 - 171.
  Also: Schloß Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2008, ISBN 978-3-939897-10-1, 23 pages.

• Knoop, J. Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis.
  In Electronic Proceedings of the Dagstuhl-Seminar 08161 on "Scalable Program Analysis", Dagstuhl Seminar Proceedings, ISSN 1862-4405, (Schloß Dagstuhl - Leibniz-Zentrum für Informatik, Wadern, Germany), (2008), 14 pages.

• Kadlec, A., Kirner, R., Puschner, P., Prantl, A., Schordan, M., and Knoop, J. Towards a Common WCET Annotation Language: Essential Ingredients.
  In Proceedings of the 25th Annual Workshop of the GI-FG 2.1.4 "Programmiersprachen und Rechenkonzepte'' (Physikzentrum Bad Honnef, Germany, May 5 - 7, 2008), Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 0811 (2008), 104 - 116.

• Kadlec, A., Kirner, R., Knoop, J., Prantl, A., Schordan, M., and Wenzel, I. WCET Annotation Languages Reconsidered: The Annotation Language Challenge.
  In Proceedings of the 25th Annual Workshop of the GI-FG 2.1.4 "Programmiersprachen und Rechenkonzepte'' (Physikzentrum Bad Honnef, Germany, May 5 - 7, 2008), Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 0811 (2008), 93 - 103.

• Prantl, A., Schordan, M., and Knoop, J. TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis.
  In Proceedings of the 25th Annual Workshop of the GI-FG 2.1.4 "Programmiersprachen und Rechenkonzepte'' (Physikzentrum Bad Honnef, Germany, May 5 - 7, 2008), Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 0811 (2008), 117 - 126.

• Knoop, J. Data-Flow Analysis for Hot-Spot Program Optimization.
  In Proceedings of the 14th Biennial Workshop on "Programmiersprachen und Grundlagen der Programmierung'' (Timmendorfer Strand, Germany, October 10 - 12, 2007), Bericht A-07-07 der Institute für Informatik und Mathematik, Universität Lübeck, Germany, (2007), 124 - 131.

• Knoop, J. Demand-driven analysis of explicitly parallel programs: An approach based on reverse data-flow analysis.
  In Proceedings of the 9th International Workshop on Compilers for Parallel Computers (CPC 2001) (Edinburgh, Scotland, UK, June 27 - 29, 2001), 151 - 162.

• Rüthing, O., Knoop, J., and Steffen, B. Code-Size Sensitive Partial Redundancy Elimination.
  In Proceedings of the 17th Annual Workshop of the GI-FG 2.1.4 "Programmiersprachen und Rechenkonzepte'' (Physikzentrum Bad Honnef, Germany, May 8 - 10, 2000), Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 2007 (2000), 25 - 35.

• Knoop, J. Demand-driven data-flow analysis of explicitly parallel programs.
  In Proceedings of the 10th Biennial Workshop of the RWTH Aachen, CAU Kiel, and TU München on "Programming Languages and Fundamentals of Programming'' (Kirchhundem-Heinsberg, Germany, September 26 - 30, 1999), FernUniversität in Hagen, Germany, Informatik Berichte 263 - 1/2000 (2000), 113 - 120.

• Rüthing, O., Knoop, J., and Steffen, B. Global Value Numbering: A New Approach Combining Efficiency with Precision.
  In Proceedings of the 10th Biennial Workshop of the RWTH Aachen, CAU Kiel, and TU München on "Programming Languages and Fundamentals of Programming'' (Kirchhundem-Heinsberg, Germany, September 26 - 30, 1999), FernUniversität in Hagen, Germany, Informatik Berichte 263 - 1/2000 (2000), 121 - 130.

• Knoop, J., and Rüthing, O. The impact of paradigm shifts on safety and optimality of code motion.
  In Proceedings of the Joint 16th Annual Workshop of the GI-FG 2.1.4 "Alternative Konzepte für Sprachen und Rechner'' and the 11th Workshop of the GI-FG 3.6.2 "German ENCRESS", the German Member of the European Network of Clubs for Reliability and Safety of Software-Intensive Systems, on "Sicherheit und Zuverlässigkeit software-basierter Systeme'', (Physikzentrum Bad Honnef, Germany, May 3 - 5, 1999), Institut für Sicherheitstechnologie (ISTec) GmbH, Abteilung Leittechnik, Garching, Germany, Bericht ISTec-A-367 (1999), 6 - 20.

• Knoop, J. Constant propagation in parallel programs.
  In Proceedings of the Joint 7th International Workshop on Functional and Logic Programming and the 15th Annual Workshop of the GI-FG 2.1.4 "Alternative Konzepte für Sprachen und Rechner''(Physikzentrum Bad Honnef, Germany, April 27 - 29, 1998), Institut für Wirtschaftsinformatik, Westfälische Wilhelms-Universität Münster, Germany, Working Paper No. 63, 1998, 14 pages.

• Knoop, J., and Koschützki, D. From programs to program graphs automatically: A general and flexible control-flow analysis generator.
  In Proceedings of the 9th Biennial Workshop of the RWTH Aachen, CAU Kiel, and TU München on "Programming Languages and Fundamentals of Programming'' (Avendorf, Insel Fehmarn, Germany, September 24 - 26, 1997), Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9717 (1997), 64 - 74.

• Knoop, J., and Mehofer, E. Interprocedural distribution assignment placement: Analogies and differences to the intraprocedural setting.
  In Proceedings of the 9th Biennial Workshop of the RWTH Aachen, CAU Kiel, and TU München on "Programming Languages and Fundamentals of Programming'' (Avendorf, Insel Fehmarn, Germany), Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9717 (1997), 75 - 85.

• Knoop, J., and Schreiber, F. Type analysis and type-test elimination in Oberon-2.
  In Proceedings of the 9th Biennial Workshop of the RWTH Aachen, CAU Kiel, and TU München on "Programming Languages and Fundamentals of Programming'' (Avendorf, Insel Fehmarn, Germany, September 24 - 26, 1997), Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9717 (1997), 240 - 250.

• Knoop, J., and Mehofer, E. A powerful and flexible approach for distribution assignment placement.
  In Proceedings of the 14th Annual Workshop of the GI-FG 2.1.4 "Alternative Konzepte für Sprachen und Rechner'' (Physikzentrum Bad Honnef, Germany, April 28 - 30, 1997), Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9712 (1997), 77 - 84.

• Knoop, J.. Partial dead code elimination for parallel programs.
  In joint Proceedings of the 13th Annual Workshop of the GI-FG 2.1.4 "Alternative Konzepte für Sprachen und Rechner'' and the 15th Workshop of the GI-ITG-FG 3.1.2 "Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS)'' on "Programmiersprachen und hardware-nahe Programmierung'' (Physikzentrum Bad Honnef, Germany, May 13 - 15, 1996), Mitteilungen - Gesellschaft für Informatik e.V., Parallel-Algorithmen und Rechnerstrukturen Nr. 15, (1996), 31 - 40.

• Knoop, J., and Golubski, W. Precise type analysis by means of abstract interpretation.
  In joint Proceedings of the 13th Annual Workshop of the GI-FG 2.1.4 "Alternative Konzepte für Sprachen und Rechner'' and the 15th Workshop of the GI-ITG-FG 3.1.2 "Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS)'' on "Programmiersprachen und hardware-nahe Programmierung'' (Physikzentrum Bad Honnef, Germany, May 13 - 15, 1996), Mitteilungen - Gesellschaft für Informatik e.V., Parallel-Algorithmen und Rechnerstrukturen Nr. 15, (1996), 59 - 68.

• Knoop, J. Coincidence theorems: The backbone of powerful and user-friendly data flow analysis frameworks.
  In: Margaria, T. (Ed.). Proceedings of the 8th Workshop of the RWTH Aachen, CAU Kiel, and TU München on "Programmiersprachen und Grundlagen der Programmierung'' (Adalbert-Stifter-Haus, Altreichenau, Germany), Fakultät für Mathematik und Informatik, Universität Passau, MIP-Bericht 9519 (1995), 132 - 138.

• Knoop, J., Steffen, B., and Vollmer, J. Optimal code motion for parallel programs.
  In Proceedings of the 12th Annual Workshop of the GI-FG 2.1.4 "Alternative Konzepte für Sprachen und Rechner'' (Physikzentrum Bad Honnef, Germany), Institut für Informatik, Universität Koblenz-Landau, Fachberichte Informatik, Bericht Nr. 01/96 (1996), 5 pages.

• Knoop, J., Rüthing, O., and Steffen, B. A tool kit for constructing optimal interprocedural data flow analyses.
  In: Snelting, G., and Meyer, U. (Eds.). Proceedings of the Workshop of the GI-FG 2.1.3 on "Semantikgestützte Analyse, Entwicklung und Generierung von Programmen'' (Schloß Rauischholzhausen, Ebsdorfergrund, Germany), Justus-Liebig-Universität Gießen, Bericht 9402 (1994), 143 - 154.

• Knoop, J. Higher order data flow analysis.
  In: Berghammer, R., and Schmidt, G. (Eds.). Proceedings of the 7th Workshop of the RWTH Aachen, CAU Kiel, and TU München on "Programmiersprachen und Grundlagen der Programmierung'' (Barbarahütte, Garmisch-Partenkirchen, Germany), Fakultät für Informatik, Universität der Bundeswehr München, Bericht 9309 (1993), 258 - 270.

• Knoop, J., Rüthing, O., and Steffen, B. Lazy strength reduction. Extended Abstract.
  In: Kandzia, P. (Ed.). Proceedings of the 5th Workshop "Küsteninformatik'' (Kiel, Germany), Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9303 (1993), 23 - 28.

• Knoop, J., Rüthing, O., and Steffen, B. Lazy code motion. Extended Abstract.
  In: Kandzia, P. (Ed.). Proceedings of the 5th Workshop "Küsteninformatik'' (Kiel, Germany), Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9303 (1993), 29 - 33.

• Knoop, J., and Steffen, B. Optimal interprocedural data flow analysis.
  In: Lippe, W.-M., and Stroot, G. (Eds.). Proceedings of the 6th Workshop of the RWTH Aachen, CAU Kiel, and TU München on "Programmiersprachen - Methoden, Semantik, Implementierungen'' (Landhaus Rothenberge, Germany), Institut für Angewandte Mathematik und Informatik, Universität Münster, Bericht 7/92-I (1992), 46 - 64.

• Knoop, J., Rüthing, O., and Steffen, B. Lazy code motion.
  In: Lippe, W.-M., and Stroot, G. (Eds.). Proceedings of the 6th Workshop of the RWTH Aachen, CAU Kiel, and TU München on "Programmiersprachen - Methoden, Semantik, Implementierungen'' (Landhaus Rothenberge, Germany), Institut für Angewandte Mathematik und Informatik, Universität Münster, Bericht 7/92-I (1992), 205 - 217.

• Steffen, B., and Knoop, J. Constant propagation via finite constants and finite interprocedural constants.
  In: Dosch, W. (Ed.). Proceedings of the 5th Workshop of the RWTH Aachen, CAU Kiel, and TU München on "Funktionale und Logische Programmierung - Sprachen, Methoden, Implementationen'' (Hirschegg/Kleinwalsertal, Austria), Institut für Mathematik, Universität Augsburg, Report Nr. 214 (1989), 146 - 150.

• Steffen, B., Knoop, J., and Rüthing, O. Partial redundancy elimination via optimal placement of computations.
  In: Dosch, W. (Ed.). Proceedings of the 5th Workshop of the RWTH Aachen, CAU Kiel, and TU München on "Funktionale und Logische Programmierung - Sprachen, Methoden, Implementationen'' (Hirschegg/Kleinwalsertal, Austria), Institut für Mathematik, Universität Augsburg, Report Nr. 214 (1989), 139 - 145.

• Steffen, B., and Knoop, J. Ein optimales interpretationsunabhängiges Datenflußanalyseverfahren.
  In: Simon, F. (Ed.). Proceedings of the 4th Workshop of the RWTH Aachen, CAU Kiel, and TU München on "Programmspezifikation'' (Midlum/Föhr, Germany), Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Bericht Nr. 8711 (1987), 35 pages.

Back to top

Technical Reports

• Kirner, R., Kadlec, A., Prantl, A., Schordan, M., Knoop, J. Essential Ingredients for a WCET Annotation Language.
  Institut für Technische Informatik, TU Wien, TR 10/2008 (2008).

• Knoop, J., Collard, J.-F., Ju, R. D. Partial redundancy elimination on predicated code: Motivation and algorithm.
  Fachbereich Informatik, Universität Dortmund, Germany, Forschungsbericht Nr. 731/2000 (2000), 34 pages.

• Rüthing, O., Knoop, J., and Steffen, B. Sparse code motion.
  Fachbereich Informatik, Universität Dortmund, Germany, Forschungsbericht Nr. 712/1999 (1999), 31 pages.

• Knoop, J. Parallel data-flow analysis of explicitly parallel programs.
  Fachbereich Informatik, Universität Dortmund, Germany, Forschungsbericht Nr. 707/1999 (1999), 24 pages.

• Knoop, J. Constant propagation in explicitly parallel programs.
  Fakultät für Mathematik und Informatik, Universität Passau, Germany, MIP-Bericht Nr. 9809 (1998), 19 pages.

• Collard, J.-F., and Knoop, J. A comparative study of reaching-definitions analyses.
  University of Versailles, Technical Report 1998/22 (1998), 17 pages.

• Knoop, J., and Mehofer, E. Interprocedural distribution assignment placement: More than just enhancing intraprocedural placing techniques.
  Institut für Software Technologie und Parallele Systeme, Universität Wien, Austria, Technischer Bericht TR 98-1 (1998), 12 pages.

• Braun, V., Knoop, J., and Koschützki, D. Cool: A control-flow generator for system analysis..
  Fakultät für Mathematik und Informatik, Universität Passau, Germany, MIP-Bericht Nr. 9801 (1998), 16 pages.

• Knoop, J., Rüthing, O., and Steffen, B. Code motion and code placement: Just Synonyms?
  Fakultät für Mathematik und Informatik, Universität Passau, Germany, MIP-Bericht Nr. 9716 (1997), 20 pages.

• Knoop, J., Koschützki, D., and Steffen, B. Basic-block graphs: Living dinosaurs?
  Fakultät für Mathematik und Informatik, Universität Passau, Germany, MIP-Bericht Nr. 9715 (1997), 29 pages.

• Knoop, J., and Mehofer, E. Distribution assignment placement: A new aggressive approach for optimizing redistribution costs.
  Institut für Software Technologie und Parallele Systeme, Universität Wien, Austria, Technischer Bericht TR 97-6 (1997), 23 pages.

• Knoop, J., Rüthing, O., and Steffen, B. Syntactic versus semantic code motion: Analogies and essential differences.
  Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9616 (1996), 16 pages.

• Knoop, J., Rüthing, O., and Steffen, B. Towards a tool kit for the automatic generation of interprocedural data flow analyses.
  Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9615 (1996), 42 pages.

• Knoop, J., and Golubski, W. Precise type analysis by abstract interpretation.
  Fakultät für Mathematik und Informatik, Universität Passau, Germany, MIP-Bericht Nr. 9619 (1996), 26 pages.

• Knoop, J. Eliminating partially dead code in explicitly parallel programs.
  Fakultät für Mathematik und Informatik, Universität Passau, Germany, MIP-Bericht Nr. 9618 (1996), 26 pages.

• Geser, A., Knoop, J., Lüttgen, G., Rüthing, O., and Steffen, B. Non-monotone fixpoint iterations to resolve second order effects.
  Department of Computer Science, North Carolina State University, Raleigh, North Carolina, Technical Report 9601 (1996), 18 pages.

• Knoop, J., Steffen, B, and Vollmer, J. Optimal code motion for parallel programs.
  Fakultät für Mathematik und Informatik, Universität Passau, Germany, MIP-Bericht Nr. 9511 (1995), 30 pages.

• Knoop, J., Rüthing, O., and Steffen, B. A tool kit for constructing optimal interprocedural data flow analyses.
  Fakultät für Mathematik und Informatik, Universität Passau, Germany, MIP-Bericht Nr. 9413 (1994), 26 pages.

• Knoop, J., Steffen, B., and Vollmer, J. Parallelism for free: Efficient and optimal bitvector analyses for parallel programs.
  Fakultät für Mathematik und Informatik, Universität Passau, Germany, MIP-Bericht Nr. 9409 (1994), 29 pages.

• Geser, A., Knoop, J., Lüttgen, G., Rüthing, O., and Steffen, B. Chaotic fixed point iterations.
  Fakultät für Mathematik und Informatik, Universität Passau, Germany, MIP-Bericht Nr. 9403 (1994), 15 pages.

• Knoop, J., Rüthing, O., and Steffen, B. Partial dead code elimination.
  Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9407 (1994), 18 pages.

• Knoop, J., and Steffen, B. Gemeinsamer Bericht über die Forschungsvorhaben "Vollständige interprozedurale Programmoptimierung'' und "Interprozedurale Datenflußanalysegeneratoren I, II & III''.
  Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9406 (1994), 36 pages.

• Knoop, J., Rüthing, O., and Steffen, B. Optimal code motion: Theory and practice.
  Fakultät für Mathematik und Informatik, Universität Passau, Germany, MIP-Bericht Nr. 9310 (1993), 35 pages.

• Knoop, J., and Steffen, B. Efficient and optimal bit-vector data flow analyses: A uniform interprocedural framework.
  Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9309 (1993), 22 pages.

• Knoop, J., Rüthing, O., and Steffen, B. Lazy strength reduction.
  Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9216 (1992), 25 pages.

• Knoop, J., Rüthing, O., and Steffen, B. Lazy code motion.
  Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9208 (1992), 17 pages.

• Knoop, J., and Steffen, B. Unifying strength reduction and semantic code motion.
  Rheinisch-Westfälische Technische Hochschule Aachen, Germany, Aachener Informatik-Berichte Nr. 91-28 (1991), 42 pages.

• Knoop, J., and Steffen, B. The interprocedural coincidence theorem.
  Rheinisch-Westfälische Technische Hochschule Aachen, Germany, Aachener Informatik-Berichte Nr. 91-27 (1991), 29 pages.

• Knoop, J., and Steffen, B. Strength reduction based on code motion: A uniform approach.
  Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9103 (1991), 30 pages.

• Steffen, B., Knoop, J., and Rüthing, O. Optimal code motion within flow graphs: A practical approach.
  Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9102 (1991), 37 pages.

• Steffen, B., Knoop, J., and Rüthing, O. The value flow graph: A program representation for optimal program transformations.
  Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 9004 (1990), 30 pages.

• Steffen, B., and Knoop, J. Finite constants: Characterizations of a new decidable set of constants.
  Laboratory for Foundations of Computer Science, University of Edinburgh, United Kingdom, LFCS Report Series, ECS-LFCS-89-79 (1989), 19 pages.

• Steffen, B., and Knoop, J. Finite constants: Characterizations of a new decidable set of constants.
  Extended Abstract. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 8809 (1988), 13 pages.

• Steffen, B., and Knoop, J. Partial redundancy elimination: A general and complete algorithm.
  Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Germany, Bericht Nr. 8806 (1988), 10 pages.

Back to top

Editor of Proceedings and Journal Issues

• Knoop, J., Schordan, M., Johnson, T., and O'Boyle, M.F.P. 16th International Symposium on Code Generation and Optimization (CGO 2018), Vösendorf / Vienna, Austria, February 24-28, 2018. Proceedings. ISBN 978-1-4503-5617-6, 377 pages, ACM, 2018.

• Knoop, J., Karl, W., Schulz, M., Inoue, K., and Pionteck, Th. 30th International Conference on Architecture of Computing Systems (ARCS 2017), Vienna, Austria, April 3-6, 2017, Proceedings. Lecture Notes in Computer Science 10172, ISBN 978-3-319-54998-9, 267 Seiten, Springer-V., 2017.

• Knoop, J. and Zdun, U. 12. Konferenz Software Engineering (SE 2016), Fachtagung des GI-Fachbereichs Softwaretechnik, Vienna, Austria, February 23-26, 2016, GI-Edition, Lecture Notes in Informatics (LNI) - Proceedings, Series of the Gesellschaft für Informatik (BI), Band P-252 (2016), ISBN 978-3-88579-646-6, ISSN 1617-5468, 130 pages.

• Knoop, J. and Ertl, M. A. Tagungsband des 18. Kolloquiums Programmiersprachen und Grundlagen der Programmierung (KPS 2015), (Pörtschach, Österreich, 5.-7. Oktober 2015), Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2015-IX-1 (2015), 713 pages.

• Knoop, J. Proceedings of the 11th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2015) (Auckland, New Zealand, April 13, 2015), IEEE DL, 2015.

• Hähnle, R., Knoop, J., Margaria, T., Schreiner, D., and Steffen, B. Leveraging Applications of Formal Methods, Verification, and Validation. Proceedings of the International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 (Vienna, Austria, October 17-18, 2012), Communications in Computer and Information Science CCIS 336, Springer-V., Revised selected papers, 261 pages, 2012.

• Salapura, V., Gschwind, M., Knoop, J. Special Issue on Parallel Systems and Compilers of the International Journal of Parallel Programming, devoted to the 19th ACM/IEEE Interational Conference on Parallel Architectures and Compilation Techniques (PACT 2010), (Vienna, Austria, September 11 -15, 2010). Volume 40, Number 1, 1 - 140, February 2012.

• Knoop, J. Proceedings of the 20th International Conference on Compiler Construction (CC 2011) (Saarbrücken, Germany, March 28-29, 2011), LNCS 6601, Springer-V., 307 pages, March 2011.

• Salapura, V., Gschwind, M., Knoop, J. Proceedings of the 19th ACM/IEEE Interational Conference on Parallel Architectures and Compilation Techniques (PACT 2010), (Vienna, Austria, September 11 - 15, 2010), ACM New York, 578 pages, September 2010.

• Knoop, J. and Prantl, A. 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Programm und Vortragskurzzusammenfassungen (KPS 2009), (Maria Taferl, Österreich, 12.-14. Oktober 2009), Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3 (2009), 35 pages.

• Knoop, J. and Prantl, A. 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung - Ergänzungsband (KPS 2009), (Maria Taferl, Österreich, 12.-14. Oktober 2009), Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-2 (2009), 56 pages.

• Knoop, J. and Prantl, A. Tagungsband des 15. Kolloquiums Programmiersprachen und Grundlagen der Programmierung (KPS 2009), (Maria Taferl, Österreich, 12.-14. Oktober 2009), Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 301 pages.

• Knoop, J. and Zimmermann, W., Editors, Preliminary Proceedings of the 8th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2009) (York, UK, March 22, 2009), in conjunction with ETAPS 2009.

• Drechsler, R., Glesner, S., Knoop, J., Zimmermann, W., Editors, Preliminary Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008) (Budapest, Hungary, April 5, 2008), in conjunction with ETAPS 2008.

• Glesner, S., Knoop, J., Drechsler, R., Guest Editors, Electronic Notes in Theoretical Computer Science, Volume 190, Issue 4, Pages 1-82 (2 November 2007). Proceedings of the 6th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2007) (Braga, Portugal, March 25, 2007), in conjunction with ETAPS 2007.

• Knoop, J., Necula, G. C., and Zimmermann, W., Guest Editors, Electronic Notes in Theoretical Computer Science, Volume 176, Issue 3, Pages 1-122 (19 July 2007). Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006) (Vienna, Austria, April 2, 2006), in conjunction with ETAPS 2006.

• Skala, Vaclav (Ed.), Knoop, J. (Guest Ed.). Special issue of the Journal of .NET Technologies; selected papers from the 4th International Conference in Central Europe on .NET Technologies (.NET Technologies 2006), Volume 4, Number 1, 2006, ISSN 1801-2108.

• Knoop, J., Skala, V. Proceedings of the 4th International Conference in Central Europe on .NET Technologies (.NET Technologies 2006), Full Papers, ISBN 80-86943-10-0.

• Knoop, J., Skala, V. Proceedings of the 4th International Conference in Central Europe on .NET Technologies (.NET Technologies 2006), Short Communication Papers, ISBN 80-86943-11-9.

• Knoop, J., Skala, V. Proceedings of the 4th International Conference in Central Europe on .NET Technologies (.NET Technologies 2006), Poster Papers, ISBN 80-86943-12-7.

• Knoop, J., George C. Necula, Wolf Zimmermann, and Lenore Zuck, Report on the Dagstuhl-Seminar 05311 Verifying Optimizing Compilers. Schloß Dagstuhl, Germany (To appear).

• Knoop, J., Necula, G. C., and Zimmermann, W., Guest Editors, Electronic Notes in Theoretical Computer Science, Volume 141, Issue 2, Pages 1-120 (7 December 2005). Proceedings of the 4th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2005) (Edinburgh, Scotland, April 3, 2005).

• Erik Altman, James C. Dehnert, Christoph Kessler, and Knoop, J., Report on the Dagstuhl-Seminar 05101 Scheduling for Parallel Architectures: Theory, Applications, Challenges. Schloß Dagstuhl, Germany (To appear).

• Knoop, J., Necula, G. C., and Zimmermann, W., Guest Editors, Electronic Notes in Theoretical Computer Science, Volume 132, Issue 1, Pages 1-148 (30 May 2005). Proceedings of the 3rd International Workshop on Compiler Optimization meets Compiler Verification (COCV 2004) (Barcelona, Spain, April 3, 2004).

• Knoop, J., Lee, J., Midkiff, S. P., and Padua, D., Editors, Report on the Dagstuhl-Seminar 03431 Hardware and Software Consistency Models: Programmability and Performance. Schloß Dagstuhl, Germany.

• Knoop, J., and Zimmermann, W., Guest Editors, Electronic Notes in Theoretical Computer Science, Volume 82, Issue 2, Pages 343-460 (April 2004), Proceedings of the 2nd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2003) (Warsaw, Poland, April 12, 2003).

• Knoop, J., and Zimmermann, W., Guest Editors, J.UCS Special Issue on Compiler Optimization meets Compiler Verification (COCV 2002), vol. 9(3), 2003.

• Knoop, J., and Zimmermann, W., Guest Editors, Electronic Notes in Theoretical Computer Science, Volume 65, Issue 2 (April 2002). Proceedings of the 1st International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2002) (Grenoble, France, April 13, 2002).

• Dulong, C., Gupta, R., Kennedy, R., Knoop, J., and Pierce, J., Editors, Report on the Dagstuhl-Seminar Code Optimisation - Trends, Challenges, and Perspectives. Dagstuhl-Seminar-Report 286, Schloß Dagstuhl, Germany, (2001).

Back to top

Miscellaneous

• Knoop, J., Schreiner, D. Die Roboter kommen - Robotikforschung: Aktuelle Herausforderungen national und international. OCG Journal 1/2013, Jahrgang 38, ISSN 1728-743X, 4 - 6, 2013.

• Knoop, J., Voigtländer, J. 6. Arbeitstagung Programmiersprachen (ATPS 2013). Preface. In Workshop-Proceedings Software Engineering 2013 (SE 2013), Lecture Notes in Informatics 215, 17-20, 2013.

• Knoop, J., Schreiner, D. Software Aspects of Robotic Systems. Track Preface. In Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2012) (Heraclion, Crete, Greece, October 15-18, 2012), Springer-Verlag, Heidelberg, LNCS 7610 (2012), 323.

• Bader, M., Hofmann, Knoop, J., A., Miller, B., Schreiner, D., Vincze, M. Austrian-Kangaroos 2012 - Team Qualification Document (TQD), 5 pages.

• Bader, M., Hofmann, Knoop, J., A., Miller, B., Schreiner, D., Vincze, M. Austrian-Kangaroos 2011 - Team Qualification Document (TQD), 7 pages.

• Knoop, J. Preface, Proceedings of the 20th International Conference on Compiler Construction (CC 2011) (Saarbrücken, Germany, March 28-29, 2011), LNCS 6601, Springer-V., March 2011, VII-VIII.

• Brunthaler, S., and Knoop, J. (as Faculty Mentor). Elimination of Reference Count Operations in Bytecode Interpreters. In Proceedings Junior Scientist Conference 2010 (JSC 2010), (Vienna, Austria, April 7 - 9, 2010), ISBN 978-3-200-01797-9, 39 - 40.

• Schreiner, D. and Knoop, J. (as Faculty Mentor). Component Based Communication Middleware for AUTOSAR. In Proceedings Junior Scientist Conference 2008 (JSC 2008), (Vienna, Austria, November 16 - 18, 2008), ISBN 978-3-200-01612-5, 113 - 114.

• Prantl, A., and Knoop, J. (as Faculty Mentor). An Integrated Source-to-Source Approach for WCET Analysis. In Proceedings Junior Scientist Conference 2008 (JSC 2008), (Vienna, Austria, November 16 - 18, 2008), ISBN 978-3-200-01612-5, 45 - 46.

• Brunthaler, S., and Knoop, J. (as Faculty Mentor). Optimizing the Python Interpreter: Identifying Performance Bottlenecks. In Proceedings Junior Scientist Conference 2008 (JSC 2008), (Vienna, Austria, November 16 - 18, 2008), ISBN 978-3-200-01612-5, 41 - 42.

• Holsti, N., Gustafsson, J., Bernat, G. (eds.), Ballabriga, C., Bonenfant, A., Bourgade, R., Cassè, H., Cordes, D., Kadlec, A., Kirner, R., Knoop, J., Lokciejewski, P., Merriam, N., De Michiel, M., Prantl, A., Rieder, B., Rochange, C., Sainrat, P., and Schordan, M. WCET 2008 Report. In WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Kirner, R. (Ed.), Schloß Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2008, ISBN 978-3-939897-10-1, 1 - 2.

• Kirner, R., Kadlec, A., Puschner, P., Prantl, A., Schordan, M., and Knoop, J., Towards a Common WCET Annotation Language: Essential Ingredients. In WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Kirner, R. (Ed.), Schloß Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2008, ISBN 978-3-939897-10-1, 3 - 4.

• Prantl, A., Schordan, M., and Knoop, J., TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. In WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Kirner, R. (Ed.), Schloß Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2008, ISBN 978-3-939897-10-1, page 7.

• Kirner, R., Knoop, J., Prantl, A., Schordan, M., and Wenzel, I., WCET Analysis: The Annotation Language Challenge. In WCET 2007 Abstracts Collection - 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Rochange, Ch. (Ed.), Schloß Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2008, page 7.

• Knoop, J., Report on ETAPS 2006, The EASST Newsletter, Volume 13, No. 1, June 2006, 42 - 47.

• Knoop, J., Reports of Members of the Extended Boards, The EASST Newsletter, Volume 13, No. 1, June 2006, 39 - 40.

• Knoop, J. Editorial, The Software Analysis and Verification Column, The EASST Newsletter, Volume 13, No. 1, June 2006, 10 - 13.

• Xue, J., Knoop, J. A fresh look at partial redundancy elimination as a maximum flow problem (Abstract).
  23rd Annual Workshop of the GI-FG 2.1.4 "Programmiersprachen und Rechenkonzepte" (Physikzentrum Bad Honnef, Germany, May 3 - 5, 2006). In Softwaretechnik-Trends, Volume 26, Issue 2, ISSN 0720-8928, May 2006, 2 pages.

• Knoop, J. Editorial, The Software Analysis and Verification Column, The EASST Newsletter, Volume 10, No. 1, June 2005, 23 - 24.

• Knoop, J., Editorial, The Software Analysis and Verification Column, The EASST Newsletter, Volume 9, No. 2, December 2004, 9 - 12.

• Knoop, J. Preface, Thematic Session "Program Analysis and Transformation", Preliminary Proceedings of the International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004), Department of Computer Science, University of Cyprus, TR-2004-6, 1 - 2, 2004.

• Gupta, M., Knoop, J., Pingali, K. K., and O'Boyle, M. F. P. Preface, Topic 04 "Compilers for High Performance", Euro-Par 2001: Parallel Processing: 7th International Euro-Par Conference (Manchester, UK, August 28-31, 2001), LNCS 2150, 204 - 206, 2001.

• Chapman, B., Collard, J.-F., Knoop, J., Midkiff, S. P. Preface, Topic 04 "Compilers for High Performance", Euro-Par 2000 - Parallel Processing: 6th International Euro-Par Conference (Munich, Germany, August 29 - September 1, 2000), LNCS 1900, 329-330, 2000.

Back to top