The following pages link to Aws Albarghouthi (Q778537):
Displaying 10 items.
- Distribution policies for Datalog (Q778538) (← links)
- Repairing decision-making programs under uncertainty (Q2151244) (← links)
- Program synthesis with equivalence reduction (Q2287069) (← links)
- Maximal specification synthesis (Q2828322) (← links)
- Whale: An Interpolation-Based Algorithm for Inter-procedural Verification (Q2891400) (← links)
- From Under-Approximations to Over-Approximations and Back (Q2894271) (← links)
- Distribution Policies for Datalog. (Q3305363) (← links)
- Effectively Propositional Interpolants (Q4633554) (← links)
- Probabilistic Horn Clause Verification (Q5233234) (← links)
- Symbolic optimization with SMT solvers (Q5408453) (← links)
