In synonymy:
Acompse L. Koch, 1879 = Bavia Simon, 1877 (Keyserling, 1883b: 1477)
Transferred to other genera:
Bavia annamita Simon, 1903 -- see Indopadilla
Bavia exilis Cao & Li, 2016 -- see Padillothorax
Bavia insularis Malamel, Sankaran & Sebastian, 2015 -- see Indopadilla
Bavia kahariana Prószyński & Deeleman-Reinhold, 2013 -- see Indopadilla
Bavia ludicra (Keyserling, 1882) -- see Sandalodes
Bavia modesta (Keyserling, 1883) -- see Nungia
Bavia papakula Strand, 1911 -- see Nungia
Bavia smedleyi Reimoser, 1929 -- see Maripanthus
Bavia sonsorol Berry, Beatty & Prószyński, 1997 -- see Indopadilla
Bavia suhartoi Prószyński & Deeleman-Reinhold, 2013 -- see Indopadilla
Bavia thorelli Simon, 1901 -- see Indopadilla
In synonymy:
Bavia dulcinervis (L. Koch, 1879) = Bavia sexpunctata Doleschall, 1859 (Simon, 1905c: 70)
Bavia suavis (L. Koch, 1879, T from Acompse) = Bavia aericeps Simon, 1877 (Keyserling, 1883b: 1477)
Nomen nudum:
Bavia kairali Sebastian, Sudhikumar, Mathew & Samson, in Sebastian & Peter, 2009: 284, 529, pl. 97 (mf, India) -- Sebastian & Peter, 2009, description is invalid as no deposition of the types is stated, see ICZN Article 16.4.2