Skip to main content

Showing 1–2 of 2 results for author: Kalvoda, P

Searching in archive cs. Search in all archives.
.
  1. arXiv:2103.03653  [pdf, other

    cs.DC cs.CV cs.DS cs.MS cs.PF

    GraphMineSuite: Enabling High-Performance and Programmable Graph Mining Algorithms with Set Algebra

    Authors: Maciej Besta, Zur Vonarburg-Shmaria, Yannick Schaffner, Leonardo Schwarz, Grzegorz Kwasniewski, Lukas Gianinazzi, Jakub Beranek, Kacper Janda, Tobias Holenstein, Sebastian Leisinger, Peter Tatkowski, Esref Ozdemir, Adrian Balla, Marcin Copik, Philipp Lindenberger, Pavel Kalvoda, Marek Konieczny, Onur Mutlu, Torsten Hoefler

    Abstract: We propose GraphMineSuite (GMS): the first benchmarking suite for graph mining that facilitates evaluating and constructing high-performance graph mining algorithms. First, GMS comes with a benchmark specification based on extensive literature review, prescribing representative problems, algorithms, and datasets. Second, GMS offers a carefully designed software platform for seamless testing of dif… ▽ More

    Submitted 5 March, 2021; originally announced March 2021.

    Journal ref: International Conference on Very Large Data Bases (VLDB), 2021

  2. arXiv:1909.04160  [pdf, ps, other

    cs.PL

    Structural and semantic pattern matching analysis in Haskell

    Authors: Pavel Kalvoda, Tom Sydney Kerckhove

    Abstract: Haskell functions are defined as a series of clauses consisting of patterns that are matched against the arguments in the order of definition. In case an input is not matched by any of the clauses, an error occurs. Therefore it is desirable to statically prove that the function is defined for all well-typed inputs. Conversely, a clause that can never be matched also indicates a likely defect. Anal… ▽ More

    Submitted 9 September, 2019; originally announced September 2019.