Kooperationen
-
Cybersec PostDoc: Post-Doc Anstellung im Rahmen der Brückenprofessur Cybersecurity
Simos, D. (Projektleitung) & Kirsch, C. (Co-Projektleitung)
1/09/25 → 31/08/30
Projekt: Forschung
-
Teaching Digital Thinking: Strategien zur Konzeption, Vermittlung, Dynamisierung und nachhaltigen Implementierung
Kirsch, C. (Projektleitung)
1/05/20 → 31/12/24
Projekt: Forschung
-
-
Sommerpraktika 2015 des Software Systems Centers - Teil Kirsch
Kirsch, C. (Projektleitung)
1/06/15 → 30/09/15
Projekt: Forschung
-
Publikationen
-
Bounded Model Checking of RISC-V Machine Code with Context-Free-Language Ordered Binary Decision Diagrams
Bolotina, A., Kirsch, C. M., Lei, S. M. & Pleschinger, M., 13 Juli 2025.Publikation: Working paper/Preprint › Preprint
-
Welcome from the Chairs to MPLR ’24
Kirsch, C. & Ertl, A., 2024, Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. ACMPublikation: Beitrag in Buch/Bericht/Konferenzband/Gesetzeskommentar › Kapitel in einem Sammelband › Forschung › Peer-reviewed
-
Two-Year Progress of Pilot Research Activities in Teaching Digital Thinking Project (TDT)
Kirsch, C., Kocher, D., Sokolova, A., Bloem, R., Spitzer, P., Breu, R., Motschnig, R., Kayali, F. & Plant, C., Okt. 2023, in: Zeitschrift für Hochschulentwicklung. 2023, 18Publikation: Beitrag in Fachzeitschrift › Artikel › Peer-reviewed
Open Access -
JEDI: These aren't the JSON documents you're looking for...
Hütter, T., Augsten, N., Kirsch, C., Carey, M. J. & Li, C., 10 Juni 2022, S. 1584-1597. 14 S.Publikation: Konferenzbeitrag › Paper › Peer-reviewed
Open Access -
Unicorn
Kirsch, C. (Entwickler/in), Kocher, D. (Entwickler/in) & Starzinger, M. (Entwickler/in), 2022Publikation: Elektronische/multimediale Veröffentlichungen › Software
Preise
-
ACM SIGMOD Best Artifact Award
Hütter, T. (Empfänger/in), Augsten, N. (Empfänger/in), Kirsch, C. (Empfänger/in), Carey, M. J. (Empfänger/in) & Li, C. (Empfänger/in), 2023
Auszeichnung
-
Distinguished Speaker, Association for Computing Machinery (ACM)
Kirsch, C. (Empfänger/in), 2020
Auszeichnung
-
Distinguished Speaker, Association for Computing Machinery (ACM)
Kirsch, C. (Empfänger/in), 2018
Auszeichnung
-
Distinguished Speaker, Association for Computing Machinery (ACM)
Kirsch, C. (Empfänger/in), 2019
Auszeichnung
-
Distinguished Speaker, Association for Computing Machinery (ACM)
Kirsch, C. (Empfänger/in), 2016
Auszeichnung
Aktivitäten
-
i-Day 2025: Tag der offenen Tür an den Fachbereichen Informatik und Artificial Intelligence and Human Interfaces
Augsten, N. (Mitwirkende/r), Hagenauer, H. (Mitwirkende/r), Trutschnig, W. (Mitwirkende/r), Kwitt, R. (Mitwirkende/r), Kutil, R. (Mitwirkende/r), Kirsch, C. (Mitwirkende/r), Uhl, A. (Mitwirkende/r), Forster, S. (Mitwirkende/r), Kubesch, M. (Mitwirkende/r), Wallner, V. (Mitwirkende/r), Mehran, N. (Mitwirkende/r), Sokolova, A. (Mitwirkende/r), Hirländer, S. (Mitwirkende/r), Leschke, N. C. (Mitwirkende/r), Widmoser, M. (Mitwirkende/r), Schmitt, D. U. (Mitwirkende/r), Löhnert, B. (Mitwirkende/r), Lankes, M. (Mitwirkende/r), Collini-Nocker, B. (Mitwirkende/r), Skarlatos, A. (Mitwirkende/r), Mayer, H. (Mitwirkende/r), Kocher, D. (Mitwirkende/r) & Thiele, L. M. (Mitwirkende/r)
6 Feb. 2025Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung
-
International Conference on Managed Programming Languages and Runtimes (MPLR) 2024
Kirsch, C. (Mitwirkende/r)
2024 → …Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung
-
ACM/SIGAPP Symposium on Applied Computing (SAC), 2024
Kirsch, C. (Mitwirkende/r)
2024 → …Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung
-
ACM SIGPLAN International Symposium on Memory Management (ISMM), 2024
Kirsch, C. (Mitwirkende/r)
2024 → …Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung
-
International Conference on Code Quality (ICCQ), 2023
Kirsch, C. (Mitgliedschaft im Programmausschuss)
2023 → …Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung