Karl Palmskog

Identifiers

• name variant Karl Palmskog 0.60 · backfill

Papers (2)

1. Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code cs.PL · 2026 · author #4
2. Inferring Formal Properties of Production Key-Value Stores cs.DC · 2017 · author #4

Mentions

• 2605.21532 #4 · arxiv_oai · confidence 0.70 Karl Palmskog

Frequent Coauthors

• Edgar Pek 1 shared papers
• Indranil Gupta 1 shared papers
• Jesper Amilon 1 shared papers
• Mattias Nyberg 1 shared papers
• Merlijn Sevenhuijsen 1 shared papers
• Muntasir Raihan Rahman 1 shared papers
• P. Madhusudan 1 shared papers
• Pranav Garg 1 shared papers