Christoph M. Kirsch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
36
Venues
19
Active years
2001–2022
Best venue rank
A*
Where they publish
Papers
36 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SIGMOD | JEDI: These aren't the JSON documents you're looking for? | Thomas Htter, Nikolaus Augsten, Christoph M. Kirsch, Michael J. Carey, Chen Li |
| 2018 | OOPSLA | On the self in selfie (invited talk). | Christoph M. Kirsch |
| 2017 | OOPSLA | Selfie and the basics. | Christoph M. Kirsch |
| 2017 | RTSS | Work-in-Progress: Adaptive Scheduling with Approximate Computing for Audio Graphs. | Pierre Donat-Bouillud, Christoph M. Kirsch |
| 2016 | CONCUR | 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 |
| 2015 | OOPSLA | Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures. | Martin Aigner, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova |
| 2015 | POPL | A Scalable, Correct Time-Stamped Stack. | Mike Dodds, Andreas Haas, Christoph M. Kirsch |
| 2014 | DLS | ACDC-JS: explorative benchmarking of javascript memory management. | Martin Aigner, Thomas Htter, Christoph M. Kirsch, Alexander Miller, Hannes Payer, Mario Preishuber |
| 2013 | PACT | Fast and Scalable, Lock-Free k-FIFO Queues. | Christoph M. Kirsch, Michael Lippautz, Hannes Payer |
| 2013 | POPL | Quantitative relaxation of concurrent data structures. | Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova |
| 2013 | SAT | Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures. | Martin Aigner, Armin Biere, Christoph M. Kirsch, Aina Niemetz, Mathias Preiner |
| 2012 | DAC | Incorrect systems: it's not the problem, it's the solution. | Christoph M. Kirsch, Hannes Payer |
| 2012 | DATE | 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 |
| 2012 | ICA3PP | Performance, Scalability, and Semantics of Concurrent FIFO Queues. | Christoph M. Kirsch, Hannes Payer, Harald Rck, Ana Sokolova |
| 2012 | OOPSLA | How FIFO is your concurrent FIFO queue? | Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Hannes Payer |
| 2011 | EMSOFT | Time-predictable and composable architectures for dependable embedded systems. | Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis |
| 2011 | PODC | Scalability versus semantics of concurrent FIFO queues. | Hannes Payer, Harald Rck, Christoph M. Kirsch, Ana Sokolova |
| 2010 | EMSOFT | Power-aware temporal isolation with variable-bandwidth servers. | Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova |
| 2010 | RTAS | Response Time versus Utilization in Scheduler Overhead Accounting. | Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova |
| 2009 | EuroSys | Programmable temporal isolation in real-time and embedded execution environments. | Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Rck, Ana Sokolova |
| 2009 | RTSS | Distributed, Modular HTL. | Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova |
| 2009 | RTAS | 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 |
| 2008 | DATE | 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 |
| 2008 | USENIX | A Compacting Real-Time Memory Management System. | Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Ana Sokolova, Horst Stadler, Robert Staudinger |
| 2007 | EMSOFT | Grand challenges in embedded software. | Christoph M. Kirsch, Reinhard Wilhelm |
| 2006 | EMSOFT | A hierarchical coordination language for interacting real-time tasks. | Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan |
| 2005 | EMSOFT | 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 |
| 2005 | VEE | A programmable microkernel for real-time systems. | Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger |
| 2004 | EMSOFT | A typed assembly language for real-time programs. | Thomas A. Henzinger, Christoph M. Kirsch |
| 2003 | EMSOFT | Schedule-Carrying Code. | Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic |
| 2002 | EMSOFT | Time-Safety Checking for Embedded Programs. | Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic |
| 2002 | EMSOFT | Principles of Real-Time Programming. | Christoph M. Kirsch |
| 2002 | EMSOFT | A Giotto-Based Helicopter Control System. | Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree |
| 2002 | PLDI | The Embedded Machine: Predictable, Portable Real-Time Code. | Thomas A. Henzinger, Christoph M. Kirsch |
| 2001 | EMSOFT | Giotto: A Time-Triggered Language for Embedded Programming. | Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch |
| 2001 | ICSE | 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 |