Pascal Kesseli

23 papers A* 1B 2C 1Journal 12Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
LLMs versus the Halting Problem: Revisiting Program Termination Prediction.
CoRR
Oren Sultan, Jordi Armengol-Estapé, Pascal Kesseli, Julien Vanegue, Dafna Shahaf, Yossi Adi, Peter W. O'Hearn
2025 J jnl
Logic.py: Bridging the Gap between LLMs and Constraint Solvers.
CoRR
Pascal Kesseli, Peter W. O'Hearn, Ricardo Silveira Cabral
2025 — conf
Quantifying the benefits of code hints for refactoring deprecated Java APIs.
SIGSOFT FSE Companion
Cristina David, Pascal Kesseli, Daniel Kroening, Hanliang Zhang
2024 J jnl
Quantifying the benefits of code hints for refactoring deprecated Java APIs.
CoRR
Cristina David, Pascal Kesseli, Daniel Kroening, Hanliang Zhang
2023 J jnl
Synthesising Programs with Non-trivial Constants.
J. Autom. Reason.
Alessandro Abate, Haniel Barbosa, Clark W. Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli
2021 C conf
Towards establishing formal verification and inductive code synthesis in the PLC domain.
INDIN
Matthias Weiß, Philipp Marks, Benjamin Maschler, Dustin White, Pascal Kesseli, Michael Weyrich
2021 J jnl
Towards establishing formal verification and inductive code synthesis in the PLC domain.
CoRR
Matthias Weiß, Philipp Marks, Benjamin Maschler, Dustin White, Pascal Kesseli, Michael Weyrich
2020 J jnl
Automated formal synthesis of provably safe digital controllers for continuous plants.
Acta Informatica
Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2020 J jnl
Learning the Language of Software Errors.
J. Artif. Intell. Res.
Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman
2018 — conf
Counterexample Guided Inductive Synthesis Modulo Theories.
CAV (1)
Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2018 — conf
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode.
CAV (1)
Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík
2018 J jnl
Program Synthesis for Program Analysis.
ACM Trans. Program. Lang. Syst.
Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
2017 — conf
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
CAV (1)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2017 J jnl
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
CoRR
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2017 A* conf
DSSynth: an automated digital controller synthesis tool for physical plants.
ASE
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2017 J jnl
Kayak: Safe Semantic Refactoring to Java Streams.
CoRR
Cristina David, Pascal Kesseli, Daniel Kroening
2017 — —
Semantic refactorings.
Pascal Kesseli
2017 — conf
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.
HSCC
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
2016 — conf
Assisted Coverage Closure.
NFM
Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig
2016 B conf
Danger Invariants.
FM
Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
2016 J jnl
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.
CoRR
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
2015 J jnl
Assisted Coverage Closure.
CoRR
Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig
2015 B conf
Learning the Language of Error.
ATVA
Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig