Statistics
Publications
4
Citations
188
H-Index
4
Active since
2013
Affiliations
Aleksandar Chakarov is an author at University of Colorado Boulder specializing in computer science, computing, and interval analysis.
Publications per year
2013–2021
4
4
Static analysis for probabilistic programs
Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani · 2013 · 122 citations
Debugging Machine Learning Tasks
Aleksandar Chakarov, Aditya V. Nori, Sriram K. Rajamani et al. · arXiv (Cornell University) · 2016 · 25 citations · Full text
1–4 of 4