Timo Bingmann

According to our database, Timo Bingmann authored at least 17 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Scalable Text Index Construction.

Timo Bingmann, Patrick Dinklage, Johannes Fischer, Florian Kurpicz, Enno Ohlebusch, Peter Sanders

Proceedings of the Algorithms for Big Data - DFG Priority Program 1736, 2022

2021

Engineering faster sorters for small sets of items.

Timo Bingmann, Jasper Marianczuk, Peter Sanders

Softw. Pract. Exp., 2021

2020

Communication-Efficient String Sorting.

Timo Bingmann, Peter Sanders, Matthias Schimek

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

2019

COBS: A Compact Bit-Sliced Signature Index.

Timo Bingmann, Phelim Bradley, Florian Gauger, Zamin Iqbal

Proceedings of the String Processing and Information Retrieval, 2019

2018

Scalable String and Suffix Sorting: Algorithms, Techniques, and Tools.

Timo Bingmann

PhD thesis, 2018

Scalable String and Suffix Sorting: Algorithms, Techniques, and Tools.

Timo Bingmann

CoRR, 2018

Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations.

Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl

Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms.

Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Scalable Construction of Text Indexes with Thrill.

Timo Bingmann, Simon Gog, Florian Kurpicz

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

2017

Engineering Parallel String Sorting.

Timo Bingmann, Andreas Eberle, Peter Sanders

Algorithmica, 2017

2016

Inducing Suffix and LCP Arrays in External Memory.

Timo Bingmann, Johannes Fischer, Vitaly Osipov

ACM J. Exp. Algorithmics, 2016

Scalable Construction of Text Indexes.

Timo Bingmann, Simon Gog, Florian Kurpicz

CoRR, 2016

Thrill: High-performance algorithmic distributed batch data processing with C++.

Timo Bingmann, Michael Axtmann, Emanuel Jöbstl, Sebastian Lamm, Huyen Chau Nguyen, Alexander Noe, Sebastian Schlag, Matthias Stumpp, Tobias Sturm, Peter Sanders

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

2015

A Bulk-Parallel Priority Queue in External Memory with STXXL.

Timo Bingmann, Thomas Keh, Peter Sanders

Proceedings of the Experimental Algorithms - 14th International Symposium, 2015

Practical Massively Parallel Sorting.

Michael Axtmann, Timo Bingmann, Peter Sanders, Christian Schulz

Proceedings of the 27th ACM on Symposium on Parallelism in Algorithms and Architectures, 2015

2014

Practical Massively Parallel Sorting - Basic Algorithmic Ideas.

Michael Axtmann, Timo Bingmann, Peter Sanders, Christian Schulz

CoRR, 2014

2013

Parallel String Sample Sort.

Timo Bingmann, Peter Sanders

Proceedings of the Algorithms - ESA 2013, 2013