BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.
Onward-2017-Kirsch
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.