BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × India
1 × Italy
3 × Germany
7 × USA
Collaborated with:
T.A.Henzinger M.Aigner H.Payer A.Sokolova M.Lippautz A.Haas M.Dodds S.Matic B.Horowitz D.T.Iercan R.Trummer A.Sezgin S.Stroka A.Unterweger K.Chatterjee A.Ghosal C.Pinello A.L.Sangiovanni-Vincentelli J.S.Auerbach D.F.Bacon V.T.Rajan H.Röck R.Alur L.d.Alfaro R.Grosu M.Kang R.Majumdar F.Y.C.Mang B.Wang E.Pereira R.Sengupta H.Chen R.Hansen J.Huang F.Landolt A.Rottmann R.Swick D.Vizzini
Talks about:
time (5) structur (3) system (3) memori (3) real (3) scalabl (2) problem (2) portabl (2) giotto (2) mutat (2)

Person: Christoph M. Kirsch

DBLP DBLP: Kirsch:Christoph_M=

Facilitated 1 volumes:

LCTES 2009Ed

Contributed to:

OOPSLA 20152015
POPL 20152015
ISMM 20132013
POPL 20132013
DAC 20122012
DATE 20122012
ISMM 20112011
DATE 20082008
LCTES 20072007
LCTES 20052005
PLDI 20022002
ICSE 20012001
LCTES/OM 20012001
Onward! 20172017

Wrote 14 papers:

OOPSLA-2015-0003KLS #data type #memory management #multi #performance #scalability
Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures (MA, CMK, ML, AS), pp. 451–469.
POPL-2015-DoddsHK #scalability #stack
A Scalable, Correct Time-Stamped Stack (MD, AH, CMK), pp. 233–246.
ISMM-2013-AignerK #benchmark #metric #named #towards
ACDC: towards a universal mutator for benchmarking heap management systems (MA, CMK), pp. 75–84.
POPL-2013-HenzingerKPSS #concurrent #data type
Quantitative relaxation of concurrent data structures (TAH, CMK, HP, AS, AS), pp. 317–328.
DAC-2012-KirschP #problem
Incorrect systems: it’s not the problem, it’s the solution (CMK, HP), pp. 913–917.
DATE-2012-KirschPSCHHLLRSTV #cyber-physical #in the cloud #migration #problem
Cyber-physical cloud computing: The binding and migration problem (CMK, EP, RS, HC, RH, JH, FL, ML, AR, RS, RT, DV), pp. 1425–1428.
ISMM-2011-AignerHKLSSU #memory management #self
Short-term memory for self-collecting mutators (MA, AH, CMK, ML, AS, SS, AU), pp. 99–108.
DATE-2008-ChatterjeeGHIKPS #logic #realtime #reliability
Logical Reliability of Interacting Real-Time Tasks (KC, AG, TAH, DTI, CMK, CP, ALSV), pp. 909–914.
LCTES-2007-AuerbachBIKRRT #java #programming #realtime
Java takes flight: time-portable real-time programming with exotasks (JSA, DFB, DTI, CMK, VTR, HR, RT), pp. 51–62.
LCTES-2005-HenzingerKM #code generation #composition #distributed
Composable code generation for distributed giotto (TAH, CMK, SM), pp. 21–30.
PLDI-2002-HenzingerK #embedded #predict #realtime
The Embedded Machine: Predictable, Portable Real-Time Code (TAH, CMK), pp. 315–326.
ICSE-2001-AlurAGHKKMMW #design #model checking #named
JMOCHA: A Model Checking Tool that Exploits Design Structure (RA, LdA, RG, TAH, MK, CMK, RM, FYCM, BYW), pp. 835–836.
LCTES-OM-2001-HenzingerHK #development #embedded
Embedded Control Systems Development with Giotto (TAH, BH, CMK), pp. 64–72.
Selfie and the basics (CMK), pp. 198–213.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.