Projects per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Teaching Digital Thinking: Strategien zur Konzeption, Vermittlung, Dynamisierung und nachhaltigen Implementierung
Kirsch, C. (Principal Investigator)
1/05/20 → 31/12/24
Project: Research
-
-
Sommerpraktika 2015 des Software Systems Centers - Teil Kirsch
Kirsch, C. (Principal Investigator)
1/06/15 → 30/09/15
Project: Research
-
-
Rigorous Systems Engineering - 2. Förderungsperiode
Kirsch, C. (Principal Investigator) & Sokolova, A. (Co-Investigator)
1/03/15 → 31/08/19
Project: Research
-
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., Oct 2023, In: Zeitschrift für Hochschulentwicklung. 2023, 18Research output: Contribution to journal › Article › peer-review
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 Jun 2022, p. 1584-1597. 14 p.Research output: Contribution to conference › Paper › peer-review
Open Access -
Unicorn
Kirsch, C. (Developer), Kocher, D. (Developer) & Starzinger, M. (Developer), 2022Research output: Non-textual form › 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., Oct 2021, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, p. 1-23 23 p., 125.Research output: Contribution to journal › Article › peer-review
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).Research output: Chapter in Book/Report/Conference proceeding/Legal commentary › Conference contribution › peer-review
Prizes
-
ACM SIGMOD Best Artifact Award
Hütter, T. (Recipient), Augsten, N. (Recipient), Kirsch, C. (Recipient), Carey, M. J. (Recipient) & Li, C. (Recipient), 2023
Prize
-
-
-
-
Activities
-
International Conference on Code Quality (ICCQ), 2023
Kirsch, C. (Member of programme committee)
2023 → …Activity: Participating in or organising an event › Contribution to an event
-
ACM/SIGAPP Symposium on Applied Computing, Track on “Cyber-Physical Systems”
Kirsch, C. (Member of programme committee)
2023 → …Activity: Participating in or organising an event › Contribution to an event
-
Quantum Advantage for All
Kirsch, C. (Speaker)
12 Jul 2022Activity: Talk or presentation › Oral presentation › science to science / art to art
-
Symbolic Execution Crash Course
Kirsch, C. (Speaker)
7 Feb 2020Activity: Talk or presentation › Oral presentation › science to science / art to art
-
Take a Selfie: Self-Referentiality in the Automation of Everything
Kirsch, C. (Speaker)
10 Jan 2020Activity: Talk or presentation › Oral presentation › science to public / art to public