Timo Bingmann

Dr. rer. nat. Timo Bingmann

Publications


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 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.8622171Full textFull 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. 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 textFull 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, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/BigData.2016.7840603Full textFull 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, Association for Computing Machinery (ACM). doi:10.1145/2755573.2755595Full textFull 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. doi:10.1007/978-3-319-20086-6_3Full textFull 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, 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_15Full textFull 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 textFull text of the publication as PDF document
Technical Reports
Title Author(s) Source Date

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, Andreas Eberle and Peter Sanders

arXiv:1403.2056

March 2014

Timo Bingmann and Peter Sanders

arXiv:1305.1157

May 2013

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

arXiv:1410.6754

October 2014

Teaching

Courses
Title Type Semester
lab course WS 2014/15
Vorlesung / Übung (VÜ) SS 2014
Vorlesung mit Übung SS2013
proseminar WS2011/12
Supervised Thesis
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

Thomas Keh

2014-07-11 Bachelor Thesis

Andreas Eberle

2014-05-15 Bachelor Thesis

Daniel Feist

2013-04-11 Bachelorarbeit

Sascha Denis Knöpfle

2012-11-14 Bachelorarbeit