David Bednárek, Ph.D.


Research groups


Research topics

  • parallel and distributed data processing
  • parallel programming languages
  • compiler construction
  • non-traditional data-base architectures


NPRG023Software Project
NPRG041Programming in C++seminar, slides
NPRG045Individual Software Projectproject topics
NPRG051Advanced C++ Programmingslides and assignments
NPRG054High Performance Software Developmentslides and assignments
NSWI098Compiler Principlesassignments
NSWI109Compiler Designslides
NSWI122Dissertation Thesis Preparation
NSWI150Virtualization and Cloud Computingslides

Ph.D. studentstop

Current: Miroslav Kratochvíl, M.Sc.

Former: Michal Brabec, Ph.D.

Supervised thesestop

SIMD code generatorKarel TučekBS20152016
Language support for data-intensive parallel computingMiroslav KratochvílPh.D.2015
Implementation and evaluation of the CBOR protocolPavel KalvodaBS20142015
Low-level functional programming languageMiroslav KratochvílMS20142015
A SQL front-end for the Bobox systemLucie KlimperováMS20132015
Computerized bookkeeperJiří PavlovskýBS20132015
Static analysis of C# programsPetr MalýMS20132014
Evaluating relational queries in pipeline-based environmentMarcel KiktaMS20132014
Genetic programming in financial markets forecastingTomáš KrejčíBS20132015
Procedural code integration in streaming environmentsMichal BrabecPh.D.2013
Optimizing scriptable generator of terrain mapsMatěj ZábskýMS20122015
Parallelizability analysis based on bytecodeMichal BrabecMS20122013
A modern implementation of LALR(1) parser generatorKarel FišerMS20112013
Translating XQuery into a procedural languageMartin UrzaMS2011
Implementation of selected database operations in parallel environmentJán MajdanMS20102013
Multi-platform environment for mobile-game developmentIvan VaculaMS20102011
E-shop as a serviceĽubomír DániBS20102011
A system for analysis of collections of XML queriesJiří SchejbalMS20092010
Support for marketing and user preferences in e-commercePeter HrušovskýMS20092010
Adaptive e-mail classifier for IMAP serversŠimon RajčanBS20092009
Adaptive e-mail classifier for IMAP serversŠimon RajčanBS20092009
An information system for sport schoolsJiří MachBS20072008
Collecting XML data and meta-data from the InternetJan SochnaMS20072010
Musical notation editorLukáš KopenecMS20072010
Reverse engineering on AS/400 platformTomáš ImrichMS20062008
Source code generatorPavol JuhosMS20062008
Text editor with syntax-directed functionsPavol GajarskýBS20062008
Client side scripting using meta-programmingTomáš PetříčekBS20062007
Translating Ruby to PHPDavid MajdaMS20062008
Music notation editorLukáš KopenecBS20062007
Dimensional analysis for HD languagesMartin HorváthMS20062007
A retargetable code-generatorJan ZouharMS20062006
Static analysis of XSLT programsJan ČervákMS20062006
SVN ProxyOndřej KunčarBS20052006
A controlling language for 2D gamesJan KrčekMS20052007
Automatic mail organizer for IMAP serversLuboš KuličBS20052006
Using XML technologies to apply design patternsVojtěch HálaMS20042006
Garbage collection in the C++ environmentPetr ZikaMS20042009
Information system for educational agenciesTomáš MarvánBS20042007
Garbage collection in the C++ environmentPetr ZikaMS20042009
Using XML technologies to apply design patternsVojtěch HálaMS20042009
Tools for experiments with grammar and languagesJiří KrejsaMS20032010
The Uniform Visualization of the Execution Plans of SQL QueriesPetr PlavjaníkMS20022005

Research grantstop

  • Highly Scalable Parallel and Distributed Methods of Data Processing in e-Science (GACR P103-13-08195S) 2013-2015 cooperant
  • Semantization of the Web (GACR P202/10/0761) 2010-2012 cooperant
  • Processing of XML Data (GACR 201/09/0990) 2009-2011 cooperant
  • Modern Methods, Structures and Systems of Computer Science (MSMT MSM0021620838) 2005-2011 cooperant
  • Agile Systems and Service-Oriented Software (GACR 201/09/0983) 2009-2011 cooperant
  • (show all)

Selected publications (complete list)top

  • Brabec M., Bednárek D.: Transforming procedural code for streaming environments, in 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, St. Petersburg, Institute of Electrical and Electronics Engineers Inc., ISBN: 978-1-5090-6058-0, ISSN: 1066-6192, pp. 167-175, 2017 - text
  • [IF Journal]Bednárek D., Brabec M., Kruliš M.: Improving matrix-based dynamic programming on massively parallel accelerators, in Information Systems, Vol. 64, Num. March 2017, ISSN: 0306-4379, pp. 175-193, 2016 - text
  • Bednárek D., Kruliš M., Yaghob J., Zavoral F.: Creating Distributed Execution Plans with BobolangNG, in Algorithms and Architectures for Parallel Processing, Granada, Springer International Publishing AG, ISBN: 978-3-319-49582-8, ISSN: 0302-9743, pp. 88-97, 2016 - text
  • [IF Journal]Bednárek D., Yaghob J., Zavoral F.: Metro-NG: Computer-Aided Scheduling and Collision Detection, in Computing and Informatics, Vol. 34, Num. 2, ISSN: 1335-9150, pp. 277-304, 2015 - text
  • [IF Journal]Falt Z., Kruliš M., Bednárek D., Yaghob J., Zavoral F.: Towards Efficient Locality Aware Parallel Data Stream Processing, in Journal of Universal Computer Science, Vol. 21, Num. 6, ISSN: 0948-6968, pp. 816-841, 2015 - text
  • [Best Paper Award]Kruliš M., Bednárek D., Brabec M.: Improving Parallel Processing of Matrix-based Similarity Measures on Modern GPUs, in Similarity Search and Applications, Glasgow, Springer, ISBN: 978-3-319-25086-1, ISSN: 0302-9743, pp. 283-294, 2015 - text
  • [Core A conference]Falt Z., Bednárek D., Kruliš M., Yaghob J., Zavoral F.: Bobolang - A Language for Parallel Streaming Applications, in Proceedings of the 23rd International ACM Symposium on High-Performance Parallel and Distributed Computing, Vancouver, ACM, ISBN: 978-1-4503-2749-7, pp. 311-314, 2014
  • Falt Z., Kruliš M., Bednárek D., Yaghob J., Zavoral F.: Locality Aware Task Scheduling in Parallel Data Stream Processing, in Proceedings of the 8th International Symposium on Intelligent Distributed Computing - IDC'2014, Madrid, Springer Verlag, ISBN: 978-3-319-10421-8, ISSN: 1860-949X, pp. 331-342, 2014
  • [IF Journal]Stárka J., Svoboda M., Sochna J., Schejbal J., Mlýnková I., Bednárek D.: Analyzer - A Complex System for Data Analysis, in Computer Journal, Vol. 55, Num. 5, ISSN: 0010-4620, pp. 590-615, 2012


Bobox, MetroNG

Additional information


The content of this web site is licensed under Creative Commons Attribution-NonCommercial 3.0 Czech Republic