| 2022 | TACAS | Better Counterexamples for Dafny. | Aleksandar Chakarov, Aleksandr Fedchin, Zvonimir Rakamaric, Neha Rungta |
| 2018 | AAAI | 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 |
| 2016 | TACAS | Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. | Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan |
| 2016 | TACAS | Deductive Proofs of Almost Sure Persistence and Recurrence Properties. | Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan |
| 2014 | SAS | Expectation Invariants for Probabilistic Program Loops as Fixed Points. | Aleksandar Chakarov, Sriram Sankaranarayanan |
| 2013 | CAV | Probabilistic Program Analysis with Martingales. | Aleksandar Chakarov, Sriram Sankaranarayanan |
| 2013 | ICSE | Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference. | Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, Tom Yeh |
| 2013 | PLDI | Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. | Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani |
| 2011 | RV | Combining Time and Frequency Domain Specifications for Periodic Signals. | Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios Fainekos |
| 2010 | IWOCA | Minimum Number of Holes in Unavoidable Sets of Partial Words of Size Three. | Francine Blanchet-Sadri, Bob Chen, Aleksandar Chakarov |