Jens Knoop

发表

WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis

Jan Gustafsson, Pascal Sainrat, Guillem Bernat, 2008, WCET.

Symbolic Loop Bound Computation for WCET Analysis

Jens Knoop, Laura Kovács, Jakob Zwirchmayr, 2011, Ershov Memorial Conference.

WCET Analysis: The Annotation Language Challenge

Raimund Kirner, Jens Knoop, Adrian Prantl, 2007, WCET.

Optimal Distribution Assignment Placement

Jens Knoop, Eduard Mehofer, 1997, Euro-Par.

Architecture of Computing Systems - ARCS 2017 - 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings

Wolfgang Karl, Jens Knoop, Koji Inoue, 2017, ARCS.

Topic 04: Compilers for High Performance

Michael F. P. O'Boyle, Keshav Pingali, Jens Knoop, 2001, Euro-Par.

Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution

Jens Knoop, Laura Kovács, Jakob Zwirchmayr, 2017, J. Symb. Comput..

Basic-Block Graphs: Living Dinosaurs?

Bernhard Steffen, Jens Knoop, Dirk Koschützki, 1998, CC.

Optimal Interprocedural Program Optimization: A New Framework and Its Application

Jens Knoop, 1999 .

Jens Knoop, Wolf Zimmermann, 2003, Electron. Notes Theor. Comput. Sci..

Detecting Equalities of Variables: Combining Efficiency with Precision

Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1999, SAS.

Message from the Workshop Chair for SEUS 2015

Jens Knoop, 2015, ISORC 2015.

Towards a tool kit for the automatic generation of interprocedural data flow analyses

Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1996, J. Program. Lang..

Optimal Intraprocedural Code Motion: The DFA-Algorithms

Jens Knoop, 1998 .

Partial dead code elimination

Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1994, PLDI '94.

Finite Constants: Characterizations of a New Decidable Set of Constants

Bernhard Steffen, Jens Knoop, 1989, MFCS.

Lazy code motion (with retrospective)

Jens Knoop, Bernhard Steffen, Oliver Rüthing, 1992 .

Parallel Data-Flow Analysis of Explicitly Parallel Programs

Jens Knoop, J. Knoop, 1999, Euro-Par.

Interprocedural distribution assignment placement: more than just enhancing intraprocedural placing techniques

Jens Knoop, Eduard Mehofer, 1997, Proceedings 1997 International Conference on Parallel Architectures and Compilation Techniques.

Proceedings of the 20th international conference on Compiler construction: part of the joint European conferences on theory and practice of software

Jens Knoop, 2011 .

Expansion-Based Removal of Semantic Partial Redundancies

Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1999, CC.

TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis

Jens Knoop, Adrian Prantl, Markus Schordan, 2008, WCET.

Jens Knoop, Wolf Zimmermann, 2002, Electron. Notes Theor. Comput. Sci..

Practical experiences of applying source-level WCET flow analysis to industrial code

Jens Knoop, Björn Lisper, Andreas Ermedahl, 2013, International Journal on Software Tools for Technology Transfer.

Vorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013)

Jens Knoop, Janis Voigtländer, 2013, Software Engineering.

Partial Dead Code Elimination for Parallel Programs

Jens Knoop, J. Knoop, 1996, Euro-Par, Vol. I.

Comparison of type-based and alias-based component recognition for embedded systems software

Jens Knoop, Markus Schordan, Gergö Barany, 2012, International Journal on Software Tools for Technology Transfer.

Optimizing for space and time usage with speculative partial redundancy elimination

R. Nigel Horspool, Jens Knoop, Bernhard Scholz, 2004, LCTES '04.

Interprocedural Abstract Interpretation

Jens Knoop, 1998 .

Optimization Under the Perspective of Soundness, Completeness, and Reusability

Jens Knoop, Oliver Rüthing, J. Knoop, 1999, Correct System Design.

The Value Flow Graph: A Program Representation for Optimal Program Transformations

Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1990, ESOP.

Beiträge des 23. Workshops der Fachgruppe 'Programmiersprachen und Rechenkonzepte'

Jens Knoop, Jingling Xue, Michael Hanus, 2006, Softwaretechnik-Trends.

A Cookbook for Optimal Interprocedural Program Optimization

Jens Knoop, 1998 .

An Evaluation of WCET Analysis using Symbolic Loop Bounds

Jens Knoop, Laura Kovács, Jakob Zwirchmayr, 2011, WCET 2011.

Tagungsband des 36ten Jahrestreffens der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte". Proc. of the 36th Annual Meeting of the GI Working Group "Programming Languages and Computing Concepts"

Jens Knoop, Baltasar Trancón y Widemann, Martin Steffen, 2019 .

The Auspicious Couple: Symbolic Execution and WCET Analysis

Armin Biere, Jens Knoop, Laura Kovács, 2013, WCET.

Lazy code motion

Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1992, PLDI '92.

From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach

Jens Knoop, J. Knoop, 1999, TACAS.

Lazy code motion

