Michal Brabec
Charles University in Prague
7 Papers
8 Citations
Michal Brabec is an academic researcher from Charles University in Prague. The author has contributed to research in topics: Control flow graph & Procedural programming. The author has an hindex of 3, co-authored 7 publications.
Chat about Author
Papers
Transformation of Pipeline Stage Algorithms to Event-Driven Code
Michal Brabec,David Bednárek,Petr Malý +2 more
- 01 Jan 2014
TL;DR: This paper presents a method of code transformation producing event- driven code from serial code and focuses mostly on its first part, responsible for the management of variables, which improves the structure of the code with respect to compiler optimizations.
Programming Parallel Pipelines Using Non-Parallel C# Code.
Michal Brabec,David Bednárek +1 more
- 01 Jan 2013
TL;DR: This paper proposes the architecture of such system and describes some key steps that have already been taken towards the future goal of extracting both the pipeline structure and the code of the nodes from the C# source code.
Procedural Code Representation in a Flow Graph
Michal Brabec,David Bednárek +1 more
- 01 Jan 2015
TL;DR: This paper investigates the possibility to represent procedural code fragments using a network of op- erators similar to query plans used in relational database systems, and proposes a flow graph representa- tion that allows to analyze, transform and optimize applications more eciently and without additional data.
Transforming Procedural Code for Streaming Environments
Michal Brabec,David Bednárek +1 more
- 01 Jan 2017
TL;DR: This paper presents a framework for transformation of a C# procedural code to a Hybrid Flow Graph – a novel intermediate code which employs the streaming paradigm and can be further converted into a streaming application.
1
Hybrid Flow Graphs: Towards the Transformation of Sequential Code into Parallel Pipeline Networks
Michal Brabec,David Bednárek +1 more
- 01 Jan 2015
TL;DR: Besides the definition of the Hy- brid Flow Graph, this paper introduces a formal framework based on graph rewriting, used for the specification of Hybrid Flow Graph semantics as well as for the proofs of cor- rectness of the associated code transformations.