Home | english  | Impressum | Datenschutz | Sitemap | KIT
Timo Bingmann

Dr. rer. nat. Timo Bingmann

Raum: 222
Tel.: +49 721 608-46603
Fax: +49 721 608-43088
bingmannSgq6∂kit edu



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, Cham. doi:10.1007/978-3-030-32686-9_21
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, IEEE, Piscataway, NJ. doi:10.1109/BigData.2018.8622171Full text Full text of the publication as PDF document
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, Cham. 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.7Full text Full text of the publication as PDF document
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, IEEE, Piscataway (NJ). doi:10.1109/BigData.2016.7840603Full text Full text of the publication as PDF document
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, ACM, New York (NY). doi:10.1145/2755573.2755595Full text Full text of the publication as PDF document
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, Cham. doi:10.1007/978-3-319-20086-6_3Full text Full text of the publication as PDF document
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, KIT, Karlsruhe 
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, Berlin. doi:10.1007/978-3-642-40450-4_15Full text Full text of the publication as PDF document
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 Full text Full text of the publication as PDF document
Technische Berichte
Title Author(s) Source Date

Timo Bingmann, Phelim Bradley, Florian Gauger, Zamin Iqbal


July 2019

Timo Bingmann, Thomas Keh, and Peter Sanders


April 2015

Michael Axtmann, Timo Bingmann, Peter Sanders, and Christian Schulz


Oktober 2014

Timo Bingmann, Andreas Eberle and Peter Sanders


März 2014

Timo Bingmann and Peter Sanders


Mai 2013


Title Type Location Semester
Projektgruppe WS 14/15
Vorlesung / Übung (VÜ) 30.95 Audimax SS 2014
Vorlesung mit Übung

30.95 Audimax


SR 236, Geb. 50.34 (Informatikhauptgebäude)

Offene Abschlussarbeiten
Title Subject Supervisor
String/Distributed Algorithms

Betreute Abschlussarbeiten
Title Student Date Type

Alexander Noe

2017-01-10 Masterarbeit

Andreas Eberle

2014-05-15 Bachelorarbeit

Daniel Feist

2013-04-11 Bachelorarbeit

Fellipe Bernardes Lima

2014-12-29 Bachelorarbeit

Florian Gauger

2018-02-14 Masterarbeit

Jasper Marianczuk

2019-05-09 Bachelorarbeit

Matthias Schimek

2019-07-08 Masterarbeit

Sascha Denis Knöpfle

2012-11-14 Bachelorarbeit

Thomas Keh

2014-07-11 Bachelorarbeit