Pascal Kesseli

23 papers A* 1B 2C 1Journal 12Unranked 6

Year	Rank	Type	Title / 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