panthema / publications

Academic Publications

See also my DBLP entries and Google Scholar webpage. Furthermore, thesis which I supervised are also listed below.

arXiv 2002.05599v3.pdf Timo Bingmann, Jasper Marianczuk, and Peter Sanders. "Engineering faster sorters for small sets of items". In: Software: Practice and Experience 51.5. pages 965-1004. ISSN: 0038-0644. Wiley. May 2021. doi.
PDF 2002.05599v3.pdf Timo Bingmann, Jasper Marianczuk, and Peter Sanders. "Engineering Faster Sorters for Small Sets of Items". In: arXiv:2002.05599. pages 1-40. Cornell University Library. October 2020. (older: v1 2002.05599v1.pdf, February 2020, v1 2002.05599v1.pdf, August 2020)
PDF paper-Communication-Efficient-String-Sorting-IPDPS.pdf more Timo Bingmann, Peter Sanders, and Matthias Schimek. "Communication-Efficient String Sorting". In: 34th IEEE International Parallel and Distributed Processing Symposium (IPDPS). pages 137-147. IEEE. May 2020. ISBN: 978-1-7281-6876-0 doi.
PDF 2001.08516v1.pdf more Timo Bingmann, Peter Sanders, and Matthias Schimek. "Communication-Efficient String Sorting". In: arXiv:2001.08516. pages 1-11. Cornell University Library. January 2020.
PDF paper-COBS-A-Compact-Bit-Sliced-Signature-Index.pdf more Timo Bingmann, Phelim Bradley, Florian Gauger, and Zamin Iqbal. "COBS: a Compact Bit-Sliced Signature Index". In: 26th International Symposium on String Processing and Information Retrieval (SPIRE). LNCS 11811. pages 285-303. Spinger. October 2019. doi. (best paper award)
PDF 1905.09624v2.pdf Timo Bingmann, Phelim Bradley, Florian Gauger, and Zamin Iqbal. "COBS: a Compact Bit-Sliced Signature Index". In: arXiv:1905.09624. pages 1-18. Cornell University Library. July 2019. (older: v1 1905.09624v1.pdf, May 2019)
PDF paper-Scalable-Construction-of-Text-Indexes-with-Thrill.pdf more Timo Bingmann, Simon Gog, and Florian Kurpicz. "Scalable Construction of Text Indexes with Thrill". In: IEEE International Conference on Big Data. pages 634-643. IEEE. December 2018. ISBN: 978-1-5386-5034-9 doi.
PDF dissertation-Bingmann-Scalable-String-and-Suffix-Sorting.pdf more Timo Bingmann. "Scalable String and Suffix Sorting: Algorithms, Techniques, and Tools". Dissertation. Karlsruhe Institute of Technology, Germany. July 2018.
PDF vstte2018.pdf Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, and Alexander Weigl. "Relational Equivalence Proofs Between Imperative and MapReduce Algorithms". In: Verified Software: Theories, Tools, and Experiments (VSTTE). pages 248-266. Spinger. July 2018. doi.
PDF 1803.10328v1.pdf Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, and Alexander Weigl. "Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations". In: Models for Formal Analysis of Real Systems (MARS) and Verification and Program Transformation (VPT) at ETAPS 2018. pages 185-199. Cornell University Library. March 2018. doi.
PDF 1801.08766v1.pdf Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, and Alexander Weigl. "Relational Equivalence Proofs Between Imperative and MapReduce Algorithms". In: arXiv:1801.08766. pages 1-23. Cornell University Library. January 2018.
arXiv 1403.2056v1.pdf more Timo Bingmann, Andreas Eberle, and Peter Sanders. "Engineering Parallel String Sorting". In: Algorithmica 77.1. pages 235-286. ISSN: 0178-4617. Springer. January 2017. doi.
PDF paper-IEEEBigD2016-Thrill.pdf more Timo Bingmann, Michael Axtmann, Emanuel Jöbstl, Sebastian Lamm, Huyen Chau Nguyen, Alexander Noe, Sebastian Schlag, Matthias Stumpp, Tobias Sturm, and Peter Sanders. "Thrill: High-performance algorithmic distributed batch data processing with C++". In: IEEE International Conference on Big Data. pages 172-183. IEEE. December 2016. ISBN: 978-1-4673-9005-7 doi.
PDF 1610.03007v1.pdf Timo Bingmann, Simon Gog, Florian Kurpicz. "Scalable Construction of Text Indexes". In: arXiv:1610.03007. pages 1-23. Cornell University Library. October 2016.
PreP esais-preprint.pdf more Timo Bingmann, Johannes Fischer, and Vitaly Osipov. "Inducing Suffix and LCP Arrays in External Memory". In: ACM Journal of Experimental Algorithmics (JEA) 21.2, 2.3:1-27. ISSN: 1084-6654. ACM. September 2016. doi.
PDF 1608.05634v1.pdf more Timo Bingmann, Michael Axtmann, Emanuel Jöbstl, Sebastian Lamm, Huyen Chau Nguyen, Alexander Noe, Sebastian Schlag, Matthias Stumpp, Tobias Sturm, and Peter Sanders. "Thrill: High-Performance Algorithmic Distributed Batch Data Processing with C++". In: arXiv:1608.05634. pages 1-15. Cornell University Library. August 2016.
PDF Bingmann-On-the-Structure-of-the-Graph-of-Unique-Symmetric-Base-Exchanges-of-Bispanning-Graphs.pdf more Timo Bingmann. "On the Structure of the Graph of Unique Symmetric Base Exchanges of Bispanning Graphs". Diploma Thesis. FernUniversität in Hagen, Germany. January 2016.
PDF 1410.6754v2.pdf Michael Axtmann, Timo Bingmann, Peter Sanders, and Christian Schulz. "Practical Massively Parallel Sorting". In: 27th Symposium on Parallel Algorithms and Architectures (SPAA). preprint arXiv:1410.6754v2. pages 13-23. ACM, June 2015. doi.
PDF paper-SEA15-Bulk-Parallel-Priority-Queue.pdf more Timo Bingmann, Thomas Keh, Peter Sanders. "A Bulk-Parallel Priority Queue in External Memory with STXXL". In: 14th International Symposium on Experimental Algorithms (SEA). Volume 9125. LNCS. pages 28-40. Springer. June 2015. doi.
PDF 1504.00545v1.pdf more Timo Bingmann, Thomas Keh, and Peter Sanders. "A Bulk-Parallel Priority Queue in External Memory with STXXL". In: arXiv:1504.00545. pages 1-18. Cornell University Library. April 2015.
PDF 1410.6754v1.pdf Michael Axtmann, Timo Bingmann, Peter Sanders, and Christian Schulz. "Practical Massively Parallel Sorting -- Basic Algorithmic Ideas". In: arXiv:1410.6754v1. pages 1-13. Cornell University Library. October 2014.
PDF 1403.2056v1.pdf more Timo Bingmann, Andreas Eberle, and Peter Sanders. "Engineering Parallel String Sorting". In: arXiv:1403.2056. pages 1-46. Cornell University Library. March 2014.
PDF paper-ESA13-String-Sample-Sort.pdf more Timo Bingmann and Peter Sanders. "Parallel String Sample Sort". In: 21th European Symposium on Algorithms (ESA). Volume 8125. LNCS. pages 169-180. Springer, September 2013. doi.
PDF 1305.1157v1.pdf more Timo Bingmann and Peter Sanders. "Parallel String Sample Sort". In: arXiv:1305.1157. pages 1-34. Cornell University Library. May 2013.
PDF alenex13esais.pdf more Timo Bingmann, Johannes Fischer, and Vitaly Osipov. "Inducing Suffix and LCP Arrays in External Memory". In: 15th Workshop on Algorithm Engineering & Experiments (ALENEX), pages 88-102. SIAM, January 2013. doi.
PDF thesis-bingmann-ns-3-wifi.pdf more Timo Bingmann. "Accuracy Enhancements of the 802.11 Model and EDCA QoS Extensions in ns-3". Diploma Thesis. University of Karlsruhe (TH), Germany. April 2009.

