To understand how saturation effect and variations in CD8+ response induced by HLA alleles determine HIV infection outcomes, a mathematical model that involves lysing infected cells induced by CD8+ cell was developed to model data from virus inhibition assays (VIA) of HIV. The gene discussed is CD8A; the disease is HIV infectious disease.