Leveraging parameterized Chernoff bounds for simplified algorithm analyses | Synapse