Projekte pro Jahr
Kooperationen
Publikationen und Projekte der letzten 5 Jahre. Auf Punkte klicken, um Details anzuzeigen. Oder
-
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
-
-
Rigorous Systems Engineering - 2. Förderungsperiode
Kirsch, C. (Projektleitung) & Sokolova, A. (Projektmitarbeiter/in)
1/03/15 → 31/08/19
Projekt: Forschung
Publikationen
-
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
-
What we eval in the shadows: A large-scale study of eval in R programs
Goel, A., Donat-Bouillud, P., KÅ™ikava, F., Kirsch, C. M. & Vitek, J., Okt. 2021, in: Proceedings of the ACM on Programming Languages. 5, OOPSLA, S. 1-23 23 S., 125.Publikation: Beitrag in Fachzeitschrift › Artikel › Peer-reviewed
Open Access -
ASE: A Value Set Decision Procedure for Symbolic Execution
Kirsch, C. & Salamiabyaneh, A., 2021, Proc. IEEE/ACM International Conference on Automated Software Engineering (ASE).Publikation: Beitrag in Buch/Bericht/Konferenzband/Gesetzeskommentar › Konferenzbeitrag › Peer-reviewed
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), 2017
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), 2018
Auszeichnung
-
Distinguished Speaker, Association for Computing Machinery (ACM)
Kirsch, C. (Empfänger/in), 2016
Auszeichnung
Aktivitäten
-
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
-
ACM/SIGAPP Symposium on Applied Computing, Track on “Cyber-Physical Systems”
Kirsch, C. (Mitgliedschaft im Programmausschuss)
2023 → …Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung
-
Quantum Advantage for All
Kirsch, C. (Redner/in)
12 Juli 2022Aktivität: Gastvortrag oder Vortrag › Vortrag › science to science / art to art
-
Symbolic Execution Crash Course
Kirsch, C. (Redner/in)
7 Feb. 2020Aktivität: Gastvortrag oder Vortrag › Vortrag › science to science / art to art
-
Take a Selfie: Self-Referentiality in the Automation of Everything
Kirsch, C. (Redner/in)
10 Jan. 2020Aktivität: Gastvortrag oder Vortrag › Vortrag › science to public / art to public