Sotabase

Career

· Lecturer/Asst. Professor, Univ. of Edinburgh

Publications (34)

Counterexample Guided Inductive Synthesis Modulo Theories
International Conference on Computer Aided Verification · 2018
75
cited
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants
International Conference on Computer Aided Verification · 2017
34
cited
MedleySolver: Online SMT Algorithm Selection
International Conference on Theory and Applications of Satisfiability Testing · 2021
24
cited
The SyGuS Language Standard Version 2.1
arXiv.org · 2023
18
cited
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis
International Conference on Computer Aided Verification · 2022
14
cited
Automated formal synthesis of provably safe digital controllers for continuous plants
Acta Informatica · 2019
12
cited
CounterExample Guided Neural Synthesis
arXiv.org · 2020
11
cited
Satisfiability and Synthesis Modulo Oracles
International Conference on Verification, Model Checking and Abstract Interpretation · 2021
11
cited
Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
Neural Information Processing Systems · 2024
11
cited
Message Chains for Distributed System Verification
Proc. ACM Program. Lang. · 2023
10
cited
Towards Building Verifiable CPS using Lingua Franca
ACM Transactions on Embedded Computing Systems · 2023
8
cited
Using model checking tools to triage the severity of security bugs in the Xen hypervisor
Formal Methods in Computer-Aided Design · 2020
8
cited
DSSynth: An automated digital controller synthesis tool for physical plants
International Conference on Automated Software Engineering · 2017
6
cited
Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving
IEEE/ACM International Symposium on Code Generation and Optimization · 2025
5
cited
Synthesising Programs with Non-trivial Constants
Journal of automated reasoning · 2023
4
cited
Gradient Descent over Metagrammars for Syntax-Guided Synthesis
arXiv.org · 2020
3
cited
Synthesis in Uclid5
arXiv.org · 2020
3
cited
Online Prompt Selection for Program Synthesis
AAAI Conference on Artificial Intelligence · 2025
2
cited
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
Formal Methods in Computer-Aided Design · 2025
2
cited
SynRG: Syntax Guided Synthesis of Invariants with Alternating Quantifiers
arXiv.org · 2020
2
cited
Sotabase