Tobias Mühlbauer, M.Sc.

Address: Technische Universität München
Institut für Informatik - Lehrstuhl III (I3)
Boltzmannstr. 3
D-85748 Garching bei München
Room:
Raumplan
02.11.037
Phone: +49 (0)89 / 289-17292
Fax: +49 (0)89 / 289-17263
E-Mail: muehlbau@in.tum.de
Office Hours: Please call/mail ahead for an appointment

Alternate Spelling: Tobias Muehlbauer

Research Area

  • HyPer: Hybrid OLTP&OLAP High-Performance Database System
  • Scale-out of in-memory database management systems
  • Bulk loading of in-memory database management systems
  • In-memory databases for ARM-based systems
  • Formal specification and verification of distributed systems (rewriting logic & the Maude system)

Awards

Publications (Google Scholar, DBLP)

2015

  • T. Neumann, T. Mühlbauer, A. Kemper
    Fast Serializable Multi-Version Concurrency Control for Main-Memory Database Systems
    (pdf, bibtex)

    ACM SIGMOD International Conference on Management of Data (SIGMOD 2015)
  • T. Mühlbauer, W. Rödiger, A. Kipf, T. Neumann, , A. Kemper
    High-Performance Main-Memory Database Systems and Modern Virtualization: Friends or Foes? (pdf, bibtex)
    Workshop on Data analytics at sCale (DanaC 2015)
  • M. Kaufmann, T. Mühlbauer, M. Then, A. Gubichev, A. Kemper, T. Neumann
    Hochperformante Analysen in Graph-Datenbanken (pdf, bibtex)
    GI-Fachtagung Datenbanksysteme für Business, Technologie und Web (BTW 2015)

2014

  • J. Eckhardt, T. Mühlbauer, J. Meseguer, M. Wirsing
    Semantics, distributed implementation, and formal analysis of KLAIM models in Maude (pdf)
    To appear in Science of Computer Programming (SCP 2014)
  • F. Funke, A. Kemper, T. Mühlbauer, T. Neumann, V. Leis
    HyPer Beyond Software: Exploiting Modern Hardware for Main-Memory Database Systems
    Datenbank Spektrum (DBSK 2014)
  • T. Mühlbauer, W. Rödiger, R. Seilbeck, A. Reiser, A. Kemper, T. Neumann
    One DBMS for all: the Brawny Few and the Wimpy Crowd (Demo) (pdf, bibtex)
    ACM SIGMOD International Conference on Management of Data (SIGMOD 2014)
  • T. Mühlbauer, W. Rödiger, R. Seilbeck, A. Kemper, T. Neumann
    Heterogeneity-Conscious Parallel Query Execution:
    Getting a better mileage while driving faster!
    (pdf, bibtex)
    International Workshop on Data Management on New Hardware (DaMoN 2014)
  • W. Rödiger, T. Mühlbauer, P. Unterbrunner, A. Reiser, A. Kemper, T. Neumann
    Locality-Sensitive Operators for Parallel Main Memory Database Clusters (pdf, bibtex)
    IEEE International Conference on Data Engineering (ICDE 2014)

2013

  • T. Mühlbauer, W. Rödiger, R. Seilbeck, A. Reiser, A. Kemper, T. Neumann
    Instant Loading for Main Memory Databases (pdf, bibtex)
    Proceedings of the VLDB Endowment Volume 6, No. 14, 2013 (VLDB 2014)
  • A. Kemper, T. Neumann, J. Finis, F. Funke, V. Leis, H. Mühe, T. Mühlbauer, W. Rödiger
    Transaction Processing in the Hybrid OLTP&OLAP Main-Memory Database System HyPer (pdf)
    IEEE Data Engineering Bulletin, Special Issue on "Main Memory Databases" (DEBU 2013)
  • T. Mühlbauer, W. Rödiger, A. Reiser, A. Kemper, T. Neumann
    ScyPer: Elastic OLAP Throughput on Transactional Data (pdf, bibtex)
    Workshop on Data analytics in the Cloud (DanaC 2013)
  • T. Mühlbauer, W. Rödiger, A. Reiser, A. Kemper, T. Neumann
    ScyPer: A Hybrid OLTP&OLAP Distributed Main Memory Database System for Scalable Real-Time Analytics (Demo) (pdf, bibtex)
    GI-Fachtagung Datenbanksysteme für Business, Technologie und Web (BTW 2013)
  • M. Steinkamp, T. Mühlbauer
    HyDash: A Dashboard for Real-Time Business Intelligence based on the HyPer Main Memory Database System (pdf)
    Studierendenprogramm der GI-Fachtagung Datenbanksysteme für Business, Technologie und Web (BTW 2013)

2012

  • J. Eckhardt, T. Mühlbauer, J. Meseguer, M. Wirsing
    Statistical Model-Checking for Composite Actor Systems (pdf)
    International Workshop on Algebraic Development Techniques (WADT 2012),
    volume 7841 of Lecture Notes in Computer Science. Springer, 2012.
  • M. Wirsing, J. Eckhardt, T. Mühlbauer, J. Meseguer
    Design and Analysis of Cloud-Based Architectures with KLAIM and Maude (pdf)
    International Workshop on Rewriting Logic and its Applications (WRLA 2012),
    volume 7571 of Lecture Notes in Computer Science. Springer, 2012.
  • J. Eckhardt, T. Mühlbauer, M. AlTurki, J. Meseguer, M. Wirsing.
    Stable Availability under Denial of Service Attacks through Formal Patterns (pdf)
    ETAPS International Conference on Fundamental Approaches to Software Engineering (FASE 2012),
    volume 7212 of Lecture Notes in Computer Science. Springer, 2012.
  • J. Eckhardt, T. Mühlbauer.
    Enhancing Safety and Security of Distributed Systems through Formal Patterns (pdf)
    ESSoS Doctoral Symposium (ESSoS-DS 2012). CEUR, 2012.

2011

  • J. Eckhardt, T. Mühlbauer, J. Meseguer.
    Automatic Generation of CINNI Instances for the Maude System (pdf)
    Technical report, University of Illinois at Urbana-Champaign, 2011.
  • T. Mühlbauer.
    Formal Specification and Analysis of Cloud Computing Management
    Master's thesis, TU Munich, LMU Munich, University of Augsburg, 2011.

Teaching

Fall term 2012/13
Seminar: Distributed Main Memory Database Systems
Summer term 2012
Bachelor-Praktikum (Projekt Systementwicklung) / Master-Praktikum: Datenbanksysteme
Fall term 2008/09, 2009/10, 2010/11
Tutor „Grundlagen: Datenbanken“
Summer term 2009, 2010
Tutor „Einsatz und Realisierung von Datenbanksystemen“
Fall term 2007/08
Tutor „Einführung in die Informatik 1“

Short CV

February 2012 – Present
PhD Student in the Database Group, Prof. Kemper and Prof. Neumann
TU Munich, Germany
Oct 2011 – Jan 2012
Software Engineering Internship at Google
Mar 2011 – Sep 2011
Master’s Thesis at the Formal Methods and Declarative Languages Laboratory, Prof. Meseguer
University of Illinois at Urbana-Champaign, USA
Oct 2009 – Sep 2011
M.Sc. with honours in Software Engineering
TU Munich, LMU Munich, University of Augsburg, Germany
Jul 2010 – Sep 2010
IBM Extreme Blue Internship
Oct 2006 – Sep 2009
B.Sc. in Computer Science
TU Munich, Germany
Jun 2008 – Sep 2008
Stay abroad
Stanford University, USA

Note

An alternate spelling of my name without umlauts is Tobias Muehlbauer.