Christoph M. Kirsch

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 17

Top Topics

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Thomas Hütter, Nikolaus Augsten, Christoph M. Kirsch, Michael J. Carey, Chen Li
JEDI: These aren't the JSON documents you're looking for? SIGMOD Conference (2022)
Thomas Hütter, Nikolaus Augsten, Christoph M. Kirsch, Michael J. Carey, Chen Li
JEDI: These aren't the JSON documents you're looking for... (Extended Version*). CoRR (2022)
Christoph M. Kirsch, Stefanie Muroya Lei
Quantum Advantage for All. CoRR (2021)
Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek
What we eval in the shadows: a large-scale study of eval in R programs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Alireza S. Abyaneh, Christoph M. Kirsch
ASE: A Value Set Decision Procedure for Symbolic Execution. ASE (2021)
Christoph M. Kirsch
On the self in selfie (invited talk). VMIL@SPLASH (2018)
Alireza S. Abyaneh, Christoph M. Kirsch
You Can Program What You Want but You Cannot Compute What You Want. Principles of Modeling (2018)
Christoph M. Kirsch
Selfie and the basics. Onward! (2017)
Pierre Donat-Bouillud, Christoph M. Kirsch
Work-in-Progress: Adaptive Scheduling with Approximate Computing for Audio Graphs. RTSS (2017)
Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
Local Linearizability for Concurrent Container-Type Data Structures. CONCUR (2016)
Martin Aigner, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova
Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures. OOPSLA (2015)
Mike Dodds, Andreas Haas, Christoph M. Kirsch
A Scalable, Correct Time-Stamped Stack. POPL (2015)
Eloi Pereira, Clemens Krainer, Pedro Marques da Silva, Christoph M. Kirsch, Raja Sengupta
A runtime system for logical-space programming. SWEC@CPSWeek (2015)
Martin Aigner, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova
Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures. CoRR (2015)
Andreas Haas, Thomas Hütter, Christoph M. Kirsch, Michael Lippautz, Mario Preishuber, Ana Sokolova
Scal: A Benchmarking Suite for Concurrent Data Structures. NETYS (2015)
Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
Local Linearizability. CoRR (2015)
Jiangchuan Huang, Christoph M. Kirsch, Raja Sengupta
Cloud Computing in Space. INFORMS J. Comput. 27 (4) (2015)
Clemens Krainer, Christoph M. Kirsch
Cyber-physical cloud computing implemented as PaaS. CyPhy (2014)
Martin Aigner, Thomas Hütter, Christoph M. Kirsch, Alexander Miller, Hannes Payer, Mario Preishuber
ACDC-JS: explorative benchmarking of javascript memory management. DLS (2014)
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit. CoRR (2014)
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
Temporal isolation in real-time systems: the VBS approach. Int. J. Softw. Tools Technol. Transf. 15 (3) (2013)
Eloi Pereira, Camille Potiron, Christoph M. Kirsch, Raja Sengupta
Modeling and controlling the structure of heterogeneous mobile robotic systems: A bigactor approach. SysCon (2013)
Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova
Quantitative relaxation of concurrent data structures. POPL (2013)
Martin Aigner, Christoph M. Kirsch
ACDC: towards a universal mutator for benchmarking heap management systems. ISMM (2013)
Christoph M. Kirsch, Michael Lippautz, Hannes Payer
Fast and Scalable, Lock-Free k-FIFO Queues. PaCT (2013)
Eloi Pereira, Christoph M. Kirsch, João Borges de Sousa, Raja Sengupta
BigActors: a model for structure-aware computation. ICCPS (2013)
Andreas Haas, Michael Lippautz, Thomas A. Henzinger, Hannes Payer, Ana Sokolova, Christoph M. Kirsch, Ali Sezgin
Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation. Conf. Computing Frontiers (2013)
Martin Aigner, Armin Biere, Christoph M. Kirsch, Aina Niemetz, Mathias Preiner
Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures. POS@SAT (2013)
Christoph M. Kirsch, Vincent John Mooney
Introduction to Special Section on Probabilistic Embedded Computing. ACM Trans. Embed. Comput. Syst. 12 (2s) (2013)
Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code. Sci. Comput. Program. 77 (2) (2012)
Christoph M. Kirsch, Hannes Payer
Incorrect systems: it's not the problem, it's the solution. DAC (2012)
Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Hannes Payer
How FIFO is your concurrent FIFO queue? RACES@SPLASH (2012)
Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
Performance, Scalability, and Semantics of Concurrent FIFO Queues. ICA3PP (1) (2012)
Christoph M. Kirsch, Ana Sokolova
The Logical Execution Time Paradigm. Advances in Real-Time Systems (2012)
Silviu S. Craciunas, Christoph M. Kirsch
The Power of Isolation. CSE (2012)
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
Cyber-physical cloud computing: The binding and migration problem. DATE (2012)
Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova
Runtime Programming through Model-Preserving, Scalable Runtime Patches. ACSD (2011)
Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis
Time-predictable and composable architectures for dependable embedded systems. EMSOFT (2011)
Hannes Payer, Harald Röck, Christoph M. Kirsch, Ana Sokolova
Scalability versus semantics of concurrent FIFO queues. PODC (2011)
Martin Aigner, Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova, Stephanie Stroka, Andreas Unterweger
Short-term memory for self-collecting mutators. ISMM (2011)
Silviu S. Craciunas, Andreas Haas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Andreas Rottmann, Ana Sokolova, Rainer Trummer, Joshua Love, Raja Sengupta
Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing. HotCloud (2010)
Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova
Power-aware temporal isolation with variable-bandwidth servers. EMSOFT (2010)
Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova
Runtime Programming through Model-Preserving, Scalable Runtime Patches. FACS (2010)
Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova
Response Time versus Utilization in Scheduler Overhead Accounting. IEEE Real-Time and Embedded Technology and Applications Symposium (2010)
Harald Röck, Joshua S. Auerbach, Christoph M. Kirsch, David F. Bacon
Avoiding unbounded priority inversion in barrier protocols using gang priority management. JTRES (2009)
Joshua Love, Jerry Jariyasunant, Eloi Pereira, Marco Zennaro, J. Karl Hedrick, Christoph M. Kirsch, Raja Sengupta
CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors. IEEE Real-Time and Embedded Technology and Applications Symposium (2009)
Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer
Low-latency time-portable real-time programming with Exotasks. ACM Trans. Embed. Comput. Syst. 8 (2) (2009)
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
Programmable temporal isolation in real-time and embedded execution environments. IIES@EuroSys (2009)
Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova
Distributed, Modular HTL. RTSS (2009)
Christoph M. Kirsch, Reinhard Wilhelm
EMSOFT 2007 guest editors' introduction. Des. Autom. Embed. Syst. 13 (1-2) (2009)
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
Programmable temporal isolation through variable-bandwidth servers. SIES (2009)
Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
Logical Reliability of Interacting Real-Time Tasks. DATE (2008)
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Ana Sokolova, Horst Stadler, Robert Staudinger
A Compacting Real-Time Memory Management System. USENIX Annual Technical Conference (2008)
Silviu S. Craciunas, Christoph M. Kirsch, Harald Röck
I/O resource management through system call scheduling. ACM SIGOPS Oper. Syst. Rev. 42 (5) (2008)
Christoph M. Kirsch, Reinhard Wilhelm
Grand challenges in embedded software. EMSOFT (2007)
Thomas A. Henzinger, Christoph M. Kirsch
The embedded machine: Predictable, portable real-time code. ACM Trans. Program. Lang. Syst. 29 (6) (2007)
Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer
Java takes flight: time-portable real-time programming with exotasks. LCTES (2007)
Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan
A hierarchical coordination language for interacting real-time tasks. EMSOFT (2006)
Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger
A programmable microkernel for real-time systems. VEE (2005)
Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic
Composable code generation for distributed giotto. LCTES (2005)
David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev
High-level real-time programming in Java. EMSOFT (2005)
Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido
Event-Driven Programming with Logical Execution Times. HSCC (2004)
Thomas A. Henzinger, Christoph M. Kirsch
A typed assembly language for real-time programs. EMSOFT (2004)
Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic
Schedule-Carrying Code. EMSOFT (2003)
Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
Giotto: a time-triggered language for embedded programming. Proc. IEEE 91 (1) (2003)
Christoph M. Kirsch
Principles of Real-Time Programming. EMSOFT (2002)
Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic
Time-Safety Checking for Embedded Programs. EMSOFT (2002)
Thomas A. Henzinger, Christoph M. Kirsch
The Embedded Machine: Predictable, Portable Real-Time Code. PLDI (2002)
Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree
A Giotto-Based Helicopter Control System. EMSOFT (2002)
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang
JMOCHA: A Model Checking Tool that Exploits Design Structure. ICSE (2001)
Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
Embedded Control Systems Development with Giotto. LCTES/OM (2001)
Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
Giotto: A Time-Triggered Language for Embedded Programming. EMSOFT (2001)