pith. sign in

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