Recherche

Afficher tous les résultats pour

Accueil

Personne

Christoph Koch

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (52)

Logical Foundations of Web Data Extraction

Christoph Koch

Springer New York2018

Parameterized Complexity of Queries

Christoph Koch

Springer2018

Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

Staging has proved a successful technique for programmatically removing code abstractions, thereby allowing for faster program execution while retaining a high-level interface for the programmer. Unfortunately, techniques based on staging suffer from a num ...

ACM2017

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

Quasiquotes have been shown to greatly simplify the task of metaprogramming. This is in part because they hide the data structures of the intermediate representation (IR), instead allowing metaprogrammers to use the concrete syntax of the language they man ...

ACM2017

Parallelizing Query Optimization on Shared-Nothing Architectures

Immanuel Trummer, Christoph Koch

Data processing systems offer an ever increasing degree of parallelism on the levels of cores, CPUs, and processing nodes. Query optimization must exploit high degrees of parallelism in order not to gradually become the bottleneck of query evaluation. We s ...

Assoc Computing Machinery2016

Multiple Query Optimization on the D-Wave 2X Adiabatic Quantum Computer

Immanuel Trummer, Christoph Koch

The D-Wave adiabatic quantum annealer solves hard combinatorial optimization problems leveraging quantum physics. The newest version features over 1000 qubits and was released in August 2015. We were given access to such a machine, currently hosted at NASA ...

Assoc Computing Machinery2016

Squall: Scalable Real-time Analytics

Aleksandar Vitorovic, Christoph Koch, Mohamed Elsayed Mohamed Ahmed El Seidy, Ioannis Klonatos, Mohammad Dashti Rahmat Abadi, Daniel Espino Timón, Minh Khue Vu, Khayyam Mubariz Oglu Guliyev

Squall is a scalable online query engine that runs complex analytics in a cluster using skew-resilient, adaptive operators. Squall builds on state-of-the-art partitioning schemes and local algorithms, including some of our own. This paper presents the over ...

VLDB Endowment Inc.2016

How to Win a Hot Dog Eating Contest: Distributed Incremental View Maintenance with Batch Updates

Milos Nikolic, Christoph Koch, Mohammad Dashti Rahmat Abadi

In the quest for valuable information, modern big data applications continuously monitor streams of data. These applications demand low latency stream processing even when faced with high volume and velocity of incoming changes and the user’s desire to ask ...

2016

Incremental View Maintenance for Collection Programming

Christoph Koch, Daniel Lupei, Val Tannen

In the context of incremental view maintenance (IVM), delta query derivation is an essential technique for speeding up the processing of large, dynamic datasets. The goal is to generate delta queries that, given a small change in the input, can update the ...

ACM2016

A Fast Randomized Algorithm for Multi-Objective Query Optimization

Immanuel Trummer, Christoph Koch

ACM Press2016

How to Architect a Query Compiler

Lewis Alexander Brown, Christoph Koch, Amir Shaikhha, Ioannis Klonatos, Mohammad Dashti Rahmat Abadi, Lionel Emile Vincent Parreaux

This paper studies architecting query compilers. The state of the art in query compiler construction is lagging behind that in the compilers field. We attempt to remedy this by exploring the key causes of technical challenges in need of well founded soluti ...

2016

The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis

Hossein Hojjat, Christoph Koch

Datastores today rely on distribution and replication to achieve improved performance and fault-tolerance. But correctness of many applications depends on strong consistency properties—something that can impose substantial overheads, since it requires coor ...

ACM Press2015

An Incremental Anytime Algorithm for Multi-Objective Query Optimization

Immanuel Trummer, Christoph Koch

Query plans offer diverse tradeoffs between conflicting cost metrics such as execution time, energy consumption, or execution fees in a multi-objective scenario. It is convenient for users to choose the desired cost tradeoff in an interactive process, dyna ...

2015

Multi-Objective Parametric Query Optimization

Immanuel Trummer, Christoph Koch

Classical query optimization compares query plans according to one cost metric and associates each plan with a constant cost value. In this paper, we introduce the Multi-Objective Parametric Query Optimization (MPQ) problem where query plans are compared a ...

Assoc Computing Machinery2015

Approximation schemes for many-objective query optimization

Immanuel Trummer, Christoph Koch

The goal of multi-objective query optimization (MOQO) is to find query plans that realize a good compromise between conicting objectives such as minimizing execution time and minimizing monetary fees in a Cloud scenario. A previously proposed exhaustive MO ...

ACM Press2014

Yin-yang: concealing the deep embedding of DSLs

Martin Odersky, Sandro Stucki, Vojin Jovanovic, Christoph Koch, Amir Shaikhha, Vladimir Nikolaev

Deeply embedded domain-specific languages (EDSLs) intrinsically compromise programmer experience for improved program performance. Shallow EDSLs complement them by trading program performance for good programmer experience. We present Yin-Yang, a framework ...

ACM Press2014

DBToaster: higher-order delta processing for dynamic, frequently fresh views

Milos Nikolic, Christoph Koch, Daniel Lupei, Amir Shaikhha, Yanif Ahmad

Applications ranging from algorithmic trading to scientific data analysis require real-time analytics based on views over databases receiving thousands of updates each second. Such views have to be kept fresh at millisecond latencies. At the same time, the ...

Springer Verlag2014

LINVIEW: Incremental View Maintenance for Complex Analytical Queries

Milos Nikolic, Christoph Koch, Mohamed Elsayed Mohamed Ahmed El Seidy

Many analytics tasks and machine learning problems can be naturally expressed by iterative linear algebra programs. In this paper, we study the incremental view maintenance problem for such complex analytical queries. We develop a framework, called LINVIEW ...

2014

Page 2 sur 3

Christoph Koch

Graph Chatbot

XML Stream Processing

Logical Foundations of Web Data Extraction

Uncertain Data Models

Parameterized Complexity of Queries

Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes

Parallelizing Query Optimization on Shared-Nothing Architectures

Multiple Query Optimization on the D-Wave 2X Adiabatic Quantum Computer

Squall: Scalable Real-time Analytics

How to Win a Hot Dog Eating Contest: Distributed Incremental View Maintenance with Batch Updates

Incremental View Maintenance for Collection Programming

A Fast Randomized Algorithm for Multi-Objective Query Optimization

How to Architect a Query Compiler

The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis

An Incremental Anytime Algorithm for Multi-Objective Query Optimization

Multi-Objective Parametric Query Optimization

Approximation schemes for many-objective query optimization

Yin-yang: concealing the deep embedding of DSLs

DBToaster: higher-order delta processing for dynamic, frequently fresh views

LINVIEW: Incremental View Maintenance for Complex Analytical Queries