1. ce + ri ceri 2. ta + li tali 3. ti + su tisu 4. sa + wi sawi 5. da + du dadu 6. bo + la bola 7. fe + ri feri 8. be + ca beca 9. su + du sudu 10. pa + ku paku 11. ba +…
Slide 1 Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists Pranav Garg1, P. Madhusudan1 and Gennaro Parlato2 1University of Illinois at Urbana-Champaign…