Homepage

Maximilian Dylla

Max-Planck-Institut für Informatik
Department 5: Databases & Information Systems
Campus E1 4, Room 408
66123 Saarbrücken
Germany

Email: Get my email address via email or
Email

Phone: +49 681 9325 508
Fax: +49 681 9325 599

Research Interests

In my PhD I develop techniques for managing uncertain data based on principles known from probabilistic databases and statistical relational learning. I apply my methods to factual knowledge which was extracted from free text. So far, the foci included:

Managing Uncertain Temporal Knowledge
Top-k Queries over Probabilistic Databases
Speeding up Sampling with Deterministic Dependencies

Teaching

Probabilistic Models for Information Extraction (graduate level seminar), Universität des Saarlandes, Summer '11

Publications

Maximilian Dylla, Iris Miliaraki, Martin Theobald
Top-k Query Processing in Probabilistic Databases with Non-Materialized Views (PDF, Bibtex, Slides)
International Conference on Data Engineering, Brisbane, Australia, 2013
Acceptance Rate 19%

Yafang Wang, Maximilian Dylla, Zhaochun Ren, Marc Spaniol, Gerhard Weikum
PRAVDA-live: Interactive Knowledge Harvesting (PDF, Bibtex, Demo)
Conference on Information and Knowledge Management, Maui, USA, 2012
Demo Paper

Maximilian Dylla, Iris Miliaraki, Martin Theobald
Top-k Query Processing in Probabilistic Databases with Non-Materialized Views (PDF, Bibtex)
Research Report MPI-I-2012-5-002, Max-Planck-Institut für Informatik, June 2012

Yafang Wang, Maximilian Dylla, Marc Spaniol, Gerhard Weikum
Coupling Label Propagation and Constraints for Temporal Fact Extraction (PDF, Bibtex)
Association for Computational Linguistics, Jeju, Korea, 2012
Short Paper, Acceptance Rate 21%

Wolfgang Ahrendt, Maximilian Dylla
A System for Compositional Verification of Asynchronous Objects (Preprint, Bibtex, ScienceDirect)
Special Issue of the Journal "Science of Computer Programming", 2012
Extended Best Papers of ICFEM'09, Journal Version of Master's Thesis

Timm Meiser, Maximilian Dylla, Martin Theobald
Interactive Reasoning in Uncertain RDF Knowledge Bases (PDF, Bibtex, Demo)
Conference on Information and Knowledge Management, Glasgow, UK, 2011
Demo Paper

Maximilian Dylla, Mauro Sozio, Martin Theobald
Resolving Temporal Conflicts in Inconsistent RDF Knowledge Bases (PDF, Bibtex, LNI, Slides)
Conference on Business, Technology, and Web, Kaiserslautern, Germany, 2011

Wolfgang Ahrendt, Maximilian Dylla
A Verification System for Distributed Objects with Asynchronous Method Calls (PDF, Bibtex, Springer, Slides)
International Conference on Formal Engineering Methods, Rio de Janeiro, Brazil, 2009
LNCS 5885, Springer
Conference Version of Master's Thesis

Open Source Projects

KreYol
An Interactive Deductive Verification Tool for the Creol Modeling Language. The software is part of the KeY Project and is available via the project's website on demand.
jCreol
A LL(1) Parser for the Creol Modeling Language. It is hosted by the KeY Project.

Short C.V.

August 2010 - present:
Ph. D. student in Computer Science at the Universität des Saarlandes, Saarbrücken, Germany and the Max-Planck-Institut für Informatik, Saarbrücken, Germany
July 2012 - September 2012
Intern at Google, Zürich, Switzerland
September 2009 - July 2010:
Studies in Computer Science within the Saarbrücken Graduate School of Computer Science at the Universität des Saarlandes, Saarbrücken, Germany
September 2007 - August 2009:
Master in Complex Adaptive Systems at the Chalmers University of Technology, Gothenburg, Sweden
Title of Master's Thesis: A Verification System for the Distributed Object-Oriented Language Creol (supervisor: Wolfgang Ahrendt) (PDF,Bibtex)
October 2004 - August 2007:
Bachelor in Computer Science at the Karlsruhe Institute of Technology, Karlsruhe, Germany