Christian K\"astner

Identifiers

• name variant Christian K\"astner 0.60 · backfill

Papers (14)

1. S3C2 Summit 2025-07: Government Secure Supply Chain Summit cs.CR · 2026 · author #7
2. Symbolic Guardrails for Domain-Specific Agents: Stronger Safety and Security Guarantees Without Sacrificing Utility cs.SE · 2026 · author #5
3. What Prompts Don't Say: Understanding and Managing Underspecification in LLM Prompts cs.CL · 2025 · author #5
4. Design Dimensions for Software Certification: A Grounded Analysis cs.SE · 2019 · author #2
5. Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots cs.AI · 2019 · author #4
6. Faster Variational Execution with Transparent Bytecode Transformation cs.PL · 2018 · author #4
7. Understanding Differences among Executions with Variational Traces cs.SE · 2018 · author #3
8. On the Relation of External and Internal Feature Interactions: A Case Study cs.SE · 2017 · author #3
9. Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis stat.ML · 2017 · author #4
10. Differential Testing for Variational Analyses: Experience from Developing KConfigReader cs.SE · 2017 · author #1
11. Transfer Learning for Improving Model Predictions in Highly Configurable Software cs.SE · 2017 · author #3
12. Do #ifdefs Influence the Occurrence of Vulnerabilities? An Empirical Study of the Linux Kernel cs.SE · 2016 · author #3
13. A Comparison of 10 Sampling Algorithms for Configurable Systems cs.SE · 2016 · author #2
14. Reify Your Collection Queries for Modularity and Speed! cs.PL · 2012 · author #6

Mentions

• 2605.29140 #7 · arxiv_oai · confidence 0.70 Christian K\"astner
• 1210.6284 #6 · backfill · confidence 0.70 Christian K\"astner

Frequent Coauthors

• Sven Apel 4 shared papers
• Norbert Siegmund 3 shared papers
• Pooyan Jamshidi 3 shared papers
• Chu-Pan Wong 2 shared papers
• Gabriel Ferreira 2 shared papers
• Jens Meinicke 2 shared papers
• Miguel Velez 2 shared papers
• Akshay Patel 1 shared papers
• Alexandros Kapravelos 1 shared papers
• Bradley Schmerl 1 shared papers
• Chenyang Yang 1 shared papers
• Christopher S. Timperley 1 shared papers
• David Garlan 1 shared papers
• Dominik Wermke 1 shared papers
• Eunsuk Kang 1 shared papers
• Fl\'avio Medeiros 1 shared papers
• Gunter Saake 1 shared papers
• Javier C\'amara 1 shared papers
• Joshua Sunshine 1 shared papers
• J\"urgen Pfeffer 1 shared papers