Christoph Koch
EPFL IC IINFCOM DATA
BC 260 (Bâtiment BC)Station 141015 Lausanne
+41 21 693 75 47
Office: BC 260
EPFL › IC › IINFCOM › DATA
Site web: https://data.epfl.ch
+41 21 693 75 47
EPFL › IC › IC-SIN › SIN-ENS
Site web: https://sin.epfl.ch
+41 21 693 75 47
EPFL › IC › IC-SSC › SSC-ENS
Site web: https://ssc.epfl.ch
+41 21 693 75 47
EPFL › VPA › VPA-FAC › CEAE
Prix et distinctions
Christoph Koch: "Abstraction without regret in data management systems"
2013
Category: Structured Data
2009
Foundations of Algebraic and Dynamic Data Management Systems
2011
"For fundamental work on logic-based web data extraction and querying tree-structured data"
2021
Georg Gottlob, Christoph Koch: "Monadic Datalog and the Expressive Power of Languages for Web Information Extraction"
2002
Martin Grohe, Christoph Koch, Nicole Schweikardt: "Tight Lower Bounds for Query Processing on Streaming and External Memory Data"
2005
Nitin Gupta, Lucja Kot, Sudip Roy, Gabriel Bender, Johannes Gehrke, Christoph Koch: "Entangled Queries: Enabling Declarative Data-Driven Coordination"
2011
Yannis Klonatos, Christoph Koch, Tiark Rompf, Hassan Chafi: "Building Efficient Query Engines in a High-Level Language"
2014
Lionel Parreaux, Amir Shaikhha, Christoph Koch: "Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations"
2017
since
2019
Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations
2023-06-18. 2023 ACM SIGMOD/PODS Conference, Seattle, Washington, USA, June 18 - 23, 2023. DOI : 10.1145/3589296.When is it safe to run a transactional workload under Read Committed?
Sigmod Record. 2023-03-01. DOI : 10.4230/LIPIcs.ICDT.2022.16.Aggregation and Exploration of High-Dimensional Data Using the Sudokube Data Cube Engine
2023. 2023 ACM SIGMOD/PODS Conference, Seattle, Washington, USA, June 18 - 23, 2023. p. 175-178. DOI : 10.1145/3555041.3589729.Interactive-time Exploration, Querying, and Analysis of Large High-dimensional Datasets
Lausanne, EPFL, 2023. DOI : 10.5075/epfl-thesis-9017.Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations
Lausanne, EPFL, 2023. DOI : 10.5075/epfl-thesis-8865.Squall: Scalable Real-time Analytics using Efficient, Skew-resilient Join Operators
Lausanne, EPFL, 2023. DOI : 10.5075/epfl-thesis-7290.Concurrency control for database theorists
Sigmod Record. 2022-12-01. DOI : 10.1145/3582302.3582304.Deciding Robustness for Lower SQL Isolation Levels
Acm Transactions On Database Systems. 2022-12-01. DOI : 10.1145/3561049.High-dimensional Data Cubes
2022-10High-dimensional Data Cubes
Proceedings Of The Vldb Endowment. 2022-09-01. DOI : 10.14778/3565838.3565839.Robustness Against Read Committed: A Free Transactional Lunch
2022-01-01. 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS), Philadelphia, PA, Jun 12-17, 2022. p. 1-14. DOI : 10.1145/3517804.3524162.Robustness against Read Committed for Transaction Templates
Proceedings Of The Vldb Endowment. 2021-07-01. DOI : 10.14778/3476249.3476268.Data transformer apparatus
US11748254 ; US2022327048 ; WO2021037341 . 2021.Deciding Robustness for Lower SQL Isolation Levels
2020-01-01. 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS), ELECTR NETWORK, Jun 15-17, 2020. p. 315-330. DOI : 10.1145/3375395.3387655.Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages
Lausanne, EPFL, 2020. DOI : 10.5075/epfl-thesis-10285.Optimus Prime: Accelerating Data Transformation in Servers
2020. Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, March 16–20, 2020. p. 1203-1216. DOI : 10.1145/3373376.3378501.Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper)
2019-01-01. 18th ACM SIGPLAN International Conference on Generative Programming - Concepts and Experiences (GPCE), Athens, GREECE, Oct 21-22, 2019. p. 94-101. DOI : 10.1145/3357765.3359520.Push versus pull-based loop fusion in query engines
Journal of Functional Programming. 2018. DOI : 10.1017/S0956796818000102.Building Efficient Query Engines in a High-Level Language
ACM Transactions on Database Systems. 2018. DOI : 10.1145/3183653.Compilation and Code Optimization for Data Analytics
Lausanne, EPFL, 2018. DOI : 10.5075/epfl-thesis-8762.Unifying Analytic and Statically-Typed Quasiquotes
2018. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), Los Angeles, California, USA, January 7–13, 2018. DOI : 10.1145/3158101.Compilation Techniques for Incremental Collection Processing
Lausanne, EPFL, 2017. DOI : 10.5075/epfl-thesis-8019.Efficient Online Processing for Advanced Analytics
Lausanne, EPFL, 2017. DOI : 10.5075/epfl-thesis-7731.Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads
Lausanne, EPFL, 2017. DOI : 10.5075/epfl-thesis-8023.Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
2017. 8th ACM SIGPLAN International Scala Symposium (SCALA'17), Vancouver, Canada, October 22–23, 2017. DOI : 10.1145/3136000.3136005.Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations
2017. 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE'17), Vancouver, Canada, October 23–24, 2017. DOI : 10.1145/3136040.3136043.Building Efficient Query Engines using High-Level Languages
Lausanne, EPFL, 2017. DOI : 10.5075/epfl-thesis-7508.Building Efficient Query Engines in a High-Level Language
2016Efficient Incremental Data Analysis
Lausanne, EPFL, 2016. DOI : 10.5075/epfl-thesis-7183.Incremental View Maintenance for Collection Programming
2016. 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, San Francisco, California, USA, June 26th-July 1st, 2016. p. 75-90. DOI : 10.1145/2902251.2902286.Squall: Scalable Real-time Analytics
2016. 42nd International Conference on Very Large Data Bases, New Delhi, India, September 5-9, 2016. p. 1553–1556. DOI : 10.14778/3007263.3007307.Parallelizing Query Optimization on Shared-Nothing Architectures
2016. VLDB 2016, New Delhi, India, 2016. p. 660-671. DOI : 10.14778/2947618.2947622.Multiple Query Optimization on the D-Wave 2X Adiabatic Quantum Computer
2016. VLDB 2016, New Delhi, India. p. 648-659. DOI : 10.14778/2947618.2947621.A Fast Randomized Algorithm for Multi-Objective Query Optimization
2016. SIGMOD 2016, San Francisco, California, USA, 26 06 - 01 07 2016. p. 1737-1752. DOI : 10.1145/2882903.2882927.From Massive Parallelization to Quantum Computing: Seven Novel Approaches to Query Optimization
Lausanne, EPFL, 2016. DOI : 10.5075/epfl-thesis-6995.How to Win a Hot Dog Eating Contest: Distributed Incremental View Maintenance with Batch Updates
2016. SIGMOD, San Francisco, USA, June 26-July 01, 2016. DOI : 10.1145/2882903.2915246.How to Architect a Query Compiler
2016. SIGMOD 2016, San Francisco, USA, June 26 - July 1, 2016. DOI : 10.1145/2882903.2915244.Squall: Scalable Real-time Analytics
2016Load Balancing and Skew Resilience for Parallel Joins
2016The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis
2015. SIGMOD 2015, Melbourne, Victoria, Australia, 31 05 - 04 06 2015. p. 1311-1326. DOI : 10.1145/2723372.2723720.Special issue on best papers of VLDB 2013
Vldb Journal. 2015. DOI : 10.1007/s00778-015-0401-6.Multi-Objective Parametric Query Optimization
2015. VLDB, 2015. p. 24-31. DOI : 10.1145/2949741.2949748.An Incremental Anytime Algorithm for Multi-Objective Query Optimization
2015. SIGMOD, 2015. p. 1941–1953. DOI : 10.1145/2723372.2746484.Approximation schemes for many-objective query optimization
2014. SIGMOD 2014, Snowbird, Utah, USA, June 22-27, 2014. p. 1299-1310. DOI : 10.1145/2588555.2610527.Approximation Schemes for Many-Objective Query Optimization
2014. SIGMOD, 2014. p. 1299–1310. DOI : 10.1145/2588555.2610527.Yin-yang: concealing the deep embedding of DSLs
2014. International Conference on Generative Programming: Concepts and Experiences - GPCE 2014, Västerås, Sweden, 15-16 09 2014. p. 73-82. DOI : 10.1145/2658761.2658771.DBToaster: higher-order delta processing for dynamic, frequently fresh views
VLDB Journal. 2014. DOI : 10.1007/s00778-013-0348-4.LINVIEW: Incremental View Maintenance for Complex Analytical Queries
2014. SIGMOD, Snowbird, UT, USA, June 22-27, 2014. DOI : 10.1145/2588555.2610519.Building Efficient Query Engines in a High-Level Language
2014. 40th International Conference on Very Large Data Bases (VLDB), Hangzhou, China, September 1st - 5th 2014. p. 853–864. DOI : 10.14778/2732951.2732959.Abstraction without regret in database systems building: a manifesto
IEEE Data Engineering Bulletin. 2014.Scalable and Adaptive Online Joins
2014Sparse projections onto the simplex
2013. The 30th International Conference on Machine Learning (ICML) 2013, Atlanta, USA, June 16-21, 2013. p. 280-288.Loop Elimination for Database Updates
2013. British National Conference on Databases (BNCOD), Oxford, UK, July 8-10, 2013. p. 48-61. DOI : 10.1007/978-3-642-39467-6_8.Quantum Databases
2013. CIDR, Asilomar, CA, USA, January 2013.Fine-grained disclosure control for app ecosystems
2013. SIGMOD, New York, NY, USA, June 22-27, 2013. p. 869–880. DOI : 10.1145/2463676.2467798.Automatic Synthesis of Out-of-Core Algorithms
2013. ACM SIGMOD International Conference on Management of Data, New York, NY, USA, June 22-27, 20013. p. 133–144. DOI : 10.1145/2463676.2465334.DBToaster: Higher-order Delta Processing for Dynamic, Frequently Fresh Views
2013Incremental Query Evaluation in a Ring of Databases
2013Guest Editors' Introduction to the Special Section on the 27th International Conference on Data Engineering (ICDE 2011)
Ieee Transactions On Knowledge And Data Engineering. 2012. DOI : 10.1109/TKDE.2012.165.DBToaster: Higher-order Delta Processing for Dynamic, Frequently Fresh Views
2012. 38th International Conference on Very Large Databases, Istanbul, Turkey, August 27-31, 2012.Entangled Transactions
2011. VLDB, 2011. p. 887–898. DOI : 10.14778/3402707.3402727.Entangled queries: enabling declarative data-driven coordination
2011. SIGMOD Conference, Athens, Greece, 2011. p. 673-684. DOI : 10.1145/2338626.2338629.Coordination through querying in the Youtopia system
2011. SIGMOD Conference, Athens, Greece, 2011. p. 1331-1334.Probabilistic Databases
Morgan & Claypool Publishers.Agile Views in a Dynamic Data Management System
2011. CIDR 2011, Fifth Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 9-12, 2011. p. 284-295.Beyond isolation: research opportunities in declarative data-driven coordination
Sigmod Record. 2010. DOI : 10.1145/1860702.1860706.PIP: A database system for great and small expectations
2010. p. 157-168. DOI : 10.1109/ICDE.2010.5447879.Approximate Confidence Computation in Probabilistic Databases.
2010. 26th International Conference on Data Engineering, Long Beach, California, USA, March 1-6, 2010.Incremental Query Evaluation in a Ring of Databases
2010. Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2010, Indianapolis, Indiana, USA, June 6-11, 2010. p. 87–98. DOI : 10.1145/1807085.1807100.On Probabilistic Fixpoint and Markov Chain Query Languages.
2010. Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2010, Indianapolis, Indiana, USA, June 6-11,2010. p. 215–226. DOI : 10.1145/1807085.1807114.Causality in Databases
IEEE Data Engineering Bulletin. 2010.Better Scripts, Better Games
Communications of the ACM. 2009. DOI : 10.1145/1467247.1467262.XML Stream Processing
Encyclopedia of Database Systems; Springer-Verlag, 2009. p. 3634-3637.Parameterized Complexity of Queries
Encyclopedia of Database Systems; Springer-Verlag, 2009. p. 2041-2044.Logical Foundations of Web Data Extraction
Encyclopedia of Database Systems; Springer-Verlag, 2009. p. 1649-1652.MayBMS: A System for Managing Large Uncertain and Probabilistic Databases
Managing and Mining Uncertain Data; Springer-Verlag, 2009.SPROUT: Lazy vs. Eager Query Plans for Tuple-Independent Probabilistic Databases
2009. p. 640-651. DOI : 10.1109/ICDE.2009.123.Dynamic Approaches to In-network Aggregation
2009. p. 1331-1334. DOI : 10.1109/ICDE.2009.233.A compositional query algebra for second-order logic and uncertain databases
2009. p. 127-140. DOI : 10.1145/1514894.1514911.A compositional framework for complex queries over uncertain data
2009. p. 149-161. DOI : 10.1145/1514894.1514913.Rule-based multi-query optimization
2009. p. 120-131. DOI : 10.1145/1516360.1516376.MayBMS: a probabilistic database management system
2009. p. 1071-1074. DOI : 10.1145/1559845.1559984.Database research in computer games
2009. p. 1011-1014. DOI : 10.1145/1559845.1559967.$10^{(10^6)}$ worlds and beyond: efficient representation and processing of incomplete information
The VLDB Journal. 2009. DOI : 10.1007/s00778-009-0149-y.Cooperative Update Exchange in the Youtopia System
Proceedings of the VLDB Endowment. 2009. DOI : 10.14778/1687627.1687650.An Evaluation of Checkpoint Recovery for Massively Multiplayer Online Games
Proceedings of the VLDB Endowment. 2009. DOI : 10.14778/1687627.1687769.DBToaster: A SQL Compiler for High-Performance Delta Processing in Main-Memory Databases
Proceedings of the VLDB Endowment. 2009. DOI : 10.14778/1687553.1687592.From XQuery to relational logics
ACM Transactions on Database Systems. 2009. DOI : 10.1145/1620585.1620592.Conditioning probabilistic databases
Proceedings of the VLDB Endowment. 2008. DOI : 10.14778/1453856.1453894.World-set decompositions: Expressiveness and efficient algorithms
Theor. Comput. Sci.. 2008. DOI : 10.1016/j.tcs.2008.05.004.XPath leashed
ACM Computing Surveys. 2008. DOI : 10.1145/1456650.1456653.Fast and Simple Relational Processing of Uncertain Data
2008. p. 983-992. DOI : 10.1109/ICDE.2008.4497507.XML Prefiltering as a String Matching Problem
2008. p. 626-635. DOI : 10.1109/ICDE.2008.4497471.Approximating predicates and expressive queries on probabilistic databases
2008. p. 99-108. DOI : 10.1145/1376916.1376932.On APIs for probabilistic databases
2008. p. 41-56.On Query Algebras for Probabilistic Databases
SIGMOD Record. 2008. DOI : 10.1145/1519103.1519116.Better Scripts, Better Games
ACM Queue. 2008. DOI : 10.1145/1483101.1483106.Tight lower bounds for query processing on streaming and external memory data
Theor. Comput. Sci.. 2007. DOI : 10.1016/j.tcs.2007.02.062.Attribute grammars for scalable query processing on XML streams
The VLDB Journal. 2007. DOI : 10.1007/s00778-005-0169-1.MayBMS: Managing Incomplete Information with Probabilistic World-Set Decompositions
2007. p. 1479-1480. DOI : 10.1109/ICDE.2007.369042.Enseignement et PhD
Doctorant·es actuel·les
Léonard Léchot, Zhekai Jiang, Hanbit Lee
A dirigé les thèses EPFL de
Immanuel Trummer, Aleksandar Vitorovic, Milos Nikolic, Daniel Lupei, Mohammed El Seidy, Ioannis Klonatos, Mohammad Dashti Rahmat Abadi, Amir Shaikhha, Lionel Parreaux, Sachin Basil John, Zilu Tian
A co-dirigé les thèses EPFL de
Cours
Making intelligent things A
CS-358(a)
Le cours vise à enseigner le prototypage d'artefacts physiques intelligents et à résoudre des défis du monde réel en combinant la program. de microcontrôleurs, l'électr.,la conception et la fabrication assistée par ordinateur. Les équipes choisissent leur propre défi en accord avec les enseignants.
Making intelligent things B
CS-358(b)
Le cours vise à enseigner le prototypage d'artefacts physiques intelligents et à résoudre des défis du monde réel en combinant la program. de microcontrôleurs, l'électr.,la conception et la fabrication assistée par ordinateur. Les équipes choisissent leur propre défi en accord avec les enseignants.