Christoph Kirsch

Registered user since Fri 10 Apr 2015

Name:Christoph Kirsch
Bio:

Christoph Kirsch is Professor at the Department of Computer Sciences of the University of Salzburg, Austria. He received his Dr.Ing. degree from Saarland University in 1999 while at the Max Planck Institute for Computer Science in Saarbrücken, Germany. From 1999 to 2004 he worked as Postdoctoral Researcher at the Department of Electrical Engineering and Computer Sciences of the University of California, Berkeley. He later returned to Berkeley as Visiting Scholar (2008-2013) and Visiting Professor (2014) at the Department of Civil and Environmental Engineering. His research interests are in concurrent programming, memory management, virtualization, and formal verification. Dr. Kirsch co-invented embedded programming languages and systems such as Giotto, HTL, and the Embedded Machine, and more recently co-designed high-performance, multicore-scalable concurrent data structures and memory management systems. He co-founded the International Conference on Embedded Software (EMSOFT) in 2001 and served as ACM SIGBED chair from 2011 until 2013. He has been IEEE TCAD and ACM TODAES associate editor, and is ACM Distinguished Speaker since 2017.

Country:Austria
Affiliation:University of Salzburg; Czech Technical University
Research interests:Concurrent Programming, Memory Management, Virtualization, Theorem Proving

Contributions

QP 2023 Author of QUARC: Towards an Efficient Hybrid System for Bounded Model Checking within the QP2023-track
ECOOP 2022 Author of What we eval in the shadows: a large-scale study of eval in R programs within the Hub Talks-track
ISMM 2022 Committee Member in Program Committee within the ISMM 2022-track
ASE 2021 Author of ASE: A Value Set Decision Procedure for Symbolic Execution within the Research Papers-track
Author of ASE: A Value Set Decision Procedure for Symbolic Execution within the Artifact Evaluation-track
SPLASH 2021 Author of What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs within the OOPSLA-track
ISMM 2020 Steering Committee Member in Steering Committee
MoreVMs'20 Committee Member in Program Committee within the MoreVMs'20-track
ISMM 2019 Committee Member in Steering Committee
MoreVMs'19 Committee Member in Program Committee within the MoreVMs'19-track
SPLASH 2018 Speaker of Take a Selfie in Class within the SPLASH-E-track
VMIL 2018 Invited Speaker of On the Self in Selfie ⭐️ within the VMIL 2018-track
ISMM 2018 Steering Committee Chair in Steering Committee
MoreVMs 2018 Author of Selfie: Towards Minimal Symbolic Execution within the MoreVMs 2018-track
Onward! 2017 Author of Selfie and the Basics within the Onward! Papers-track
SPLASH 2017 Author of Selfie and the Basics within the Posters-track
LCTES 2017 Author of Design versus Performance: From Giotto via the Embedded Machine to Selfie within the LCTES 2017-track
ISMM 2017 General Chair in Organizing Committee
Session Chair of Opening (part of ISMM 2017)
ISMM 2016 Committee Member in Program Committee
POPL 2016 ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
SPLASH 2015 Author of Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures within the OOPSLA-track
Author of Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures within the OOPSLA Artifacts-track
DLS Presenter of ACDC-JS: Explorative Benchmarking of JavaScript Memory Management within the DLS-track
RACES 2012 Author of How FIFO is your concurrent FIFO queue? within the RACES 2012-track

Blog Posts