Jan Strejček | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

David Klaška
7 publications
Marek Chalupa
3 publications
Lukáš Tomovič
1 publication
Martina Vitovská
1 publication

research

∙ 11/03/2020

Fast Computation of Strong Control Dependencies

We introduce new algorithms for computing non-termination sensitive cont...

0 Marek Chalupa, et al. ∙

research

∙ 10/30/2018

SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode

The paper describes a member of the Symbiotic toolbox called sbt-instrum...

0 Martina Vitovská, et al. ∙