Institut für Theoretische Informatik, Algorithmik II
Timo Bingmann

Dr. rer. nat. Timo Bingmann

Forschungsschwerpunkte

Publikationen


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.8622171VolltextVolltext der Publikation als PDF-Dokument
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.7VolltextVolltext der Publikation als PDF-Dokument
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.7840603VolltextVolltext der Publikation als PDF-Dokument
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.2755595VolltextVolltext der Publikation als PDF-Dokument
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_3VolltextVolltext der Publikation als PDF-Dokument
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_15VolltextVolltext der Publikation als PDF-Dokument
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 VolltextVolltext der Publikation als PDF-Dokument
Technische Berichte
Title Author(s) Source Date

Timo Bingmann, Andreas Eberle and Peter Sanders

arXiv:1403.2056

März 2014

Timo Bingmann, Thomas Keh, and Peter Sanders

arXiv:1504.00545

April 2015

Timo Bingmann, Phelim Bradley, Florian Gauger, Zamin Iqbal

arXiv:1905.09624

July 2019

Timo Bingmann, Peter Sanders, and Matthias Schimek

arXiv:2001.08516

January 2020

Timo Bingmann, Jasper Marianczuk, and Peter Sanders

arXiv:2002.05599

August 2020

Timo Bingmann and Peter Sanders

arXiv:1305.1157

Mai 2013

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

arXiv:1410.6754

Oktober 2014

Lehre

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

30.95 Audimax

Proseminar

SR 236, Geb. 50.34 (Informatikhauptgebäude)

Betreute Abschlussarbeiten
Title Student Date Type

Matthias Schimek

2019-07-08 Masterarbeit

Jasper Marianczuk

2019-05-09 Bachelorarbeit

Florian Gauger

2018-02-14 Masterarbeit

Alexander Noe

2017-01-10 Masterarbeit

Fellipe Bernardes Lima

2014-12-29 Bachelorarbeit

Thomas Keh

2014-07-11 Bachelorarbeit

Andreas Eberle

2014-05-15 Bachelorarbeit

Daniel Feist

2013-04-11 Bachelorarbeit

Sascha Denis Knöpfle

2012-11-14 Bachelorarbeit