Tricolorable torus knots are NP-complete. - Peter B. Golbus; Robert W. McGrail; Tomasz Przytycki; Mary Sharac; Aleksandar Chakarov (ACM Southeast Regional Conference, 2009)

Minimum Number of Holes in Unavoidable Sets of Partial Words of Size Three. - Francine Blanchet-Sadri; Bob Chen; Aleksandar Chakarov (IWOCA, 2010)

Combining Time and Frequency Domain Specifications for Periodic Signals. - Aleksandar Chakarov; Sriram Sankaranarayanan 001; Georgios Fainekos (RV, 2011)

Recurrent Partial Words - Francine Blanchet-Sadri; Aleksandar Chakarov; Lucas Manuelli; Jarett Schwartz; Slater Stich (WORDS, 2011)

Number of holes in unavoidable sets of partial words I. - Francine Blanchet-Sadri; Bob Chen; Aleksandar Chakarov (J. Discrete Algorithms, 2012)

Constructing partial words with subword complexities not achievable by full words. - Francine Blanchet-Sadri; Aleksandar Chakarov; Lucas Manuelli; Jarett Schwartz; Slater Stich (Theor. Comput. Sci., 2012)

Probabilistic Program Analysis with Martingales. - Aleksandar Chakarov; Sriram Sankaranarayanan 001 (CAV, 2013)

Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference. - Paul Givens; Aleksandar Chakarov; Sriram Sankaranarayanan 001; Tom Yeh (ICSE, 2013)

Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. - Sriram Sankaranarayanan 001; Aleksandar Chakarov; Sumit Gulwani (PLDI, 2013)

Expectation Invariants for Probabilistic Program Loops as Fixed Points. - Aleksandar Chakarov; Sriram Sankaranarayanan 001 (SAS, 2014)

Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. - Olivier Bouissou; Eric Goubault; Sylvie Putot; Aleksandar Chakarov; Sriram Sankaranarayanan 001 (TACAS, 2016)

Deductive Proofs of Almost Sure Persistence and Recurrence Properties. - Aleksandar Chakarov; Yuen-Lam Voronin; Sriram Sankaranarayanan 001 (TACAS, 2016)

Debugging Machine Learning Tasks. - Aleksandar Chakarov; Aditya V. Nori; Sriram K. Rajamani; Shayak Sen; Deepak Vijaykeerthy (CoRR, 2016)

Recurrent Partial Words and Representable Sets. - Francine Blanchet-Sadri; Aleksandar Chakarov; Bob Chen; Lucas Manuelli; Sinziana Munteanu; Jarett Schwartz; Slater Stich (J. Autom. Lang. Comb., 2016)

Abstracting Event-Driven Systems with Lifestate Rules. - Shawn Meier; Aleksandar Chakarov; Maxwell Russek; Sergio Mover; Bor-Yuh Evan Chang (CoRR, 2017)

Towards J.A.R.V.I.S. for Software Engineering: Lessons Learned in Implementing a Natural Language Chat Interface. - Rahul Pandita; Steven Bucuvalas; Hugolin Bergier; Aleksandar Chakarov; Elizabeth Richards (AAAI Workshops, 2018)

Contemporary COBOL: Developers' Perspectives on Defects and Defect Location. - Agnieszka Ciborowska; Aleksandar Chakarov; Rahul Pandita (ICSME, 2021)

Better Counterexamples for Dafny. - Aleksandar Chakarov; Aleksandr Fedchin; Zvonimir Rakamaric; Neha Rungta (TACAS (1), 2022)