Bernhard Steffen, Jens Knoop, Oliver Rüthing, 2004, SIGP.

Cool: A Control-Flow Generator for System Analysis

Jens Knoop, Dirk Koschützki, Volker Braun, 1998, CC.

Code Motion and Code Placement: Just Synonyms?

Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1998, ESOP.

Optimal code motion: theory and practice

Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1994, TOPL.

On the Role of Non-functional Properties in Compiler Verification

Jens Knoop, Wolf Zimmermann, 2010, ISoLA.

Code-Size Sensitive Partial Redundancy Elimination

Bernhard Steffen, Jens Knoop, Oliver Rüthing, 2000 .

An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis

Jens Knoop, Javier Esparza, J. Knoop, 1999, FoSSaCS.

Proceedings of the 19th international conference on Parallel architectures and compilation techniques

Jens Knoop, Michael K. Gschwind, Valentina Salapura, 2010, PACT 2010.

WCET TOOL CHALLENGE 2008: REPORT

Guillem Bernat, Albrecht Kadlec, Jens Knoop, 2008 .

Parallel Constant Propagation

Jens Knoop, J. Knoop, 1998, Euro-Par.

The power of assignment motion

Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1995, PLDI '95.

Session details: Best papers

Michael Gschwind, Jens Knoop, 2010, PACT '10.

Scratchpad memory allocation for data aggregates via interval coloring in superperfect graphs

Jens Knoop, Jingling Xue, Lian Li, 2010, TECS.

Efficient Code Motion and an Adaption to Strength Reduction

Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1991, TAPSOFT, Vol.2.

Constant Propagation on Predicated Code

Jens Knoop, Oliver Rüthing, 2003, J. Univers. Comput. Sci..

Parallelism for Free: Bitvector Analyses -> No State Explosion!

Bernhard Steffen, Jens Knoop, Jürgen Vollmer, 1995, TACAS.

Guest Editorial: Parallel Systems and Compilers

Michael Gschwind, Jens Knoop, Valentina Salapura, 2011, International Journal of Parallel Programming.

05101 Abstracts Collection - Scheduling for Parallel Architectures: Theory, Applications, Challenges

Christoph W. Kessler, Erik R. Altman, Jens Knoop, 2005, Scheduling for Parallel Architectures.

Compiler Construction - 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings

Jens Knoop, 2011, CC.

The Programming Language

Jens Knoop, 1998 .

Euro-Par 2001 Parallel Processing

Keshav Pingali, Jens Knoop, Manish Gupta, 2001 .

Compilers for High Performance

Barbara M. Chapman, Samuel P. Midkiff, Jens Knoop, 2000, Euro-Par.

WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds

Jens Knoop, Laura Kovács, Jakob Zwirchmayr, 2013, RTNS '13.

Towards a Common WCET Annotation Language: Essential Ingredients

Albrecht Kadlec, Raimund Kirner, Jens Knoop, 2008, WCET.

Constant Propagation on the Value Graph: Simple Constants and Beyond

Jens Knoop, Oliver Rüthing, Oliver Rüthing, 2000, CC.

From Trusted Annotations to Verified Knowledge

Albrecht Kadlec, Raimund Kirner, Jens Knoop, 2009, WCET.

Non-monotone Fixpoint Iterations to Resolve Second Order Effects

Bernhard Steffen, Jens Knoop, Alfons Geser, 1996, CC.

Optimal Interprocedural Program Optimization

Jens Knoop, J. Knoop, 2000, Lecture Notes in Computer Science.

Software Aspects of Robotic Systems

Jens Knoop, Dietmar Schreiner, 2012, ISoLA.

George C. Necula, Jens Knoop, Wolf Zimmermann, 2005, Electron. Notes Theor. Comput. Sci..

SmacC: A Retargetable Symbolic Execution Engine

Armin Biere, Jens Knoop, Laura Kovács, 2013, ATVA.

The Interprocedural Coincidence Theorem

Bernhard Steffen, Jens Knoop, B. Steffen, 1992, CC.

05101 Executive Summary - Scheduling for Parallel Architectures: Theory, Applications, Challenges

Christoph W. Kessler, Erik R. Altman, Jens Knoop, 2005, Scheduling for Parallel Architectures.

Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach

Jens Knoop, Markus Schordan, Dietmar Schreiner, 2009, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

George C. Necula, Jens Knoop, Wolf Zimmermann, 2005, Electron. Notes Theor. Comput. Sci..

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis

Albrecht Kadlec, Raimund Kirner, Jens Knoop, 2011, Software & Systems Modeling.

Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code

Jens Knoop, Björn Lisper, Andreas Ermedahl, 2010, ISoLA.

Partial Redundancy Elimination on Predicated Code

Roy Dz-Ching Ju, Jens Knoop, Jean-Francois Collard, 2000, SAS.

A Fresh Look at PRE as a Maximum Flow Problem

Jens Knoop, Jingling Xue, J. Knoop, 2006, CC.

A Fresh Look at Partial Redundancy Elimination as a Maximum Flow Problem

