David Bednárek, Ph.D.

bednarek<at>ksi.mff.cuni.cz
lecturer

Research groups

PARG

Research topics

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

Teachingtop

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

Ph.D. studentstop

Current: Michal Brabec, M.Sc., Miroslav Kratochvíl, M.Sc.

Supervised thesestop

TitleStudentTypeStartedDefended
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

  • [IF Journal]Bednárek D., Brabec M., Kruliš M.: Improving matrix-based dynamic programming on massively parallel accelerators, in Information Systems, ISSN: 0306-4379, 2016 - text
  • Bednárek D., Kruliš M., Yaghob J., Zavoral F.: Creating Distributed Execution Plans with BobolangNG, accepted for publication in ICA3PP: 16th International Conference on Algorithms and Architectures for Parallel Processing, Granada, 2016
  • [Journal (without IF)]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
  • Pokorný J., Škoda P., Zelinka I., Bednárek D., Zavoral F., Kruliš M., Šaloun P.: Big Data Movement: A Challenge in Data Processing, in Big Data in Complex Systems, Springer International Publishing, ISBN: 978-3-319-11055-4, pp. 29-69, 2015
  • [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
  • Kruliš M., Bednárek D., Yaghob J., Zavoral F.: Employing Similarity Methods for Stellar Spectra Classification in Astroinformatics, in Similarity Search and Applications, Los Cabos, Mexiko, Springer Berlin Heidelberg, ISBN: 978-3-319-11987-8, ISSN: 0302-9743, pp. 229-240, 2014
  • Dokulil J., Katreniaková J., Bednárek D.: Shortest Path Approach to Edge Routing, in 17th International Conference on Information Visualisation, London, IEEE Computer Society's Conference Publishing Services, ISBN: 978-0-7695-5049-7, ISSN: 1550-6037, pp. 428-434, 2013
  • [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

Software

Bobox, MetroNG

Additional information

Contactstop

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