Christoph M. Kirsch

According to our database, Christoph M. Kirsch authored at least 77 papers between 1996 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

JEDI: These aren't the JSON documents you're looking for... (Extended Version*).

Thomas Hütter, Nikolaus Augsten, Christoph M. Kirsch, Michael J. Carey, Chen Li

CoRR, 2022

JEDI: These aren't the JSON documents you're looking for?

Thomas Hütter, Nikolaus Augsten, Christoph M. Kirsch, Michael J. Carey, Chen Li

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2021

Why We Eval in the Shadows (Dataset).

Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek

Dataset, September, 2021

PRL-PRG/evalr-experiment: OOPSLA 2021 artifact.

Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek

Dataset, September, 2021

What we eval in the shadows: a large-scale study of eval in R programs.

Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek

Proc. ACM Program. Lang., 2021

Quantum Advantage for All.

Christoph M. Kirsch, Stefanie Muroya Lei

CoRR, 2021

ASE: A Value Set Decision Procedure for Symbolic Execution.

Alireza S. Abyaneh, Christoph M. Kirsch

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2018

On the self in selfie (invited talk).

Christoph M. Kirsch

Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2018

You Can Program What You Want but You Cannot Compute What You Want.

Alireza S. Abyaneh, Christoph M. Kirsch

Proceedings of the Principles of Modeling, 2018

2017

Work-in-Progress: Adaptive Scheduling with Approximate Computing for Audio Graphs.

Pierre Donat-Bouillud, Christoph M. Kirsch

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Selfie and the basics.

Christoph M. Kirsch

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

2016

Local Linearizability for Concurrent Container-Type Data Structures.

Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Cloud Computing in Space.

Jiangchuan Huang, Christoph M. Kirsch, Raja Sengupta

INFORMS J. Comput., 2015

Local Linearizability.

Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith

CoRR, 2015

A Scalable, Correct Time-Stamped Stack.

Mike Dodds, Andreas Haas, Christoph M. Kirsch

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures.

Martin Aigner, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Scal: A Benchmarking Suite for Concurrent Data Structures.

Andreas Haas, Thomas Hütter, Christoph M. Kirsch, Michael Lippautz, Mario Preishuber, Ana Sokolova

Proceedings of the Networked Systems - Third International Conference, 2015

A runtime system for logical-space programming.

Eloi Pereira, Clemens Krainer, Pedro Marques da Silva, Christoph M. Kirsch, Raja Sengupta

Proceedings of the Second International Workshop on the Swarm at the Edge of the Cloud, 2015

2014

Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit.

Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova

CoRR, 2014

ACDC-JS: explorative benchmarking of javascript memory management.

Martin Aigner, Thomas Hütter, Christoph M. Kirsch, Alexander Miller, Hannes Payer, Mario Preishuber

Proceedings of the DLS'14, 2014

Cyber-physical cloud computing implemented as PaaS.

Clemens Krainer, Christoph M. Kirsch

Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

2013

Introduction to Special Section on Probabilistic Embedded Computing.

Christoph M. Kirsch, Vincent John Mooney

ACM Trans. Embed. Comput. Syst., 2013

Temporal isolation in real-time systems: the VBS approach.

Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova

Int. J. Softw. Tools Technol. Transf., 2013

Modeling and controlling the structure of heterogeneous mobile robotic systems: A bigactor approach.

Eloi Pereira, Camille Potiron, Christoph M. Kirsch, Raja Sengupta

Proceedings of the IEEE International Systems Conference, 2013

Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures.

Martin Aigner, Armin Biere, Christoph M. Kirsch, Aina Niemetz, Mathias Preiner

Proceedings of the POS-13. Fourth Pragmatics of SAT workshop, 2013

Quantitative relaxation of concurrent data structures.

Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Fast and Scalable, Lock-Free k-FIFO Queues.

Christoph M. Kirsch, Michael Lippautz, Hannes Payer

Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013

ACDC: towards a universal mutator for benchmarking heap management systems.

Martin Aigner, Christoph M. Kirsch

Proceedings of the International Symposium on Memory Management, 2013

BigActors: a model for structure-aware computation.

Eloi Pereira, Christoph M. Kirsch, João Borges de Sousa, Raja Sengupta

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation.

Andreas Haas, Michael Lippautz, Thomas A. Henzinger, Hannes Payer, Ana Sokolova, Christoph M. Kirsch, Ali Sezgin

Proceedings of the Computing Frontiers Conference, 2013

2012

Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code.

Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli

Sci. Comput. Program., 2012

How FIFO is your concurrent FIFO queue?

Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Hannes Payer

Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability, 2012

Performance, Scalability, and Semantics of Concurrent FIFO Queues.

Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova

Proceedings of the Algorithms and Architectures for Parallel Processing, 2012

Cyber-physical cloud computing: The binding and migration problem.

Christoph M. Kirsch, Eloi Pereira, Raja Sengupta, Hao Chen, Robert Hansen, Jiangchuan Huang, Florian Landolt, Michael Lippautz, Andreas Rottmann, Ryan Swick, Rainer Trummer, D. Vizzini

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Incorrect systems: it's not the problem, it's the solution.

