Pascal Kesseli

Identifiers

• name variant Pascal Kesseli 0.60 · backfill

Papers (5)

1. LLMs versus the Halting Problem: Characterizing Program Termination Reasoning cs.CL · 2026 · author #3
2. Kayak: Safe Semantic Refactoring to Java Streams cs.PL · 2017 · author #2
3. Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants cs.SY · 2017 · author #6
4. Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants cs.SY · 2016 · author #6
5. Assisted Coverage Closure cs.SE · 2015 · author #2

Mentions

• 2601.18987 #3 · arxiv_oai · confidence 0.70 Pascal Kesseli

Frequent Coauthors

• Daniel Kroening 4 shared papers
• Cristina David 3 shared papers
• Alessandro Abate 2 shared papers
• Dario Cattaruzza 2 shared papers
• Iury Bessa 2 shared papers
• Lucas Cordeiro 2 shared papers
• Adam Nellis 1 shared papers
• Dafna Shahaf 1 shared papers
• Elizabeth Polgreen 1 shared papers
• Jordi Armengol-Estape 1 shared papers
• Julien Vanegue 1 shared papers
• Michael Tautschnig 1 shared papers
• Oren Sultan 1 shared papers
• Peter O'Hearn 1 shared papers
• Peter Schrammel 1 shared papers
• Philippa Ryan Conmy 1 shared papers
• Yossi Adi 1 shared papers