Forschungsschwerpunkte

Text Indizes, Suffix Array Konstruktion and Suchmaschinen
Parallele Algorithmen für die Basic Toolbox
Verteilte Verarbeitung von großen Datenmengen

Software

Meine Veröffentlichungen und weitere Forschung ist auf meiner persönlichen Website weitaus detailreicher beschrieben.

Publikationen

Scalable Text Index Construction
Bingmann, T.; Dinklage, P.; Fischer, J.; Kurpicz, F.; Ohlebusch, E.; Sanders, P.
2022. Algorithms for Big Data. Hrsg.: H. Bast, 252–284, Springer Nature Switzerland. doi:10.1007/978-3-031-21534-6_14

Engineering faster sorters for small sets of items
Bingmann, T.; Marianczuk, J.; Sanders, P.
2021. Software <Chichester>, 51 (5), 965–1004. doi:10.1002/spe.2922

Communication-Efficient String Sorting
Bingmann, T.; Sanders, P.; Schimek, M.
2020. 34th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2020; New Orleans; United States; 18 May 2020 through 22 May 2020, 137–147, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/IPDPS47924.2020.00024

COBS: A Compact Bit-Sliced Signature Index
Bingmann, T.; Bradley, P.; Gauger, F.; Iqbal, Z.
2019. String Processing and Information Retrieval – 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings. Ed.: N. Brisaboa, 285–303, Springer. doi:10.1007/978-3-030-32686-9_21

Scalable String and Suffix Sorting: Algorithms, Techniques, and Tools. Dissertation
Bingmann, T.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000085031

Scalable Construction of Text Indexes with Thrill
Bingmann, T.; Gog, S.; Kurpicz, F.
2018. 2018 IEEE International Conference on Big Data (Big Data 2018), Seattle, WA, December 10-13, 2018, 634–643, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/BigData.2018.8622171

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
Beckert, B.; Bingmann, T.; Kiefer, M.; Sanders, P.; Ulbrich, M.; Weigl, A.
2018. Verified Software: Theories, Tools, and Experiments; 10th International Conference, VSTTE 2018; Oxford, UK, July 18–19, 2018; Revised Selected Papers. Ed.: R. Piskac, 248–266, Springer Nature. doi:10.1007/978-3-030-03592-1_14

Proving equivalence between imperative and MapReduce implementations using program transformations
Beckert, B.; Bingmann, T.; Kiefer, M.; Sanders, P.; Ulbrich, M.; Weigl, A.
2018. 3rd Workshop on Models for Formal Analysis of Real Systems and 6th International Workshop on Verification and Program Transformation, MARSVPT 2018; Thessaloniki; Greece; 20 April 2018. Ed.: R. van Glabbeek, 185–199, Open Publishing Association. doi:10.4204/EPTCS.268.7

Engineering Parallel String Sorting
Bingmann, T.; Eberle, A.; Sanders, P.
2017. Algorithmica, 77 (1), 235–286. doi:10.1007/s00453-015-0071-1

Inducing suffix and LCP arrays in external memory
Bingmann, T.; Fischer, J.; Osipov, V.
2016. Journal of experimental algorithmics, 21 (2), Art.Nr.:2.3. doi:10.1145/2975593

Thrill: High-performance algorithmic distributed batch data processing with C++
Bingmann, T.; Axtmann, M.; Jobstl, E.; Lamm, S.; Nguyen, H. C.; Noe, A.; Schlag, S.; Stumpp, M.; Sturm, T.; Sanders, P.
2016. IEEE International Conference on Big Data (Big Data), Washington DC, USA, 5–8 December 2016, 172–183, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/BigData.2016.7840603

Practical Massively Parallel Sorting
Axtmann, M.; Bingmann, T.; Sanders, P.; Schulz, C.
2015. Proceedings of the 27th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2015, Portland, OR, USA, June 13-15, 2015, 13–23, Association for Computing Machinery (ACM). doi:10.1145/2755573.2755595

