Christoph M. Kirsch

According to our database1, Christoph M. Kirsch authored at least 68 papers between 1996 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
On the self in selfie (invited talk).
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.
Proceedings of the Principles of Modeling, 2018

2017
Work-in-Progress: Adaptive Scheduling with Approximate Computing for Audio Graphs.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Selfie and the basics.
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

2016
Local Linearizability for Concurrent Container-Type Data Structures.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
Cloud Computing in Space.
INFORMS Journal on Computing, 2015

A Scalable, Correct Time-Stamped Stack.
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.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Scal: A Benchmarking Suite for Concurrent Data Structures.
Proceedings of the Networked Systems - Third International Conference, 2015

A runtime system for logical-space programming.
Proceedings of the Second International Workshop on the Swarm at the Edge of the Cloud, 2015

2014
ACDC-JS: explorative benchmarking of javascript memory management.
Proceedings of the DLS'14, 2014

Cyber-physical cloud computing implemented as PaaS.
Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

2013
Introduction to Special Section on Probabilistic Embedded Computing.
ACM Trans. Embedded Comput. Syst., 2013

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

Modeling and controlling the structure of heterogeneous mobile robotic systems: A bigactor approach.
Proceedings of the IEEE International Systems Conference, 2013

Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures.
Proceedings of the POS-13. Fourth Pragmatics of SAT workshop, 2013

Quantitative relaxation of concurrent data structures.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Fast and Scalable, Lock-Free k-FIFO Queues.
Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013

ACDC: towards a universal mutator for benchmarking heap management systems.
Proceedings of the International Symposium on Memory Management, 2013

BigActors: a model for structure-aware computation.
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.
Proceedings of the Computing Frontiers Conference, 2013

2012
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code.
Sci. Comput. Program., 2012

How FIFO is your concurrent FIFO queue?
Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability, 2012

Performance, Scalability, and Semantics of Concurrent FIFO Queues.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2012

Cyber-physical cloud computing: The binding and migration problem.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Incorrect systems: it's not the problem, it's the solution.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

The Power of Isolation.
Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

The Logical Execution Time Paradigm.
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.
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

Short-term memory for self-collecting mutators.
Proceedings of the 10th International Symposium on Memory Management, 2011

Time-predictable and composable architectures for dependable embedded systems.
Proceedings of the 11th International Conference on Embedded Software, 2011

Runtime Programming through Model-Preserving, Scalable Runtime Patches.
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010
Response Time versus Utilization in Scheduler Overhead Accounting.
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing.
Proceedings of the 2nd USENIX Workshop on Hot Topics in Cloud Computing, 2010

Runtime Programming through Model-Preserving, Scalable Runtime Patches.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Power-aware temporal isolation with variable-bandwidth servers.
Proceedings of the 10th International conference on Embedded software, 2010

2009
Low-latency time-portable real-time programming with Exotasks.
ACM Trans. Embedded Comput. Syst., 2009

EMSOFT 2007 guest editors' introduction.
Design Autom. for Emb. Sys., 2009

Programmable temporal isolation through variable-bandwidth servers.
Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

Distributed, Modular HTL.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors.
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.
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

2008
I/O resource management through system call scheduling.
Operating Systems Review, 2008

A Compacting Real-Time Memory Management System.
Proceedings of the 2008 USENIX Annual Technical Conference, 2008

Logical Reliability of Interacting Real-Time Tasks.
Proceedings of the Design, Automation and Test in Europe, 2008

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

Java takes flight: time-portable real-time programming with exotasks.
Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

Grand challenges in embedded software.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006
A hierarchical coordination language for interacting real-time tasks.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005
A programmable microkernel for real-time systems.
Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

Composable code generation for distributed giotto.
Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005

High-level real-time programming in Java.
Proceedings of the EMSOFT 2005, 2005

2004
Event-Driven Programming with Logical Execution Times.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

A typed assembly language for real-time programs.
Proceedings of the EMSOFT 2004, 2004

2003
Schedule-Carrying Code.
Proceedings of the Embedded Software, Third International Conference, 2003

2002
The Embedded Machine: Predictable, Portable Real-Time Code.
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

A Giotto-Based Helicopter Control System.
Proceedings of the Embedded Software, Second International Conference, 2002

Principles of Real-Time Programming.
Proceedings of the Embedded Software, Second International Conference, 2002

Time-Safety Checking for Embedded Programs.
Proceedings of the Embedded Software, Second International Conference, 2002

2001
Embedded Control Systems Development with Giotto.
Proceedings of The Workshop on Languages, 2001

JMOCHA: A Model Checking Tool that Exploits Design Structure.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Giotto: A Time-Triggered Language for Embedded Programming.
Proceedings of the Embedded Software, First International Workshop, 2001

1999
Soft typing for clausal inference systems.
PhD thesis, 1999

The Two-Variable Guarded Fragment with Transitive Relations.
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1998
Unification in Extension of Shallow Equational Theories.
Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

A Resolution-Based Decision Procedure for Extensions of K4.
Proceedings of the Advances in Modal Logic 2, 1998

1997
Soft Typing for Ordered Resolution.
Proceedings of the Automated Deduction, 1997

1996
Advanced Indexing Operations on Substitution Trees.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996


  Loading...