Christoph M. Kirsch, Hannes Payer

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

The Power of Isolation.

Silviu S. Craciunas, Christoph M. Kirsch

Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

The Logical Execution Time Paradigm.

Christoph M. Kirsch, Ana Sokolova

Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012

2011

Scalability versus semantics of concurrent FIFO queues.

Hannes Payer, Harald Röck, Christoph M. Kirsch, Ana Sokolova

Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

Short-term memory for self-collecting mutators.

Martin Aigner, Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova, Stephanie Stroka, Andreas Unterweger

Proceedings of the 10th International Symposium on Memory Management, 2011

Time-predictable and composable architectures for dependable embedded systems.

Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Response Time versus Utilization in Scheduler Overhead Accounting.

Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing.

Silviu S. Craciunas, Andreas Haas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Andreas Rottmann, Ana Sokolova, Rainer Trummer, Joshua Love, Raja Sengupta

Proceedings of the 2nd USENIX Workshop on Hot Topics in Cloud Computing, 2010

Runtime Programming through Model-Preserving, Scalable Runtime Patches.

Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Power-aware temporal isolation with variable-bandwidth servers.

Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova

Proceedings of the 10th International conference on Embedded software, 2010

2009

Low-latency time-portable real-time programming with Exotasks.

Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer

ACM Trans. Embed. Comput. Syst., 2009

EMSOFT 2007 guest editors' introduction.

Christoph M. Kirsch, Reinhard Wilhelm

Des. Autom. Embed. Syst., 2009

Programmable temporal isolation through variable-bandwidth servers.

Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova

Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

Distributed, Modular HTL.

Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors.

Joshua Love, Jerry Jariyasunant, Eloi Pereira, Marco Zennaro, J. Karl Hedrick, Christoph M. Kirsch, Raja Sengupta

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Avoiding unbounded priority inversion in barrier protocols using gang priority management.

Harald Röck, Joshua S. Auerbach, Christoph M. Kirsch, David F. Bacon

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Programmable temporal isolation in real-time and embedded execution environments.

Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova

Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, 2009

2008

I/O resource management through system call scheduling.

Silviu S. Craciunas, Christoph M. Kirsch, Harald Röck

ACM SIGOPS Oper. Syst. Rev., 2008

A Compacting Real-Time Memory Management System.

Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Ana Sokolova, Horst Stadler, Robert Staudinger

Proceedings of the 2008 USENIX Annual Technical Conference, 2008

Logical Reliability of Interacting Real-Time Tasks.

Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Design, Automation and Test in Europe, 2008

2007

The Evolution of Real-Time Programming.

Raja Sengupta, Christoph M. Kirsch

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

The embedded machine: Predictable, portable real-time code.

Thomas A. Henzinger, Christoph M. Kirsch

ACM Trans. Program. Lang. Syst., 2007

Java takes flight: time-portable real-time programming with exotasks.

Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer

Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

Grand challenges in embedded software.

Christoph M. Kirsch, Reinhard Wilhelm

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006

A hierarchical coordination language for interacting real-time tasks.

Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

A programmable microkernel for real-time systems.

Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger

Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

Composable code generation for distributed giotto.

Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic

Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005

High-level real-time programming in Java.

David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev

Proceedings of the EMSOFT 2005, 2005

2004

Event-Driven Programming with Logical Execution Times.

Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

A typed assembly language for real-time programs.

Thomas A. Henzinger, Christoph M. Kirsch

Proceedings of the EMSOFT 2004, 2004

2003

Giotto: a time-triggered language for embedded programming.

Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch

Proc. IEEE, 2003

Schedule-Carrying Code.

Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic

Proceedings of the Embedded Software, Third International Conference, 2003

2002

A Giotto-Based Helicopter Control System.

Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree

Proceedings of the Embedded Software, Second International Conference, 2002

Principles of Real-Time Programming.

Christoph M. Kirsch

Proceedings of the Embedded Software, Second International Conference, 2002

Time-Safety Checking for Embedded Programs.

Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic

Proceedings of the Embedded Software, Second International Conference, 2002

2001

Embedded Control Systems Development with Giotto.

Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch

Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, 2001

JMOCHA: A Model Checking Tool that Exploits Design Structure.

Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang

Proceedings of the 23rd International Conference on Software Engineering, 2001

1999

Soft typing for clausal inference systems.

Christoph Meyer

PhD thesis, 1999

The Two-Variable Guarded Fragment with Transitive Relations.

Harald Ganzinger, Christoph Meyer, Margus Veanes

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1998

Unification in Extension of Shallow Equational Theories.

Florent Jacquemard, Christoph Meyer, Christoph Weidenbach

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

A Resolution-Based Decision Procedure for Extensions of K4.

Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt

Proceedings of the Advances in Modal Logic 2, 1998

1997

Soft Typing for Ordered Resolution.

Harald Ganzinger, Christoph Meyer, Christoph Weidenbach

Proceedings of the Automated Deduction, 1997

1996

Advanced Indexing Operations on Substitution Trees.

Peter Graf, Christoph Meyer

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996