Recherche

Afficher tous les résultats pour

Accueil

Personne

Christoph Koch

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (50)

Page 2 sur 3

Yin-yang: concealing the deep embedding of DSLs

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

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

Data transformer apparatus

Christoph Koch, Babak Falsafi, Siddharth Gupta, Mark Johnathon Sutherland, Mario Paulo Drumond Lages De Oliveira, Arash Pourhabibi Zarandi, Zilu Tian, Hussein Kassir

Data transformer apparatus comprising at least a dispatcher module (D), a reader module (R), a converter module (C) and a writer module (W). The dispatcher module (D) is configured to: receive a data transformation request (DTR) including: a first informat ...

2021

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

Building Efficient Query Engines in a High-Level Language

Christoph Koch, Tiark Rompf, Ioannis Klonatos

In this paper we advocate that it is time for a radical rethinking of database systems design. Developers should be able to leverage high-level programming languages without having to pay a price in efficiency. To realize our vision of abstraction without ...

2014

Optimus Prime: Accelerating Data Transformation in Servers

Christoph Koch, Babak Falsafi, Siddharth Gupta, Mark Johnathon Sutherland, Mario Paulo Drumond Lages De Oliveira, Arash Pourhabibi Zarandi, Zilu Tian, Hussein Kassir

Modern online services are shifting away from monolithic applications to loosely-coupled microservices because of their improved scalability, reliability, programmability and development velocity. Microservices communicating over the datacenter network req ...

ACM2020

Aggregation and Exploration of High-Dimensional Data Using the Sudokube Data Cube Engine

Zhekai Jiang, Christoph Koch, Sachin Basil John, Peter Lindner

We present Sudokube, a novel system that supports interactive speed querying on high-dimensional data using partially materialized data cubes. Given a storage budget, it judiciously chooses what projections to precompute and materialize during cube constru ...

Association for Computing Machinery2023

Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper)

Christoph Koch, Amir Shaikhha, Vojin Jovanovic

In this paper, we present a framework for generating optimizing compilers for performance-oriented embedded DSLs (EDSLs). This framework provides facilities to automatically generate the boilerplate code required for building DSL compilers on top of the ex ...

ASSOC COMPUTING MACHINERY2019

Agile Views in a Dynamic Data Management System

Christoph Koch

This paper calls for a new breed of lightweight systems - dynamic data management systems (DDMS). In a nutshell, a DDMS manages large dynamic data structures with agile, frequently fresh views, and provides a facility for monitoring these views and trigger ...

2011

How to Architect a Query Compiler

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

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

Entangled queries: enabling declarative data-driven coordination

Christoph Koch

Many data-driven social and Web applications involve collaboration and coordination. The vision of Declarative Data-Driven Coordination (D3C), proposed in Kot et al. [2010], is to support coordination in the spirit of data management: to make it data-centr ...

Assoc Computing Machinery2011

Deciding Robustness for Lower SQL Isolation Levels

Christoph Koch, Bas Ketsman

While serializability always guarantees application correctness, lower isolation levels can be chosen to improve transaction throughput at the risk of introducing certain anomalies. A set of transactions is robust against a given isolation level if every p ...

ASSOC COMPUTING MACHINERY2020

ROBUSTNESS AGAINST READ COMMITTED FOR TRANSACTION TEMPLATES WITH FUNCTIONAL CONSTRAINTS

Christoph Koch

Vandevoort, B. Ketsman, C. Koch, and F. Neven.The popular isolation level Multiversion Read Committed (RC) trades some of the strong guarantees of serializability for increased transaction throughput. Sometimes, transaction workloads can be safely executed ...

2023

Incremental View Maintenance for Collection Programming

Christoph Koch, Daniel Lupei

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

High-dimensional Data Cubes

Christoph Koch, Sachin Basil John, Peter Lindner

We introduce an approach to supporting high-dimensional data cubes at interactive query speeds and moderate storage cost. Our approach is based on binary(-domain) data cubes that are judiciously partially materialized; the missing information can be quickl ...

Association for Computing Machinery (ACM)2025

Concurrency control for database theorists

Christoph Koch, Bas Ketsman

The aim of this paper is to serve as a lightweight introduction to concurrency control for database theorists through a uniform presentation of the work on robustness against Multiversion Read Committed and Snapshot Isolation. ...

ASSOC COMPUTING MACHINERY2022

Sparse projections onto the simplex

Volkan Cevher, Christoph Koch, Anastasios Kyrillidis

Most learning methods with rank or sparsity constraints use convex relaxations, which lead to optimization with the nuclear norm or the`1-norm. However, several important learning applications cannot benet from this approach as they feature these convex no ...

JMLR W&CP2013

Unifying Analytic and Statically-Typed Quasiquotes

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

Metaprograms are programs that manipulate (generate, analyze and evaluate) other programs. These tasks are greatly facilitated by quasiquotation, a technique to construct and deconstruct program fragments using quoted code templates expressed in the syntax ...

2018

Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations

Christoph Koch, Zilu Tian, Peter Lindner

We generalize the bulk-synchronous parallel (BSP) processing model to make it better support agent-based simulations. Such simulations frequently exhibit hierarchical structure in their communication patterns which can be exploited to improve performance. ...

2023

Squall: Scalable Real-time Analytics

Christoph Koch, Mohammad Dashti Rahmat Abadi, Ioannis Klonatos, Aleksandar Vitorovic, Mohamed Elsayed Mohamed Ahmed El Seidy, Minh Khue Vu

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

Approximation schemes for many-objective query optimization

Christoph Koch, Immanuel Trummer

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