A Bulk-Parallel Priority Queue in External Memory with STXXL
Bingmann, T.; Keh, T.; Sanders, P.
2015. Experimental Algorithms : 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings. Ed.: E. Bampis, 28–40, Springer. doi:10.1007/978-3-319-20086-6_3

STXXL 1.4.0 and Beyond
Bingmann, T.; Sanders, P.
2014. Large-Scale Data Management and Analysis (LSDMA) - Big Data in Science. Hrsg.: Ch. Jung, 31, Karlsruher Institut für Technologie (KIT)

Parallel String Sample Sort
Bingmann, T.; Sanders, P.
2013. Algorithms - 21st Annual European Symposium (ESA’13), Sophia Antipolis, France, September 2-4, 2013 - Proceedings. Ed.: H.L. Bodlaender, 169–180, Springer-Verlag. doi:10.1007/978-3-642-40450-4_15

Inducing Suffix and LCP Arrays in External Memory
Bingmann, T.; Fischer, J.; Osipov, V.
2013. Workshop on Algorithm Engineering and Experiments (ALENEX), January 7, 2013, New Orleons, Louisiana, USA

Technische Berichte
Title	Author(s)	Source	Date
Engineering Faster Sorters for Small Sets of Items	Timo Bingmann, Jasper Marianczuk, and Peter Sanders	arXiv:2002.05599	August 2020
Communication-Efficient String Sorting	Timo Bingmann, Peter Sanders, and Matthias Schimek	arXiv:2001.08516	January 2020
COBS: a Compact Bit-Sliced Signature Index	Timo Bingmann, Phelim Bradley, Florian Gauger, Zamin Iqbal	arXiv:1905.09624	July 2019
A Bulk-Parallel Priority Queue in External Memory with STXXL	Timo Bingmann, Thomas Keh, and Peter Sanders	arXiv:1504.00545	April 2015
Practical Massively Parallel Sorting -- Basic Algorithmic Ideas	Michael Axtmann, Timo Bingmann, Peter Sanders, and Christian Schulz	arXiv:1410.6754	Oktober 2014
Engineering Parallel String Sorting	Timo Bingmann, Andreas Eberle and Peter Sanders	arXiv:1403.2056	März 2014
Parallel String Sample Sort	Timo Bingmann and Peter Sanders	arXiv:1305.1157	Mai 2013

Lehre

Veranstaltungen
Title	Type	Location	Semester
Praxis der Forschung: Verteilte Datenverarbeitung mit MapReduce	Projektgruppe		WS 14/15
Algorithmen I mit Übung	Vorlesung mit Übung	30.95 Audimax
Proseminar Algorithmentechnik	Proseminar	SR 236, Geb. 50.34 (Informatikhauptgebäude)
Algorithmen I mit Übung	Vorlesung / Übung (VÜ)	30.95 Audimax	SS 2014

Offene Abschlussarbeiten
Title	Subject	Supervisor

Betreute Abschlussarbeiten
Title	Student	Date	Type
Distributed String Sorting Algorithms	Matthias Schimek	2019-07-08	Masterarbeit
Engineering Faster Sorters for Small Sets of Items	Jasper Marianczuk	2019-05-09	Bachelorarbeit
Engineering a Compact Bit-Sliced Signature Index for Approximate Search on Genomic Data	Florian Gauger	2018-02-14	Masterarbeit
Bloom Filters for GroupBy ReduceBy and Join in Thrill	Alexander Noe	2017-01-10	Masterarbeit
Bulk-Parallel Priority Queue in External Memory	Thomas Keh	2014-07-11	Bachelorarbeit
Parallel Multiway LCP-Mergesort	Andreas Eberle	2014-05-15	Bachelorarbeit
External Batched Range Minimum Queries and LCP Construction	Daniel Feist	2013-04-11	Bachelorarbeit
String Samplesort	Sascha Denis Knöpfle	2012-11-14	Bachelorarbeit