11th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains Abstraction is an essential part of many program verification and validation (V&V) methods, making tractable computat...

AbstractInterpretation of sero-epidemiology studies of cholera relies on knowledge of antibody kinetics, which are not well known in African populations. We performed vibriocidal antibody assays on 212 serum samples from 115 culture-positive cholera patients (median age 8) in Goma, DRC, collected at enrollment and again 3-449 days after. Vibriocidal responses peaked 7-40 days after symptom onset, with 89.5% waning to a titer of 160 or lower by 180 days. We used a Bayesian exponential decay model to show an 88% probability of the posterior distribution supporting a faster decay in children under 5 years of age.