Supervised Thesis

PDF 2019_Ferizovic_Improving_a_Compact_Bit-Sliced_Signature_Index_for_Large_Scale_Genomic_Data.pdf Daniel Ferizovic. "Improving the Compact Bit-Sliced Signature Index COBS for Large Scale Genomic Data". Master thesis at Karlsruhe Institute of Technology, Germany. 2019-12-02.
PDF 2019_Dann_Improving_Distributed_External_Sorting_for_Big_Data_in_Thrill.pdf Jonas Dann. "Improving Distributed External Sorting for Big Data in Thrill". Master thesis at Karlsruhe Institute of Technology, Germany. 2019-09-02.
PDF 2019_Schimek_Distributed_String_Sorting_Algorithms.pdf Matthias Schimek. "Distributed String Sorting Algorithms". Master thesis at Karlsruhe Institute of Technology, Germany. 2019-07-08.
PDF 2019_Marianczuk_Engineering_Faster_Sorters_for_Small_Sets_of_Items.pdf Jasper Marianczuk. "Engineering Faster Sorters for Small Sets of Items". Bachelor thesis at Karlsruhe Institute of Technology, Germany. arXiv:1908.08111. 2019-05-09.
PDF 2018_Gauger_Engineering_a_Compact_Bit-Sliced_Signature_Index_for_Approximate_Search_on_Genomic_Data.pdf more Florian Gauger. "Engineering a Compact Bit-Sliced Signature Index for Approximate Search on Genomic Data". Master thesis at Karlsruhe Institute of Technology, Germany. 2018-02-14. Florian Gauger's Homepage
PDF Alexander Noe. "Bloom Filters for GroupBy ReduceBy and Join in Thrill". Master thesis at Karlsruhe Institute of Technology, Germany. 2017-01-10.
PDF Thomas Keh. "Bulk-Parallel Priority Queue in External Memory". Bachelor thesis at Karlsruhe Institute of Technology, Germany. 2014-07-11.
PDF Andreas Eberle. "Parallel Multiway LCP-Mergesort". Bachelor thesis at Karlsruhe Institute of Technology, Germany. 2014-05-15.
PDF Daniel Feist. "External Batched Range Minimum Queries and LCP Construction". Bachelor thesis at Karlsruhe Institute of Technology, Germany. 2013-04-11.
 Sascha Denis Knöpfle. "String Samplesort". Bachelor thesis at Karlsruhe Institute of Technology, Germany. 2012-11-14.