Christoph M. Kirsch

80 papers A* 7A 8B 6C 5Misc 13Journal 16Unranked 24

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