default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristoph M. Kirsch
Christoph Meyer Kirsch – Christoph Meyer 0001
Person information
- affiliation: University of Salzburg, Austria
Other persons with the same name
- Christoph Meyer 0002
![[0000-0002-5211-9973]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-5211-9973")
— Humboldt-Universität zu Berlin, Germany - Christoph Meyer 0003 — Technische Universität Braunschweig, Germany
- Christoph Meyer 0004 — Ericsson GmbH, Herzogenrath, Germany
- Christoph Meyer 0005 — ETH Zurich, Switzerland
- Christoph Meyer 0006 — ABB AG, Ratingen, Germany (and 1 more)
- Christoph Meyer 0007 — University of Ulm, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[e6]M. Anton Ertl, Christoph M. Kirsch:
Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, MPLR 2024, Vienna, Austria, 19 September 2024. ACM 2024, ISBN 979-8-4007-1118-3 [contents]- 2022
- [c63]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: 1584-1597 - [i5]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 abs/2201.08099 (2022) - 2021
- [j10]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): 1-23 (2021) - [c62]Alireza S. Abyaneh, Christoph M. Kirsch:
ASE: A Value Set Decision Procedure for Symbolic Execution. ASE 2021: 203-214 - [d2]Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek:
PRL-PRG/evalr-experiment: OOPSLA 2021 artifact. Zenodo, 2021
- [d1]Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek:
Why We Eval in the Shadows (Dataset). Zenodo, 2021 - [i4]Christoph M. Kirsch, Stefanie Muroya Lei:
Quantum Advantage for All. CoRR abs/2111.12063 (2021)
2010 – 2019
- 2018
- [c61]Alireza S. Abyaneh, Christoph M. Kirsch:
You Can Program What You Want but You Cannot Compute What You Want. Principles of Modeling 2018: 1-15 - [c60]Christoph M. Kirsch:
On the self in selfie (invited talk). VMIL@SPLASH 2018: 1-3 - 2017
- [c59]Christoph M. Kirsch:
Selfie and the basics. Onward! 2017: 198-213 - [c58]Pierre Donat-Bouillud, Christoph M. Kirsch:
Work-in-Progress: Adaptive Scheduling with Approximate Computing for Audio Graphs. RTSS 2017: 372-374 - [e5]Christoph M. Kirsch, Ben L. Titzer:
Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, ISMM 2017, Barcelona, Spain, June 18, 2017. ACM 2017, ISBN 978-1-4503-5044-0 [contents] - 2016
- [c57]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: 6:1-6:15 - 2015
- [j9]Jiangchuan Huang, Christoph M. Kirsch, Raja Sengupta:
Cloud Computing in Space. INFORMS J. Comput. 27(4): 704-717 (2015) - [c56]Eloi Pereira, Clemens Krainer, Pedro Marques da Silva, Christoph M. Kirsch, Raja Sengupta:
A runtime system for logical-space programming. SWEC@CPSWeek 2015: 28-33 - [c55]Andreas Haas, Thomas Hütter, Christoph M. Kirsch, Michael Lippautz, Mario Preishuber, Ana Sokolova:
Scal: A Benchmarking Suite for Concurrent Data Structures. NETYS 2015: 1-14 - [c54]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: 451-469 - [c53]Mike Dodds, Andreas Haas, Christoph M. Kirsch:
A Scalable, Correct Time-Stamped Stack. POPL 2015: 233-246 - [i3]Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith:
Local Linearizability. CoRR abs/1502.07118 (2015) - [i2]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 abs/1503.09006 (2015) - 2014
- [c52]Clemens Krainer, Christoph M. Kirsch:
Cyber-physical cloud computing implemented as PaaS. CyPhy 2014: 15-18 - [c51]Martin Aigner, Thomas Hütter, Christoph M. Kirsch, Alexander Miller, Hannes Payer, Mario Preishuber:
ACDC-JS: explorative benchmarking of javascript memory management. DLS 2014: 67-78 - [i1]Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova:
Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit. CoRR abs/1404.1830 (2014) - 2013
- [j8]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): 189-209 (2013) - [j7]Christoph M. Kirsch, Vincent John Mooney:
Introduction to Special Section on Probabilistic Embedded Computing. ACM Trans. Embed. Comput. Syst. 12(2s): 86:1-86:2 (2013) - [c50]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: 17:1-17:9 - [c49]Eloi Pereira, Christoph M. Kirsch, João Borges de Sousa, Raja Sengupta:
BigActors: a model for structure-aware computation. ICCPS 2013: 199-208 - [c48]Martin Aigner, Christoph M. Kirsch:
ACDC: towards a universal mutator for benchmarking heap management systems. ISMM 2013: 75-84 - [c47]Christoph M. Kirsch, Michael Lippautz, Hannes Payer:
Fast and Scalable, Lock-Free k-FIFO Queues. PaCT 2013: 208-223 - [c46]Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova:
Quantitative relaxation of concurrent data structures. POPL 2013: 317-328 - [c45]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: 28-40 - [c44]Eloi Pereira, Camille Potiron, Christoph M. Kirsch, Raja Sengupta:
Modeling and controlling the structure of heterogeneous mobile robotic systems: A bigactor approach. SysCon 2013: 442-447 - 2012
- [j6]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): 96-112 (2012) - [c43]Christoph M. Kirsch, Ana Sokolova:
The Logical Execution Time Paradigm. Advances in Real-Time Systems 2012: 103-120 - [c42]Silviu S. Craciunas, Christoph M. Kirsch:
The Power of Isolation. CSE 2012: 375-382 - [c41]Christoph M. Kirsch, Hannes Payer:
Incorrect systems: it's not the problem, it's the solution. DAC 2012: 913-917 - [c40]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: 1425-1428 - [c39]Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova:
Performance, Scalability, and Semantics of Concurrent FIFO Queues. ICA3PP (1) 2012: 273-287 - [c38]Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Hannes Payer:
How FIFO is your concurrent FIFO queue? RACES@SPLASH 2012: 1-8 - 2011
- [c37]Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova:
Runtime Programming through Model-Preserving, Scalable Runtime Patches. ACSD 2011: 77-86 - [c36]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: 351-352 - [c35]Martin Aigner, Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova, Stephanie Stroka, Andreas Unterweger:
Short-term memory for self-collecting mutators. ISMM 2011: 99-108 - [c34]Hannes Payer, Harald Röck, Christoph M. Kirsch, Ana Sokolova:
Scalability versus semantics of concurrent FIFO queues. PODC 2011: 331-332 - [e4]Christoph M. Kirsch, Gernot Heiser:
European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, Salzburg, Austria, April 10-13, 2011. ACM 2011, ISBN 978-1-4503-0634-8 [contents] - 2010
- [c33]Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova:
Power-aware temporal isolation with variable-bandwidth servers. EMSOFT 2010: 259-268 - [c32]Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova:
Runtime Programming through Model-Preserving, Scalable Runtime Patches. FACS 2010: 290-294 - [c31]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 - [c30]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: 291-300
2000 – 2009
- 2009
- [j5]Christoph M. Kirsch, Reinhard Wilhelm:
EMSOFT 2007 guest editors' introduction. Des. Autom. Embed. Syst. 13(1-2): 3-4 (2009) - [j4]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): 15:1-15:48 (2009) - [c29]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: 19-24 - [c28]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: 70-79 - [c27]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: 67-76 - [c26]Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova:
Distributed, Modular HTL. RTSS 2009: 171-180 - [c25]Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova:
Programmable temporal isolation through variable-bandwidth servers. SIES 2009: 171-180 - [e3]Christoph M. Kirsch, Mahmut T. Kandemir:
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009. ACM 2009, ISBN 978-1-60558-356-3 [contents] - 2008
- [j3]Silviu S. Craciunas, Christoph M. Kirsch, Harald Röck:
I/O resource management through system call scheduling. ACM SIGOPS Oper. Syst. Rev. 42(5): 44-54 (2008) - [c24]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: 909-914 - [c23]Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Ana Sokolova, Horst Stadler, Robert Staudinger:
A Compacting Real-Time Memory Management System. USENIX ATC 2008: 349-362 - 2007
- [j2]Thomas A. Henzinger, Christoph M. Kirsch:
The embedded machine: Predictable, portable real-time code. ACM Trans. Program. Lang. Syst. 29(6): 33 (2007) - [c22]Christoph M. Kirsch, Reinhard Wilhelm:
Grand challenges in embedded software. EMSOFT 2007: 2-6 - [c21]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: 51-62 - [e2]Christoph M. Kirsch, Reinhard Wilhelm:
Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria. ACM 2007, ISBN 978-1-59593-825-1 [contents] - [r1]Raja Sengupta, Christoph M. Kirsch:
The Evolution of Real-Time Programming. Handbook of Real-Time and Embedded Systems 2007 - 2006
- [c20]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: 132-141 - 2005
- [c19]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: 68-78 - [c18]Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic:
Composable code generation for distributed giotto. LCTES 2005: 21-30 - [c17]Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger:
A programmable microkernel for real-time systems. VEE 2005: 35-45 - 2004
- [c16]Thomas A. Henzinger, Christoph M. Kirsch:
A typed assembly language for real-time programs. EMSOFT 2004: 104-113 - [c15]Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido:
Event-Driven Programming with Logical Execution Times. HSCC 2004: 357-371 - 2003
- [j1]Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch:
Giotto: a time-triggered language for embedded programming. Proc. IEEE 91(1): 84-99 (2003) - [c14]Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic:
Schedule-Carrying Code. EMSOFT 2003: 241-256 - 2002
- [c13]Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree:
A Giotto-Based Helicopter Control System. EMSOFT 2002: 46-60 - [c12]Christoph M. Kirsch:
Principles of Real-Time Programming. EMSOFT 2002: 61-75 - [c11]Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic:
Time-Safety Checking for Embedded Programs. EMSOFT 2002: 76-92 - [c10]Thomas A. Henzinger, Christoph M. Kirsch:
The Embedded Machine: Predictable, Portable Real-Time Code. PLDI 2002: 315-326 - 2001
- [c9]Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch:
Giotto: A Time-Triggered Language for Embedded Programming. EMSOFT 2001: 166-184 - [c8]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: 835-836 - [c7]Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch:
Embedded Control Systems Development with Giotto. LCTES/OM 2001: 64-72 - [c6]Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch:
Embedded Control Systems Development with Giotto. OM@PLDI 2001: 64-72 - [e1]Thomas A. Henzinger, Christoph M. Kirsch:
Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings. Lecture Notes in Computer Science 2211, Springer 2001, ISBN 3-540-42673-6 [contents]
1990 – 1999
- 1999
- [b1]Christoph Meyer:
Soft typing for clausal inference systems. Saarland University, Saarbrücken, Germany, 1999, pp. 1-199 - [c5]Harald Ganzinger, Christoph Meyer, Margus Veanes:
The Two-Variable Guarded Fragment with Transitive Relations. LICS 1999: 24-34 - 1998
- [c4]Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt:
A Resolution-Based Decision Procedure for Extensions of K4. Advances in Modal Logic 1998: 225-246 - [c3]Florent Jacquemard, Christoph Meyer, Christoph Weidenbach:
Unification in Extension of Shallow Equational Theories. RTA 1998: 76-90 - 1997
- [c2]Harald Ganzinger, Christoph Meyer, Christoph Weidenbach:
Soft Typing for Ordered Resolution. CADE 1997: 321-335 - 1996
- [c1]Peter Graf, Christoph Meyer:
Advanced Indexing Operations on Substitution Trees. CADE 1996: 553-567
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 21:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
