Projects per year
Network
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
1/05/20 → 30/04/24
Project: Research
-
-
-
-
-
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 -
-
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
-
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 -
Prizes
-
Distinguished Speaker, Association for Computing Machinery (ACM)
Kirsch, Christoph (Recipient), 2016
Prize
-
Distinguished Speaker, Association for Computing Machinery (ACM)
Kirsch, Christoph (Recipient), 2017
Prize
-
Distinguished Speaker, Association for Computing Machinery (ACM)
Kirsch, Christoph (Recipient), 2020
Prize
-
Distinguished Speaker, Association for Computing Machinery (ACM)
Kirsch, Christoph (Recipient), 2018
Prize
-
Distinguished Speaker, Association for Computing Machinery (ACM)
Kirsch, Christoph (Recipient), 2019
Prize
Activities
-
Quantum Advantage for All
Christoph Kirsch (Speaker)
12 Jul 2022Activity: Talk or presentation › Oral presentation › science to science / art to art
-
Symbolic Execution Crash Course
Christoph Kirsch (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
Christoph Kirsch (Speaker)
10 Jan 2020Activity: Talk or presentation › Oral presentation › science to public / art to public
-
IEEE/ACM International Conference on Computer-Aided Design (Event)
Christoph Kirsch (Chair)
1 Nov 2019 → 5 Nov 2020Activity: Membership › Membership of committee
-
BigCode: Scalable Analysis of Massive Code Bases
Christoph Kirsch (Principal investigator)
Oct 2019 → Sept 2023Activity: Other scientific activities › Non-externally funded projects