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
(show all)

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
  • Agile Systems and Service-Oriented Software (GACR 201/09/0983) 2009-2011 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
  • (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