Jens Knoop, Jingling Xue, J. Knoop, 2006, Softwaretechnik-Trends.

Optimal Interprocedural Code Motion: The IDFA-Algorithms

Jens Knoop, 1998 .

Sparse code motion

Bernhard Steffen, Jens Knoop, Oliver Rüthing, 2000, POPL '00.

Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis

Jens Knoop, 2008, Scalable Program Analysis.

The T-CREST approach of compiler and WCET-analysis integration

Benedikt Huber, Jens Knoop, Peter P. Puschner, 2013, 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013).

Session details: Keynote address III

Jens Knoop, 2010, PACT '10.

A Comparative Study of Reaching-definitions Analyses

Jens Knoop, Jean-Francois Collard, 1998 .

Optimal Interprocedural Code Motion: The Transformations

Jens Knoop, 1998 .

r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)

Jens Knoop, Laura Kovács, Jakob Zwirchmayr, 2012, LPAR.

08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation

Matthias Hauswirth, Erik R. Altman, Koen De Bosschere, 2008, Emerging Uses and Paradigms for Dynamic Binary Translation.

George C. Necula, Jens Knoop, Wolf Zimmermann, 2007, Electron. Notes Theor. Comput. Sci..

T-CREST: Time-predictable multi-core architecture for embedded systems

Benedikt Huber, Kees G. W. Goossens, Martin Schoeberl, 2015, J. Syst. Archit..

Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation

Jens Knoop, Laurie Hendren, 2002, PLDI 2002.

FFX: a portable WCET annotation language

Armelle Bonenfant, Hugues Cassé, Jens Knoop, 2012, RTNS '12.

Eliminating Partially Dead Code in Explicitly Parallel Programs

Jens Knoop, 1998, Theor. Comput. Sci..

The Interprocedural Setting

Jens Knoop, 1998 .

FROM TRUSTED ANNOTA TIONS TO VERIFIED KNOWLEDGE 1

Albrecht Kadlec, Raimund Kirner, Jens Knoop, 2009 .

Distribution Assignment Placement: Effective Optimization of Redistribution Costs

Jens Knoop, Eduard Mehofer, J. Knoop, 2002, IEEE Trans. Parallel Distributed Syst..

Parallelism for free: bitvector analyses rightarrow no state explosion!

Bernhard Steffen, Jens Knoop, Jürgen Vollmer, 1995 .

Model-Based Code-Generators and Compilers - Track Introduction

Uwe Aßmann, Jens Knoop, Wolf Zimmermann, 2014, ISoLA.

Constraint solving for high-level WCET analysis pdf

Jens Knoop, Adrian Prantl, Markus Schordan, 2009, ArXiv.

Rolf Drechsler, Sabine Glesner, Jens Knoop, 2007, Electron. Notes Theor. Comput. Sci..

Finite Constants: Characterizations of a New Decidable Set of Constants

Bernhard Steffen, Jens Knoop, B. Steffen, 1991, Theor. Comput. Sci..

DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation

Bernhard Steffen, Jens Knoop, Marion Klein, 1996, TACAS.

Demand-Driven Model Checking for Context-Free Processes

Jens Knoop, Jens Knoop, 1999, ASIAN.

Essential Ingredients for a WCET Annotation Language

Albrecht Kadlec, Raimund Kirner, Jens Knoop, 2008 .

Dynamic power management for reactive stream processing on the SCC tiled architecture

Raimund Kirner, Jens Knoop, Michael Zolda, 2016 .

The Fixpoint-Analysis Machine

Tiziana Margaria, Jens Knoop, Marion Klein, 1995, CONCUR.

Scheduling for Parallel Architectures: Theory, Applications, Challenges

Erik R. Altman, Jens Knoop, Christoph Kessler, 2005, Scheduling for Parallel Architectures.

Code motion for explicitly parallel programs

Bernhard Steffen, Jens Knoop, B. Steffen, 1999, PPoPP '99.

Online-Kostenrechnung für die CIM-Planung: prozessorientierte Kostenrechnung zur Ablaufplanung flexibler Fertigungssysteme

Jens Knoop, 1986 .

The platin Tool Kit-The T-CREST Approach for Compiler and WCET Integration

Jens Knoop, Peter Puschner, Daniel Prokesch, 2015 .

Parallelism for Free : E cient and Optimal Bitvector Analyses for Parallel Programs

Bernhard Steffen, Jens Knoop, Jürgen Vollmer, 1996 .

6. Arbeitstagung Programmiersprachen (ATPS 2013)

Jens Knoop, Janis Voigtländer, 2013, Software Engineering.

Hardware and Software Consistency Models: Programmability and Performance (Dagstuhl Seminar 03431)

Samuel P. Midkiff, Jens Knoop, David Padua, 2021 .

Code Optimisation: Trends, Challenges and Perspectives (Dagstuhl Seminar 00381)

Jens Knoop, Carole Dulong, Jim Pierce, 2021 .

Code Motion and Code Placement: Just Synonyms?

Jens Knoop, B. Steffen, J. Knoop, 1998, ESOP.