Proceedings of the 2018 International Symposium on Code Generation and Optimization von Knoop, Jens

Volltext öffnen

Proceedings of the First Workshop on Cryptography and Security in Computing Systems von Knoop, Jens

Volltext öffnen

Cool: A control flow generator for system analysis von Braun, Volker, Knoop, Jens, Koschützki, Dirk

Basic block graphs living dinosaurs? von Knoop, Jens, Koschützki, Dirk, Steffen, Bernhard

Eliminating partially dead code in explicitly parallel programs von Knoop, Jens

Precise type analysis by abstract interpretation von Knoop, Jens, Golubski, Wolfgang

Syntactic versus semantic code motion analogies and essential differences von Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Inhaltsverzeichnis

Optimal code motion for parallel programs von Knoop, Jens, Steffen, Bernhard, Vollmer, Jürgen

Inhaltsverzeichnis

A tool kit for constructing optimal interprocedural data flow analyses von Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Efficient and optimal bit vector data flow analyses a uniform interprocedural framework von Knoop, Jens, Steffen, Bernhard

Optimal code motion theory and practice von Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Lazy strength reduction von Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Strength reduction based on code motion a uniform approach von Knoop, Jens, Steffen, Bernhard

Optimal code motion within flow graphs a practical approach von Steffen, Bernhard, Knoop, Jens, Rüthing, Oliver

The interprocedural coincidence theorem von Knoop, Jens, Steffen, Bernhard

Unifying strength reduction and semantic code motion von Knoop, Jens, Steffen, Bernhard

Strength reduction based on code motion a uniform approach von Knoop, Jens, Steffen, Bernhard

Prozeßorientierte Kostenrechnung zur Ablaufplanung flexibler Fertigungssysteme von Knoop, Jens

Parallelism for free efficient and optimal bitvector analyses for parallel programs von Knoop, Jens, Steffen, Bernhard, Vollmer, Jürgen

Partial dead code elimination von Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Inhaltsverzeichnis